Profil

Degbomont Jean-François

See author's contact details
Main Referenced Co-authors
Boigelot, Bernard  (3)
Brusten, Julien  (2)
Main Referenced Keywords
Boolean combinations of linear constraints (2); Data structure (2); Non-convex polyhedra (2); automata (1); number decision diagrams (1);
Main Referenced Disciplines
Computer science (4)

Publications (total 4)

The most downloaded
331 downloads
Boigelot, B., Brusten, J., & Degbomont, J.-F. (March 2012). Automata-Based Symbolic Representations of Polyhedra. Lecture Notes in Computer Science, 7183, 3-20. doi:10.1007/978-3-642-28332-1_2 https://hdl.handle.net/2268/115633

The most cited

2 citations (Scopus®)

Boigelot, B., Brusten, J., & Degbomont, J.-F. (March 2012). Automata-Based Symbolic Representations of Polyhedra. Lecture Notes in Computer Science, 7183, 3-20. doi:10.1007/978-3-642-28332-1_2 https://hdl.handle.net/2268/115633

Degbomont, J.-F. (2013). Implicit Real Vector Automata [Doctoral thesis, ULiège - Université de Liège]. ORBi-University of Liège. https://orbi.uliege.be/handle/2268/156331

Boigelot, B., Brusten, J., & Degbomont, J.-F. (March 2012). Automata-Based Symbolic Representations of Polyhedra. Lecture Notes in Computer Science, 7183, 3-20. doi:10.1007/978-3-642-28332-1_2

Boigelot, B., Brusten, J., & Degbomont, J.-F. (2010). Implicit Real Vector Automata. Electronic Proceedings in Theoretical Computer Science, 39, 63-76. doi:10.4204/EPTCS.39.5
Peer Reviewed verified by ORBi

Boigelot, B., & Degbomont, J.-F. (2009). Partial Projection of Sets Represented by Finite Automata, with Application to State-Space Visualization. Lecture Notes in Computer Science, 5457, 200-211. doi:10.1007/978-3-642-00982-2_17
Peer reviewed

Contact ORBi