|
Search the dblp DataBase
Luis Urbina:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Luis Urbina
Analysis of Hybrid Systems in CLP(R). [Citation Graph (0, 0)][DBLP] CP, 1996, pp:451-467 [Conf]
- Luis Urbina
The Generalized Railroad Crossing: Its Symbolic Analysis in CLP(R). [Citation Graph (0, 0)][DBLP] CP, 1996, pp:565-567 [Conf]
- Carsta Petersohn, Luis Urbina
A Timed Semantics for the STATEMATE Implementation of Statecharts. [Citation Graph (0, 0)][DBLP] FME, 1997, pp:553-572 [Conf]
- Ralf Huuck, Yassine Lakhnech, Luis Urbina, Sebastian Engell, Stefan Kowalewski, Jörg Preußig
Comparing Timed C/E Systems with Timed Automata (Abstract). [Citation Graph (0, 0)][DBLP] HART, 1997, pp:81-86 [Conf]
- Luis Urbina
Analysis of Robotics Applications in CLP. [Citation Graph (0, 0)][DBLP] WLP, 1995, pp:39-48 [Conf]
- Luis Urbina, Günter Riedewald
A Framework for Symbolic Simulation of Hybrid Systems in Constraint Logic Programming. [Citation Graph (0, 0)][DBLP] WLP, 1995, pp:29-38 [Conf]
Search in 0.001secs, Finished in 0.002secs
|