Scholar
Anil Nerode
Google Scholar ID: BaArKOYAAAAJ
Professor of Mathematics, Cornell University
logic
hybrid systems
model theory
computability
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
9,604
H-index
46
i10-index
133
Publications
20
Co-authors
16
list available
Co-authors
7 total
Bakh Khoussainov
Professor, The Algorithms and Logic Group (ALG), UESTC
V.S. Subrahmanian
Department of Computer Science & ISTS, Dartmouth College
P J Antsaklis
Professor of Electrical Engineering, University of Notre Dame
Duminda Wijesekera
George mason University
Robert L Grossman
Frederick H. Rawson Professor of Medicine and Computer Science, University of Chicago
Shankar Sastry
University of California
Raymond Ng
University of British Columbia
