Folgen
Bart Jacobs
Bart Jacobs
Professor of Software Security and Correctness, Radboud University Nijmegen
Bestätigte E-Mail-Adresse bei cs.ru.nl
Titel
Zitiert von
Zitiert von
Jahr
Categorical logic and type theory
B Jacobs
Elsevier Science Ltd, 1999
9881999
A tutorial on (co) algebras and (co) induction
B Jacobs, J Rutten
Bulletin-European Association for Theoretical Computer Science 62, 222-259, 1997
8791997
Privacy-friendly energy-metering via homomorphic encryption
F Garcia, B Jacobs
Security and Trust Management, 226-238, 2011
4532011
Dismantling mifare classic
F Garcia, G de Koning Gans, R Muijrers, P Van Rossum, R Verdult, ...
Computer Security-ESORICS 2008, 97-114, 2008
3282008
Introduction to coalgebra
B Jacobs
Cambridge University Press, 2017
322*2017
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
2692001
Structural induction and coinduction in a fibrational setting
C Hermida, B Jacobs
Information and computation 145 (2), 107-152, 1998
2551998
Objects and classes, co-algebraically
B Jacobs
Object orientation with parallelism and persistence, 83-103, 1996
2531996
Increased security through open source
JH Hoepman, B Jacobs
Communications of the ACM 50 (1), 79-83, 2007
2312007
Generic trace semantics via coinduction
I Hasuo, B Jacobs, A Sokolova
Arxiv preprint arXiv:0710.2505, 2007
2122007
Semantics of weakening and contraction
B Jacobs
Annals of pure and applied logic 69 (1), 73-106, 1994
1971994
Java program verification via a Hoare logic with abrupt termination
M Huisman, B Jacobs
Fundamental Approaches to Software Engineering, 284-303, 2000
1832000
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
1642006
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
1561998
A logic for the Java Modeling Language JML
B Jacobs, E Poll
Fundamental Approaches to Software Engineering, 284-299, 2001
1322001
Java program verification at Nijmegen: Developments and perspective
B Jacobs, E Poll
Software Security-Theories and Systems, 134-153, 2004
1212004
Many-sorted coalgebraic modal logic: a model-theoretic study
B Jacobs
RAIRO-Theoretical Informatics and Applications 35 (1), 31-59, 2001
1192001
Trace Semantics via Determinization
B Jacobs, A Silva, A Sokolova
1072012
Categorical type theory
BPF Jacobs
[Sl: sn], 1991
1071991
Simulations in coalgebra
J Hughes, B Jacobs
Theoretical Computer Science 327 (1-2), 71-108, 2004
1052004
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20