Luis Urbina

	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

Coauthor Index

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]

Colors in the list of coauthors