Alur, Rajeev, 1966-....
Alur, Rajeev
Rajeev Alur informaticien américain
VIAF ID: 22841433 ( Personal )
Permalink: http://viaf.org/viaf/22841433
Preferred Forms
- 200 _ | ‡a Alur ‡b Rajeev ‡f 1966-....
- 100 1 _ ‡a Alur, Rajeev
-
-
-
-
- 100 1 _ ‡a Alur, Rajeev ‡d 1966-
- 100 1 _ ‡a Alur, Rajeev ‡d 1966-
-
-
-
-
- 100 1 0 ‡a Alur, Rajeev, ‡d 1966-
- 100 1 _ ‡a Alur, Rajeev, ‡d 1966-....
- 100 0 _ ‡a Rajeev Alur ‡c informaticien américain
4xx's: Alternate Name Forms (5)
5xx's: Related Names (7)
- 510 2 _ ‡a DIMACS/SYCON Workshop on Verification and Control of Hybrid Systems (1995 : Rutgers University)
- 510 2 _ ‡a EMSOFT (Conference)
- 551 _ _ ‡a Philadelphia, Pa. ‡4 ortw ‡4 https://d-nb.info/standards/elementset/gnd#placeOfActivity
- 510 2 _ ‡a University of Pennsylvania
- 510 2 _ ‡a University of Pennsylvania ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
- 510 2 _ ‡a Workshop on Hybrid Systems (1995 : New Brunswick, N.J.)
- 510 2 _ ‡a diss
Works
Title | Sources |
---|---|
The benefits of relaxing punctuality | |
CAV 2004 | |
CAV'96 | |
Computer aided verification : 16th international conference, CAV 2004, Boston, MA, USA, July 13-17, 2004 ; proceedings | |
Embedded software : third international conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003 : proceedings | |
Handbook of networked and embedded control systems | |
Heuristics for hierarchial partitioning with application to model checking | |
HSCC 2004 | |
Hybrid systems III : verification and control | |
Pattern Matching with Time : Theory and Applications | |
Principles of cyber-physical systems | |
Robustness in timed automata : analysis, synthesis, implementation | |
Volumétrie des langages temporisés et applications. |