Jean-François Degbomont

According to our database, Jean-François Degbomont authored at least 4 papers between 2009 and 2013.

Collaborative distances:

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

2013

Implicit Real Vector Automata.

Jean-François Degbomont

PhD thesis, 2013

2012

Automata-Based Symbolic Representations of Polyhedra.

Bernard Boigelot, Julien Brusten, Jean-François Degbomont

Proceedings of the Language and Automata Theory and Applications, 2012

2010

Implicit Real Vector Automata

Bernard Boigelot, Julien Brusten, Jean-François Degbomont

Proceedings of the Proceedings 12th International Workshop on Verification of Infinite-State Systems, 2010

2009

Partial Projection of Sets Represented by Finite Automata, with Application to State-Space Visualization.

Bernard Boigelot, Jean-François Degbomont

Proceedings of the Language and Automata Theory and Applications, 2009