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  (5)
Fontaine, Pascal  (5)
Main Referenced Keywords
Difference logic (2); First-order logic (2); Satisfiability (2); Unary uninterpreted predicates (2); Arithmetic (1);
Main Referenced Disciplines
Computer science (5)

Publications (total 5)

The most downloaded
83 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

The most cited

2 citations (OpenAlex)

Boigelot, B., Fontaine, P., & Vergain, 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_31 https://hdl.handle.net/2268/308694

Boigelot, B., Fontaine, P., & Vergain, B. (2024). Non-emptiness Test for Automata over Words Indexed by the Reals and Rationals. In S. Z. Fazekas (Ed.), Implementation and Application of Automata - 28th International Conference, CIAA 2024, Proceedings. Springer Science and Business Media Deutschland GmbH. doi:10.1007/978-3-031-71112-1_7
Peer reviewed

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

Boigelot, B., Fontaine, P., & Vergain, 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_31
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