| Categorical logic and type theory B Jacobs Elsevier Science Ltd, 1999 | 1143 | 1999 |
| A tutorial on (co) algebras and (co) induction B Jacobs, J Rutten Bulletin-European Association for Theoretical Computer Science 62, 222-259, 1997 | 900 | 1997 |
| Privacy-friendly energy-metering via homomorphic encryption F Garcia, B Jacobs Security and Trust Management, 226-238, 2011 | 502 | 2011 |
| Introduction to coalgebra B Jacobs Cambridge University Press, 2017 | 408 | 2017 |
| Dismantling mifare classic F Garcia, G de Koning Gans, R Muijrers, P Van Rossum, R Verdult, ... Computer Security-ESORICS 2008, 97-114, 2008 | 360 | 2008 |
| Structural induction and coinduction in a fibrational setting C Hermida, B Jacobs Information and computation 145 (2), 107-152, 1998 | 276 | 1998 |
| The LOOP compiler for Java and JML J Van Den Berg, B Jacobs Tools and Algorithms for the Construction and Analysis of Systems, 299-312, 2001 | 270 | 2001 |
| Objects and classes, co-algebraically B Jacobs Object orientation with parallelism and persistence, 83-103, 1995 | 263 | 1995 |
| Increased security through open source JH Hoepman, B Jacobs Communications of the ACM 50 (1), 79-83, 2007 | 247 | 2007 |
| Generic trace semantics via coinduction I Hasuo, B Jacobs, A Sokolova Arxiv preprint arXiv:0710.2505, 2007 | 233 | 2007 |
| Semantics of weakening and contraction B Jacobs Annals of pure and applied logic 69 (1), 73-106, 1994 | 230 | 1994 |
| Java program verification via a Hoare logic with abrupt termination M Huisman, B Jacobs Fundamental Approaches to Software Engineering, 284-303, 2000 | 197 | 2000 |
| Crossing borders: Security and privacy issues of the european e-passport JH Hoepman, E Hubbers, B Jacobs, M Oostdijk, R Schreur Advances in Information and Computer Security, 152-167, 2006 | 162 | 2006 |
| Reasoning about Java classes: preliminary report B Jacobs, J Van Den Berg, M Huisman, M van Berkum, U Hensel, H Tews Proceedings of the 13th ACM SIGPLAN conference on Object-oriented …, 1998 | 161 | 1998 |
| Comprehension categories and the semantics of type dependency B Jacobs Theoretical Computer Science 107 (2), 169-207, 1993 | 143 | 1993 |
| A logic for the Java Modeling Language JML B Jacobs, E Poll Fundamental Approaches to Software Engineering, 284-299, 2001 | 134 | 2001 |
| Trace Semantics via Determinization B Jacobs, A Silva, A Sokolova | 125 | 2012 |
| Java program verification at Nijmegen: Developments and perspective B Jacobs, E Poll Software Security-Theories and Systems, 134-153, 2004 | 125 | 2004 |
| Simulations in coalgebra J Hughes, B Jacobs Theoretical Computer Science 327 (1-2), 71-108, 2004 | 121 | 2004 |
| Many-sorted coalgebraic modal logic: a model-theoretic study B Jacobs RAIRO-Theoretical Informatics and Applications 35 (1), 31-59, 2001 | 121 | 2001 |
