Back
  1. Home
  2. Profile of Baptiste Vergain (ULiège)
Profil

Vergain Baptiste

Dép. d'électric., électron. et informat. (Inst.Montefiore) > Systèmes informatiques distribués

Montefiore Institute

See author's contact details
ORCID
0009-0003-5545-4579
Main Referenced Co-authors
Boigelot, Bernard  (4)
Fontaine, Pascal  (4)
Main Referenced Keywords
Difference logic (2); First-order logic (2); Satisfiability (2); Unary uninterpreted predicates (2); Arithmetic (1);
Main Referenced Disciplines
Computer science (4)

Publications (total 4)

The most downloaded
41 downloads
Boigelot, B., Fontaine, P., & Vergain, B. (2023). Universal First-Order Quantification over Automata. In Implementation and Application of Automata (pp. 12). Springer Nature Switzerland. doi:10.1007/978-3-031-40247-0_6 https://hdl.handle.net/2268/306285

Boigelot, B., Fontaine, P., & Vergain, B. (2023). Universal First-Order Quantification over Automata. In Implementation and Application of Automata (pp. 12). Springer Nature Switzerland. doi:10.1007/978-3-031-40247-0_6
Peer reviewed

Vergain, B., Fontaine, P., & Boigelot, B. (01 September 2023). Decidability of Difference Logic over the Reals with Uninterpreted Unary Predicates. Lecture Notes in Computer Science, 14132, 542-559. doi:10.1007/978-3-031-38499-8
Peer reviewed

Boigelot, B., Fontaine, P., & Vergain, B. (19 August 2023). Decidability of difference logics with unary predicates. CEUR Workshop Proceedings, 3458, 25-36.
Peer Reviewed verified by ORBi

Vergain, B., Boigelot, B., & Fontaine, P. (14 November 2022). Deciding Satisfiability for Fragments with Unary Predicates and Difference Arithmetic. CEUR Workshop Proceedings, 3273.
Peer Reviewed verified by ORBi

Contact ORBi