Anil Nerode
Scholar

Anil Nerode

Google Scholar ID: BaArKOYAAAAJ
Professor of Mathematics, Cornell University
logichybrid systemsmodel theorycomputability
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
9,604
 
H-index
46
 
i10-index
133
 
Publications
20
 
Co-authors
16
list available
Contact
No contact links provided.
Publications
20 items
Browse publications on Google Scholar (top-right) ↗
Resume (English only)
Co-authors
16 total
Co-author 1
Co-author 1
Bakh Khoussainov
Bakh Khoussainov
Professor, The Algorithms and Logic Group (ALG), UESTC
V.S. Subrahmanian
V.S. Subrahmanian
Department of Computer Science & ISTS, Dartmouth College
Co-author 4
Co-author 4
P J Antsaklis
P J Antsaklis
Professor of Electrical Engineering, University of Notre Dame
Co-author 6
Co-author 6
Duminda Wijesekera
Duminda Wijesekera
George mason University
Robert L Grossman
Robert L Grossman
Frederick H. Rawson Professor of Medicine and Computer Science, University of Chicago