Immediate Impact
2 standout
Citing Papers
Dynamical properties of hybrid automata
2003 Standout
Stabilization of linear systems with limited information
2001 Standout
Works of T. A. Henzinger being referenced
Temporal Proof Methodologies for Timed Transition-Systems
1994
Author Peers
| Author | Last Decade | Papers | Cites | |||
|---|---|---|---|---|---|---|
| T. A. Henzinger | 49 | 37 | 22 | 3 | 67 | |
| J. P. Queille | 50 | 27 | 20 | 2 | 58 | |
| Anca Browne | 88 | 67 | 46 | 4 | 103 | |
| Amin Shali | 52 | 47 | 34 | 5 | 89 | |
| Matthew Jaffe | 33 | 34 | 52 | 3 | 177 | |
| Anne Parrain | 58 | 102 | 54 | 4 | 165 | |
| O. Grumberg | 58 | 36 | 37 | 4 | 79 | |
| Fabian Emmes | 48 | 57 | 22 | 4 | 71 | |
| Jan Vytopil | 36 | 22 | 15 | 4 | 45 | |
| Emmanuel Fleury | 49 | 35 | 18 | 5 | 66 | |
| Aaron R. Bradley | 68 | 69 | 24 | 3 | 91 |
All Works
Loading papers...