Non-Hausdorff topology and domain theory: Selected topics in point-set topology J Goubault-Larrecq Cambridge University Press, 2013 | 377* | 2013 |

Higher-order unification and matching G Dowek Handbook of automated reasoning, 1009-1062, 2001 | 155 | 2001 |

Cryptographic protocol analysis on real C code J Goubault-Larrecq, F Parrennes International Workshop on Verification, Model Checking, and Abstract …, 2005 | 151 | 2005 |

Log auditing through model-checking M Roger, J Goubault-Larrecq Proceedings of the 14th IEEE workshop on Computer Security Foundations, 220, 2001 | 149 | 2001 |

A method for automatic cryptographic protocol verification J Goubault-Larrecq Parallel and Distributed Processing: 15 IPDPS 2000 Workshops Cancun, Mexico …, 2000 | 126 | 2000 |

Normal form transformations M Baaz, U Egly, A Leitsch, J Goubault-Larrecq, D Plaisted Handbook of Automated Reasoning, 273-333, 2001 | 107 | 2001 |

Forward analysis for WSTS, part I: Completions A Finkel, J Goubault-Larrecq arXiv preprint arXiv:0902.1587, 2009 | 96 | 2009 |

Forward analysis for WSTS, part II: Complete WSTS A Finkel, J Goubault-Larrecq Logical Methods in Computer Science 8, 2012 | 89 | 2012 |

Proof theory and automated deduction J Goubault-Larrecq, I Mackie Springer Science & Business Media, 2001 | 82 | 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 | 66 | 2007 |

Reflecting bdds in coq KN Verma, J Goubault-Larrecq, S Prasad, S Arun-Kumar Annual Asian Computing Science Conference, 162-181, 2000 | 66 | 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 |

The Orchids Intrusion Detection Tool J Olivain, J Goubault-Larrecq Computer Aided Verification: 17th International Conference, CAV 2005 …, 2005 | 53 | 2005 |

A generalization of p-boxes to affine arithmetic O Bouissou, E Goubault, J Goubault-Larrecq, S Putot Computing 94, 189-201, 2012 | 51 | 2012 |

Deciding H1 by resolution J Goubault-Larrecq Information Processing Letters 95 (3), 401-408, 2005 | 51 | 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 | 51 | 2005 |

A Smell of Orchids J Goubault-Larrecq, J Olivain International Workshop on Runtime Verification, 1-20, 2008 | 49 | 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 | 46 | 1997 |

Logical relations for monadic types J Goubault-Larrecq, S Lasota, D Nowak Mathematical Structures in Computer Science 18 (6), 1169-1217, 2008 | 42 | 2008 |