George J. Pappas

	2012
116		Christoffer Sloth, George J. Pappas, Rafael Wisniewski: Compositional safety analysis using barrier certificates. HSCC 2012: 15-24
115		Miroslav Pajic, Shreyas Sundaram, Jerome Le Ny, George J. Pappas, Rahul Mangharam: Closing the loop: a simple distributed method for control over wireless networks. IPSN 2012: 25-36
	2011
114		Miroslav Pajic, Shreyas Sundaram, George J. Pappas, Rahul Mangharam: Topological conditions for wireless control networks. CDC-ECE 2011: 2353-2360
113		Jerome Le Ny, Alejandro Ribeiro, George J. Pappas: Robot deployment with end-to-end communication constraints. CDC-ECE 2011: 4232-4238
112		Truong Nghiem, Madhur Behl, Rahul Mangharam, George J. Pappas: Green scheduling of control systems for peak demand reduction. CDC-ECE 2011: 5131-5136
111		George J. Pappas: Wireless control networks: modeling, synthesis, robustness, security. HSCC 2011: 1-2
110		Jerome Le Ny, Eric Feron, George J. Pappas: Resource constrained LQR control under fast sampling. HSCC 2011: 271-280
109		Shreyas Sundaram, Jian Chang, Krishna K. Venkatasubramanian, Chinwendu Enyioha, Insup Lee, George J. Pappas: Reputation-based networked control with data-corrupting channels. HSCC 2011: 291-300
108		Mahmut Selman Sakar, Edward B. Steager, Anthony Cowley, Vijay Kumar, George J. Pappas: Wireless manipulation of single cells using magnetic microtransporters. ICRA 2011: 2668-2673
107		Miroslav Pajic, Shreyas Sundaram, Mansimar Aneja, Srinivas Vemuri, Rahul Mangharam, George J. Pappas: Architecture for a fully distributed Wireless Control Network. IPSN 2011: 117-118
106		Zheng Li, Pei-Chi Huang, Aloysius K. Mok, Truong Nghiem, Madhur Behl, George J. Pappas, Rahul Mangharam: On the Feasibility of Linear Discrete-Time Systems of the Green Scheduling Problem. RTSS 2011: 295-304
105		Michael M. Zavlanos, A. Agung Julius, Stephen P. Boyd, George J. Pappas: Inferring stable genetic networks from steady-state data. Automatica 47(6): 1113-1122 (2011)
104		Mahmut Selman Sakar, Edward B. Steager, Dal Hyung Kim, A. Agung Julius, MinJun Kim, Vijay Kumar, George J. Pappas: Modeling, control and experimental characterization of microbiorobots. I. J. Robotic Res. 30(6): 647-658 (2011)
103		Miroslav Pajic, Shreyas Sundaram, George J. Pappas, Rahul Mangharam: The Wireless Control Network: A New Approach for Control Over Networks. IEEE Trans. Automat. Contr. 56(10): 2305-2318 (2011)
102		Rajeev Alur, Alessandro D'Innocenzo, Karl Henrik Johansson, George J. Pappas, Gera Weiss: Compositional Modeling and Analysis of Multi-Hop Control Networks. IEEE Trans. Automat. Contr. 56(10): 2345-2357 (2011)
	2010
101		Jerome Le Ny, George J. Pappas: Sensor-based robot deployment algorithms. CDC 2010: 5486-5492
100		Shreyas Sundaram, Miroslav Pajic, Christoforos N. Hadjicostis, Rahul Mangharam, George J. Pappas: The wireless control network: Monitoring for malicious behavior. CDC 2010: 5979-5984
99		Shun-ichi Azuma, Mahmut Selman Sakar, George J. Pappas: Nonholonomic source seeking in switching random fields. CDC 2010: 6337-6342
98		Michael M. Zavlanos, Alejandro Ribeiro, George J. Pappas: Mobility & routing control in networks of robots. CDC 2010: 7545-7550
97		Miroslav Pajic, Shreyas Sundaram, Jerome Le Ny, George J. Pappas, Rahul Mangharam: The Wireless Control Network: Synthesis and robustness. CDC 2010: 7576-7581
96		Truong Nghiem, Sriram Sankaranarayanan, Georgios E. Fainekos, Franjo Ivancic, Aarti Gupta, George J. Pappas: Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems. HSCC 2010: 211-220
95		Mahmut Selman Sakar, Edward B. Steager, A. Agung Julius, MinJun Kim, Vijay Kumar, George J. Pappas: Biosensing and actuation for microbiorobots. ICRA 2010: 3141-3146
94		Hadas Kress-Gazit, George J. Pappas: Automatic synthesis of robot controllers for tasks with locative prepositions. ICRA 2010: 3215-3220
93		Nader Motee, Ali Jadbabaie, George J. Pappas: A duality approach to path planning for multiple robots. ICRA 2010: 935-940
92		Victor M. Preciado, Michael M. Zavlanos, Ali Jadbabaie, George J. Pappas: Distributed Control of the Laplacian Spectral Moments of a Network CoRR abs/1001.4122: (2010)
91		Jerome Le Ny, George J. Pappas: Adaptive Algorithms for Coverage Control and Space Partitioning in Mobile Robotic Networks CoRR abs/1011.0520: (2010)
90		Oussama Khatib, Vijay Kumar, George J. Pappas: Editorial: Special Issue on The Eleventh International Symposium on Experimental Robotics. I. J. Robotic Res. 29(5): 483-484 (2010)
	2009
89		Oussama Khatib, Vijay Kumar, George J. Pappas: Experimental Robotics, The Eleventh International Symposium, ISER 2008, July 13-16, 2008, Athens, Greece Springer 2009
88		Alessandro D'Innocenzo, Gera Weiss, Rajeev Alur, Alf J. Isaksson, Karl Henrik Johansson, George J. Pappas: Scalable scheduling algorithms for wireless networked control systems. CASE 2009: 409-414
87		Gera Weiss, Alessandro D'Innocenzo, Rajeev Alur, Karl Henrik Johansson, George J. Pappas: Robust stability of multi-hop control networks. CDC 2009: 2210-2215
86		Jerome Le Ny, George J. Pappas: On trajectory optimization for active sensing in Gaussian process models. CDC 2009: 6286-6292
85		Jerome Le Ny, Michael M. Zavlanos, George J. Pappas: Resource allocation for signal detection with active sensors. CDC 2009: 8561-8566
84		George J. Pappas: Approximations of Discrete, Continuous, and Hybrid Systems. FORMATS 2009: 12
83		A. Agung Julius, George J. Pappas: Trajectory Based Verification Using Local Finite-Time Invariance. HSCC 2009: 223-236
82		A. Agung Julius, Mahmut Selman Sakar, Edward B. Steager, U. Kei Cheang, MinJun Kim, Vijay Kumar, George J. Pappas: Harnessing bacterial power in microscale actuation. ICRA 2009: 1004-1009
81		Ali Ahmadzadeh, Nader Motee, Ali Jadbabaie, George J. Pappas: Multi-vehicle path planning in dynamically changing environments. ICRA 2009: 2449-2454
80		Rajeev Alur, Alessandro D'Innocenzo, Karl Henrik Johansson, George J. Pappas, Gera Weiss: Modeling and Analysis of Multi-hop Control Networks. IEEE Real-Time and Embedded Technology and Applications Symposium 2009: 223-232
79		Jinghao Zhou, Sukmoon Chang, Shaoting Zhang, George J. Pappas, Michael Michaelides, Foteini Delis, Nora D. Volkow, Panayotis K. Thanos, Dimitris N. Metaxas: Segmentation of Rodent Brains from MRI Based on a Novel Statistical Structure Prediction Method. ISBI 2009: 498-501
78		Georgios E. Fainekos, Antoine Girard, Hadas Kress-Gazit, George J. Pappas: Temporal logic motion planning for dynamic robots. Automatica 45(2): 343-352 (2009)
77		Antoine Girard, George J. Pappas: Hierarchical control system design using approximate simulation. Automatica 45(2): 566-571 (2009)
76		Hadas Kress-Gazit, Georgios E. Fainekos, George J. Pappas: Temporal-Logic-Based Reactive Mission and Motion Planning. IEEE Transactions on Robotics 25(6): 1370-1381 (2009)
75		Gian Luca Mariottini, Fabio Morbidi, Domenico Prattichizzo, Nicholas Vander Valk, Nathan Michael, George J. Pappas, Kostas Daniilidis: Vision-Based Localization for Leader-Follower Formation Control. IEEE Transactions on Robotics 25(6): 1431-1438 (2009)
74		A. Agung Julius, Alessandro D'Innocenzo, Maria Domenica Di Benedetto, George J. Pappas: Approximate equivalence and synchronization of metric transition systems. Systems & Control Letters 58(2): 94-101 (2009)
73		Georgios E. Fainekos, George J. Pappas: Robustness of temporal logic specifications for continuous-time signals. Theor. Comput. Sci. 410(42): 4262-4291 (2009)
	2008
72		Michael M. Zavlanos, Leonid Spesivtsev, George J. Pappas: A distributed auction algorithm for the assignment problem. CDC 2008: 1212-1217
71		A. Agung Julius, George J. Pappas: Probabilistic testing for stochastic hybrid systems. CDC 2008: 4030-4035
70		A. Agung Julius, Marcin Imielinski, George J. Pappas: Metabolic networks analysis using convex optimization. CDC 2008: 762-767
69		Nathan Michael, Michael M. Zavlanos, Vijay Kumar, George J. Pappas: Distributed multi-robot task assignment and formation control. ICRA 2008: 128-133
68		Jinghao Zhou, Sukmoon Chang, Qingshan Liu, George J. Pappas, Vasilios Boronikolas, Michael Michaelides, Nora D. Volkow, Panayotis K. Thanos, Dimitris N. Metaxas: A novel learning based segmentation method for rodent brain structures using MRI. ISBI 2008: 61-64
67		Nathan Michael, Michael M. Zavlanos, Vijay Kumar, George J. Pappas: Maintaining Connectivity in Mobile Robot Networks. ISER 2008: 117-126
66		Hadas Kress-Gazit, Georgios E. Fainekos, George J. Pappas: Translating Structured English to Robot Controllers. Advanced Robotics 22(12): 1343-1359 (2008)
65		Michael M. Zavlanos, George J. Pappas: A dynamical systems approach to weighted graph matching. Automatica 44(11): 2817-2824 (2008)
64		Antoine Girard, A. Agung Julius, George J. Pappas: Approximate Simulation Relations for Hybrid Systems. Discrete Event Dynamic Systems 18(2): 163-179 (2008)
63		Rajeev Alur, George J. Pappas: Introduction. Formal Methods in System Design 32(1): 1 (2008)
62		Michael M. Zavlanos, George J. Pappas: Dynamic Assignment in Distributed Motion Planning With Local Coordination. IEEE Transactions on Robotics 24(1): 232-242 (2008)
61		Michael M. Zavlanos, George J. Pappas: Distributed Connectivity Control of Mobile Networks. IEEE Transactions on Robotics 24(6): 1416-1428 (2008)
60		Paulo Tabuada, Aaron D. Ames, A. Agung Julius, George J. Pappas: Approximate reduction of dynamic systems. Systems & Control Letters 57(7): 538-545 (2008)
	2007
59		Georgios E. Fainekos, George J. Pappas: Robust Sampling for MITL Specifications. FORMATS 2007: 147-162
58		Georgios E. Fainekos, Antoine Girard, George J. Pappas: Hierarchical Synthesis of Hybrid Controllers from Temporal Logic Specifications. HSCC 2007: 203-216
57		A. Agung Julius, Georgios E. Fainekos, Madhukar Anand, Insup Lee, George J. Pappas: Robust Test Generation and Coverage for Hybrid Systems. HSCC 2007: 329-342
56		Michael M. Zavlanos, George J. Pappas: Distributed Hybrid Control for Multiple-Pursuer Multiple-Evader Games. HSCC 2007: 787-789
55		Peng Cheng, George J. Pappas, Vijay Kumar: Decidability of Motion Planning with Differential Constraints. ICRA 2007: 1826-1831
54		Gian Luca Mariottini, Fabio Morbidi, Domenico Prattichizzo, George J. Pappas, Kostas Daniilidis: Leader-Follower Formations: Uncalibrated Vision-Based Localization and Control. ICRA 2007: 2403-2408
53		Hadas Kress-Gazit, Georgios E. Fainekos, George J. Pappas: Where's Waldo? Sensor-Based Temporal Logic Motion Planning. ICRA 2007: 3116-3121
52		Michael M. Zavlanos, George J. Pappas: Sensor-Based Dynamic Assignment in Distributed Motion Planning. ICRA 2007: 3333-3338
51		Hadas Kress-Gazit, Georgios E. Fainekos, George J. Pappas: From structured english to robot motion. IROS 2007: 2717-2722
50		David C. Conner, Hadas Kress-Gazit, Howie Choset, Alfred A. Rizzi, George J. Pappas: Valet parking without a valet. IROS 2007: 572-577
49		Antoine Girard, George J. Pappas: Approximate bisimulation relations for constrained linear systems. Automatica 43(8): 1307-1317 (2007)
48		Michael M. Zavlanos, George J. Pappas: Potential Fields for Maintaining Connectivity of Mobile Networks. IEEE Transactions on Robotics 23(4): 812-816 (2007)
	2006
47		Truong Nghiem, George J. Pappas, Rajeev Alur, Antoine Girard: Time-triggered implementations of dynamic controllers. EMSOFT 2006: 2-11
46		Georgios E. Fainekos, George J. Pappas: Robustness of Temporal Logic Specifications. FATES/RV 2006: 178-192
45		Georgios E. Fainekos, Antoine Girard, George J. Pappas: Temporal Logic Verification Using Simulation. FORMATS 2006: 171-186
44		Antoine Girard, George J. Pappas: Verification Using Simulation. HSCC 2006: 272-286
43		Fabian Kratz, Oleg Sokolsky, George J. Pappas, Insup Lee: R-Charon, a Modeling Language for Reconfigurable Hybrid Systems. HSCC 2006: 392-406
42		Ali Ahmadzadeh, James F. Keller, George J. Pappas, Ali Jadbabaie, Vijay Kumar: An Optimization-Based Approach to Time-Critical Cooperative Surveillance and Coverage with UAVs. ISER 2006: 491-500
41		Paulo Tabuada, George J. Pappas: Corrigendum to "Hierarchical trajectory refinement for a class of nonlinear systems" [Automatica 41(4) (2005) 701-708]. Automatica 42(10): 1833 (2006)
40		Insup Lee, George J. Pappas, Rance Cleaveland, John Hatcliff, Bruce H. Krogh, Peter Lee, Harvey Rubin, Lui Sha: High-Confidence Medical Device Software and Systems. IEEE Computer 39(4): 33-38 (2006)
	2005
39		Mohamed Babaali, George J. Pappas: Observability of Switched Linear Systems in Continuous Time. HSCC 2005: 103-117
38		Georgios E. Fainekos, Hadas Kress-Gazit, George J. Pappas: Temporal Logic Motion Planning for Mobile Robots. ICRA 2005: 2020-2025
37		Ben Grocholsky, Rahul Swaminathan, James F. Keller, Vijay Kumar, George J. Pappas: Information Driven Coordinated Air-Ground Proactive Sensing. ICRA 2005: 2211-2216
36		Hakan Yazarel, Antoine Girard, George J. Pappas, Rajeev Alur: Quantifying the Gap between Embedded Control Models and Time-Triggered Implementations. RTSS 2005: 111-120
35		Paulo Tabuada, George J. Pappas: Hierarchical trajectory refinement for a class of nonlinear systems. Automatica 41(4): 701-708 (2005)
34		Paulo Tabuada, George J. Pappas, Pedro U. Lima: Motion feasibility of multi-agent formations. IEEE Transactions on Robotics 21(3): 387-392 (2005)
33		Calin Belta, Volkan Isler, George J. Pappas: Discrete abstractions for robot motion planning and control in polygonal environments. IEEE Transactions on Robotics 21(5): 864-874 (2005)
32		Paulo Tabuada, George J. Pappas: Quotients of Fully Nonlinear Control Systems. SIAM J. Control and Optimization 43(5): 1844-1866 (2005)
31		Esfandiar Haghverdi, Paulo Tabuada, George J. Pappas: Bisimulation relations for dynamical, control, and hybrid systems. Theor. Comput. Sci. 342(2-3): 229-261 (2005)
	2004
30		Rajeev Alur, George J. Pappas: Hybrid Systems: Computation and Control, 7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings Springer 2004
29		Ben Grocholsky, Selcuk Bayraktar, Vijay Kumar, Camillo J. Taylor, George J. Pappas: Synergies in Feature Localization by Air-Ground Robot Teams. ISER 2004: 352-361
28		Paulo Tabuada, George J. Pappas, Pedro U. Lima: Compositional Abstractions of Hybrid Control Systems. Discrete Event Dynamic Systems 14(2): 203-238 (2004)
27		Herbert G. Tanner, George J. Pappas, Vijay Kumar: Leader-to-formation stability. IEEE Transactions on Robotics 20(3): 443-455 (2004)
26		Rajeev Alur, Salvatore La Torre, George J. Pappas: Optimal paths in weighted timed automata. Theor. Comput. Sci. 318(3): 297-322 (2004)
	2003
25		Paulo Tabuada, George J. Pappas: Model Checking LTL over Controllable Linear Systems Is Decidable. HSCC 2003: 498-513
24		Paulo Tabuada, George J. Pappas: Abstractions of Hamiltonian control systems. Automatica 39(12): 2025-2033 (2003)
23		George J. Pappas: Bisimilar linear systems. Automatica 39(12): 2035-2047 (2003)
22		Rajeev Alur, Thao Dang, Joel M. Esposito, Yerang Hur, Franjo Ivancic, Vijay Kumar, Insup Lee, Pradyumna Mishra, George J. Pappas, Oleg Sokolsky: Hierarchical modeling and analysis of embedded systems. Proceedings of the IEEE 91(1): 11-28 (2003)
	2002
21		Paulo Tabuada, George J. Pappas, Pedro U. Lima: Composing Abstractions of Hybrid Systems. HSCC 2002: 436-450
20		Herbert G. Tanner, Vijay Kumar, George J. Pappas: The Effect of Feedback and Feedforward on Formation ISS. ICRA 2002: 3448-3453
19		Esfandiar Haghverdi, Paulo Tabuada, George J. Pappas: Bisimulation Relations for Dynamical and Control Systems. Electr. Notes Theor. Comput. Sci. 69: 120-136 (2002)
18		Rafael B. Fierro, Aveek K. Das, John R. Spletzer, Joel M. Esposito, Vijay Kumar, James P. Ostrowski, George J. Pappas, Camillo J. Taylor, Yerang Hur, Rajeev Alur, Insup Lee, Gregory Z. Grudic, Ben Southall: A Framework and Architecture for Multi-Robot Coordination. I. J. Robotic Res. 21(10-11): 977-998 (2002)
	2001
17		Rajeev Alur, Thao Dang, Joel M. Esposito, Rafael B. Fierro, Yerang Hur, Franjo Ivancic, Vijay Kumar, Insup Lee, Pradyumna Mishra, George J. Pappas, Oleg Sokolsky: Hierarchical Hybrid Modeling of Embedded Systems. EMSOFT 2001: 14-31
16		Joel M. Esposito, Vijay Kumar, George J. Pappas: Accurate Event Detection for Simulating Hybrid Systems. HSCC 2001: 204-217
15		Tak-John Koo, George J. Pappas, Shankar Sastry: Mode Switching Synthesis for Reachability Specifications. HSCC 2001: 333-346
14		Omid Shakernia, George J. Pappas, Shankar Sastry: Semi-decidable Synthesis for Triangular Hybrid Systems. HSCC 2001: 487-500
13		Rajeev Alur, Salvatore La Torre, George J. Pappas: Optimal Paths in Weighted Timed Automata. HSCC 2001: 49-62
12		Alberto L. Sangiovanni-Vincentelli, Thomas A. Henzinger, Bruce H. Krogh, Oded Maler, Manfred Morari, Costas C. Pantelides, George J. Pappas, Tunc Simsec, Janos Sztipanovits, Stavros Tripakis: Hybrid Systems Applications: An Oxymoron? HSCC 2001: 5-6
11		Paulo Tabuada, George J. Pappas: Hybrid Abstractions that Preserve Timed Languages. HSCC 2001: 501-514
10		Gerardo Lafferriere, George J. Pappas, Sergio Yovine: Symbolic Reachability Computation for Families of Linear Vector Fields. J. Symb. Comput. 32(3): 231-253 (2001)
	2000
9		Omid Shakernia, Shankar Sastry, George J. Pappas: Decidable Controller Synthesis for Classes of Linear Systems. HSCC 2000: 407-420
8		Rajeev Alur, Aveek K. Das, Joel M. Esposito, Rafael B. Fierro, Gregory Z. Grudic, Yerang Hur, Vijay Kumar, Insup Lee, J. P. Lee, James P. Ostrowski, George J. Pappas, Ben Southall, John R. Spletzer, Camillo J. Taylor: A Framework and Architecture for Multirobot Coordination. ISER 2000: 303-312
	1999
7		Gerardo Lafferriere, George J. Pappas, Sergio Yovine: A New Class of Decidable Hybrid Systems. HSCC 1999: 137-151
	1998
6		Gerardo Lafferriere, George J. Pappas, Shankar Sastry: Subanalytic Stratifications and Bisimulations. HSCC 1998: 205-220
5		John Lygeros, George J. Pappas, Shankar Sastry: An Approach to the Verification of the Center-TRACON Automation System. HSCC 1998: 289-304
	1997
4		Gerardo Lafferriere, George J. Pappas, Shankar Sastry: Hybrid Systems with Finite Bisimulations. Hybrid Systems 1997: 186-203
3		Tak-Kuen John Koo, Yi Ma, George J. Pappas, Claire Tomlin: SmartATMS: A Simulator for Air Traffic Management Systems. Winter Simulation Conference 1997: 1199-1205
	1996
2		George J. Pappas, Shankar Sastry: Towards Continuous Abstractions of Dynamical and Control Systems. Hybrid Systems 1996: 329-341
1		Claire Tomlin, George J. Pappas, John Lygeros, Datta N. Godbole, Shankar Sastry: Hybrid Control Models of Next Generarion AIr Traffic Management. Hybrid Systems 1996: 378-404

Coauthor Index

1	Ali Ahmadzadeh	[42] [81]
2	Rajeev Alur	[8] [13] [17] [18] [22] [26] [30] [36] [47] [63] [80] [87] [88] [102]
3	Aaron D. Ames	[60]
4	Madhukar Anand	[57]
5	Mansimar Aneja	[107]
6	Shun-ichi Azuma	[99]
7	Mohamed Babaali	[39]
8	Selcuk Bayraktar	[29]
9	Madhur Behl	[106] [112]
10	Calin Belta	[33]
11	Maria Domenica Di Benedetto	[74]
12	Vasilios Boronikolas	[68]
13	Stephen P. Boyd	[105]
14	Jian Chang	[109]
15	Sukmoon Chang	[68] [79]
16	U. Kei Cheang	[82]
17	Peng Cheng	[55]
18	Howie Choset	[50]
19	Rance Cleaveland	[40]
20	David C. Conner	[50]
21	Anthony Cowley	[108]
22	Alessandro D'Innocenzo	[74] [80] [87] [88] [102]
23	Thao Dang	[17] [22]
24	Kostas Daniilidis (Konstantinos Daniilidis)	[54] [75]
25	Aveek K. Das	[8] [18]
26	Foteini Delis	[79]
27	Chinwendu Enyioha	[109]
28	Joel M. Esposito	[8] [16] [17] [18] [22]
29	Georgios E. Fainekos	[38] [45] [46] [51] [53] [57] [58] [59] [66] [73] [76] [78] [96]
30	Eric Feron	[110]
31	Rafael B. Fierro	[8] [17] [18]
32	Antoine Girard	[36] [44] [45] [47] [49] [58] [64] [77] [78]
33	Datta N. Godbole	[1]
34	Ben Grocholsky	[29] [37]
35	Gregory Z. Grudic	[8] [18]
36	Aarti Gupta	[96]
37	Christoforos N. Hadjicostis	[100]
38	Esfandiar Haghverdi	[19] [31]
39	John Hatcliff	[40]
40	Thomas A. Henzinger	[12]
41	Pei-Chi Huang	[106]
42	Yerang Hur	[8] [17] [18] [22]
43	Marcin Imielinski	[70]
44	Alf J. Isaksson	[88]
45	Volkan Isler	[33]
46	Franjo Ivancic	[17] [22] [96]
47	Ali Jadbabaie	[42] [81] [92] [93]
48	Karl Henrik Johansson	[80] [87] [88] [102]
49	A. Agung Julius	[57] [60] [64] [70] [71] [74] [82] [83] [95] [104] [105]
50	James F. Keller	[37] [42]
51	Oussama Khatib	[89] [90]
52	Dal Hyung Kim	[104]
53	MinJun Kim	[82] [95] [104]
54	Tak-John Koo	[15]
55	Tak-Kuen John Koo	[3]
56	Fabian Kratz	[43]
57	Hadas Kress-Gazit	[38] [50] [51] [53] [66] [76] [78] [94]
58	Bruce H. Krogh	[12] [40]
59	Vijay Kumar	[8] [16] [17] [18] [20] [22] [27] [29] [37] [42] [55] [67] [69] [82] [89] [90] [95] [104] [108]
60	Gerardo Lafferriere	[4] [6] [7] [10]
61	Insup Lee	[8] [17] [18] [22] [40] [43] [57] [109]
62	J. P. Lee	[8]
63	Peter Lee	[40]
64	Zheng Li	[106]
65	Pedro U. Lima	[21] [28] [34]
66	Qingshan Liu	[68]
67	John Lygeros	[1] [5]
68	Yi Ma	[3]
69	Oded Maler	[12]
70	Rahul Mangharam	[97] [100] [103] [106] [107] [112] [114] [115]
71	Gian Luca Mariottini	[54] [75]
72	Dimitris N. Metaxas	[68] [79]
73	Nathan Michael	[67] [69] [75]
74	Michael Michaelides	[68] [79]
75	Pradyumna Mishra	[17] [22]
76	Aloysius K. Mok	[106]
77	Manfred Morari	[12]
78	Fabio Morbidi	[54] [75]
79	Nader Motee	[81] [93]
80	Truong Nghiem	[47] [96] [106] [112]
81	Jerome Le Ny	[85] [86] [91] [97] [101] [110] [113] [115]
82	James P. Ostrowski	[8] [18]
83	Miroslav Pajic	[97] [100] [103] [107] [114] [115]
84	Constantinos C. Pantelides (Costas C. Pantelides)	[12]
85	Domenico Prattichizzo	[54] [75]
86	Victor M. Preciado	[92]
87	Alejandro Ribeiro	[98] [113]
88	Alfred A. Rizzi	[50]
89	Harvey Rubin	[40]
90	Mahmut Selman Sakar	[82] [95] [99] [104] [108]
91	Alberto L. Sangiovanni-Vincentelli	[12]
92	Sriram Sankaranarayanan	[96]
93	Shankar Sastry (Shankar S. Sastry)	[1] [2] [4] [5] [6] [9] [14] [15]
94	Lui Sha	[40]
95	Omid Shakernia	[9] [14]
96	Tunc Simsec	[12]
97	Christoffer Sloth	[116]
98	Oleg Sokolsky	[17] [22] [43]
99	Ben Southall	[8] [18]
100	Leonid Spesivtsev	[72]
101	John R. Spletzer	[8] [18]
102	Edward B. Steager	[82] [95] [104] [108]
103	Shreyas Sundaram	[97] [100] [103] [107] [109] [114] [115]
104	Rahul Swaminathan	[37]
105	Janos Sztipanovits	[12]
106	Paulo Tabuada	[11] [19] [21] [24] [25] [28] [31] [32] [34] [35] [41] [60]
107	Herbert G. Tanner	[20] [27]
108	Camillo J. Taylor	[8] [18] [29]
109	Panayotis K. Thanos	[68] [79]
110	Claire J. Tomlin (Claire Tomlin)	[1] [3]
111	Salvatore La Torre	[13] [26]
112	Stavros Tripakis	[12]
113	Nicholas Vander Valk	[75]
114	Srinivas Vemuri	[107]
115	Krishna K. Venkatasubramanian	[109]
116	Nora D. Volkow	[68] [79]
117	Gera Weiss	[80] [87] [88] [102]
118	Rafael Wisniewski (Rafal Wisniewski)	[116]
119	Hakan Yazarel	[36]
120	Sergio Yovine	[7] [10]
121	Michael M. Zavlanos	[48] [52] [56] [61] [62] [65] [67] [69] [72] [85] [92] [98] [105]
122	Shaoting Zhang	[79]
123	Jinghao Zhou	[68] [79]

Colors in the list of coauthors

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page