Anil Nerode

Citado por

	Total	Desde 2020
Citas	9376	803
Índice h	46	15
Índice i10	126	18

500

250

125

375

198619871988198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202563 41 23 36 87 64 78 261 232 324 361 416 490 339 314 246 310 261 226 299 295 291 310 239 263 262 263 218 238 216 196 176 203 173 166 172 146 146 147 26

Coautores

wolf kohnresearch professor university of washingtonDirección de correo verificada de atigeo.com
Bakh KhoussainovProfessor, The Algorithms and Logic Group (ALG), UESTCDirección de correo verificada de uestc.edu.cn
V.S. SubrahmanianDepartment of Computer Science & ISTS, Dartmouth CollegeDirección de correo verificada de dartmouth.edu
Victor MarekProfessor of Computer Science, University of KentuckyDirección de correo verificada de cs.uky.edu
P J AntsaklisProfessor of Electrical Engineering, University of Notre DameDirección de correo verificada de nd.edu
Robert L GrossmanFrederick H. Rawson Professor of Medicine and Computer Science, University of ChicagoDirección de correo verificada de rgrossman.com
John CrossleyMonash UniversityDirección de correo verificada de monash.edu
J. M. DavorenThe University of MelbourneDirección de correo verificada de unimelb.edu.au
Duminda WijesekeraGeorge mason UniversityDirección de correo verificada de gmu.edu
Sergei ArtemovDistinguished Professor of Computer Science, Mathematics, and Philosophy, CUNY Graduate CenterDirección de correo verificada de gc.cuny.edu
Shankar SastryUniversity of CaliforniaDirección de correo verificada de berkeley.edu
Raymond NgUniversity of British ColumbiaDirección de correo verificada de cs.ubc.ca
Xiaolin GeHybrid Algorithms, LLCDirección de correo verificada de hybridalgorithms.ai
Andre ScedrovProfessor of Mathematics, Professor of Computer and Information Science, University of PennsylvaniaDirección de correo verificada de math.upenn.edu
James J. LuEmory UniversityDirección de correo verificada de emory.edu
Vadim KaganDirección de correo verificada de sentimetrix.com

Seguir

Anil Nerode

Professor of Mathematics, Cornell University

Dirección de correo verificada de twcny.rr.com - Página principal

logic hybrid systems model theory computability


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
Linear automaton transformations A Nerode Proceedings of the American Mathematical Society 9 (4), 541-544, 1958	836	1958
Hybrid systems RL Grossman, A Nerode, AP Ravn, H Rischel Springer 736, 474, 1993	623	1993
Models for hybrid systems: Automata, topologies, controllability, observability A Nerode, W Kohn International Hybrid Systems Workshop, 317-356, 1991	564	1991
Automatic presentations of structures B Khoussainov, A Nerode International Workshop on Logic and Computational Complexity, 367-392, 1994	414	1994
Logic for applications A Nerode, RA Shore Springer Science & Business Media, 2012	386	2012
Hybrid control systems: An introductory discussion to the special issue PJ Antsaklis, A Nerode IEEE Transactions on Automatic Control 43 (4), 457-460, 1998	279	1998
Hybrid systems II P Antsaklis, W Kohn, A Nerode, S Sastry Springer Science & Business Media, 1995	272	1995
Automata theory and its applications B Khoussainov, A Nerode Springer Science & Business Media, 2012	263	2012
Hybrid systems IV P Antsaklis, W Kohn, A Nerode, S Sastry International Hybrid Systems Workshop 4, 1996	227	1996
Logics for hybrid systems JM Davoren, A Nerode Proceedings of the IEEE 88 (7), 985-1010, 2000	214	2000
Effective content of field theory G Metakides, A Nerode Annals of Mathematical Logic 17 (3), 289-320, 1979	178	1979
Recursively enumerable vector spaces G Metakides, A Nerode Annals of Mathematical Logic 11 (2), 147-171, 1977	167	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	135	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
A theory of nonmonotonic rule systems I W Marek, A Nerode, J Remmel Annals of Mathematics and Artificial Intelligence 1 (1), 241-273, 1990	130*	1990
Extensions to isols A Nerode Annals of mathematics 73 (2), 362-403, 1961	129	1961
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	117	1994
Hybrid knowledge bases JJ Lu, A Nerode, VS Subrahmanian IEEE Transactions on Knowledge and Data Engineering 8 (5), 773-785, 2002	115	2002
Experimental evaluation of loss perception in continuous media D Wijesekera, J Srivastava, A Nerode, M Foresti Multimedia systems 7, 486-499, 1999	111	1999

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores