Categorical logic and type theory B Jacobs Elsevier Science Ltd, 1999 | 1132 | 1999 |
A tutorial on (co) algebras and (co) induction B Jacobs, J Rutten Bulletin-European Association for Theoretical Computer Science 62, 222-259, 1997 | 904 | 1997 |
Privacy-friendly energy-metering via homomorphic encryption F Garcia, B Jacobs Security and Trust Management, 226-238, 2011 | 495 | 2011 |
Introduction to coalgebra B Jacobs Cambridge University Press, 2017 | 397 | 2017 |
Dismantling mifare classic F Garcia, G de Koning Gans, R Muijrers, P Van Rossum, R Verdult, ... Computer Security-ESORICS 2008, 97-114, 2008 | 353 | 2008 |
Structural induction and coinduction in a fibrational setting C Hermida, B Jacobs Information and computation 145 (2), 107-152, 1998 | 272 | 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 | 269 | 2001 |
Objects and classes, co-algebraically B Jacobs Object orientation with parallelism and persistence, 83-103, 1996 | 264 | 1996 |
Increased security through open source JH Hoepman, B Jacobs Communications of the ACM 50 (1), 79-83, 2007 | 252 | 2007 |
Generic trace semantics via coinduction I Hasuo, B Jacobs, A Sokolova Arxiv preprint arXiv:0710.2505, 2007 | 230 | 2007 |
Semantics of weakening and contraction B Jacobs Annals of pure and applied logic 69 (1), 73-106, 1994 | 226 | 1994 |
Java program verification via a Hoare logic with abrupt termination M Huisman, B Jacobs Fundamental Approaches to Software Engineering, 284-303, 2000 | 189 | 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 | 167 | 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 | 157 | 1998 |
Comprehension categories and the semantics of type dependency B Jacobs Theoretical Computer Science 107 (2), 169-207, 1993 | 139 | 1993 |
A logic for the Java Modeling Language JML B Jacobs, E Poll Fundamental Approaches to Software Engineering, 284-299, 2001 | 135 | 2001 |
Java program verification at Nijmegen: Developments and perspective B Jacobs, E Poll Software Security-Theories and Systems, 134-153, 2004 | 124 | 2004 |
Many-sorted coalgebraic modal logic: a model-theoretic study B Jacobs RAIRO-Theoretical Informatics and Applications 35 (1), 31-59, 2001 | 123 | 2001 |
Trace Semantics via Determinization B Jacobs, A Silva, A Sokolova | 122 | 2012 |
Simulations in coalgebra J Hughes, B Jacobs Theoretical Computer Science 327 (1-2), 71-108, 2004 | 118 | 2004 |