Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Bart Jacobs
Author information
- Radboud University Nijmegen, The Netherlands
Other persons with the same name
- Bart Jacobs 0002 — Katholieke Universiteit Leuven, Belgium
2010 – today
- 2013
[j59]Flavio D. Garcia, Eric R. Verheul, Bart Jacobs: Cell-based privacy-friendly roadpricing. Computers & Mathematics with Applications 65(5): 774-785 (2013)- [j58]
- [c74]Robert Furber, Bart Jacobs: From Kleisli Categories to Commutative C *-Algebras: Probabilistic Gelfand Duality. CALCO 2013: 141-157
- [c73]Gergely Alpár, Bart Jacobs: Towards Practical Attribute-Based Identity Management: The IRMA Trajectory. IDMAN 2013: 1-3
- [c72]
- [c71]Gijs Vanspauwen, Bart Jacobs: Sound Symbolic Linking in the Presence of Preprocessing. SEFM 2013: 122-136
- [p2]Jan Smans, Bart Jacobs, Frank Piessens: VeriFast for Java: A Tutorial. Aliasing in Object-Oriented Programming 2013: 407-442
- [i8]
- 2012
- [j57]Jan Smans, Bart Jacobs, Frank Piessens: Implicit dynamic frames. ACM Trans. Program. Lang. Syst. 34(1): 2 (2012)
- [c70]
- [c69]Pieter Agten, Raoul Strackx, Bart Jacobs, Frank Piessens: Secure Compilation to Modern Processors. CSF 2012: 171-185
- [c68]
- [c67]Robert Atkey, Neil Ghani, Bart Jacobs, Patricia Johann: Fibrational Induction Meets Effects. FoSSaCS 2012: 42-57
- [c66]Willem Penninckx, Jan Tobias Mühlberg, Jan Smans, Bart Jacobs, Frank Piessens: Sound Formal Verification of Linux's USB BP Keyboard Driver. NASA Formal Methods 2012: 210-215
- [i7]
- [i6]Bart Jacobs: New Directions in Categorical Logic, for Classical, Probabilistic and Quantum Logic. CoRR abs/1205.3940 (2012)
- 2011
- [j56]Pieter Philippaerts, Frédéric Vogels, Jan Smans, Bart Jacobs, Frank Piessens: The Belgian Electronic Identity Card: a Verification Case Study. ECEASST 46 (2011)
- [j55]Chris Heunen, Bart Jacobs: Quantum Logic in Dagger Kernel Categories. Electr. Notes Theor. Comput. Sci. 270(2): 79-103 (2011)
- [j54]Frank Piessens, Bart Jacobs, Gary T. Leavens: Special Section on Formal Techniques for Java-like Programs. Journal of Object Technology 10 (2011)
- [j53]Ichiro Hasuo, Bart Jacobs: Traces for coalgebraic components. Mathematical Structures in Computer Science 21(2): 267-320 (2011)
- [j52]Bart Jacobs: Probabilities, distribution monads, and convex categories. Theor. Comput. Sci. 412(28): 3323-3336 (2011)
- [j51]Bart Jacobs, Milad Niqui, Jan J. M. M. Rutten, Alexandra Silva: Preface. Theor. Comput. Sci. 412(38): 4967-4968 (2011)
- [c65]
- [c64]
- [c63]Vladimir Klebanov, Peter Müller, Natarajan Shankar, Gary T. Leavens, Valentin Wüstholz, Eyad Alkassar, Rob Arthan, Derek Bronish, Rod Chapman, Ernie Cohen, Mark A. Hillebrand, Bart Jacobs, K. Rustan M. Leino, Rosemary Monahan, Frank Piessens, Nadia Polikarpova, Tom Ridge, Jan Smans, Stephan Tobies, Thomas Tuerk, Mattias Ulbrich, Benjamin Weiß: The 1st Verified Software Competition: Experience Report. FM 2011: 154-168
- [c62]
- [c61]Frédéric Vogels, Bart Jacobs, Frank Piessens, Jan Smans: Annotation Inference for Separation Logic Based Verifiers. FMOODS/FORTE 2011: 319-333
- [c60]
- [c59]Bart Jacobs, Ronny Wichers Schreur: Logical Formalisation and Analysis of the Mifare Classic Card in PVS. ITP 2011: 3-17
- [c58]Bart Jacobs, Jan Smans, Pieter Philippaerts, Frédéric Vogels, Willem Penninckx, Frank Piessens: VeriFast: A Powerful, Sound, Predictable, Fast Verifier for C and Java. NASA Formal Methods 2011: 41-55
- [c57]Bart Jacobs, Frank Piessens: Expressive modular fine-grained concurrency specification. POPL 2011: 271-282
- [e2]Bart Jacobs, Peter Selinger, Bas Spitters (Eds.): Proceedings 8th International Workshop on Quantum Physics and Logic. EPTCS 95, 2011
- 2010
- [j50]Bart Jacobs: Orthomodular lattices, Foulis Semigroups and Dagger Kernel Categories. Logical Methods in Computer Science 6(2) (2010)
- [j49]Bart Jacobs, Milad Niqui, Jan J. M. M. Rutten, Alexandra Silva: Preface. Electr. Notes Theor. Comput. Sci. 264(2): 1-2 (2010)
- [j48]Bart Jacobs: From Coalgebraic to Monoidal Traces. Electr. Notes Theor. Comput. Sci. 264(2): 125-140 (2010)
- [j47]Ichiro Hasuo, Bart Jacobs, Milad Niqui: Coalgebraic Representation Theory of Fractals. Electr. Notes Theor. Comput. Sci. 265: 351-368 (2010)
- [j46]Bart Jacobs, Ana Sokolova: Exemplaric Expressivity of Modal Logics. J. Log. Comput. 20(5): 1041-1068 (2010)
- [j45]
- [c56]Bart Jacobs, Jan Smans, Frank Piessens: A Quick Tour of the VeriFast Program Verifier. APLAS 2010: 304-311
- [c55]Lejla Batina, Jaap-Henk Hoepman, Bart Jacobs, Wojciech Mostowski, Pim Vullers: Developing Efficient Blinded Attribute Certificates on Smart Cards via Pairings. CARDIS 2010: 209-222
- [c54]Jan Smans, Bart Jacobs, Frank Piessens: Heap-Dependent Expressions in Separation Logic. FMOODS/FORTE 2010: 170-185
- [c53]
- [c52]Flavio D. Garcia, Bart Jacobs: Privacy-Friendly Energy-Metering via Homomorphic Encryption. STM 2010: 226-238
- [p1]Bart Jacobs: Architecture Is Politics: Security and Privacy Issues in Transport and Beyond. Data Protection in a Profiled World 2010: 289-299
- [i5]Bart Jacobs: Involutive Categories and Monoids, with a GNS-correspondence. CoRR abs/1003.4552 (2010)
2000 – 2009
- 2009
- [j44]Ben A. M. Schouten, Bart Jacobs: Biometrics and their use in e-passports. Image Vision Comput. 27(3): 305-312 (2009)
- [j43]Bart Jacobs, Ichiro Hasuo: Semantics and logic for security protocols. Journal of Computer Security 17(6): 909-944 (2009)
- [j42]Bart Jacobs, Chris Heunen, Ichiro Hasuo: Categorical semantics for arrows. J. Funct. Program. 19(3-4): 403-438 (2009)
- [c51]Ichiro Hasuo, Chris Heunen, Bart Jacobs, Ana Sokolova: Coalgebraic Components in a Many-Sorted Microcosm. CALCO 2009: 64-80
- [c50]
- [c49]Hendrik Tews, Bart Jacobs: Performance Issues of Selective Disclosure and Blinded Issuing Protocols on Java Card. WISTP 2009: 95-111
- [i4]Bart Jacobs: Orthomodular lattices, Foulis Semigroups and Dagger Kernel Categories. CoRR abs/0905.4090 (2009)
- 2008
- [j41]Bart Jacobs: Coalgebraic Trace Semantics for Combined Possibilitistic and Probabilistic Systems. Electr. Notes Theor. Comput. Sci. 203(5): 131-152 (2008)
- [c48]Flavio D. Garcia, Gerhard de Koning Gans, Ruben Muijrers, Peter van Rossum, Roel Verdult, Ronny Wichers Schreur, Bart Jacobs: Dismantling MIFARE Classic. ESORICS 2008: 97-114
- [c47]Bart Jacobs, Wolter Pieters: Electronic Voting in the Netherlands: From Early Adoption to Early Abolishment. FOSAD 2008: 121-144
- [c46]Ichiro Hasuo, Bart Jacobs, Ana Sokolova: The Microcosm Principle and Concurrency in Coalgebra. FoSSaCS 2008: 246-260
- [c45]Wiebren de Jonge, Bart Jacobs: Privacy-Friendly Electronic Traffic Pricing via Commits. Formal Aspects in Security and Trust 2008: 143-161
- [i3]
- [i2]Jaap-Henk Hoepman, Engelbert Hubbers, Bart Jacobs, Martijn Oostdijk, Ronny Wichers Schreur: Crossing Borders: Security and Privacy Issues of the European e-Passport. CoRR abs/0801.3930 (2008)
- 2007
- [j40]Jaap-Henk Hoepman, Bart Jacobs: Increased security through open source. Commun. ACM 50(1): 79-83 (2007)
- [j39]Bart Jacobs, Sjaak Smetsers, Ronny Wichers Schreur: Code-carrying theories. Formal Asp. Comput. 19(2): 191-203 (2007)
- [j38]Bart Jacobs, Frank Piessens: Inspector Methods for State Abstraction. Journal of Object Technology 6(5): 55-75 (2007)
- [j37]Ichiro Hasuo, Bart Jacobs, Ana Sokolova: Generic Trace Semantics via Coinduction. Logical Methods in Computer Science 3(4) (2007)
- [c44]Ichiro Hasuo, Bart Jacobs, Tarmo Uustalu: Categorical Views on Computations on Trees (Extended Abstract). ICALP 2007: 619-630
- [c43]Marko C. J. D. van Eekelen, Olha Shkaravska, Ron van Kesteren, Bart Jacobs, Erik Poll, Sjaak Smetsers: AHA: Amortized Heap Space Usage Analysis. Trends in Functional Programming 2007: 36-53
- [i1]Ichiro Hasuo, Bart Jacobs, Ana Sokolova: Generic Trace Semantics via Coinduction. CoRR abs/0710.2505 (2007)
- 2006
- [j36]Chris Heunen, Bart Jacobs: Arrows, like Monads, are Monoids. Electr. Notes Theor. Comput. Sci. 158: 219-236 (2006)
- [j35]Ichiro Hasuo, Bart Jacobs, Ana Sokolova: Generic Trace Theory. Electr. Notes Theor. Comput. Sci. 164(1): 47-65 (2006)
- [j34]Bart Jacobs: Distributive laws for the coinductive solution of recursive equations. Inf. Comput. 204(4): 561-587 (2006)
- [c42]Bart Jacobs: A Bialgebraic Review of Deterministic Automata, Regular Expressions and Languages. Essays Dedicated to Joseph A. Goguen 2006: 375-404
- [c41]Jaap-Henk Hoepman, Engelbert Hubbers, Bart Jacobs, Martijn Oostdijk, Ronny Wichers Schreur: Crossing Borders: Security and Privacy Issues of the European e-Passport. IWSEC 2006: 152-167
- [c40]
- 2005
- [j33]Cees-Bart Breunesse, Néstor Cataño, Marieke Huisman, Bart Jacobs: Formal methods for smart cards: an experience report. Sci. Comput. Program. 55(1-3): 53-80 (2005)
- [c39]Ichiro Hasuo, Bart Jacobs: Context-Free Languages via Coalgebraic Trace Semantics. CALCO 2005: 213-231
- [c38]Engelbert Hubbers, Bart Jacobs, Wolter Pieters: RIES - Internet Voting in Action. COMPSAC (1) 2005: 417-424
- [c37]Bart Jacobs, Wolter Pieters, Martijn Warnier: Statically checking confidentiality via dynamic labels. WITS 2005: 50-56
- 2004
- [j32]Bart Jacobs: Relating Two Approaches to Coinductive Solution of Recursive Equations. Electr. Notes Theor. Comput. Sci. 106: 145-166 (2004)
- [j31]
- [j30]Bart Jacobs: Weakest pre-condition reasoning for Java programs with JML annotations. J. Log. Algebr. Program. 58(1-2): 61-88 (2004)
- [j29]Bart Jacobs, Martijn Oostdijk, Martijn Warnier: Source code verification of a secure payment applet. J. Log. Algebr. Program. 58(1-2): 107-120 (2004)
- [j28]
- [c36]
- [c35]Bart Jacobs, Claude Marché, Nicole Rauch: Formal Verification of a Commercial Smart Card Applet with Multiple Tools. AMAST 2004: 241-257
- 2003
- [j27]Bart Jacobs, Jesse Hughes: Simulations in Coalgebra. Electr. Notes Theor. Comput. Sci. 82(1): 128-149 (2003)
- [j26]Bart Jacobs, Erik Poll: Coalgebras and monads in the semantics of Java. Theor. Comput. Sci. 291(3): 329-349 (2003)
- [c34]
- [c33]
- 2002
- [j25]
- [j24]Jesse Hughes, Bart Jacobs: Factorization systems and fibrations: Toward a fibred Birkhoff variety theorem. Electr. Notes Theor. Comput. Sci. 69: 156-182 (2002)
- [j23]Bart Jacobs: The Temporal Logic of Coalgebras via Galois Algebras. Mathematical Structures in Computer Science 12(6): 875-903 (2002)
- [j22]Bart Jacobs, Jan J. M. M. Rutten: Coalgebraic Methods in Computer Science - Foreword. Theor. Comput. Sci. 280(1-2): 1 (2002)
- [c32]Cees-Bart Breunesse, Bart Jacobs, Joachim van den Berg: Specifying and Verifying a Decimal Representation in Java for Smart Cards. AMAST 2002: 304-318
- [c31]Bart Jacobs, Joseph Kiniry, Martijn Warnier: Java Program Verification Challenges. FMCO 2002: 202-219
- [e1]Bart Jacobs, Arend Rensink (Eds.): Formal Methods for Open Object-Based Distributed Systems V, IFIP TC6/WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002), March 20-22, 2002, Enschede, The Netherlands. IFIP Conference Proceedings 209, Kluwer 2002, ISBN 0-7923-7683-8
- 2001
- [j21]Erik Poll, Joachim van den Berg, Bart Jacobs: Formal specification of the JavaCard API in JML: the APDU class. Computer Networks 36(4): 407-421 (2001)
- [j20]
- [j19]Jan Rothe, Hendrik Tews, Bart Jacobs: The Coalgebraic Class Specification Language CCSL. J. UCS 7(2): 175-193 (2001)
- [j18]Marieke Huisman, Bart Jacobs, Joachim van den Berg: A case study in class library verification: Java's vector class. STTT 3(3): 332-352 (2001)
- [j17]Bart Jacobs, Larry Moss, Horst Reichel, Jan J. M. M. Rutten: Foreword : Coalgebraic Methods in Computer Science 1998. Theor. Comput. Sci. 260(1-2): 1 (2001)
- [c30]
- [c29]
- [c28]
- [c27]
- 2000
- [j16]Bart Jacobs: Towards a Duality Result in Coalgebraic Modal Logic. Electr. Notes Theor. Comput. Sci. 33: 160-195 (2000)
- [j15]Bart Jacobs: Object-oriented hybrid systems of coalgebras plus monoid actions. Theor. Comput. Sci. 239(1): 41-95 (2000)
- [c26]Bart Jacobs: Exercises in Coalgebraic Specification. Algebraic and Coalgebraic Methods in the Mathematics of Program Construction 2000: 237-280
- [c25]
- [c24]Erik Poll, Joachim van den Berg, Bart Jacobs: Specification of the JavaCard API in JML. CARDIS 2000: 135-154
- [c23]Sophia Drossopoulou, Susan Eisenbach, Bart Jacobs, Gary T. Leavens, Peter Müller, Arnd Poetzsch-Heffter: Formal Techniques for Java Programs. ECOOP Workshops 2000: 41-54
- [c22]Marieke Huisman, Bart Jacobs: Java Program Verification via a Hoare Logic with Abrupt Termination. FASE 2000: 284-303
- [c21]Joachim van den Berg, Bart Jacobs, Erik Poll: Formal Specification and Verification of JavaCard's Application Identifier Class. Java Card Workshop 2000: 137-150
- [c20]Gary T. Leavens, Clyde Ruby, K. Rustan M. Leino, Erik Poll, Bart Jacobs: JML (poster session): notations and tools supporting detailed design in Java. OOPSLA Addendum 2000: 105-106
- [c19]Marieke Huisman, Bart Jacobs: Inheritance in Higher Order Logic: Modeling and Reasoning. TPHOLs 2000: 301-319
1990 – 1999
- 1999
- [j14]
- [j13]Ulrich Hensel, Bart Jacobs: Coalgebraic Theories of Sequences in PVS. J. Log. Comput. 9(4): 463-500 (1999)
- [c18]Bart Jacobs, Gary T. Leavens, Peter Müller, Arnd Poetzsch-Heffter: Formal Techniques for Java Programs. ECOOP Workshops 1999: 97-115
- [c17]Marieke Huisman, Bart Jacobs, Joachim van den Berg: A Case Study in Class Library Verification: Java's Vector Class. ECOOP Workshops 1999: 109-110
- [c16]Joachim van den Berg, Marieke Huisman, Bart Jacobs, Erik Poll: A Type-Theoretic Memory Model for Verification of Sequential Java Programs. WADT 1999: 1-21
- 1998
- [j12]Bart Jacobs: Coalgebraic Reasoning about Classes in Object-Oriented Languages. Electr. Notes Theor. Comput. Sci. 11: 231-242 (1998)
- [j11]Bart Jacobs, Larry Moss, Horst Reichel, Jan J. M. M. Rutten: Preface. Electr. Notes Theor. Comput. Sci. 11: 259 (1998)
- [j10]Claudio Hermida, Bart Jacobs: Structural Induction and Coinduction in a Fibrational Setting. Inf. Comput. 145(2): 107-152 (1998)
- [c15]Ulrich Hensel, Marieke Huisman, Bart Jacobs, Hendrik Tews: Reasonong about Classess in Object-Oriented Languages: Logical Models and Tools. ESOP 1998: 105-121
- [c14]Bart Jacobs, Joachim van den Berg, Marieke Huisman, Martijn van Berkum: Reasoning about Java Classes (Preliminary Report). OOPSLA 1998: 329-340
- 1997
- [c13]Bart Jacobs: Invariants, Bisimulations and the Correctness of Coalgebraic Refinements. AMAST 1997: 276-291
- [c12]Ulrich Hensel, Bart Jacobs: Proof Principles for Datatypes with Iterated Recursion. Category Theory and Computer Science 1997: 220-241
- [c11]Bart Jacobs: Behaviour-Refinement of Coalgebraic Specifications with Coinductive Correctness Proofs. TAPSOFT 1997: 787-802
- 1996
- [j9]
- [c10]Bart Jacobs: Coalgebraic Specifications and Models of Determinatistic Hybrid Systems. AMAST 1996: 520-535
- [c9]
- 1995
- [j8]Bart Jacobs: Subtypes and bounded quantification from a fibred perspective. Electr. Notes Theor. Comput. Sci. 1: 273-289 (1995)
- [j7]Bart Jacobs: Parameters and Parametrization in Specification, Using Distributive Categories. Fundam. Inform. 24(3): 209-250 (1995)
- [j6]Claudio Hermida, Bart Jacobs: Fibrations with Indeterminates: Contextual and Functional Completeness for Polymorphic Lambda Calculi. Mathematical Structures in Computer Science 5(4): 501-531 (1995)
- [j5]Marcello M. Bonsangue, Bart Jacobs, Joost N. Kok: Duality Beyond Sober Spaces: Topological Spaces and Observation Frames. Theor. Comput. Sci. 151(1): 79-124 (1995)
- [c8]
- [c7]Bart Jacobs: Objects and Classes, Co-Algebraically. Object Orientation with Parallelism and Persistence 1995: 83-103
- 1994
- [j4]
- [c6]
- [c5]
- 1993
- [j3]Bart Jacobs: Comprehension Categories and the Semantics of Type Dependency. Theor. Comput. Sci. 107(2): 169-207 (1993)
- [c4]
- [c3]Bart Jacobs, Thomas F. Melham: Translating Dependent Type Theory into Higher Order Logic. TLCA 1993: 209-229
- 1992
- [j2]Bart Jacobs, Ines Margaria, Maddalena Zacchi: Filter Models with Polymorphic Types. Theor. Comput. Sci. 95(1): 143-148 (1992)
- 1991
- [j1]Bart Jacobs: Semantics of the Second Order Lambda Calculus. Mathematical Structures in Computer Science 1(3): 327-360 (1991)
- [c2]Bart Jacobs, Eugenio Moggi, Thomas Streicher: Relating Models of Impredicative Type Theories. Category Theory and Computer Science 1991: 197-218
1980 – 1989
- 1989
- [c1]Bart Jacobs: On the Semantics of Second Order Lambda Calculus: From Bruce-Meyer-Mitchell Models to Hyperdoctrine Models and Vice-Versa. Category Theory and Computer Science 1989: 198-212
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-17 21:27 CEST by the dblp team