Publications
SMT-Based Observer Design for Cyber-Physical Systems Under Sensor Attacks. ACM-IEEE International Conference on Cyber-Physical Systems.
.
2016. .
2013. Software and algorithms for sensitivity analysis of large-scale differential algebraic systems. JOURNAL OF COMPUTATIONAL AND APPLIED MATHEMATICS. 125:131-145.
.
2000. .
2004. Soliton driven angiogenesis. SCIENTIFIC REPORTS. 6
.
2016. Solution adapted mesh refinement and sensitivity analysis for parabolic partial differential equation systems. LECTURE NOTES IN COMPUTATIONAL SCIENCE AND ENGINEERING. 30:117-132.
.
2003. Solution of MIMO H(2)/l(l) problem without zero interpolation. SIAM JOURNAL ON CONTROL AND OPTIMIZATION. 37:1865-1873.
.
1999. Solution technique for a multi-dimensional population balance model describing granulation processes. POWDER TECHNOLOGY. 156:213-225.
.
2005. Solutions to hybrid inclusions via set and graphical convergence with stability theory applications. AUTOMATICA. 42:573-587.
.
2006. A Solvability Condition for Reactive Power Flow. :2013-2017.
.
2015. Solving elliptic problems with discontinuities on irregular domains - the Voronoi Interface Method. JOURNAL OF COMPUTATIONAL PHYSICS. 298:747-765.
.
2015. Solving moment problems by dimensional extension. ANNALS OF MATHEMATICS. 149:1087-1107.
.
1999. Solving moment problems by dimensional extension. COMPTES RENDUS DE L ACADEMIE DES SCIENCES SERIE I-MATHEMATIQUE. 328:495-499.
.
1999. Solving path problems on the GPU. PARALLEL COMPUTING. 36:241-253.
.
2010. Solving smooth and nonsmoooth multivariable extremum seeking problems by the methods of nonlinear programming. PROCEEDINGS OF THE AMERICAN CONTROL CONFERENCE. :2394-2399.
.
2001. Some fast algorithms for sequentially semiseparable representations. SIAM JOURNAL ON MATRIX ANALYSIS AND APPLICATIONS. 27:341-364.
.
2005. Some Graph Algorithms in an Array-Based Language. GRAPH ALGORITHMS IN THE LANGUAGE OF LINEAR ALGEBRA. 22:29-43.
.
2011. SOME SHORTEST-PATH ALGORITHMS WITH DECENTRALIZED INFORMATION AND COMMUNICATION REQUIREMENTS. IEEE TRANSACTIONS ON AUTOMATIC CONTROL. 27:570-582.
.
1982. A source and channel-coding framework for vector-based data hiding in video. IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS FOR VIDEO TECHNOLOGY. 10:630-645.
.
2000. Space-efficient data cubes for dynamic environments. DATA WAREHOUSING AND KNOWLEDGE DISCOVERY, PROCEEDINGS. 1874:24-33.
.
2000. Space-time communication for OFDM with implicit channel feedback. IEEE Global Telecommunications Conference (Globecom). :1321-1325.
.
2003. Space-time communication for OFDM with implicit channel feedback. IEEE TRANSACTIONS ON INFORMATION THEORY. 50:3111-3129.
.
2004. Space-time precoding for mean and covariance feedback: Application to wideband OFDM. IEEE TRANSACTIONS ON COMMUNICATIONS. 54:96-107.
.
2006. Space-time precoding with mean and covariance feedback: Implications for wideband systems. :284-284.
.
2004. Space-time Slicer Architectures for Analog-to-Information Conversion in Channel Equalizers. IEEE International Conference on Communications. :2124-2129.
.
2014.