| | |
Radboud University Nijmegen, The Netherlands
List of publications from the DBLP Bibliography Server - FAQother persons with the same name:
- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| 131 |      | Robert Atkey, Neil Ghani, Bart Jacobs, Patricia Johann: Fibrational Induction Meets Effects. FoSSaCS 2012: 42-57 |
| 130 | | 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 |
| 129 | | Jan Smans, Bart Jacobs, Frank Piessens: Implicit dynamic frames. ACM Trans. Program. Lang. Syst. 34(1): 2 (2012) |
| 128 | | Bart Jacobs, Jorik Mandemaker: Relating Operator Spaces via Adjunctions CoRR abs/1201.1272: (2012) |
| 127 | | Bart Jacobs: New Directions in Categorical Logic, for Classical, Probabilistic and Quantum Logic CoRR abs/1205.3940: (2012) |
| 2011 | ||
| 126 | | Bart Jacobs: Bases as Coalgebras. CALCO 2011: 237-252 |
| 125 | | Flavio D. Garcia, Eric R. Verheul, Bart Jacobs: Cell-Based Roadpricing. EuroPKI 2011: 106-122 |
| 124 | | 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 |
| 123 | | Bart Jacobs, Jan Smans, Frank Piessens: Verification of Unloadable Modules. FM 2011: 402-416 |
| 122 | | Frédéric Vogels, Bart Jacobs, Frank Piessens, Jan Smans: Annotation Inference for Separation Logic Based Verifiers. FMOODS/FORTE 2011: 319-333 |
| 121 | | Bart Jacobs: Coalgebraic Walks, in Quantum and Turing Computation. FOSSACS 2011: 12-26 |
| 120 | | Bart Jacobs, Ronny Wichers Schreur: Logical Formalisation and Analysis of the Mifare Classic Card in PVS. ITP 2011: 3-17 |
| 119 | | 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 |
| 118 | | Bart Jacobs, Frank Piessens: Expressive modular fine-grained concurrency specification. POPL 2011: 271-282 |
| 117 | | Pieter Philippaerts, Frédéric Vogels, Jan Smans, Bart Jacobs, Frank Piessens: The Belgian Electronic Identity Card: a Verification Case Study. ECEASST 46: (2011) |
| 116 | | Chris Heunen, Bart Jacobs: Quantum Logic in Dagger Kernel Categories. Electr. Notes Theor. Comput. Sci. 270(2): 79-103 (2011) |
| 115 | | Frank Piessens, Bart Jacobs, Gary T. Leavens: Special Section on Formal Techniques for Java-like Programs. Journal of Object Technology 10: (2011) |
| 114 | | Ichiro Hasuo, Bart Jacobs: Traces for coalgebraic components. Mathematical Structures in Computer Science 21(2): 267-320 (2011) |
| 113 | | Bart Jacobs: Probabilities, distribution monads, and convex categories. Theor. Comput. Sci. 412(28): 3323-3336 (2011) |
| 112 | | Bart Jacobs, Milad Niqui, Jan J. M. M. Rutten, Alexandra Silva: Preface. Theor. Comput. Sci. 412(38): 4967-4968 (2011) |
| 2010 | ||
| 111 | | Bart Jacobs, Jan Smans, Frank Piessens: A Quick Tour of the VeriFast Program Verifier. APLAS 2010: 304-311 |
| 110 | | 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 |
| 109 | | Jan Smans, Bart Jacobs, Frank Piessens: Heap-Dependent Expressions in Separation Logic. FMOODS/FORTE 2010: 170-185 |
| 108 | | Bart Jacobs: Convexity, Duality and Effects. IFIP TCS 2010: 1-19 |
| 107 | | Flavio D. Garcia, Bart Jacobs: Privacy-Friendly Energy-Metering via Homomorphic Encryption. STM 2010: 226-238 |
| 106 | | Bart Jacobs: Involutive Categories and Monoids, with a GNS-correspondence CoRR abs/1003.4552: (2010) |
| 105 | | Bart Jacobs, Milad Niqui, Jan J. M. M. Rutten, Alexandra Silva: Preface. Electr. Notes Theor. Comput. Sci. 264(2): 1-2 (2010) |
| 104 | | Bart Jacobs: From Coalgebraic to Monoidal Traces. Electr. Notes Theor. Comput. Sci. 264(2): 125-140 (2010) |
| 103 | | Ichiro Hasuo, Bart Jacobs, Milad Niqui: Coalgebraic Representation Theory of Fractals. Electr. Notes Theor. Comput. Sci. 265: 351-368 (2010) |
| 102 | | Jan Smans, Bart Jacobs, Frank Piessens, Wolfram Schulte: Automatic verification of Java programs with dynamic frames. Formal Asp. Comput. 22(3-4): 423-457 (2010) |
| 101 | | Bart Jacobs, Ana Sokolova: Exemplaric Expressivity of Modal Logics. J. Log. Comput. 20(5): 1041-1068 (2010) |
| 100 | | Bart Jacobs: Orthomodular lattices, Foulis Semigroups and Dagger Kernel Categories Logical Methods in Computer Science 6(2): (2010) |
| 99 | | Chris Heunen, Bart Jacobs: Quantum Logic in Dagger Kernel Categories. Order 27(2): 177-212 (2010) |
| 2009 | ||
| 98 | | Bart Jacobs, Ana Sokolova: Traces, Executions and Schedulers, Coalgebraically. CALCO 2009: 206-220 |
| 97 | | Ichiro Hasuo, Chris Heunen, Bart Jacobs, Ana Sokolova: Coalgebraic Components in a Many-Sorted Microcosm. CALCO 2009: 64-80 |
| 96 | | Hendrik Tews, Bart Jacobs: Performance Issues of Selective Disclosure and Blinded Issuing Protocols on Java Card. WISTP 2009: 95-111 |
| 95 | | Bart Jacobs: Orthomodular lattices, Foulis Semigroups and Dagger Kernel Categories CoRR abs/0905.4090: (2009) |
| 94 | | Ben A. M. Schouten, Bart Jacobs: Biometrics and their use in e-passports. Image Vision Comput. 27(3): 305-312 (2009) |
| 93 | | Bart Jacobs, Chris Heunen, Ichiro Hasuo: Categorical semantics for arrows. J. Funct. Program. 19(3-4): 403-438 (2009) |
| 92 | | Bart Jacobs, Ichiro Hasuo: Semantics and logic for security protocols. Journal of Computer Security 17(6): 909-944 (2009) |
| 2008 | ||
| 91 | | 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 |
| 90 | | Bart Jacobs, Wolter Pieters: Electronic Voting in the Netherlands: From Early Adoption to Early Abolishment. FOSAD 2008: 121-144 |
| 89 | | Ichiro Hasuo, Bart Jacobs, Ana Sokolova: The Microcosm Principle and Concurrency in Coalgebra. FoSSaCS 2008: 246-260 |
| 88 | | Wiebren de Jonge, Bart Jacobs: Privacy-Friendly Electronic Traffic Pricing via Commits. Formal Aspects in Security and Trust 2008: 143-161 |
| 87 | | Jaap-Henk Hoepman, Bart Jacobs: Increased security through open source CoRR abs/0801.3924: (2008) |
| 86 | | 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) |
| 85 | | Bart Jacobs: Coalgebraic Trace Semantics for Combined Possibilitistic and Probabilistic Systems. Electr. Notes Theor. Comput. Sci. 203(5): 131-152 (2008) |
| 2007 | ||
| 84 | | Ichiro Hasuo, Bart Jacobs, Tarmo Uustalu: Categorical Views on Computations on Trees (Extended Abstract). ICALP 2007: 619-630 |
| 83 | | Ichiro Hasuo, Bart Jacobs, Ana Sokolova: Generic Trace Semantics via Coinduction CoRR abs/0710.2505: (2007) |
| 82 | | Jaap-Henk Hoepman, Bart Jacobs: Increased security through open source. Commun. ACM 50(1): 79-83 (2007) |
| 81 | | Bart Jacobs, Sjaak Smetsers, Ronny Wichers Schreur: Code-carrying theories. Formal Asp. Comput. 19(2): 191-203 (2007) |
| 80 | | Bart Jacobs, Frank Piessens: Inspector Methods for State Abstraction. Journal of Object Technology 6(5): 55-75 (2007) |
| 79 | | Ichiro Hasuo, Bart Jacobs, Ana Sokolova: Generic Trace Semantics via Coinduction. Logical Methods in Computer Science 3(4): (2007) |
| 2006 | ||
| 78 | | Bart Jacobs: A Bialgebraic Review of Deterministic Automata, Regular Expressions and Languages. Essays Dedicated to Joseph A. Goguen 2006: 375-404 |
| 77 | | 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 |
| 76 | | Bart Jacobs, John M. Rushby: PVS. The Seventeen Provers of the World 2006: 24-27 |
| 75 | | Chris Heunen, Bart Jacobs: Arrows, like Monads, are Monoids. Electr. Notes Theor. Comput. Sci. 158: 219-236 (2006) |
| 74 | | Ichiro Hasuo, Bart Jacobs, Ana Sokolova: Generic Trace Theory. Electr. Notes Theor. Comput. Sci. 164(1): 47-65 (2006) |
| 73 | | Bart Jacobs: Distributive laws for the coinductive solution of recursive equations. Inf. Comput. 204(4): 561-587 (2006) |
| 2005 | ||
| 72 | | Ichiro Hasuo, Bart Jacobs: Context-Free Languages via Coalgebraic Trace Semantics. CALCO 2005: 213-231 |
| 71 | | Engelbert Hubbers, Bart Jacobs, Wolter Pieters: RIES - Internet Voting in Action. COMPSAC (1) 2005: 417-424 |
| 70 | | Bart Jacobs, Wolter Pieters, Martijn Warnier: Statically checking confidentiality via dynamic labels. WITS 2005: 50-56 |
| 69 | | 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) |
| 2004 | ||
| 68 | | Bart Jacobs: Counting Votes with Formal Methods. AMAST 2004: 21-22 |
| 67 | | Bart Jacobs, Claude Marché, Nicole Rauch: Formal Verification of a Commercial Smart Card Applet with Multiple Tools. AMAST 2004: 241-257 |
| 66 | | Bart Jacobs: Relating Two Approaches to Coinductive Solution of Recursive Equations. Electr. Notes Theor. Comput. Sci. 106: 145-166 (2004) |
| 65 | | Bart Jacobs: Trace Semantics for Coalgebras. Electr. Notes Theor. Comput. Sci. 106: 167-184 (2004) |
| 64 | | Bart Jacobs, Martijn Oostdijk, Martijn Warnier: Source code verification of a secure payment applet. J. Log. Algebr. Program. 58(1-2): 107-120 (2004) |
| 63 | | Bart Jacobs: Weakest pre-condition reasoning for Java programs with JML annotations. J. Log. Algebr. Program. 58(1-2): 61-88 (2004) |
| 62 | | Jesse Hughes, Bart Jacobs: Simulations in coalgebra. Theor. Comput. Sci. 327(1-2): 71-108 (2004) |
| 2003 | ||
| 61 | | Bart Jacobs: Java's Integral Types in PVS. FMOODS 2003: 1-15 |
| 60 | | Bart Jacobs, Erik Poll: Java Program Verification at Nijmegen: Developments and Perspective. ISSS 2003: 134-153 |
| 59 | | Bart Jacobs, Jesse Hughes: Simulations in Coalgebra. Electr. Notes Theor. Comput. Sci. 82(1): 128-149 (2003) |
| 58 | | Bart Jacobs, Erik Poll: Coalgebras and monads in the semantics of Java. Theor. Comput. Sci. 291(3): 329-349 (2003) |
| 2002 | ||
| 57 |  | Bart Jacobs, Arend Rensink: 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 Kluwer 2002 |
| 56 | | Cees-Bart Breunesse, Bart Jacobs, Joachim van den Berg: Specifying and Verifying a Decimal Representation in Java for Smart Cards. AMAST 2002: 304-318 |
| 55 | | Bart Jacobs, Joseph Kiniry, Martijn Warnier: Java Program Verification Challenges. FMCO 2002: 202-219 |
| 54 | | Bart Jacobs: Comprehension for Coalgebras. Electr. Notes Theor. Comput. Sci. 65(1): 112-134 (2002) |
| 53 | | Jesse Hughes, Bart Jacobs: Factorization systems and fibrations: Toward a fibred Birkhoff variety theorem. Electr. Notes Theor. Comput. Sci. 69: 156-182 (2002) |
| 52 | | Bart Jacobs: The Temporal Logic of Coalgebras via Galois Algebras. Mathematical Structures in Computer Science 12(6): 875-903 (2002) |
| 51 | | Bart Jacobs, Jan J. M. M. Rutten: Coalgebraic Methods in Computer Science - Foreword. Theor. Comput. Sci. 280(1-2): 1 (2002) |
| 2001 | ||
| 50 | | Bart Jacobs: A Formalisation of Java's Exception Mechanism. ESOP 2001: 284-301 |
| 49 | | Bart Jacobs, Erik Poll: A Logic for the Java Modeling Language JML. FASE 2001: 284-299 |
| 48 | | Joachim van den Berg, Bart Jacobs: The LOOP Compiler for Java and JML. TACAS 2001: 299-312 |
| 47 | | Bart Jacobs: JavaCard Program Verification. TPHOLs 2001: 1-3 |
| 46 | | 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) |
| 45 | | Bart Jacobs: Many-Sorted Coalgebraic Modal Logic: a Model-theoretic Study. ITA 35(1): 31-59 (2001) |
| 44 | | Jan Rothe, Hendrik Tews, Bart Jacobs: The Coalgebraic Class Specification Language CCSL. J. UCS 7(2): 175-193 (2001) |
| 43 | | 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) |
| 42 | | 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) |
| 2000 | ||
| 41 | | Bart Jacobs, Erik Poll: A Monad for Basic Java Semantics. AMAST 2000: 150-164 |
| 40 | | Bart Jacobs: Exercises in Coalgebraic Specification. Algebraic and Coalgebraic Methods in the Mathematics of Program Construction 2000: 237-280 |
| 39 | | Erik Poll, Joachim van den Berg, Bart Jacobs: Specification of the JavaCard API in JML. CARDIS 2000: 135-154 |
| 38 | | 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 |
| 37 | | Marieke Huisman, Bart Jacobs: Java Program Verification via a Hoare Logic with Abrupt Termination. FASE 2000: 284-303 |
| 36 | | Joachim van den Berg, Bart Jacobs, Erik Poll: Formal Specification and Verification of JavaCard's Application Identifier Class. Java Card Workshop 2000: 137-150 |
| 35 | | Marieke Huisman, Bart Jacobs: Inheritance in Higher Order Logic: Modeling and Reasoning. TPHOLs 2000: 301-319 |
| 34 | | Bart Jacobs: Towards a Duality Result in Coalgebraic Modal Logic. Electr. Notes Theor. Comput. Sci. 33: 160-195 (2000) |
| 33 | | Bart Jacobs: Object-oriented hybrid systems of coalgebras plus monoid actions. Theor. Comput. Sci. 239(1): 41-95 (2000) |
| 1999 | ||
| 32 | | Marieke Huisman, Bart Jacobs, Joachim van den Berg: A Case Study in Class Library Verification: Java's Vector Class. ECOOP Workshops 1999: 109-110 |
| 31 | | Bart Jacobs, Gary T. Leavens, Peter Müller, Arnd Poetzsch-Heffter: Formal Techniques for Java Programs. ECOOP Workshops 1999: 97-115 |
| 30 | | 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 |
| 29 | | Bart Jacobs, Jan J. M. M. Rutten: Preface. Electr. Notes Theor. Comput. Sci. 19: 1 (1999) |
| 28 | | Ulrich Hensel, Bart Jacobs: Coalgebraic Theories of Sequences in PVS. J. Log. Comput. 9(4): 463-500 (1999) |
| 1998 | ||
| 27 | | Ulrich Hensel, Marieke Huisman, Bart Jacobs, Hendrik Tews: Reasonong about Classess in Object-Oriented Languages: Logical Models and Tools. ESOP 1998: 105-121 |
| 26 | | Bart Jacobs, Joachim van den Berg, Marieke Huisman, Martijn van Berkum: Reasoning about Java Classes (Preliminary Report). OOPSLA 1998: 329-340 |
| 25 | | Bart Jacobs: Coalgebraic Reasoning about Classes in Object-Oriented Languages. Electr. Notes Theor. Comput. Sci. 11: 231-242 (1998) |
| 24 | | Bart Jacobs, Larry Moss, Horst Reichel, Jan J. M. M. Rutten: Preface. Electr. Notes Theor. Comput. Sci. 11: 259 (1998) |
| 23 | | Claudio Hermida, Bart Jacobs: Structural Induction and Coinduction in a Fibrational Setting. Inf. Comput. 145(2): 107-152 (1998) |
| 1997 | ||
| 22 | | Bart Jacobs: Invariants, Bisimulations and the Correctness of Coalgebraic Refinements. AMAST 1997: 276-291 |
| 21 | | Ulrich Hensel, Bart Jacobs: Proof Principles for Datatypes with Iterated Recursion. Category Theory and Computer Science 1997: 220-241 |
| 20 | | Bart Jacobs: Behaviour-Refinement of Coalgebraic Specifications with Coinductive Correctness Proofs. TAPSOFT 1997: 787-802 |
| 1996 | ||
| 19 | | Bart Jacobs: Coalgebraic Specifications and Models of Determinatistic Hybrid Systems. AMAST 1996: 520-535 |
| 18 | | Bart Jacobs: Inheritance and Cofree Constructions. ECOOP 1996: 210-231 |
| 17 | | Bart Jacobs: On Cubism. J. Funct. Program. 6(3): 379-391 (1996) |
| 1995 | ||
| 16 | | Bart Jacobs: Mongruences and Cofree Coalgebras. AMAST 1995: 245-260 |
| 15 | | Bart Jacobs: Objects and Classes, Co-Algebraically. Object Orientation with Parallelism and Persistence 1995: 83-103 |
| 14 | | Bart Jacobs: Subtypes and bounded quantification from a fibred perspective. Electr. Notes Theor. Comput. Sci. 1: 273-289 (1995) |
| 13 | | Bart Jacobs: Parameters and Parametrization in Specification, Using Distributive Categories. Fundam. Inform. 24(3): 209-250 (1995) |
| 12 | | 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) |
| 11 | | 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) |
| 1994 | ||
| 10 | | Claudio Hermida, Bart Jacobs: An Algebraic View of Structural Induction. CSL 1994: 412-426 |
| 9 | | Bart Jacobs: Coalgebras and Approximation. LFCS 1994: 173-183 |
| 8 | | Bart Jacobs: Semantics of Weakening and Contraction. Ann. Pure Appl. Logic 69(1): 73-106 (1994) |
| 1993 | ||
| 7 | | Bart Jacobs: Semantics of lambda-I and of other substructure lambda calculi. TLCA 1993: 195-208 |
| 6 | | Bart Jacobs, Thomas F. Melham: Translating Dependent Type Theory into Higher Order Logic. TLCA 1993: 209-229 |
| 5 | | Bart Jacobs: Comprehension Categories and the Semantics of Type Dependency. Theor. Comput. Sci. 107(2): 169-207 (1993) |
| 1992 | ||
| 4 | | Bart Jacobs, Ines Margaria, Maddalena Zacchi: Filter Models with Polymorphic Types. Theor. Comput. Sci. 95(1): 143-148 (1992) |
| 1991 | ||
| 3 | | Bart Jacobs, Eugenio Moggi, Thomas Streicher: Relating Models of Impredicative Type Theories. Category Theory and Computer Science 1991: 197-218 |
| 2 | | Bart Jacobs: Semantics of the Second Order Lambda Calculus. Mathematical Structures in Computer Science 1(3): 327-360 (1991) |
| 1989 | ||
| 1 | | 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 |
Colors in the list of coauthors
Last update Sat Jun 2 20:57:36 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page