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

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

Log auditing through model-checking M Roger, J Goubault-Larrecq Proceedings 14th IEEE Computer Security Foundations Workshop, 2001., 220,221 …, 2001 | 139 | 2001 |

A method for automatic cryptographic protocol verification J Goubault-Larrecq International Parallel and Distributed Processing Symposium, 977-984, 2000 | 116 | 2000 |

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

Forward analysis for WSTS, part II: Complete WSTS A Finkel, J Goubault-Larrecq International Colloquium on Automata, Languages, and Programming, 188-199, 2009 | 88 | 2009 |

Proof theory and automated deduction J Goubault-Larrecq, I Mackie Springer Science & Business Media, 2001 | 76 | 2001 |

Reflecting bdds in coq KN Verma, J Goubault-Larrecq, S Prasad, S Arun-Kumar Annual Asian Computing Science Conference, 162-181, 2000 | 64 | 2000 |

Karp-Miller trees for a branching extension of VASS. KN Verma, J Goubault-Larrecq Discrete Mathematics and Theoretical Computer Science. DMTCS [electronic …, 2005 | 54 | 2005 |

A logical framework for evaluating network resilience against faults and attacks E Bursztein, J Goubault-Larrecq Annual Asian Computing Science Conference, 212-227, 2007 | 50 | 2007 |

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

The Orchids intrusion detection tool J Olivain, J Goubault-Larrecq International Conference on Computer Aided Verification, 286-290, 2005 | 47 | 2005 |

A probabilistic applied pi–calculus J Goubault-Larrecq, C Palamidessi, A Troina Asian Symposium on Programming Languages and Systems, 175-190, 2007 | 46 | 2007 |

A Smell of Orchids J Goubault-Larrecq, J Olivain International Workshop on Runtime Verification, 1-20, 2008 | 43 | 2008 |

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

A tableau system for linear-time temporal logic PH Schmitt, J Goubault-Larrecq International Workshop on Tools and Algorithms for the Construction and …, 1997 | 41 | 1997 |

Logical relations for monadic types J Goubault-Larrecq, S Lasota, D Nowak International Workshop on Computer Science Logic, 553-568, 2002 | 40 | 2002 |

Alternating two-way AC-tree automata J Goubault-Larrecq, KN Verma | 36 | 2002 |

On noetherian spaces J Goubault-Larrecq 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007), 453-462, 2007 | 32 | 2007 |