Jean Goubault-Larrecq

发表

Jean Goubault-Larrecq, Kok Min Ng, J. Goubault-Larrecq, 2016, Log. Methods Comput. Sci..
Jean Goubault-Larrecq, Catuscia Palamidessi, Angelo Troina, 2007, APLAS.
Jean Goubault-Larrecq, J. Goubault-Larrecq, 1996 .
Jean Goubault-Larrecq, Véronique Cortier, Florent Jacquemard, 2002 .
Jean Goubault-Larrecq, J. Goubault-Larrecq, 2000, IPDPS Workshops.
Jean Goubault-Larrecq, Ian Mackie, 1997 .
Jean Goubault-Larrecq, Kumar Neeraj Verma, Jean Goubault-Larrecq, 2003 .
Jean Goubault-Larrecq, 2001, Electron. Notes Theor. Comput. Sci..
Jean Goubault-Larrecq, J. Goubault-Larrecq, 2010, 2010 25th Annual IEEE Symposium on Logic in Computer Science.
Jean Goubault-Larrecq, Michael Blondin, Alain Finkel, 2017, FSTTCS.
Jean Goubault-Larrecq, Kumar Neeraj Verma, Muriel Roger, 2005, J. Log. Algebraic Methods Program..
Jean Goubault-Larrecq, 2015, J. Log. Algebraic Methods Program..
Jean Goubault-Larrecq, Eric Goubault, Jérémy Dubut, 2017, Appl. Categorical Struct..
Jean Goubault-Larrecq, Alain Finkel, 2020, Mathematical Structures in Computer Science.
Jean Goubault-Larrecq, Yu Zhang, Slawomir Lasota, 2004, CSL.
Jean Goubault-Larrecq, Kumar Neeraj Verma, K. Verma, 2007, Inf. Comput..
Jean Goubault-Larrecq, Sanjiva Prasad, S. Arun-Kumar, 2000, ASIAN.
Jean Goubault-Larrecq, Julien Olivain, 2005, CAV.
Jean Goubault-Larrecq, 2005, Math. Struct. Comput. Sci..
Jean Goubault-Larrecq, 1994, LPAR.
Jean Goubault-Larrecq, 2013 .
Jean Goubault-Larrecq, Wen Gao, Gerhard Woeginger, 2019, Lecture Notes in Computer Science.
Jean Goubault-Larrecq, David Nowak, Slawomir Lasota, 2005 .
Jean Goubault-Larrecq, Kumar Neeraj Verma, 2003 .
Jean Goubault-Larrecq, Fabrice Parrennes, J. Goubault-Larrecq, 2005, VMCAI.
Jean Goubault-Larrecq, Ian Mackie, 1997 .
Jean Goubault-Larrecq, Ian Mackie, 1997 .
Jean Goubault-Larrecq, Xavier Rival, 2001, TPHOLs.
Jean Goubault-Larrecq, J. Goubault-Larrecq, 1994, SAS.
Jean Goubault-Larrecq, Xiaodong Jia, Jean Goubault-Larrecq, 2019, ISDT.
Jean Goubault-Larrecq, Jean Goubault-Larrecq, 2002 .
Jean Goubault-Larrecq, 2010, Math. Struct. Comput. Sci..
Jean Goubault-Larrecq, J. Goubault-Larrecq, 1998, TYPES.
Jean Goubault-Larrecq, J. Goubault-Larrecq, 2010, ICALP.
Jean Goubault-Larrecq, 2008, FoSSaCS.
Jean Goubault-Larrecq, 2019, Math. Struct. Comput. Sci..
Jean Goubault-Larrecq, Ian Mackie, 1997 .
Jean Goubault-Larrecq, Florent Jacquemard, Jean Goubault-Larrecq, 2002 .
Daniele Varacca, Jean Goubault-Larrecq, 2011, 2011 IEEE 26th Annual Symposium on Logic in Computer Science.
Jean Goubault-Larrecq, Jean-Philippe Lachance, 2016, RV.
Jean Goubault-Larrecq, 1995, Log. J. IGPL.
Jean Goubault-Larrecq, J. Goubault-Larrecq, 1996 .
Jean Goubault-Larrecq, Roberto Segala, R. Segala, 2014, Horizons of the Mind.
Jean Goubault-Larrecq, Jean-Pierre Jouannaud, J. Jouannaud, 2013, Programming Logics.
Jean Goubault-Larrecq, 1997, Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science.
Jean Goubault-Larrecq, Hedi Benzina, H. Benzina, 2010, DPM/SETOP.
Jean Goubault-Larrecq, Eric Goubault, Jérémy Dubut, 2015, ICALP.
Jean Goubault-Larrecq, Angelo Troina, 2007 .
Jean Goubault-Larrecq, Achim Jung, A. Jung, 2014, MFPS.
Jean Goubault-Larrecq, Slawomir Lasota, David Nowak, 2002 .
Jean Goubault-Larrecq, J. Goubault-Larrecq, 2007, CSL.
Jean Goubault-Larrecq, Muriel Roger, M. Roger, 2001, Proceedings. 14th IEEE Computer Security Foundations Workshop, 2001..
Jean Goubault-Larrecq, Jean-Philippe Lachance, 2018, Formal Methods Syst. Des..
Jean Goubault-Larrecq, Alain Finkel, A. Finkel, 2009, ICALP.
Jean Goubault-Larrecq, J. Goubault-Larrecq, 2013, MFCS.
Jean Goubault-Larrecq, Alain Finkel, A. Finkel, 2009, Mathematical Structures in Computer Science.
Jean Goubault-Larrecq, Klaus Keimel, 2011, Math. Struct. Comput. Sci..
Philippe Schnoebelen, Jean Goubault-Larrecq, K. Narayan Kumar, 2019, Trends in Logic.
Jean Goubault-Larrecq, Alain Finkel, 2009, ICALP.
Jean Goubault-Larrecq, Eric Goubault, Jérémy Dubut, 2016, CONCUR.
Jean Goubault-Larrecq, J. Goubault-Larrecq, 2007, 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007).
Jean Goubault-Larrecq, 1994, LICS.
Jean Goubault-Larrecq, 2005 .
Jean Goubault-Larrecq, Joachim Posegga, 1994, ISMIS.
Jean Goubault-Larrecq, 2015, Math. Struct. Comput. Sci..
Jean Goubault-Larrecq, 2010, 2010 25th Annual IEEE Symposium on Logic in Computer Science.
Jean Goubault-Larrecq, Michael Blondin, Alain Finkel, 2020, Log. Methods Comput. Sci..
Jean Goubault-Larrecq, 2014, Appl. Categorical Struct..
Jean Goubault-Larrecq, J. Goubault-Larrecq, 2010, J. Comput. Secur..
Jean Goubault-Larrecq, 2013, New Mathematical Monographs.
Jean Goubault-Larrecq, J. Goubault-Larrecq, 2008, 2008 21st IEEE Computer Security Foundations Symposium.
Jean Goubault-Larrecq, Eric Goubault, Jérémy Dubut, 2016, CSL.
Jean Goubault-Larrecq, Monika Seisenberger, Victor L. Selivanov, 2016, Dagstuhl Reports.
Jean Goubault-Larrecq, Peter H. Schmitt, 1997, TACAS.
Jean Goubault-Larrecq, 1994, CADE.
Jean Goubault-Larrecq, Jean Goubault-Larrecq, J. Goubault-Larrecq, 2015, Mathematical Structures in Computer Science.
Jean Goubault-Larrecq, Julien Olivain, 2008, RV.
Jean Goubault-Larrecq, Alain Finkel, 2012, Petri Nets.
Jean Goubault-Larrecq, J. Goubault-Larrecq, 2008, FoSSaCS.
Jean Goubault-Larrecq, J. Goubault-Larrecq, 2009, ASIAN.
Jean Goubault-Larrecq, J. Goubault-Larrecq, 2001, CSL.
Jean Goubault-Larrecq, J. Goubault-Larrecq, 2005, Inf. Process. Lett..
Jean Goubault-Larrecq, J. Goubault-Larrecq, 1993, Kurt Gödel Colloquium.
Jean Goubault-Larrecq, Kumar Neeraj Verma, K. Verma, 2005, Discret. Math. Theor. Comput. Sci..
Jean Goubault-Larrecq, Healfdene Goguen, H. Goguen, 2000, Mathematical Structures in Computer Science.
Jean Goubault-Larrecq, Matthew de Brecht, Xiaodong Jia, 2019, ISDT.
Jean Goubault-Larrecq, 2019, 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Jean Goubault-Larrecq, Eric Goubault, Sylvie Putot, 2011, Computing.
Jean Goubault-Larrecq, Xiaoyong Xi, Weng Kin Ho, 2018, Log. Methods Comput. Sci..
Jean Goubault-Larrecq, Véronique Cortier, Ralf Treinen, 2003 .
Jean Goubault-Larrecq, Alexander Leitsch, David A. Plaisted, 2001, Handbook of Automated Reasoning.
Jean Goubault-Larrecq, J. Goubault-Larrecq, 2007, ICALP.
Jean Goubault-Larrecq, J. Goubault-Larrecq, 2002, CSL.
Jean Goubault-Larrecq, J. Goubault-Larrecq, 2011, Theor. Comput. Sci..
Jean Goubault-Larrecq, Eric Goubault, Assalé Adjé, 2013, VSTTE.
Jean Goubault-Larrecq, Stéphane Demri, Julien Olivain, 2003 .
Jean Goubault-Larrecq, Xiaodong Jia, Xiaodong Jia, 2021, Math. Struct. Comput. Sci..
Jean Goubault-Larrecq, J. Goubault-Larrecq, 2018, Mathematical Structures in Computer Science.
Jean Goubault-Larrecq, Xiaodong Jia, Cl'ement Th'eron, 2021, ArXiv.
Jean Goubault-Larrecq, J. Goubault-Larrecq, 2019, Colloquium Mathematicum.
Jean Goubault-Larrecq, Bastien Laboureix, 2021 .
Jean Goubault-Larrecq, Éric Goubault, É. Goubault, 2003 .
Jean Goubault-Larrecq, Jean Goubault-Larrecq, J. Goubault-Larrecq, 2003 .
Jean Goubault-Larrecq, 1996 .
Jean Goubault-Larrecq, J. Goubault-Larrecq, 2009 .
Jean Goubault-Larrecq, Jean Goubault-Larrecq, LogicPeter, 1997 .
Jean Goubault-Larrecq, .