Anil Nerode

Citované v

	Všetky	Od 2020
Citácie	9365	800
h-index	46	15
i10-index	126	18

500

250

125

375

198619871988198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202563 41 23 36 87 64 78 261 232 324 361 415 490 336 311 246 310 261 226 299 295 291 310 239 263 262 263 217 239 215 196 176 203 173 165 172 146 146 144 27

Spoluautori

wolf kohnresearch professor university of washingtonOverená e-mailová adresa na: atigeo.com
Bakh KhoussainovProfessor, The Algorithms and Logic Group (ALG), UESTCOverená e-mailová adresa na: uestc.edu.cn
V.S. SubrahmanianDepartment of Computer Science & ISTS, Dartmouth CollegeOverená e-mailová adresa na: dartmouth.edu
Victor MarekProfessor of Computer Science, University of KentuckyOverená e-mailová adresa na: cs.uky.edu
P J AntsaklisProfessor of Electrical Engineering, University of Notre DameOverená e-mailová adresa na: nd.edu
Robert L GrossmanFrederick H. Rawson Professor of Medicine and Computer Science, University of ChicagoOverená e-mailová adresa na: rgrossman.com
John CrossleyMonash UniversityOverená e-mailová adresa na: monash.edu
J. M. DavorenThe University of MelbourneOverená e-mailová adresa na: unimelb.edu.au
Duminda WijesekeraGeorge mason UniversityOverená e-mailová adresa na: gmu.edu
Sergei ArtemovDistinguished Professor of Computer Science, Mathematics, and Philosophy, CUNY Graduate CenterOverená e-mailová adresa na: gc.cuny.edu
Shankar SastryUniversity of CaliforniaOverená e-mailová adresa na: berkeley.edu
Raymond NgUniversity of British ColumbiaOverená e-mailová adresa na: cs.ubc.ca
Xiaolin GeHybrid Algorithms, LLCOverená e-mailová adresa na: hybridalgorithms.ai
Andre ScedrovProfessor of Mathematics, Professor of Computer and Information Science, University of PennsylvaniaOverená e-mailová adresa na: math.upenn.edu
James J. LuEmory UniversityOverená e-mailová adresa na: emory.edu
Vadim KaganOverená e-mailová adresa na: sentimetrix.com

Sledovať

Anil Nerode

Professor of Mathematics, Cornell University

Overená e-mailová adresa na: twcny.rr.com - Domovská stránka

logic hybrid systems model theory computability


Názov Zoradiť podľa citácií Zoradiť podľa roka Zoradiť podľa názvu	Citované v Citované v	Rok
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	621	1993
Models for hybrid systems: Automata, topologies, controllability, observability A Nerode, W Kohn International Hybrid Systems Workshop, 317-356, 1991	562	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	278	1998
Hybrid systems II P Antsaklis, W Kohn, A Nerode, S Sastry Springer Science & Business Media, 1995	271	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	213	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	129*	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

Systém momentálne nemôže vykonať operáciu. Skúste to neskôr.

Články 1–20

Citácie za rok

Duplicitné citácie

Zlúčené citácie

Pridať spoluautorovSpoluautori

Sledovať

Citované v

Spoluautori