Analysis of Robotics Applications in CLP. - Luis Urbina (WLP, 1995)

A Framework for Symbolic Simulation of Hybrid Systems in Constraint Logic Programming. - Luis Urbina; Günter Riedewald (WLP, 1995)

Analysis of Hybrid Systems in CLP(R). - Luis Urbina (CP, 1996)

The Generalized Railroad Crossing: Its Symbolic Analysis in CLP(R). - Luis Urbina (CP, 1996)

Analyse hybrider Systeme in constraint logischer Programmierung. - Luis Urbina (1996)

A Timed Semantics for the STATEMATE Implementation of Statecharts. - Carsta Petersohn; Luis Urbina (FME, 1997)

Comparing Timed C/E Systems with Timed Automata (Abstract). - Ralf Huuck; Yassine Lakhnech; Luis Urbina; Sebastian Engell; Stefan Kowalewski; Jörg Preußig (HART, 1997)

Integrating Timed Condition/Event Systems and Timed Automata for the Verification of Hybrid Systems. - Ralf Huuck; Yassine Lakhnech; Luis Urbina; Sebastian Engell; Stefan Kowalewski; Jörg Preußig (Parallel Distributed Comput. Pract., 1998)