Nombre de documents

58

Pascal Fontaine - Publications


Article dans une revue19 documents

  • 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〉
  • 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〉
  • 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〉
  • 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〉
  • 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〉
  • 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〉
  • 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, 〈10.1186/s13227-015-0033-3〉. 〈hal-01575787〉
  • 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〉
  • 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〉
  • 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〉
  • 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〉
  • 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〉
  • 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〉
  • 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〉

Communication dans un congrès33 documents

  • Pascal Fontaine, Mizuhito Ogawa, Thomas Sturm, Xuan Vu. Subtropical Satisfiability. Clare Dixon and Marcelo Finger. Frontiers of Combining Systems (FroCoS), 2017, Brazilia, Brazil. Springer, 10483, pp.481 - 206, 2017, 〈10.1007/978-3-642-17511-4_27〉. 〈hal-01590899〉
  • Haniel Barbosa, Pascal Fontaine, Andrew Reynolds. Congruence Closure with Free Variables. Tools and Algorithms for Construction and Analysis of Systems (TACAS), 2017, Uppsala, Sweden. 205, pp.220 - 230, 2017, 〈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. 228, pp.140 - 412, 2017, 〈10.1007/978-3-642-02959-2_10〉. 〈hal-01590922〉
  • 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. 〈http://www.cicm-conference.org/2016/cicm.php〉. 〈hal-01377655〉
  • Paula Chocron, Pascal Fontaine, Christophe Ringeissen. A Rewriting Approach to the Combination of Data Structures with Bridging Theories. Carsten Lutz and Silvio Ranise. Frontiers of Combining Systems - 10th International Symposium, FroCoS 2015, Sep 2015, Wroclaw, Poland. Springer, 9322, pp.275--290, Lecture Notes in Computer Science. 〈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. 2015. 〈hal-01246036〉
  • Maximilian Jaroschek, Pablo Federico Dobal, Pascal Fontaine. Adapting Real Quantifier Elimination Methods for Conflict Set Computation. Carsten Lutz; Silvio Ranise. Frontiers of Combining Systems (FroCoS), 2015, Wroclaw, Poland. Springer, 9322, pp.151-166, 2015, LNCS. 〈http://frocos2015.ii.uni.wroc.pl/〉. 〈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. Amy P. Felty and Aart Middeldorp. 25th International Conference on Automated Deduction, CADE-25, Aug 2015, Berlin, Germany. Springer, 9195, pp.419-433, 2015, Lecture Notes in Computer Science. 〈10.1007/978-3-319-21401-6_29〉. 〈hal-01157898〉
  • 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. Springer, 8562, pp.122-136, 2014, Lecture Notes in Computer Science. 〈10.1007/978-3-319-08587-6_9〉. 〈hal-01087162〉
  • 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, Jul 2014, Vienna, Austria. 〈hal-01087218〉
  • Clark Barrett, Leonardo De Moura, Pascal Fontaine. Proofs in satisfiability modulo theories. APPA (All about Proofs, Proofs for All), Jul 2014, Vienna, Austria. 2014. 〈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. IEEE, pp.46-52, 2013, 〈http://www.cs.utexas.edu/users/hunt/FMCAD/FMCAD13/proceedings/54418_IEEE%20FMCAD_Complete%20Book.pdf〉. 〈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. 2013. 〈hal-00867816〉
  • David Déharbe, Pascal Fontaine, Yoann Guyot, Laurent Voisin. SMT solvers for Rodin. John Derrick and John A. Fitzgerald and Stefania Gnesi and Sarfraz Khurshid and Michael Leuschel and Steve Reeves and Elvinia Riccobene. ABZ - Third International Conference on Abstract State Machines, Alloy, B, VDM, and Z - 2012, Jun 2012, Pisa, Italy. Springer, 7316, pp.194-207, 2012, Lecture Notes in Computer Science. 〈10.1007/978-3-642-30885-7_14〉. 〈hal-00747269〉
  • Pascal Fontaine, Stephan Merz, Christoph Weidenbach. Combination of disjoint theories: beyond decidability. Bernhard Gramlich and Dale Miller and Uli Sattler. IJCAR - 6th International Joint Conference on Automated Reasoning - 2012, Jun 2012, Manchester, United Kingdom. Springer, 7364, pp.256-270, 2012, Lecture Notes in Computer Science. 〈10.1007/978-3-642-31365-3_21〉. 〈hal-00747271〉
  • Frédéric Besson, Pascal Fontaine, Laurent Théry. A Flexible Proof Format for SMT: a Proposal. Pascal Fontaine and Aaron Stump. First International Workshop on Proof eXchange for Theorem Proving - PxTP 2011, Aug 2011, Wrocław, Poland. 2011, 〈http://pxtp2011.loria.fr〉. 〈hal-00642544〉
  • Carlos Areces, Pascal Fontaine. Combining theories: the Ackerman and Guarded Fragments. Cesare Tinelli and Viorica Sofronie-Stokkermans. 8th International Symposium Frontiers of Combining Systems - FroCoS 2011, Oct 2011, Saarbrücken, Germany. Springer Verlag, 6989, pp.40--54, 2011, Lecture Notes in Computer Science. 〈10.1007/978-3-642-24364-6_4〉. 〈hal-00642529〉
  • David Déharbe, Pascal Fontaine, Bruno Woltzenlogel Paleo. Quantifier Inference Rules for SMT proofs. Pascal Fontaine and Aaron Stump. First International Workshop on Proof eXchange for Theorem Proving - PxTP 2011, Aug 2011, Wrocław, Poland. 2011. 〈hal-00642535〉
  • Pascal Fontaine, Stephan Merz, Bruno Woltzenlogel Paleo. Compression of Propositional Resolution Proofs via Partial Regularization. Nikolaj Bjrner and Viorica Sofronie-Stokkermans. 23rd International Conference on Automated Deduction - CADE-23, Jul 2011, Wroclaw, Poland. Springer, 6803, pp.237-251, 2011, Lecture Notes in Computer Science. 〈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. Nikolaj Bjrner and Viorica Sofronie-Stokkermans. International Conference on Automated Deduction (CADE), Jul 2011, Wroclaw, Poland. Springer, 6803, pp.222-236, 2011, 〈10.1007/978-3-642-22438-6_18〉. 〈inria-00617843〉
  • 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. 2010. 〈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. 2010. 〈inria-00543805〉
  • 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, 2009. 〈inria-00430637〉
  • Thomas Bouton, Diego Caminha B. de Oliveira, David Déharbe, Pascal Fontaine. veriT: an open, trustable and efficient SMT-solver. Renate A. Schmidt. 22nd International Conference on Automated Deduction - CADE 22, Aug 2009, Montreal, Canada. Springer Berlin / Heidelberg, 5663, pp.151-156, 2009, Lecture Notes in Computer Science. 〈10.1007/978-3-642-02959-2_12〉. 〈inria-00430634〉
  • Pascal Fontaine. Combinations of theories for decidable fragments of first-order logic. Silvio Ghilardi and Roberto Sebastiani. 7th International Symposium, FroCoS 2009, Sep 2009, Trento, Italy. Springer Verlag, 5749, pp.263-278, 2009, Lecture Notes in Computer Science. 〈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. Machado, P. and Andrade, A. and Duran, A. Brazilian Symposium on Formal Methods - SBMF 2008, Aug 2008, Salvador, Bahia, Brazil. 2008. 〈inria-00337979〉
  • Clément Hurlin, Amine Chaib, Pascal Fontaine, Stephan Merz, Tjark Weber. Practical Proof Reconstruction for First-order Logic and Set-Theoretical Constructions. Lucas Dixon, Moa Johansson. The Isabelle Workshop 2007 - Isabelle'07, Jul 2007, Bremen, Germany. pp.2-13, 2007, The 21st Conference on Automated Deduction - CADE-21. 〈inria-00186638〉
  • Pascal Fontaine. Combinations of Theories and the Bernays-Schönfinkel-Ramsey Class. Bernhard Beckert. 4th International Verification Workshop - VERIFY'07, Jul 2007, Bremen, Germany. 259, pp.37-54, 2007, CEUR Workshop Proceedings. 〈inria-00186639〉
  • Diego Caminha B. De Oliveira, David Déharbe, Pascal Fontaine. haRVey : satisfaisabilité et théories. Marie-Laure Potet, Pierre-Yves Schobbens, Hubert Toussaint, Germain Saval. Approches Formelles dans l'Assistance au Développement de Logiciels - AFADL'07, Jun 2007, Namur, Belgique. pp.287-288, 2007, Actes de la 8e conférence - AFADL Approches Formelles dans l'Assistance au. 〈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. Holger Hermanns and Jens Palsberg. 12th International Conference on Tools and Algorithms for the Construction and Analysis of Systems - TACAS'06, Mar 2006, Vienna/Austria, Springer, 3920, pp.167-181, 2006, Lecture Notes in Computer Science. 〈10.1007/11691372_11〉. 〈inria-00001088〉
  • David Déharbe, Pascal Fontaine, Silvio Ranise, Christophe Ringeissen. Decision Procedures for the Formal Analysis of Software. Kamel Barkaoui, Ana Cavalcanti, Antonio Cerone. 3rd International Colloquium on Theoretical Aspects of Computing, ICTAC, Nov 2006, Tunis, Tunisia, Springer, 4281, pp.366--370, 2006, Lecture Notes in Computer Science. 〈10.1007/11921240_26〉. 〈inria-00117277〉
  • David Déharbe, Pascal Fontaine. haRVey: combining reasoners. Stephan Merz and Tobias Nipkow. Automatic Verification of Critical Systems - AVoCS 2006, Sep 2006, Nancy/France, pp.152-156, 2006, Automatic Verification of Critical Systems (AVoCS 2006). 〈inria-00091662〉
  • Pascal Fontaine, Silvio Ranise, Calogero Zarba. Combining Lists with Non-Stably Infinite Theories. Franz Baader; Andrei Voronkov. 11th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'04), Mar 2005, Montevideo/Uruguay, Springer-Verlag, 3452, pp.51--66, 2005, Lecture Notes in Computer Science. 〈10.1007/b106931〉. 〈inria-00000481〉

Chapitre d'ouvrage1 document

  • 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〉

Direction d'ouvrage, Proceedings, Dossier2 documents

  • 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〉

Rapport3 documents

  • 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〉