Skip to Main content
Number of documents

95

Pascal Fontaine - Publications


Journal articles46 documents

  • Haniel Barbosa, Jasmin Blanchette, Mathias Fleury, Pascal Fontaine. Scalable Fine-Grained Proofs for Formula Processing. Journal of Automated Reasoning, Springer Verlag, 2020, 64 (3), pp.485-510. ⟨10.1007/s10817-018-09502-y⟩. ⟨hal-02515103⟩
  • Paula Chocron, Pascal Fontaine, Christophe Ringeissen. Politeness and Combination Methods for Theories with Bridging Functions. Journal of Automated Reasoning, Springer Verlag, 2020, 64, pp.97-134. ⟨10.1007/s10817-019-09512-4⟩. ⟨hal-01988452⟩
  • Daniel Żarski, Katarzyna Palińska-Żarska, Sławomir Krejszeff, Jarosław Król, Sylvain Milla, et al.. A Novel Approach for Induced Out-of-season Spawning of Eurasian Perch, Perca fluviatilis. Aquaculture, Elsevier, 2019, 512, pp.734300. ⟨hal-02300991⟩
  • Lola Toomey, Martin Bláha, Emilie Mauduit, Tatyana Vanina, Margot Baratçabal, et al.. When behavioural geographic differentiation matters: inter-populational comparison of aggressiveness and group structure in the European perch. Aquaculture International, Springer Verlag, In press, pp 1-15. ⟨10.1007/s10499-019-00343-z⟩. ⟨hal-01989468⟩
  • Andreas Fellner, Pascal Fontaine, Bruno Woltzenlogel Paleo. NP-completeness of small conflict set generation for congruence closure. Formal Methods in System Design, Springer Verlag, 2017, 51 (3), pp.533 - 544. ⟨10.1007/s10703-017-0283-x⟩. ⟨hal-01908684⟩
  • Didier Techer, Sylvain Milla, Pascal Fontaine, Sandrine Viot, Marielle Thomas. Influence of Waterborne Gallic and Pelargonic Acid Exposures on Biochemical and Reproductive Parameters in the Zebrafish (Danio rerio). Environmental Toxicology, Wiley, 2017, 32 (1), pp.227-240. ⟨10.1002/tox.22228⟩. ⟨hal-01575773⟩
  • Didier Techer, Pascal Fontaine, Aline Personne, Sandrine Viot, Marielle Thomas. Allelopathic potential and ecotoxicity evaluation of gallic and nonanoic acids to prevent cyanobacterial growth in lentic systems: A preliminary mesocosm study. Science of the Total Environment, Elsevier, 2016, 547, pp.157 - 165. ⟨10.1016/j.scitotenv.2015.12.164⟩. ⟨hal-01575605⟩
  • Tatiana Colchen, Fabrice Teletchea, Pascal Fontaine, Alain Pasquet. Temperature modifies activity, inter-individual relationships and group structure in fish. Current zoology, Institute of zoology, Chinese academy of sciences, 2016, 63 (2), pp.175-183. ⟨10.1093/cz/zow048⟩. ⟨hal-01576085⟩
  • Stefano Bosi, Pascal Fontaine, Cuong Le Van. Interest rates parity and no arbitrage as equivalent equilibrium conditions in the international financial assets and goods markets. Mathematical Social Sciences, Elsevier, 2016, 82, pp.26-36. ⟨10.1016/j.mathsocsci.2016.04.002⟩. ⟨hal-01302524⟩
  • Awatef Trabelsi, Andrzej Jaworski, Ewa Kamler, Jean-Noel Gardeur, Fabrice Teletchea, et al.. The effect of hatching time on the bioenergetics of northern pike (Esox lucius) larvae from a single egg batch during the endogenous feeding period. Fish Physiology and Biochemistry, Springer Verlag, 2016, 42 (2), pp.593-606. ⟨10.1007/s10695-015-0162-6⟩. ⟨hal-01575600⟩
  • Alain Pasquet, Anthony Sebastian, Marie Laure Begout, Yannick Ledore, Fabrice Teletchea, et al.. First insight into personality traits in Northern pike (Esox lucius) larvae: a basis for behavioural studies of early life stages. Environmental Biology of Fishes, Springer, 2016, 99 (1), pp.105-115. ⟨10.1007/s10641-015-0459-4⟩. ⟨hal-01575774⟩
  • D. Zarski, S. Krejszeff, D. Kucharczyk, K. Palinska-Zarska, K. Targonska, et al.. The application of tannic acid to the elimination of egg stickiness at varied moments of the egg swelling process in pikeperch, Sander lucioperca (L.). Aquaculture Research, Wiley, 2015, 46 (2), pp.324-334. ⟨10.1111/are.12183⟩. ⟨hal-02638087⟩
  • Didier Techer, Sylvain Milla, Pascal Fontaine, Sandrine Viot, Marielle Thomas. Acute toxicity and sublethal effects of gallic and pelargonic acids on the zebrafish Danio rerio. Environmental Science and Pollution Research, Springer Verlag, 2015, 22 (7), pp.5020-5029. ⟨10.1007/s11356-015-4098-2⟩. ⟨hal-01575775⟩
  • Mandi Golshan, Azadeh Hatef, Magdalena Socha, Sylvain Milla, Ian A. E. Butts, et al.. Di-(2-ethylhexyl)-phthalate disrupts pituitary and testicular hormonal functions to reduce sperm quality in mature goldfish. Aquatic Toxicology, Elsevier, 2015, 163, pp.16-26. ⟨10.1016/j.aquatox.2015.03.017⟩. ⟨hal-01575784⟩
  • Sana Ben Khadher, Jean-François Agnèse, Sylvain Milla, Fabrice Teletchea, Pascal Fontaine. Patterns of genetic structure of Eurasian perch (Perca fluviatilis L.) in Lake Geneva at the end of the spawning season. Journal of Great Lakes Research, Elsevier, 2015, 41 (3), pp.846-852. ⟨10.1016/j.jiglr.2015.04.006⟩. ⟨hal-02641599⟩
  • Awatef Trabelsi, Jean-Noel Gardeur, Habib Ayadi, Pascal Fontaine. Effect of spawning time on egg quality, larval morphometrics and survival of Northern pike Esox lucius. Cybium : Revue Internationale d’Ichtyologie, Paris : Muséum national d'histoire naturelle, 2015, 39 (2), pp.91-98. ⟨hal-01576090⟩
  • Maud Alix, Dominique Chardard, Yannick Ledore, Pascal Fontaine, Bérénice Schaerlinger. An alternative developmental table to describe non-model fish species embryogenesis: application to the description of the Eurasian perch (Perca fluviatilis L. 1758) development. EvoDevo, BioMed Central, 2015, 6, pp.39. ⟨10.1186/s13227-015-0033-3⟩. ⟨hal-01575787⟩
  • David Déharbe, Pascal Fontaine, Laurent Voisin, Yoann Guyot. Integrating SMT solvers in Rodin. Science of Computer Programming, Elsevier, 2014, Abstract State Machines, Alloy, B, VDM, and Z — Selected and extended papers from ABZ 2012, 94, pp.14. ⟨hal-01094999⟩
  • Mahdi Golshan, Azadeh Hatef, Ava Zare, Magdalena Socha, Sylvain Milla, et al.. Alternations in neuroendocrine and endocrine regulation of reproduction in male goldfish (Carassius auratus) following an acute and chronic exposure to vinclozolin, in vivo. Aquatic Toxicology, Elsevier, 2014, 155, pp.73-83. ⟨10.1016/j.aquatox.2014.06.004⟩. ⟨hal-01562071⟩
  • Fabrice Teletchea, Pascal Fontaine. Levels of domestication in fish: implications for the sustainable future of aquaculture. Fish and Fisheries, Wiley-Blackwell, 2014, 15 (2), pp.181-195. ⟨10.1111/faf.12006⟩. ⟨hal-01562164⟩
  • Thierry Blayac, Syndhia Mathé, Hélène Rey-Valette, Pascal Fontaine. Perceptions of the services provided by pond fish farming in Lorraine (France). Ecological Economics, Elsevier, 2014, 108, pp.115-123. ⟨10.1016/j.ecolecon.2014.10.007⟩. ⟨hal-01562176⟩
  • Daniel Zarski, Katarzyna Targonska, Rafal Kaszubowski, Patrick Kestemont, Pascal Fontaine, et al.. Effect of different commercial spawning agents and thermal regime on the effectiveness of pikeperch, Sander lucioperca (L.), reproduction under controlled conditions. Aquaculture International, Springer Verlag, 2013, 21 (4, SI), pp.819-828. ⟨10.1007/s10499-012-9597-2⟩. ⟨hal-01561294⟩
  • A. Abdulfatah, Pascal Fontaine, P. Kestemont, S. Milla, M. Marie. Effects of the thermal threshold and the timing of temperature reduction on the initiation and course of oocyte development in cultured female of Eurasian perch Perca fluviatilis. Aquaculture, Elsevier, 2013, 376, pp.90-96. ⟨10.1016/j.aquaculture.2012.11.010⟩. ⟨hal-01561287⟩
  • Awatef Trabelsi, Jean-Noel Gardeur, Fabrice Teletchea, Jean Brun-Bellut, Pascal Fontaine. Hatching time effect on the intra-spawning larval morphology and growth in Northern pike (Esox luciusL.). Aquaculture Research, Wiley, 2013, 44 (4), pp.657-666. ⟨10.1111/j.1365-2109.2011.03070.x⟩. ⟨hal-01561284⟩
  • Marie-Dorothée Castets, B. Schaerlinger, F. Silvestre, Jean-Noel Gardeur, M. Dieu, et al.. Combined analysis of Perca fluviatilis reproductive performance and oocyte proteomic profile. Theriogenology, Elsevier, 2012, 78 (2), pp.432 - 442. ⟨10.1016/j.theriogenology.2012.02.023⟩. ⟨hal-02649575⟩
  • Azadeh Hatef, Sayyed Mohammad Hadi Alavi, Abdulbaset Abdulfatah, Pascal Fontaine, Marek Rodina, et al.. Adverse effects of bisphenol A on reproductive physiology in male goldfish at environmentally relevant concentrations. Ecotoxicology and Environmental Safety, Elsevier, 2012, 76 (1), pp.56-62. ⟨10.1016/j.ecoenv.2011.09.021⟩. ⟨hal-02649579⟩
  • Azadeh Hatef, Sayyed Mohammad Hadi Alavi, Sylvain Milla, Jiří Křišťan, Mahdi Golshan, et al.. Anti-androgen vinclozolin impairs sperm quality and steroidogenesis in goldfish.. Aquatic Toxicology, Elsevier, 2012, 122-123, pp.181-187. ⟨10.1016/j.aquatox.2012.06.009⟩. ⟨hal-02647327⟩
  • Daniel Zarski, Slawomir Krejszeff, Katarzyna Palinska, Katarzyna Targonska, Krzysztof Kupren, et al.. Cortical reaction as an egg quality indicator in artificial reproduction of pikeperch, Sander lucioperca. Reproduction, Fertility and Development, CSIRO Publishing, 2012, 24 (6), pp.843 - 850. ⟨10.1071/RD11264⟩. ⟨hal-02646319⟩
  • Abdulbaset Abdulfatah, Pascal Fontaine, Patrick Kestemont, Jean-Noel Gardeur, Michel Marie. Effects of photothermal kinetics and amplitude of photoperiod decrease on the induction of the reproduction cycle in female Eurasian perch Perca fluviatilis. Aquaculture, Elsevier, 2011, 322-323, pp.169-176. ⟨10.1016/j.aquaculture.2011.09.002⟩. ⟨hal-02647753⟩
  • Awatef Trabelsi, Jean-Noel Gardeur, Fabrice Teletchea, Pascal Fontaine. Effects of 12 factors on burbot Lota lota (L., 1758) weaning performances using fractional factorial design experiment. Aquaculture, Elsevier, 2011, 316 (1-4), pp.104 - 110. ⟨10.1016/j.aquaculture.2011.03.027⟩. ⟨hal-02645856⟩
  • Fabrice Teletchea, Pascal Fontaine. Particularities of early life stages in temperate freshwater fish species: comparisons with marine species and implications for aquaculture practices. Aquaculture Research, Wiley, 2011, 42 (5), pp.630 - 654. ⟨10.1111/j.1365-2109.2010.02656.x⟩. ⟨hal-02652227⟩
  • Diego Caminha B. de Oliveira, David Déharbe, Pascal Fontaine. Combining decision procedures by (model-)equality propagation. Science of Computer Programming, Elsevier, 2010, 240 (2 July 2009), pp.113-128. ⟨10.1016/j.entcs.2009.05.048⟩. ⟨inria-00543801⟩
  • Fabrice Teletchea, Pascal Fontaine. Comparison of early life-stage strategies in temperate freshwater fish species : trade-offs are directed towards first feeding of larvae in spring and early summer. Journal of Fish Biology, Wiley, 2010, 77 (1), pp.257-278. ⟨10.1111/j.1095-8649.2010.02689.x⟩. ⟨hal-02660631⟩
  • Neil Wang, Fabrice Teletchea, Patrick Kestemont, Sylvain Milla, Pascal Fontaine. Photothermal control of the reproductive cycle in temperate fishes. Reviews in Aquaculture, Wiley, 2010, 2 (4), pp.209 - 222. ⟨10.1111/j.1753-5131.2010.01037.x⟩. ⟨hal-02663832⟩
  • Diego Caminha B. de Oliveira, David Déharbe, Pascal Fontaine. Combining Decision Procedures by (Model-)Equality Propagation. Electronic Notes in Theoretical Computer Science, Elsevier, 2009, Proceedings of the Eleventh Brazilian Symposium on Formal Methods (SBMF 2008), 240 (2), pp.113-128. ⟨10.1016/j.entcs.2009.05.048⟩. ⟨inria-00430636⟩
  • Fabrice Teletchea, Jean-Noel Gardeur, Ewa Kamler, Pascal Fontaine. The relationship of oocyte diameter and incubation temperature to incubation time in temperate freshwater fish species. Journal of Fish Biology, Wiley, 2009, 74 (3), pp.652-668. ⟨10.1111/j.1095-8649.2008.02160.x⟩. ⟨hal-02658123⟩
  • Fabrice Teletchea, Jean-Noel Gardeur, Martin Pšenička, Vojtěch Kašpar, Yannick Le Doré, et al.. Effects of four factors on the quality of male reproductive cycle in pikeperch Sander lucioperca. Aquaculture, Elsevier, 2009, 291 (3-4), pp.217-223. ⟨10.1016/j.aquaculture.2009.03.029⟩. ⟨hal-02663286⟩
  • Pascal Fontaine. Développement de la pisciculture continentale européenne et domestication de nouvelles espèces. Cahiers Agricultures, EDP Sciences, 2009, 18 (2-3), pp.144-147. ⟨10.1684/agr.2009.0288⟩. ⟨hal-02661233⟩
  • Fabrice Teletchea, Alexis Fostier, Ewa Kamler, Jean-Noel Gardeur, Pierre-Yves Le Bail, et al.. Comparative analysis of reproductive traits in 65 freshwater fish species: application to the domestication of new fish species. Reviews in Fish Biology and Fisheries, Springer Verlag, 2009, 19 (4), pp.403-430. ⟨10.1007/s11160-008-9102-1⟩. ⟨hal-02665668⟩
  • Fabrice Teletchea, Alexis Fostier, Pierre-Yves Le Bail, Bernard Jalabert, Jean-Noel Gardeur, et al.. STOREFISH: a new database dedicated to the reproduction of temperate freshwater teleost fishes. Cybium : Revue Internationale d’Ichtyologie, Paris : Muséum national d'histoire naturelle, 2007, 31 (2), pp.227-235. ⟨hal-02665564⟩
  • Hervé Migaud, Neil Wang, Jean-Noel Gardeur, Pascal Fontaine. Influence of photoperiod on reproductive performances in Eurasian perch Perca fluviatilis. Aquaculture, Elsevier, 2006, 252 (2-4), pp.385-393. ⟨10.1016/j.aquaculture.2005.07.029⟩. ⟨hal-02663279⟩
  • Neil Wang, Jean-Noel Gardeur, Emilie Henrotte, Michel Marié, Patrick Kestemont, et al.. Determinism of the induction of the reproductive cycle in female Eurasian perch, Perca fluviatilis: Identification of environmental cues and permissive factors. Aquaculture, Elsevier, 2006, 261 (2), pp.706-714. ⟨10.1016/j.aquaculture.2006.08.010⟩. ⟨hal-02664003⟩
  • Pascal Fontaine, Caroline Pereira, Neil Wang, Michel Marié. Influence of pre-inductive photoperiod variations on Eurasian perch Perca fluviatilis broodstock response to an inductive photothermal program. Aquaculture, Elsevier, 2006, 255 (1-4), pp.410-416. ⟨10.1016/j.aquaculture.2005.12.025⟩. ⟨hal-02666013⟩
  • Pascal Fontaine, Pierre-Yves Le Bail. Domestication et croissance chez les poissons. Productions animales, Institut National de la Recherche Agronomique, 2004, 17 (3), pp.217-225. ⟨hal-02670286⟩
  • Pascal Fontaine. L'élevage de la perche commune, une voie de diversification pour l'aquaculture continentale. Productions animales, Institut National de la Recherche Agronomique, 2004, 17 (3), pp.189-193. ⟨hal-02675757⟩
  • Pascal Fontaine, H. Migaud, R. Mandiki, Jean-Noel Gardeur, Patrick Kestemont, et al.. Involvement of sex steroids in final stages of oogenesis in Eurasian perch, Perca fluviatilis. Fish Physiology and Biochemistry, Springer Verlag, 2003, 28 (1-4), pp.331-332. ⟨hal-02675328⟩

Conference papers39 documents

  • Jasmin Blanchette, Daniel Ouraoui, Pascal Fontaine, Cezary Kaliszyk. Machine Learning for Instance Selection in SMT Solving. AITP 2019 - 4th Conference on Artificial Intelligence and Theorem Proving, Apr 2019, Obergurgl, Austria. ⟨hal-02381430⟩
  • Haniel Barbosa, Jasmin Blanchette, Mathias Fleury, Pascal Fontaine, Hans-Jörg Schurr. Better SMT Proofs for Easier Reconstruction. AITP 2019 - 4th Conference on Artificial Intelligence and Theorem Proving, Apr 2019, Obergurgl, Austria. ⟨hal-02381819⟩
  • Andrew Reynolds, Haniel Barbosa, Pascal Fontaine. Revisiting Enumerative Instantiation. TACAS 2018 - 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Apr 2018, Thessaloniki, Greece. pp.20. ⟨hal-01877055⟩
  • Pascal Fontaine, Mizuhito Ogawa, Thomas Sturm, Van Khanh To, Xuan Tung Vu. Wrapping Computer Algebra is Surprisingly Successful for Non-Linear SMT. SC-square 2018 - Third International Workshop on Satisfiability Checking and Symbolic Computation, Jul 2018, Oxford, United Kingdom. ⟨hal-01946733⟩
  • Jasmin Christian Blanchette, Pascal Fontaine, Stephan Schulz, Uwe Waldmann. Towards Strong Higher-Order Automation for Fast Interactive Verification. ARCADE 2017 - 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements, 2017, Göteborg, Sweden. pp.16-7, ⟨10.29007/3ngx⟩. ⟨hal-02359588⟩
  • Pascal Fontaine, Mizuhito Ogawa, Thomas Sturm, Xuan Vu. Subtropical Satisfiability. FroCoS 2017 - 11th International Symposium on Frontiers of Combining Systems, Sep 2017, Brasilia, Brazil. ⟨10.1007/978-3-319-66167-4⟩. ⟨hal-01590899v2⟩
  • Haniel Barbosa, Pascal Fontaine, Andrew Reynolds. Congruence Closure with Free Variables. Tools and Algorithms for Construction and Analysis of Systems (TACAS), 2017, Uppsala, Sweden. pp.220 - 230, ⟨10.1007/10721959_17⟩. ⟨hal-01590918⟩
  • Haniel Barbosa, Jasmin Blanchette, Pascal Fontaine. Scalable Fine-Grained Proofs for Formula Processing. Proc. Conference on Automated Deduction (CADE), 2017, Gotenburg, Sweden. pp.398 - 412, ⟨10.1007/978-3-642-02959-2_10⟩. ⟨hal-01590922⟩
  • Thomas Sturm, Erika Ábrahám, John Abbott, Bernd Becker, Anna Bigatti, et al.. SC2: Satisfiability Checking Meets Symbolic Computation (Project Paper). Proc. CICM 2016, Jul 2016, Bialystok, Poland. pp.28 - 43, ⟨10.1007/978-3-319-42547-4⟩. ⟨hal-01648696⟩
  • Eriká Abrahám, John Abbott, Bernd Becker, Anna Bigatti, Martin Brain, et al.. SC 2 : Satisfiability Checking meets Symbolic Computation (Project Paper). Intelligent Computer Mathematics, Jul 2016, Bialystok, Poland. ⟨hal-01377655⟩
  • Paula Chocron, Pascal Fontaine, Christophe Ringeissen. A Rewriting Approach to the Combination of Data Structures with Bridging Theories. Frontiers of Combining Systems - 10th International Symposium, FroCoS 2015, Sep 2015, Wroclaw, Poland. pp.275--290, ⟨10.1007/978-3-319-24246-0_17⟩. ⟨hal-01206187⟩
  • Paula Chocron, Pascal Fontaine, Christophe Ringeissen. A Polite Non-Disjoint Combination Method: Theories with Bridging Functions Revisited. 25th International Conference on Automated Deduction, CADE-25, Christoph Benzmueller, Aug 2015, Berlin, Germany. pp.419-433, ⟨10.1007/978-3-319-21401-6_29⟩. ⟨hal-01157898⟩
  • Haniel Barbosa, Pascal Fontaine. Congruence Closure with Free Variables (Work in Progress). Quantify 2015 : 2nd International Workshop on Quantification, 2015, Berlin, Germany. ⟨hal-01246036⟩
  • Maximilian Jaroschek, Pablo Federico Dobal, Pascal Fontaine. Adapting Real Quantifier Elimination Methods for Conflict Set Computation. Frontiers of Combining Systems (FroCoS), 2015, Wroclaw, Poland. pp.151-166, ⟨10.1007/978-3-319-24246-0_10⟩. ⟨hal-01240343⟩
  • Paula Chocron, Pascal Fontaine, Christophe Ringeissen. Satisfiability Modulo Non-Disjoint Combinations of Theories Connected via Bridging Functions. Workshop on Automated Deduction: Decidability, Complexity, Tractability, ADDCT 2014. Held as Part of the Vienna Summer of Logic, affiliated with IJCAR 2014 and RTA 2014, Silvio Ghilardi, Ulrike Sattler, Viorica Sofronie-Stokkermans, Jul 2014, Vienna, Austria. ⟨hal-01087218⟩
  • Paula Chocron, Pascal Fontaine, Christophe Ringeissen. A Gentle Non-Disjoint Combination of Satisfiability Procedures. Automated Reasoning - 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Jul 2014, Vienna, Austria. pp.122-136, ⟨10.1007/978-3-319-08587-6_9⟩. ⟨hal-01087162⟩
  • Clark Barrett, Leonardo de Moura, Pascal Fontaine. Proofs in satisfiability modulo theories. APPA (All about Proofs, Proofs for All), Jul 2014, Vienna, Austria. ⟨hal-01095009⟩
  • David Déharbe, Pascal Fontaine, Daniel Le Berre, Bertrand Mazure. Computing prime implicant. FMCAD - Formal Methods in Computer-Aided Design 2013, Oct 2013, Portland, United States. pp.46-52. ⟨hal-00910363⟩
  • Carlos Areces, David Déharbe, Pascal Fontaine, Orbe Ezequiel. SyMT: finding symmetries in SMT formulas. 11th International Workshop on Satisfiability Modulo Theories - SMT, Jul 2013, Helsinki, Finland. ⟨hal-00867816⟩
  • David Déharbe, Pascal Fontaine, Yoann Guyot, Laurent Voisin. SMT solvers for Rodin. ABZ - Third International Conference on Abstract State Machines, Alloy, B, VDM, and Z - 2012, Jun 2012, Pisa, Italy. pp.194-207, ⟨10.1007/978-3-642-30885-7_14⟩. ⟨hal-00747269⟩
  • Pascal Fontaine, Stephan Merz, Christoph Weidenbach. Combination of disjoint theories: beyond decidability. IJCAR - 6th International Joint Conference on Automated Reasoning - 2012, Jun 2012, Manchester, United Kingdom. pp.256-270, ⟨10.1007/978-3-642-31365-3_21⟩. ⟨hal-00747271⟩
  • David Déharbe, Pascal Fontaine, Stephan Merz, Bruno Woltzenlogel Paleo. Exploiting Symmetry in SMT Problems. International Conference on Automated Deduction (CADE), Jul 2011, Wroclaw, Poland. pp.222-236, ⟨10.1007/978-3-642-22438-6_18⟩. ⟨inria-00617843⟩
  • Pascal Fontaine, Stephan Merz, Bruno Woltzenlogel Paleo. Compression of Propositional Resolution Proofs via Partial Regularization. 23rd International Conference on Automated Deduction - CADE-23, Jul 2011, Wroclaw, Poland. pp.237-251, ⟨10.1007/978-3-642-22438-6_19⟩. ⟨inria-00617846⟩
  • Frédéric Besson, Pascal Fontaine, Laurent Théry. A Flexible Proof Format for SMT: a Proposal. First International Workshop on Proof eXchange for Theorem Proving - PxTP 2011, Aug 2011, Wrocław, Poland. ⟨hal-00642544⟩
  • David Déharbe, Pascal Fontaine, Bruno Woltzenlogel Paleo. Quantifier Inference Rules for SMT proofs. First International Workshop on Proof eXchange for Theorem Proving - PxTP 2011, Aug 2011, Wrocław, Poland. ⟨hal-00642535⟩
  • Carlos Areces, Pascal Fontaine. Combining theories: the Ackerman and Guarded Fragments. 8th International Symposium Frontiers of Combining Systems - FroCoS 2011, Viorica Sofronie-Stokkermans, Oct 2011, Saarbrücken, Germany. pp.40--54, ⟨10.1007/978-3-642-24364-6_4⟩. ⟨hal-00642529⟩
  • Thomas Bouton, Diego Caminha B. de Oliveira, David Déharbe, Pascal Fontaine. GridTPT: a distributed platform for Theorem Prover Testing. 2nd Workshop on Practical Aspects of Automated Reasoning (PAAR), Jul 2010, Edinburgh, United Kingdom. ⟨inria-00543805⟩
  • Pascal Fontaine, Stephan Merz, Bruno Woltzenlogel Paleo. Exploring and Exploiting Algebraic and Graphical Properties of Resolution. 8th International Workshop on Satisfiability Modulo Theories - SMT 2010, Jul 2010, Edinburgh, United Kingdom. ⟨inria-00544658⟩
  • David Déharbe, Pascal Fontaine, Anamaria Martins Moreira, Stephan Merz, Anderson Santana de Oliveira. Automating model-based software engineering. Colloque d'Informatique: Brésil/INRIA (COLIBRI), Jul 2009, Bento Gonçalves, Brazil. pp.22-27. ⟨inria-00430637⟩
  • Thomas Bouton, Diego Caminha B. de Oliveira, David Déharbe, Pascal Fontaine. veriT: an open, trustable and efficient SMT-solver. 22nd International Conference on Automated Deduction - CADE 22, Aug 2009, Montreal, Canada. pp.151-156, ⟨10.1007/978-3-642-02959-2_12⟩. ⟨inria-00430634⟩
  • Pascal Fontaine. Combinations of theories for decidable fragments of first-order logic. 7th International Symposium, FroCoS 2009, Sep 2009, Trento, Italy. pp.263-278, ⟨10.1007/978-3-642-04222-5_16⟩. ⟨inria-00430631⟩
  • Diego Caminha B. de Oliveira, David Déharbe, Pascal Fontaine. Combining decision procedures by (model-)equality propagation. Brazilian Symposium on Formal Methods - SBMF 2008, Aug 2008, Salvador, Bahia, Brazil. ⟨inria-00337979⟩
  • Pascal Fontaine. Combinations of Theories and the Bernays-Schönfinkel-Ramsey Class. 4th International Verification Workshop - VERIFY'07, Jul 2007, Bremen, Germany. pp.37-54. ⟨inria-00186639⟩
  • Clément Hurlin, Amine Chaib, Pascal Fontaine, Stephan Merz, Tjark Weber. Practical Proof Reconstruction for First-order Logic and Set-Theoretical Constructions. The Isabelle Workshop 2007 - Isabelle'07, Jul 2007, Bremen, Germany. pp.2-13. ⟨inria-00186638⟩
  • Diego Caminha B. de Oliveira, David Déharbe, Pascal Fontaine. haRVey : satisfaisabilité et théories. Approches Formelles dans l'Assistance au Développement de Logiciels - AFADL'07, Jun 2007, Namur, Belgique. pp.287-288. ⟨inria-00186640⟩
  • Pascal Fontaine, Jean-Yves Marion, Stephan Merz, Leonor Prensa Nieto, Alwen Tiu. Expressiveness + Automation + Soundness: Towards Combining SMT Solvers and Interactive Proof Assistants. 12th International Conference on Tools and Algorithms for the Construction and Analysis of Systems - TACAS'06, Mar 2006, Vienna/Austria, pp.167-181, ⟨10.1007/11691372_11⟩. ⟨inria-00001088⟩
  • David Déharbe, Pascal Fontaine, Silvio Ranise, Christophe Ringeissen. Decision Procedures for the Formal Analysis of Software. 3rd International Colloquium on Theoretical Aspects of Computing, ICTAC, Nov 2006, Tunis, Tunisia, pp.366--370, ⟨10.1007/11921240_26⟩. ⟨inria-00117277⟩
  • David Déharbe, Pascal Fontaine. haRVey: combining reasoners. Automatic Verification of Critical Systems - AVoCS 2006, Sep 2006, Nancy/France, pp.152-156. ⟨inria-00091662⟩
  • Pascal Fontaine, Silvio Ranise, Calogero Zarba. Combining Lists with Non-Stably Infinite Theories. 11th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'04), Mar 2005, Montevideo/Uruguay, pp.51--66, ⟨10.1007/b106931⟩. ⟨inria-00000481⟩

Book sections2 documents

  • Maria Paola Bonacina, Pascal Fontaine, Christophe Ringeissen, Cesare Tinelli. Theory Combination: Beyond Equality Sharing. Carsten Lutz; Uli Sattler; Cesare Tinelli; Anni-Yasmin Turhan; Frank Wolter. Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday, 11560, Springer, pp.57-89, 2019, Theoretical Computer Science and General Issues, 978-3-030-22101-0. ⟨hal-02194001⟩
  • Carlos Areces, Pascal Fontaine, Stephan Merz. Modal Satisfiability via SMT Solving. Software, Services, and Systems. Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering, 8950, Springer, pp.30-45, 2015, Lecture Notes in Computer Science, ⟨10.1007/978-3-319-15545-6_5⟩. ⟨hal-01127966⟩

Directions of work or proceedings3 documents

  • Pascal Fontaine. Automated Deduction – CADE-27: 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings. Pascal Fontaine. CADE 27 - 27th International Conference on Automated Deduction, Aug 2019, Natal, Brazil. 11716, Springer, 2019, Lecture Notes in Artificial Intelligence. ⟨hal-02194007⟩
  • Pascal Fontaine, Thomas Sturm, Uwe Waldmann. Foreword to the Special Focus on Constraints and Combinations. Dongming Wang. Switzerland. 9 (3), Springer, 2015, Mathematics in Computer Science, ⟨10.1007/s11786-015-0239-8⟩. ⟨hal-01239438⟩
  • Pascal Fontaine, Christophe Ringeissen, Renate Schmidt. Frontiers of Combining Systems. Pascal Fontaine and Christophe Ringeissen and Renate Schmidt. 8152, Springer, pp.359, 2013, Lecture Notes in Artificial Intelligence, 978-3-642-40884-7. ⟨hal-00868424⟩

Reports4 documents

  • Andrew Reynolds, Haniel Barbosa, Pascal Fontaine. Revisiting Enumerative Instantiation. [Research Report] University of Iowa; Inria. 2018. ⟨hal-01744956⟩
  • Haniel Barbosa, Jasmin Blanchette, Pascal Fontaine. Scalable Fine-Grained Proofs for Formula Processing. [Research Report] Universite de Lorraine, CNRS, Inria, LORIA, Nancy, France; Universidade Federal do Rio Grande do Norte, Natal, Brazil; Vrije Universiteit Amsterdam, Amsterdam, The Netherlands; Max-Planck-Institut für Informatik, Saarbrücken, Germany. 2017, pp.25. ⟨hal-01526841⟩
  • Haniel Barbosa, Pascal Fontaine, Andrew Reynolds. Congruence Closure with Free Variables. [Research Report] Inria, Loria, Universite de Lorraine, UFRN, University of Iowa. 2017. ⟨hal-01442691v2⟩
  • Paula Chocron, Pascal Fontaine, Christophe Ringeissen. A Gentle Non-Disjoint Combination of Satisfiability Procedures (Extended Version). [Research Report] RR-8529, INRIA. 2014. ⟨hal-00985135⟩

Habilitation à diriger des recherches1 document

  • Pascal Fontaine. Satisfiability Modulo Theories: state-of-the-art, contributions, project. Logic in Computer Science [cs.LO]. Université de lorraine, 2018. ⟨tel-01968404⟩