AboutSign inJoin
User photo

Rajeev Alur

About

Rajeev Alur is an American professor of computer science at the University of Pennsylvania who has made contributions to formal methods, programming languages, and automata theory, including notably the introduction of timed automata and nested words.

Books

Principles of Cyber-Physical Systems
Principles of Cyber-Physical Systems
Rajeev Alur
Computer Aided Verification
Computer Aided Verification
Doron A. Peled, Rajeev Alur
Rajeev Alur, Thomas Henzinger
Computer Aided Verification
8th International Conference, CAV '96, New Brunswick, NJ, USA, July 31 - August 3, 1996. Proceedings
Computer Aided Verification
Rajeev Alur, Thomas Henzinger
Hybrid Systems: Computation and Control
Hybrid Systems: Computation and Control
George Pappas, Rajeev Alur
Computer Aided Verification
Computer Aided Verification
Rajeev Alur

Join the club

Track what you're reading, see what your friends are into and explore the ideas of the world's greatest authors together.

Download on the App StoreDownload on the Google Play Store
... or sign up right here
Company
  • About
  • Partners
  • Careers
  • Press
  • Legal
  • Privacy
Social
  • Twitter
  • Instagram
  • Facebook
  • TikTok
Support
  • FAQ
  • Changelog
  • Feature ideas
  • API
  • Widget
  • Contact
App
  • iPhone app
  • Android app
Help us
  • Become a Patron
  • Become a Librarian