Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| On Timed Scope-bounded Context-sensitive Languages. | 0 | 0.34 | 2019 |
| Adding Dense-Timed Stack to Integer Reset Timed Automata. | 0 | 0.34 | 2017 |
| On Nonlinear Prices In Timed Automata | 1 | 0.38 | 2016 |
| A Logical Characterization for Dense-Time Visibly Pushdown Automata. | 2 | 0.38 | 2016 |
| A Perfect Class of Context-Sensitive Timed Languages. | 2 | 0.38 | 2016 |
| Bounded-Rate Multi-Mode Systems Based Motion Planning. | 2 | 0.39 | 2014 |