Linear automaton transformations A Nerode Proceedings of the American Mathematical Society 9 (4), 541-544, 1958 | 791 | 1958 |
Hybrid systems RL Grossman, A Nerode, AP Ravn, H Rischel Springer 736, 474, 1993 | 610 | 1993 |
Models for hybrid systems: Automata, topologies, controllability, observability A Nerode, W Kohn International Hybrid Systems Workshop, 317-356, 1991 | 550 | 1991 |
Automatic presentations of structures B Khoussainov, A Nerode International Workshop on Logic and Computational Complexity, 367-392, 1994 | 397 | 1994 |
Logic for applications A Nerode, RA Shore Springer Science & Business Media, 2012 | 374 | 2012 |
Hybrid systems IV P Antsaklis, W Kohn, A Nerode, S Sastry International Hybrid Systems Workshop 4, 1996 | 363 | 1996 |
Hybrid control systems: An introductory discussion to the special issue PJ Antsaklis, A Nerode IEEE Transactions on Automatic Control 43 (4), 457-460, 1998 | 271 | 1998 |
Automata theory and its applications B Khoussainov, A Nerode Springer Science & Business Media, 2012 | 252 | 2012 |
Logics for hybrid systems JM Davoren, A Nerode Proceedings of the IEEE 88 (7), 985-1010, 2000 | 205 | 2000 |
Effective content of field theory G Metakides, A Nerode Annals of Mathematical Logic 17 (3), 289-320, 1979 | 174 | 1979 |
Recursively enumerable vector spaces G Metakides, A Nerode Annals of Mathematical Logic 11 (2), 147-171, 1977 | 161 | 1977 |
Multiple-agent hybrid control architecture for intelligent real-time control of distributed nonlinear processes W Kohn, A Nerode, J James US Patent 6,088,689, 2000 | 140 | 2000 |
Intrinsically recursive relations CJ Ash, A Nerode Aspects of effective algebra, 26-41, 1981 | 134 | 1981 |
Multiple-agent hybrid control architecture for intelligent real-time control of distributed nonlinear processes W Kohn, A Nerode US Patent 5,963,447, 1999 | 131 | 1999 |
Extensions to isols A Nerode Annals of mathematics, 362-403, 1961 | 130 | 1961 |
A theory of nonmonotonic rule systems I W Marek, A Nerode, J Remmel Annals of Mathematics and Artificial Intelligence 1 (1), 241-273, 1990 | 128* | 1990 |
Hybrid knowledge bases JJ Lu, A Nerode, VS Subrahmanian IEEE Transactions on Knowledge and Data Engineering 8 (5), 773-785, 1996 | 115 | 1996 |
Mixed integer programming methods for computing nonmonotonic deductive databases C Bell, A Nerode, RT Ng, VS Subrahmanian Journal of the ACM (JACM) 41 (6), 1178-1215, 1994 | 112 | 1994 |
Experimental evaluation of loss perception in continuous media D Wijesekera, J Srivastava, A Nerode, M Foresti Multimedia systems 7, 486-499, 1999 | 110 | 1999 |
A survey of lattices of re substructures A Nerode, J Remmel Recursion theory 42, 323-375, 1985 | 92 | 1985 |