Fontaine Pascal

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

Montefiore Institute

See author's contact details

: 0000-0003-4700-6031
: 204082471

Main Referenced Co-authors

Boigelot, Bernard (6)

Vergain, Baptiste (6)

Ringeissen, Christophe (5)

Barbosa, Haniel (4)

Lange, Jane (3)

Main Referenced Keywords

Automata (2); Automated reasoning (2); Computer Science (all) (2); Difference logic (2); First-order logic (2);

Main Referenced Unit & Research Centers

Montefiore Institute - Montefiore Institute of Electrical Engineering and Computer Science - ULiège (1)

Main Referenced Disciplines

Computer science (20)

Personal website

Publications (total 20)

Search in publications

The most downloaded

241 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

23 citations (OpenAlex)

Barbosa, H., Blanchette, J. C., Fleury, M., & Fontaine, P. (2020). Scalable Fine-Grained Proofs for Formula Processing. Journal of Automated Reasoning, 64 (3), 485-510. doi:10.1007/s10817-018-09502-y https://hdl.handle.net/2268/256523