Pascal Fontaine

	2012
14		Diego Caminha B. de Oliveira, David Déharbe, Pascal Fontaine: Combining decision procedures by (model-)equality propagation. Sci. Comput. Program. 77(4): 518-532 (2012)
	2011
13		David Déharbe, Pascal Fontaine, Stephan Merz, Bruno Woltzenlogel Paleo: Exploiting Symmetry in SMT Problems. CADE 2011: 222-236
12		Pascal Fontaine, Stephan Merz, Bruno Woltzenlogel Paleo: Compression of Propositional Resolution Proofs via Partial Regularization. CADE 2011: 237-251
11		Carlos Areces, Pascal Fontaine: Combining Theories: The Ackerman and Guarded Fragments. FroCos 2011: 40-54
	2009
10		Thomas Bouton, Diego Caminha B. de Oliveira, David Déharbe, Pascal Fontaine: veriT: An Open, Trustable and Efficient SMT-Solver. CADE 2009: 151-156
9		Pascal Fontaine: Combinations of Theories for Decidable Fragments of First-Order Logic. FroCos 2009: 263-278
8		Diego Caminha B. de Oliveira, David Déharbe, Pascal Fontaine: Combining Decision Procedures by (Model-)Equality Propagation. Electr. Notes Theor. Comput. Sci. 240: 113-128 (2009)
	2007
7		Pascal Fontaine: Combinations of Theories and the Bernays-Schönfinkel-Ramsey Class. VERIFY 2007
	2006
6		David Déharbe, Pascal Fontaine, Silvio Ranise, Christophe Ringeissen: Decision Procedures for the Formal Analysis of Software. ICTAC 2006: 366-370
5		Pascal Fontaine, Jean-Yves Marion, Stephan Merz, Leonor Prensa Nieto, Alwen Fernanto Tiu: Expressiveness + Automation + Soundness: Towards Combining SMT Solvers and Interactive Proof Assistants. TACAS 2006: 167-181
	2005
4		Pascal Fontaine, E. Pascal Gribomont: Combining Non-stably Infinite, Non-first Order Theories. Electr. Notes Theor. Comput. Sci. 125(3): 37-51 (2005)
	2004
3		Pascal Fontaine, Silvio Ranise, Calogero G. Zarba: Combining Lists with Non-stably Infinite Theories. LPAR 2004: 51-66
	2003
2		Pascal Fontaine, E. Pascal Gribomont: Decidability of Invariant Validation for Paramaterized Systems. TACAS 2003: 97-112
	2002
1		Pascal Fontaine, E. Pascal Gribomont: Using BDDs with Combinations of Theories. LPAR 2002: 190-201

Coauthor Index

1	Carlos Areces	[11]
2	Thomas Bouton	[10]
3	David Déharbe (David Boris Paul Déharbe)	[6] [8] [10] [13] [14]
4	E. Pascal Gribomont	[1] [2] [4]
5	Jean-Yves Marion	[5]
6	Stephan Merz	[5] [12] [13]
7	Leonor Prensa Nieto	[5]
8	Diego Caminha B. de Oliveira	[8] [10] [14]
9	Bruno Woltzenlogel Paleo	[12] [13]
10	Silvio Ranise	[3] [6]
11	Christophe Ringeissen	[6]
12	Alwen Tiu (Alwen Fernanto Tiu)	[5]
13	Calogero G. Zarba	[3]

Colors in the list of coauthors

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page