Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| On the expressiveness of TPTL and MTL | 42 | 1.27 | 2010 |
| O-Minimal Hybrid Reachability Games | 0 | 0.34 | 2010 |
| O-Minimal Hybrid Reachability Games | 8 | 0.50 | 2010 |
| Automata and logics over finitely varying functions | 0 | 0.34 | 2009 |
| Weighted o-minimal hybrid systems | 1 | 0.36 | 2009 |
| Weighted O-Minimal Hybrid Systems Are More Decidable Than Weighted Timed Automata! | 8 | 0.55 | 2007 |
| Counter-free input-determined timed automata | 3 | 0.37 | 2007 |
| Control in o-minimal Hybrid Systems | 11 | 0.58 | 2006 |
| On continuous timed automata with input-determined guards | 4 | 0.41 | 2006 |
| On the Control of Timed and Hybrid Systems. | 4 | 0.44 | 2006 |
| On conciseness of extensions of timed automata | 16 | 0.84 | 2005 |
| Fault diagnosis using timed automata | 29 | 1.31 | 2005 |