Non-Hausdorff topology and domain theory: Selected topics in point-set topology J Goubault-Larrecq Cambridge University Press, 2013 | 418* | 2013 |
Cryptographic protocol analysis on real C code J Goubault-Larrecq, F Parrennes International Workshop on Verification, Model Checking, and Abstract …, 2005 | 157 | 2005 |
Higher-order unification and matching G Dowek Handbook of automated reasoning, 1009-1062, 2001 | 156 | 2001 |
Log auditing through model-checking M Roger, J Goubault-Larrecq Proceedings of the 14th IEEE workshop on Computer Security Foundations, 220, 2001 | 150 | 2001 |
A method for automatic cryptographic protocol verification J Goubault-Larrecq Parallel and Distributed Processing: 15 IPDPS 2000 Workshops Cancun, Mexico …, 2000 | 124 | 2000 |
Normal form transformations M Baaz, U Egly, A Leitsch, J Goubault-Larrecq, D Plaisted Handbook of Automated Reasoning, 273-333, 2001 | 114 | 2001 |
Forward analysis for WSTS, part I: Completions A Finkel, J Goubault-Larrecq arXiv preprint arXiv:0902.1587, 2009 | 101 | 2009 |
Forward analysis for WSTS, part II: Complete WSTS A Finkel, J Goubault-Larrecq Logical Methods in Computer Science 8, 2012 | 95 | 2012 |
Proof theory and automated deduction J Goubault-Larrecq, I Mackie Springer Science & Business Media, 2001 | 85 | 2001 |
A logical framework for evaluating network resilience against faults and attacks E Bursztein, J Goubault-Larrecq Annual Asian Computing Science Conference, 212-227, 2007 | 68 | 2007 |
Reflecting bdds in coq KN Verma, J Goubault-Larrecq, S Prasad, S Arun-Kumar Annual Asian Computing Science Conference, 162-181, 2000 | 65 | 2000 |
Karp-Miller trees for a branching extension of VASS KN Verma, J Goubault-Larrecq Discrete Mathematics & Theoretical Computer Science 7, 2005 | 61 | 2005 |
A probabilistic applied pi–calculus J Goubault-Larrecq, C Palamidessi, A Troina Programming Languages and Systems: 5th Asian Symposium, APLAS 2007 …, 2007 | 56 | 2007 |
A generalization of p-boxes to affine arithmetic O Bouissou, E Goubault, J Goubault-Larrecq, S Putot Computing 94, 189-201, 2012 | 55 | 2012 |
The Orchids Intrusion Detection Tool J Olivain, J Goubault-Larrecq Computer Aided Verification: 17th International Conference, CAV 2005 …, 2005 | 54 | 2005 |
Deciding H1 by resolution J Goubault-Larrecq Information Processing Letters 95 (3), 401-408, 2005 | 52 | 2005 |
Abstraction and resolution modulo AC: How to verify Diffie–Hellman-like protocols automatically J Goubault-Larrecq, M Roger, KN Verma The Journal of Logic and Algebraic Programming 64 (2), 219-251, 2005 | 52 | 2005 |
A Smell of Orchids J Goubault-Larrecq, J Olivain International Workshop on Runtime Verification, 1-20, 2008 | 51 | 2008 |
Logical relations for monadic types J Goubault-Larrecq, S Lasota, D Nowak Mathematical Structures in Computer Science 18 (6), 1169-1217, 2008 | 47 | 2008 |
A tableau system for linear-time temporal logic PH Schmitt, J Goubault-Larrecq International Workshop on Tools and Algorithms for the Construction and …, 1997 | 45 | 1997 |