Denis Oddoux

According to our database1, Denis Oddoux authored at least 2 papers between 2001 and 2003.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2003
LTL with Past and Two-Way Very-Weak Alternating Automata.
Proceedings of the Mathematical Foundations of Computer Science 2003, 2003

2001
Fast LTL to Büchi Automata Translation.
Proceedings of the Computer Aided Verification, 13th International Conference, 2001


  Loading...