|
Search the dblp DataBase
Pascal Fontaine:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- David Déharbe, Pascal Fontaine, Silvio Ranise, Christophe Ringeissen
Decision Procedures for the Formal Analysis of Software. [Citation Graph (0, 0)][DBLP] ICTAC, 2006, pp:366-370 [Conf]
- Pascal Fontaine, E. Pascal Gribomont
Using BDDs with Combinations of Theories. [Citation Graph (0, 0)][DBLP] LPAR, 2002, pp:190-201 [Conf]
- Pascal Fontaine, Silvio Ranise, Calogero G. Zarba
Combining Lists with Non-stably Infinite Theories. [Citation Graph (0, 0)][DBLP] LPAR, 2004, pp:51-66 [Conf]
- Pascal Fontaine, E. Pascal Gribomont
Decidability of Invariant Validation for Paramaterized Systems. [Citation Graph (0, 0)][DBLP] TACAS, 2003, pp:97-112 [Conf]
- Pascal Fontaine, Jean-Yves Marion, Stephan Merz, Leonor Prensa Nieto, Alwen Fernanto Tiu
Expressiveness + Automation + Soundness: Towards Combining SMT Solvers and Interactive Proof Assistants. [Citation Graph (0, 0)][DBLP] TACAS, 2006, pp:167-181 [Conf]
Combinations of Theories and the Bernays-Schönfinkel-Ramsey Class. [Citation Graph (, )][DBLP]
veriT: An Open, Trustable and Efficient SMT-Solver. [Citation Graph (, )][DBLP]
Combinations of Theories for Decidable Fragments of First-Order Logic. [Citation Graph (, )][DBLP]
Combining Decision Procedures by (Model-)Equality Propagation. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.002secs
|