| |
| 1997 | ||
|---|---|---|
| 6 | Carsta Petersohn, Luis Urbina: A Timed Semantics for the STATEMATE Implementation of Statecharts. FME 1997: 553-572 | |
| 5 | Ralf Huuck, Yassine Lakhnech, Luis Urbina, Sebastian Engell, Stefan Kowalewski, Jörg Preußig: Comparing Timed C/E Systems with Timed Automata (Abstract). HART 1997: 81-86 | |
| 1996 | ||
| 4 | Luis Urbina: Analysis of Hybrid Systems in CLP(R). CP 1996: 451-467 | |
| 3 | Luis Urbina: The Generalized Railroad Crossing: Its Symbolic Analysis in CLP(R). CP 1996: 565-567 | |
| 1995 | ||
| 2 | Luis Urbina, Günter Riedewald: A Framework for Symbolic Simulation of Hybrid Systems in Constraint Logic Programming. WLP 1995: 29-38 | |
| 1 | Luis Urbina: Analysis of Robotics Applications in CLP. WLP 1995: 39-48 | |
| 1 | Sebastian Engell | [5] |
| 2 | Ralf Huuck | [5] |
| 3 | Stefan Kowalewski | [5] |
| 4 | Yassine Lakhnech | [5] |
| 5 | Carsta Petersohn | [6] |
| 6 | Jörg Preußig | [5] |
| 7 | Günter Riedewald | [2] |