Ian Horrocks
Professor of Computer Science, University of Oxford
Verified email at cs.ox.ac.uk
Cited by 62473
Rajeev Alur
Zisman Family Professor of Computer and Information Science, University of Pennsylvania
Verified email at seas.upenn.edu
Cited by 52838
Franz Baader
Professor of Theoretical Computer Science, TU Dresden
Verified email at tu-dresden.de
Cited by 37815
Tobias Nipkow
Professor of Computer Science, Technische Universität München
Verified email at in.tum.de
Cited by 19279
![Carsten Lutz](/citations/images/avatar_scholar_56.png)
Carsten Lutz
Professor of Computer Science, University of Leipzig
Verified email at informatik.uni-leipzig.de
Cited by 14621
Frank Wolter
Department of Computer Science, University of Liverpool
Verified email at liverpool.ac.uk
Cited by 14235
Neil Immerman
College of Computer and Information Sciences, UMass, Amherst
Verified email at cs.umass.edu
Cited by 14005
Leonid Libkin
Professor of Computer Science, University of Edinburgh
Verified email at inf.ed.ac.uk
Cited by 13070
![Wolfgang Thomas](/citations/images/avatar_scholar_56.png)
Wolfgang Thomas
Prof of Computer Science, RWTH Aachen University
Verified email at cs.rwth-aachen.de
Cited by 12202
Marcelo Arenas
Professor of Computer Science, Pontificia Universidad Católica de Chile and IMFD Chile.
Verified email at ing.puc.cl
Cited by 12079