The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Pascal Fontaine" ( http://dblp.L3S.de/Authors/Pascal_Fontaine )

URL (Homepage):  http://www.loria.fr/~fontaine/  Author page on DBLP  Author page in RDF  Community of Pascal Fontaine in ASPL-2

Publication years (Num. hits)
2002-2012 (17) 2013-2016 (18) 2017-2019 (14)
Publication types (Num. hits)
article(13) book(1) inproceedings(29) proceedings(6)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 50 publication records. Showing 49 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Maria Paola Bonacina, Pascal Fontaine, Christophe Ringeissen, Cesare Tinelli Theory Combination: Beyond Equality Sharing. Search on Bibsonomy Description Logic, Theory Combination, and All That The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Pascal Fontaine (eds.) Automated Deduction - CADE 27 - 27th International Conference on Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings Search on Bibsonomy CADE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Pascal Fontaine, Cezary Kaliszyk, Stephan Schulz 0001, Josef Urban Foreword to the Special Issue on Automated Reasoning. Search on Bibsonomy AI Commun. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Pascal Fontaine Satisfiability Modulo Theories: state-of-the-art, contributions, project. (Satisfaisabilité Modulo Théories: état de l'art, contributions, projet). Search on Bibsonomy 2018   RDF
1Andrew Reynolds, Haniel Barbosa, Pascal Fontaine Revisiting Enumerative Instantiation. Search on Bibsonomy TACAS (2) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Andreas Fellner, Pascal Fontaine, Bruno Woltzenlogel Paleo NP-completeness of small conflict set generation for congruence closure. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Haniel Barbosa, Jasmin Christian Blanchette, Simon Cruanes, Daniel El Ouraoui, Pascal Fontaine Language and Proofs for Higher-Order SMT (Work in Progress). Search on Bibsonomy PxTP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Pascal Fontaine, Mizuhito Ogawa, Thomas Sturm 0001, Xuan-Tung Vu Subtropical Satisfiability. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Haniel Barbosa, Jasmin Christian Blanchette, Pascal Fontaine Scalable Fine-Grained Proofs for Formula Processing. Search on Bibsonomy CADE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Erika Ábrahám, John Abbott, Bernd Becker 0001, Anna Maria Bigatti, Martin Brain, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Vijay Ganesh, Alberto Griggio, Daniel Kroening, Werner M. Seiler SC-square: when Satisfiability Checking and Symbolic Computation join forces. Search on Bibsonomy ARCADE@CADE The full citation details ... 2017 DBLP  BibTeX  RDF
1Jasmin Christian Blanchette, Pascal Fontaine, Stephan Schulz 0001, Uwe Waldmann Towards Strong Higher-Order Automation for Fast Interactive Verification. Search on Bibsonomy ARCADE@CADE The full citation details ... 2017 DBLP  BibTeX  RDF
1Haniel Barbosa, Pascal Fontaine, Andrew Reynolds Congruence Closure with Free Variables. Search on Bibsonomy TACAS (2) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Erika Ábrahám, James H. Davenport, Pascal Fontaine (eds.) Proceedings of the 1st Workshop on Satisfiability Checking and Symbolic Computation co-located with 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2016), Timisoara, Romania, September 24, 2016. Search on Bibsonomy SC²@SYNASC The full citation details ... 2017 DBLP  BibTeX  RDF
1Pascal Fontaine, Mizuhito Ogawa, Thomas Sturm 0001, Xuan-Tung Vu Subtropical Satisfiability. Search on Bibsonomy FroCoS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Erika Ábrahám, John Abbott, Bernd Becker 0001, Anna Maria Bigatti, Martin Brain, Bruno Buchberger, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Alberto Griggio, Daniel Kroening, Werner M. Seiler, Thomas Sturm 0001 Satisfiability checking and symbolic computation. Search on Bibsonomy ACM Comm. Computer Algebra The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Erika Ábrahám, John Abbott, Bernd Becker 0001, Anna Maria Bigatti, Martin Brain, Bruno Buchberger, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Alberto Griggio, Daniel Kroening, Werner M. Seiler, Thomas Sturm 0001 Satisfiability Checking and Symbolic Computation. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Erika Ábrahám, John Abbott, Bernd Becker 0001, Anna Maria Bigatti, Martin Brain, Bruno Buchberger, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Alberto Griggio, Daniel Kroening, Werner M. Seiler, Thomas Sturm 0001 Satisfiability Checking meets Symbolic Computation (Project Paper). Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Pascal Fontaine, Stephan Schulz 0001, Josef Urban (eds.) Proceedings of the 5th Workshop on Practical Aspects of Automated Reasoning co-located with International Joint Conference on Automated Reasoning (IJCAR 2016), Coimbra, Portugal, July 2nd, 2016. Search on Bibsonomy PAAR@IJCAR The full citation details ... 2016 DBLP  BibTeX  RDF
1Erika Ábrahám, John Abbott, Bernd Becker 0001, Anna Maria Bigatti, Martin Brain, Bruno Buchberger, Alessandro Cimatti, James H. Davenport, Matthew England, Pascal Fontaine, Stephen Forrest, Alberto Griggio, Daniel Kroening, Werner M. Seiler, Thomas Sturm 0001 SC2: Satisfiability Checking Meets Symbolic Computation - (Project Paper). Search on Bibsonomy CICM The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Erika Ábrahám, Pascal Fontaine, Thomas Sturm 0001, Dongming Wang Symbolic Computation and Satisfiability Checking (Dagstuhl Seminar 15471). Search on Bibsonomy Dagstuhl Reports The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Maximilian Jaroschek, Pablo Federico Dobal, Pascal Fontaine Adapting Real Quantifier Elimination Methods for Conflict Set Computation. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Pascal Fontaine, Thomas Sturm 0001, Uwe Waldmann Foreword to the Special Focus on Constraints and Combinations. Search on Bibsonomy Mathematics in Computer Science The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Carlos Areces, Pascal Fontaine, Stephan Merz Modal Satisfiability via SMT Solving. Search on Bibsonomy Software, Services, and Systems The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Paula Chocron, Pascal Fontaine, Christophe Ringeissen A Polite Non-Disjoint Combination Method: Theories with Bridging Functions Revisited. Search on Bibsonomy CADE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Maximilian Jaroschek, Pablo Federico Dobal, Pascal Fontaine Adapting Real Quantifier Elimination Methods for Conflict Set Computation. Search on Bibsonomy FroCos The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Paula Chocron, Pascal Fontaine, Christophe Ringeissen A Rewriting Approach to the Combination of Data Structures with Bridging Theories. Search on Bibsonomy FroCos The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1David Déharbe, Pascal Fontaine, Yoann Guyot, Laurent Voisin Integrating SMT solvers in Rodin. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Paula Chocron, Pascal Fontaine, Christophe Ringeissen A Gentle Non-disjoint Combination of Satisfiability Procedures. Search on Bibsonomy IJCAR The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Pascal Fontaine, Renate A. Schmidt, Stephan Schulz 0001 (eds.) Third Workshop on Practical Aspects of Automated Reasoning, PAAR-2012, Manchester, UK, June 30 - July 1, 2012 Search on Bibsonomy PAAR@IJCAR The full citation details ... 2013 DBLP  BibTeX  RDF
1Pascal Fontaine, Amit Goel (eds.) 10th International Workshop on Satisfiability Modulo Theories, SMT 2012, Manchester, UK, June 30 - July 1, 2012 Search on Bibsonomy SMT@IJCAR The full citation details ... 2013 DBLP  BibTeX  RDF
1David Déharbe, Pascal Fontaine, Daniel Le Berre, Bertrand Mazure Computing prime implicants. Search on Bibsonomy FMCAD The full citation details ... 2013 DBLP  BibTeX  RDF
1Pascal Fontaine, Christophe Ringeissen, Renate A. Schmidt (eds.) Frontiers of Combining Systems - 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings Search on Bibsonomy FroCoS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Diego Caminha Barbosa De Oliveira, David Déharbe, Pascal Fontaine Combining decision procedures by (model-)equality propagation. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Pascal Fontaine, Stephan Merz, Christoph Weidenbach Combination of Disjoint Theories: Beyond Decidability. Search on Bibsonomy IJCAR The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1David Déharbe, Pascal Fontaine, Yoann Guyot, Laurent Voisin SMT Solvers for Rodin. Search on Bibsonomy ABZ The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Pascal Fontaine, Stephan Merz, Bruno Woltzenlogel Paleo Compression of Propositional Resolution Proofs via Partial Regularization. Search on Bibsonomy CADE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1David Déharbe, Pascal Fontaine, Stephan Merz, Bruno Woltzenlogel Paleo Exploiting Symmetry in SMT Problems. Search on Bibsonomy CADE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Carlos Areces, Pascal Fontaine Combining Theories: The Ackerman and Guarded Fragments. Search on Bibsonomy FroCoS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Thomas Bouton, Diego Caminha, David Déharbe, Pascal Fontaine GridTPT: a distributed platform for Theorem Prover Testing. Search on Bibsonomy PAAR@IJCAR The full citation details ... 2010 DBLP  BibTeX  RDF
1Diego Caminha Barbosa De Oliveira, David Déharbe, Pascal Fontaine Combining Decision Procedures by (Model-)Equality Propagation. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Thomas Bouton, Diego Caminha Barbosa De Oliveira, David Déharbe, Pascal Fontaine veriT: An Open, Trustable and Efficient SMT-Solver. Search on Bibsonomy CADE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Pascal Fontaine Combinations of Theories for Decidable Fragments of First-Order Logic. Search on Bibsonomy FroCoS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Pascal Fontaine Combinations of Theories and the Bernays-Schönfinkel-Ramsey Class. Search on Bibsonomy VERIFY The full citation details ... 2007 DBLP  BibTeX  RDF
1David Déharbe, Pascal Fontaine, Silvio Ranise, Christophe Ringeissen Decision Procedures for the Formal Analysis of Software. Search on Bibsonomy ICTAC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Pascal Fontaine, Jean-Yves Marion, Stephan Merz, Leonor Prensa Nieto, Alwen Fernanto Tiu Expressiveness + Automation + Soundness: Towards Combining SMT Solvers and Interactive Proof Assistants. Search on Bibsonomy TACAS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Pascal Fontaine, E. Pascal Gribomont Combining Non-stably Infinite, Non-first Order Theories. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Pascal Fontaine, Silvio Ranise, Calogero G. Zarba Combining Lists with Non-stably Infinite Theories. Search on Bibsonomy LPAR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Pascal Fontaine, E. Pascal Gribomont Decidability of Invariant Validation for Paramaterized Systems. Search on Bibsonomy TACAS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Pascal Fontaine, E. Pascal Gribomont Using BDDs with Combinations of Theories. Search on Bibsonomy LPAR The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #49 of 49 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license