Julián Samborski-Forlese

According to our database, Julián Samborski-Forlese authored at least 3 papers between 2008 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2012

Efficient Regular Linear Temporal Logic Using Dualization and Stratification.

César Sánchez, Julián Samborski-Forlese

Proceedings of the 19th International Symposium on Temporal Representation and Reasoning, 2012

How to Translate Efficiently Extensions of Temporal Logics into Alternating Automata.

César Sánchez, Julián Samborski-Forlese

Proceedings of the Theoretical Aspects of Computing - ICTAC 2012, 2012

2008

Preservation of Proof Pbligations for Hybrid Verification Methods.

Gilles Barthe, César Kunz, David Pichardie, Julián Samborski-Forlese

Proceedings of the Sixth IEEE International Conference on Software Engineering and Formal Methods, 2008