Luis Urbina

According to our database1, Luis Urbina authored at least 8 papers between 1995 and 1998.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

1998
Integrating Timed Condition/Event Systems and Timed Automata for the Verification of Hybrid Systems.
Parallel Distributed Comput. Pract., 1998

1997
Comparing Timed C/E Systems with Timed Automata (Abstract).
Proceedings of the Hybrid and Real-Time Systems, 1997

A Timed Semantics for the STATEMATE Implementation of Statecharts.
Proceedings of the FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 1997

1996
Analyse hybrider Systeme in constraint logischer Programmierung.
PhD thesis, 1996

The Generalized Railroad Crossing: Its Symbolic Analysis in CLP(R).
Proceedings of the Second International Conference on Principles and Practice of Constraint Programming, 1996

Analysis of Hybrid Systems in CLP(R).
Proceedings of the Second International Conference on Principles and Practice of Constraint Programming, 1996

1995
A Framework for Symbolic Simulation of Hybrid Systems in Constraint Logic Programming.
Proceedings of the 11. Workshop Logische Programmierung, 1995

Analysis of Robotics Applications in CLP.
Proceedings of the 11. Workshop Logische Programmierung, 1995


  Loading...