Hubert Comon-Lundh

发表

Hubert Comon-Lundh, Yan Jurski, Hubert Comon-Lundh, 1998, CAV.
Robert Nieuwenhuis, Guillem Godoy, Hubert Comon-Lundh, 2001, Proceedings 2001 IEEE International Conference on Cluster Computing.
Ralf Treinen, Hubert Comon-Lundh, Hubert Comon-Lundh, 1997, Theor. Comput. Sci..
Bruno Blanchet, Hubert Comon-Lundh, Martín Abadi, 2009, CAV.
Florent Jacquemard, Hubert Comon-Lundh, Hubert Comon-Lundh, 1994, STACS.
Hubert Comon-Lundh, Hubert Comon-Lundh, 1991, Computational Logic - Essays in Honor of Alan Robinson.
Hubert Comon-Lundh, 2005, Mathematical systems theory.
Florent Jacquemard, Hubert Comon-Lundh, Max Dauchet, 1994, ICALP.
Véronique Cortier, Hubert Comon-Lundh, V. Cortier, 2003, Sci. Comput. Program..
Hubert Comon-Lundh, Yan Jurski, Hubert Comon-Lundh, 1999, CONCUR.
Michaël Rusinowitch, Paliath Narendran, Robert Nieuwenhuis, 1998, Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.98CB36226).
Stéphanie Delaune, Hubert Comon-Lundh, Hubert Comon-Lundh, 2005, RTA.
Vincent Cheval, Stéphanie Delaune, Hubert Comon-Lundh, 2017, Inf. Comput..
Hubert Comon-Lundh, 2013, 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science.
Hubert Comon-Lundh, Hubert Comon-Lundh, 1990, Int. J. Found. Comput. Sci..
Hubert Comon-Lundh, Yan Jurski, Hubert Comon-Lundh, 1997, CSL.
Vitaly Shmatikov, Hubert Comon-Lundh, Vitaly Shmatikov, 2003, 18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings..
Hubert Comon-Lundh, Hubert Comon-Lundh, 1992, ICALP.
John Mitchell, Véronique Cortier, Hubert Comon-Lundh, 2001, ICALP.
Hubert Comon-Lundh, 1993, AMAST.
Stéphanie Delaune, Hubert Comon-Lundh, Sergiu Bursuc, 2007, STACS.
Ralf Küsters, Catherine A. Meadows, Hubert Comon-Lundh, 2011, Dagstuhl Reports.
Hubert Comon-Lundh, 1990, ICALP.
Véronique Cortier, Hubert Comon-Lundh, Guillaume Scerri, 2013, CADE.
Robert Nieuwenhuis, Hubert Comon-Lundh, R. Nieuwenhuis, 2000, Inf. Comput..
Hubert Comon-Lundh, Hélène Kirchner, Claude Kirchner, 2007, Rewriting, Computation and Proof.
Vincent Cheval, Stéphanie Delaune, Hubert Comon-Lundh, 2011, CCS '11.
Hubert Comon-Lundh, Alexandre Boudet, Hubert Comon-Lundh, 1996, CAAP.
Hubert Comon-Lundh, Alexandre Boudet, Hubert Comon-Lundh, 1993, TAPSOFT.
Véronique Cortier, Hubert Comon-Lundh, V. Cortier, 2000, CSL.
Hubert Comon-Lundh, Catherine Delor, 1994, Inf. Comput..
Hubert Comon-Lundh, Adrien Koutsos, Hubert Comon-Lundh, 2017, 2017 IEEE 30th Computer Security Foundations Symposium (CSF).
Albert Rubio, Robert Nieuwenhuis, Hubert Comon-Lundh, 1995, Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science.
Stéphanie Delaune, Hubert Comon-Lundh, Jonathan K. Millen, 2011, Formal Models and Techniques for Analyzing Security Protocols.
Maribel Fernández, Hubert Comon-Lundh, 1992, MFCS.
Ralf Treinen, Hubert Comon-Lundh, Hubert Comon-Lundh, 2003, Verification: Theory and Practice.
Stéphanie Delaune, Hubert Comon-Lundh, Sergiu Bursuc, 2009, ASIAN.
Hubert Comon-Lundh, Gergei Bana, Hubert Comon-Lundh, 2014, CCS.
Hubert Comon-Lundh, Hubert Comon-Lundh, 2001, Handbook of Automated Reasoning.
Florent Jacquemard, Hubert Comon-Lundh, Hubert Comon-Lundh, 1997, Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science.
Hideki Sakurada, Masami Hagiya, Hubert Comon-Lundh, 2012, ISPEC.
Hubert Comon-Lundh, Guillaume Scerri, Charlie Jacomme, 2020, CCS.
Michaël Rusinowitch, Paliath Narendran, Robert Nieuwenhuis, 2003, TOCL.
Philippe Schnoebelen, Denis Lugiez, Hubert Comon-Lundh, 1991, J. Symb. Comput..
Stéphanie Delaune, Hubert Comon-Lundh, Sergiu Bursuc, 2007, Rewriting, Computation and Proof.
Véronique Cortier, Hubert Comon-Lundh, Guillaume Scerri, 2012, IACR Cryptol. ePrint Arch..
Ralf Treinen, Hubert Comon-Lundh, Hubert Comon-Lundh, 1994, CAAP.
Hubert Comon-Lundh, Gergei Bana, Hubert Comon-Lundh, 2012, POST.
Hubert Comon-Lundh, Hubert Comon-Lundh, 2008, IJCAR.
Hubert Comon-Lundh, 1993, Theor. Comput. Sci..
Florent Jacquemard, Hubert Comon-Lundh, Nicolas Perrin, 2007, FoSSaCS.
Hubert Comon-Lundh, Pierre Lescanne, 1989, J. Symb. Comput..
Florent Jacquemard, Hubert Comon-Lundh, 2003, Inf. Comput..
Jean-Pierre Jouannaud, Hubert Comon-Lundh, Marianne Haberstrau, 1994, Inf. Comput..
Véronique Cortier, Hubert Comon-Lundh, V. Cortier, 2005, Theor. Comput. Sci..
Véronique Cortier, Hubert Comon-Lundh, Eugen Zalinescu, 2007, TOCL.
Véronique Cortier, Hubert Comon-Lundh, 2004, Sci. Comput. Program..
Vincent Cheval, Stéphanie Delaune, Hubert Comon-Lundh, 2010, IJCAR.
Véronique Cortier, Hubert Comon-Lundh, Guillaume Scerri, 2014 .
Jacques Calmet, Denis Lugiez, Hubert Comon-Lundh, 1986, AAECC.
Jean-Pierre Jouannaud, Hubert Comon-Lundh, Marianne Haberstrau, 1992, [1992] Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science.
Stéphanie Delaune, Hubert Comon-Lundh, Hubert Comon-Lundh, 2012, Software Safety and Security.
Florent Jacquemard, Hubert Comon-Lundh, Nicolas Perrin, 2008, Log. Methods Comput. Sci..
Claude Kirchner, Jean-Pierre Jouannaud, Mehmet Dincbas, 1999, Constraints.
Hubert Comon-Lundh, Hubert Comon-Lundh, 2004, FoSSaCS.
Claude Kirchner, Hubert Comon-Lundh, C. Kirchner, 2001, CCL.
Jean Goubault-Larrecq, Véronique Cortier, Ralf Treinen, 2003 .
Hubert Comon-Lundh, Vincent Bernat, 2006, ASIAN.
Véronique Cortier, Hubert Comon-Lundh, 2008, CCS.
Stéphanie Delaune, Hubert Comon-Lundh, Sergiu Bursuc, 2014, Inf. Comput..
Catherine A. Meadows, Hubert Comon-Lundh, 2011, Journal of Automated Reasoning.
Hubert Comon-Lundh, 2005, Abstract State Machines.
Hubert Comon-Lundh, Hubert Comon-Lundh, 2008, FSTTCS.
Hubert Comon-Lundh, Hubert Comon-Lundh, 2007 .
Hubert Comon-Lundh, Hubert Comon-Lundh, 1988 .
Hubert Comon-Lundh, Reynald Affeldt, Reynald Affeldt, 2008 .