Hubert Comon-Lundh

发表

Albert Rubio, Robert Nieuwenhuis, Hubert Comon-Lundh, 1995, Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science.
Hubert Comon-Lundh, Hubert Comon-Lundh, 1988 .
Hubert Comon-Lundh, Reynald Affeldt, Reynald Affeldt, 2008 .
Hubert Comon-Lundh, Hubert Comon-Lundh, 2004, FoSSaCS.
V. Cortier, Hubert Comon-Lundh, 2017 .
Hubert Comon-Lundh, Charlie Jacomme, 2018 .
M. Hagiya, Hubert Comon-Lundh, Yusuke Kawamoto, 2009 .
Hubert Comon-Lundh, Hubert Comon-Lundh, 1991, Computational Logic - Essays in Honor of Alan Robinson.
Véronique Cortier, Hubert Comon-Lundh, Eugen Zalinescu, 2007, TOCL.
Bruno Blanchet, Hubert Comon-Lundh, Martín Abadi, 2009, CAV.
Michaël Rusinowitch, Paliath Narendran, Robert Nieuwenhuis, 2003, TOCL.
Michaël Rusinowitch, Paliath Narendran, Robert Nieuwenhuis, 1998, Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.98CB36226).
Ralf Treinen, Hubert Comon-Lundh, Hubert Comon-Lundh, 1994, CAAP.
Hubert Comon-Lundh, Adrien Koutsos, Hubert Comon-Lundh, 2017, 2017 IEEE 30th Computer Security Foundations Symposium (CSF).
Claude Kirchner, Jean-Pierre Jouannaud, Mehmet Dincbas, 1999, Constraints.
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.
Robert Nieuwenhuis, Hubert Comon-Lundh, R. Nieuwenhuis, 2000, Inf. Comput..
Florent Jacquemard, Hubert Comon-Lundh, Hubert Comon-Lundh, 1994, STACS.
Hubert Comon-Lundh, Gergei Bana, Hubert Comon-Lundh, 2014, CCS.
Hubert Comon-Lundh, Gergei Bana, Hubert Comon-Lundh, 2012, POST.
Hubert Comon-Lundh, Alexandre Boudet, Hubert Comon-Lundh, 1996, CAAP.
Vincent Cheval, Stéphanie Delaune, Hubert Comon-Lundh, 2011, CCS '11.
Stéphanie Delaune, Hubert Comon-Lundh, Hubert Comon-Lundh, 2005, RTA.
Véronique Cortier, Hubert Comon-Lundh, V. Cortier, 2003, Sci. Comput. Program..
Véronique Cortier, Hubert Comon-Lundh, Guillaume Scerri, 2013, CADE.
Florent Jacquemard, Hubert Comon-Lundh, Nicolas Perrin, 2008, Log. Methods Comput. Sci..
Jean-Pierre Jouannaud, Hubert Comon-Lundh, Marianne Haberstrau, 1994, Inf. Comput..
Ralf Treinen, Hubert Comon-Lundh, Hubert Comon-Lundh, 1997, Theor. Comput. Sci..
Hubert Comon-Lundh, Hubert Comon-Lundh, 1990, Int. J. Found. Comput. Sci..
Véronique Cortier, Hubert Comon-Lundh, V. Cortier, 2005, Theor. Comput. Sci..
Hubert Comon-Lundh, Hélène Kirchner, Claude Kirchner, 2007, Rewriting, Computation and Proof.
Vitaly Shmatikov, Hubert Comon-Lundh, Vitaly Shmatikov, 2003, 18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings..
Ralf Treinen, Hubert Comon-Lundh, Hubert Comon-Lundh, 2003, Verification: Theory and Practice.
Vincent Cheval, Stéphanie Delaune, Hubert Comon-Lundh, 2017, Inf. Comput..
Stéphanie Delaune, Hubert Comon-Lundh, Sergiu Bursuc, 2014, Inf. Comput..
Hideki Sakurada, Masami Hagiya, Hubert Comon-Lundh, 2012, ISPEC.
Véronique Cortier, Hubert Comon-Lundh, Guillaume Scerri, 2012, IACR Cryptol. ePrint Arch..
Vincent Cheval, Stéphanie Delaune, Hubert Comon-Lundh, 2010, IJCAR.
Hubert Comon-Lundh, Hubert Comon-Lundh, 2008, IJCAR.
Stéphanie Delaune, Hubert Comon-Lundh, Hubert Comon-Lundh, 2012, Software Safety and Security.
Stéphanie Delaune, Hubert Comon-Lundh, Jonathan K. Millen, 2011, Formal Models and Techniques for Analyzing Security Protocols.
Hideki Sakurada, Hubert Comon-Lundh, Yusuke Kawamoto, 2009, JSIAM Lett..
Hubert Comon-Lundh, Hubert Comon-Lundh, 2008, FSTTCS.
Hubert Comon-Lundh, Hubert Comon-Lundh, 2007 .
Hubert Comon-Lundh, Yan Jurski, Hubert Comon-Lundh, 1999, CONCUR.
Hubert Comon-Lundh, Alexandre Boudet, Hubert Comon-Lundh, 1993, TAPSOFT.
Hubert Comon-Lundh, Hubert Comon-Lundh, 1992, ICALP.
Hubert Comon-Lundh, Yan Jurski, Hubert Comon-Lundh, 1997, CSL.
Philippe Schnoebelen, Denis Lugiez, Hubert Comon-Lundh, 1991, J. Symb. Comput..
Florent Jacquemard, Hubert Comon-Lundh, Max Dauchet, 1994, ICALP.
Véronique Cortier, Hubert Comon-Lundh, V. Cortier, 2000, CSL.
Hubert Comon-Lundh, Yan Jurski, Hubert Comon-Lundh, 1998, CAV.
Hubert Comon-Lundh, Hubert Comon-Lundh, 1988, International Conference on Algebraic and Logic Programming.
Claude Kirchner, Hubert Comon-Lundh, C. Kirchner, 2001, CCL.
Stéphanie Delaune, Hubert Comon-Lundh, Sergiu Bursuc, 2007, Rewriting, Computation and Proof.
Robert Nieuwenhuis, Guillem Godoy, Hubert Comon-Lundh, 2001, Proceedings 2001 IEEE International Conference on Cluster Computing.
Hubert Comon-Lundh, Guillaume Scerri, Charlie Jacomme, 2020, CCS.