Skip to Main content
Number of documents

112

Pascal Fontaine - Publications


Journal articles46 documents

  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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. 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⟩
  • 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⟩
  • 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⟩
  • 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, 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, 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⟩
  • 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⟩
  • 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⟩
  • 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 papers50 documents

  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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. 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⟩
  • Joel Aubin, Hélène Rey-Valette, Syndhia Mathe, Aurélie Wilfart, Marc Legendre, et al.. Co-design ecologically intensive fish farming systems using agroecology and ecosystem services. 5. International Symposium for Farming Systems Design (AGRO2015), European Society for Agronomy (ESA). INT., Sep 2015, Montpellier, France. 530 p. ⟨hal-02739850⟩
  • 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⟩
  • 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⟩
  • 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, 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⟩
  • 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, 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, 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • Julie Simon, Jérôme Lazard, Hélène Rey-Valette, Pascal Fontaine, Syndhia Mathe, et al.. Ecological intensification of fish farming : the PISCEnLIT project. 4. Conference of the European Pond Conservation Network, European Pond Conservation Network (EPCN). Labo/service de l'auteur, Oxford, GBR., Jun 2010, Berlin, Germany. ⟨hal-02757420⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • Constantinos Mylonas, Alexis Fostier, Silvia Zanuy, Geir Lasse Taranger, Birgitta Norberg, et al.. Broodstock management and spawning induction. Aquaculture Europe 08, Sep 2008, Krakow, Poland. ⟨hal-02754608⟩
  • Fabrice Teletchea, Martin Pšenička, V. Kaspar, Y. Le Doré, J.N. Gardeur, et al.. Effects of four factors on the quality of the male reproductive cycle in pikeperch "Sander lucioperca". Percid Fish Culture. From research to production, Jan 2008, Namur, Belgium. ⟨hal-02757581⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • Fabrice Teletchea, Alexis Fostier, Ewa Kameler, Jean-Noel Gardeur, Pierre-Yves Le Bail, et al.. Comparative analysis of reproductive strategies of european freshwater fishes: applications to the domestication of new species in aquaculture. 8. International Symposium on Reproductive Physiology of Fish, Jun 2007, Saint-Malo, France. ⟨hal-02757101⟩
  • Pascal Fontaine, Fabrice Teletchea, Alexis Fostier. De la domestication des percidés au développement d'une approche générique de la domestication. 1. Journées de la recherche filière piscicole, Jul 2007, Paris, France. ⟨hal-02753164⟩
  • Abdulbaset Abdulfatah, Pascal Fontaine, Michel Marié. Effets des cinétiques photopériodiques et thermiques sur l'induction du cycle de reproduction chez la perche commune, Perca fluviatilis. 6. Séminaire école doctorale RP2E, Jan 2007, Nancy, France. n.p. ⟨hal-02816033⟩
  • Fabrice Teletchea, Alexis Fostier, Ewa Kamler, Jean-Noel Gardeur, Pierre-Yves Le Bail, et al.. Comparative analysis of seven egg traits of european freshwater fishes. 12. European Congress of Ichthyology, Sep 2007, Cavtat, Croatia. 277 p. ⟨hal-02755775⟩
  • 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, 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⟩
  • Fabrice Teletchea, Alexis Fostier, Pierre-Yves Le Bail, Bernard Jalabert, Jean-Noel Gardeur, et al.. Comparative analysis of reproductive strategies of european freshwater fishes: applications to aquaculture. 7. International Congress on the Biology of Fish, Jul 2006, Saint John's, Canada. ⟨hal-02751875⟩
  • Fabrice Teletchea, Alexis Fostier, Pierre-Yves Le Bail, Jean-Noel Gardeur, Bernard Jalabert, et al.. STOREFISH : nouvelle base de données dédiée à la reproduction des poissons téléostéens d'eau douce tempérée (Europe et Amérique). RIF 2006, Mar 2006, Paris, France. ⟨hal-02758032⟩
  • 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⟩
  • Pascal Fontaine, Pierre-Yves Le Bail. Croissance et ichtyodiversité. Séminaire "Diversification domestication des poissons d'élevage", Jun 2003, Nantes, France. ⟨hal-02825726⟩

Poster communications4 documents

  • Abdulbaset Abdulfatah, Pascal Fontaine, Michel Marié. Effects of the photoperiodic and thermal kinetics on the induction of the reproduction cycle in the perch Perca fluviatilis. 8. International Symposium on Reproductive Physiology of Fish, Jun 2007, Saint-Malo, France. 2007, 8th International Symposium on Reproductive Physiology of Fish. ⟨hal-02752443⟩
  • Fabrice Teletchea, Alexis Fostier, Ewa Kamler, Jean-Noel Gardeur, Pierre-Yves Le Bail, et al.. STOREFISH: a new database dedicated to the reproduction of temperature freshwater teleost fishes. 12. European Congress of Ichthyology, Sep 2007, Cavtat, Croatia. University of Zagreb, 277 p., 2007, ECI XII. ⟨hal-02755746⟩
  • Neil Wang, Marek Rodina, Jean-Noel Gardeur, Jean-Thomas Vuillard, Tomáš Policar, et al.. Determinism of the quality of reproduction in male Eurasian perch, Perca fluviatilis: A multifactorial study. 8. International Symposium on Reproductive Physiology of Fish, Jun 2007, Saint-Malo, France. MNHN Museum National d'Histoire Naturelle, Cybium, 32 (S2), 2008, Comptes rendus / Proceedings "8th International Symposium on Reproductive Physiology of Fish (ISRPF)". ⟨hal-02757973⟩
  • 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. 7. International Symposium on Reproductive Physiology of Fish, May 2003, Mie, Japan. 2003, 7th International Symposium on Reproductive Physiology of Fish. Program and abstracts. ⟨hal-02760582⟩

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⟩

Patents1 document

  • Pascal Fontaine, Hervé Migaud, . Institut National Polytechnique de Lorraine, . Université de Nancy I. Procédé pour induire la reproduction chez les poissons carnassiers d'eau douce par variations de température et de périodes d'éclairement. Patent n° : FR2854029. 2004, 4 p. ⟨hal-02833102⟩

Reports5 documents

  • Andrew Reynolds, Haniel Barbosa, Pascal Fontaine. Revisiting Enumerative Instantiation. [Research Report] University of Iowa; Inria. 2018. ⟨hal-01744956⟩
  • 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⟩
  • 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⟩
  • Paula Chocron, Pascal Fontaine, Christophe Ringeissen. A Gentle Non-Disjoint Combination of Satisfiability Procedures (Extended Version). [Research Report] RR-8529, INRIA. 2014. ⟨hal-00985135⟩
  • Julien Bobe, Christian Fauvel, Pascal Fontaine. AQUIDO. Analyse de la qualité des ovocytes inter-espèces et domestication. 2007. ⟨hal-02820299⟩

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⟩