| |
Radboud University Nijmegen, The Netherlands
List of publications from the DBLP Bibliography Server - FAQother persons with the same name:
| 2009 | ||
|---|---|---|
| 88 | EE | Ben A. M. Schouten, Bart Jacobs: Biometrics and their use in e-passports. Image Vision Comput. 27(3): 305-312 (2009) |
| 2008 | ||
| 87 | EE | 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 |
| 86 | EE | Ichiro Hasuo, Bart Jacobs, Ana Sokolova: The Microcosm Principle and Concurrency in Coalgebra. FoSSaCS 2008: 246-260 |
| 85 | EE | Wiebren de Jonge, Bart Jacobs: Privacy-Friendly Electronic Traffic Pricing via Commits. Formal Aspects in Security and Trust 2008: 143-161 |
| 84 | EE | Jaap-Henk Hoepman, Bart Jacobs: Increased security through open source CoRR abs/0801.3924: (2008) |
| 83 | EE | 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) |
| 82 | EE | Bart Jacobs: Coalgebraic Trace Semantics for Combined Possibilitistic and Probabilistic Systems. Electr. Notes Theor. Comput. Sci. 203(5): 131-152 (2008) |
| 2007 | ||
| 81 | EE | Ichiro Hasuo, Bart Jacobs, Tarmo Uustalu: Categorical Views on Computations on Trees (Extended Abstract). ICALP 2007: 619-630 |
| 80 | EE | Ichiro Hasuo, Bart Jacobs, Ana Sokolova: Generic Trace Semantics via Coinduction CoRR abs/0710.2505: (2007) |
| 79 | EE | Jaap-Henk Hoepman, Bart Jacobs: Increased security through open source. Commun. ACM 50(1): 79-83 (2007) |
| 78 | EE | Bart Jacobs, Sjaak Smetsers, Ronny Wichers Schreur: Code-carrying theories. Formal Asp. Comput. 19(2): 191-203 (2007) |
| 77 | EE | Ichiro Hasuo, Bart Jacobs, Ana Sokolova: Generic Trace Semantics via Coinduction. Logical Methods in Computer Science 3(4): (2007) |
| 2006 | ||
| 76 | EE | Bart Jacobs: A Bialgebraic Review of Deterministic Automata, Regular Expressions and Languages. Essays Dedicated to Joseph A. Goguen 2006: 375-404 |
| 75 | EE | 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 |
| 74 | EE | Bart Jacobs, John M. Rushby: PVS. The Seventeen Provers of the World 2006: 24-27 |
| 73 | EE | Chris Heunen, Bart Jacobs: Arrows, like Monads, are Monoids. Electr. Notes Theor. Comput. Sci. 158: 219-236 (2006) |
| 72 | EE | Ichiro Hasuo, Bart Jacobs, Ana Sokolova: Generic Trace Theory. Electr. Notes Theor. Comput. Sci. 164(1): 47-65 (2006) |
| 71 | EE | Bart Jacobs: Distributive laws for the coinductive solution of recursive equations. Inf. Comput. 204(4): 561-587 (2006) |
| 2005 | ||
| 70 | EE | Ichiro Hasuo, Bart Jacobs: Context-Free Languages via Coalgebraic Trace Semantics. CALCO 2005: 213-231 |
| 69 | EE | Engelbert Hubbers, Bart Jacobs, Wolter Pieters: RIES - Internet Voting in Action. COMPSAC (1) 2005: 417-424 |
| 68 | EE | Bart Jacobs, Wolter Pieters, Martijn Warnier: Statically checking confidentiality via dynamic labels. WITS 2005: 50-56 |
| 67 | EE | 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 | ||
| 66 | EE | Bart Jacobs: Counting Votes with Formal Methods. AMAST 2004: 21-22 |
| 65 | EE | Bart Jacobs, Claude Marché, Nicole Rauch: Formal Verification of a Commercial Smart Card Applet with Multiple Tools. AMAST 2004: 241-257 |
| 64 | EE | Bart Jacobs: Relating Two Approaches to Coinductive Solution of Recursive Equations. Electr. Notes Theor. Comput. Sci. 106: 145-166 (2004) |
| 63 | EE | Bart Jacobs: Trace Semantics for Coalgebras. Electr. Notes Theor. Comput. Sci. 106: 167-184 (2004) |
| 62 | EE | Bart Jacobs, Martijn Oostdijk, Martijn Warnier: Source code verification of a secure payment applet. J. Log. Algebr. Program. 58(1-2): 107-120 (2004) |
| 61 | EE | Bart Jacobs: Weakest pre-condition reasoning for Java programs with JML annotations. J. Log. Algebr. Program. 58(1-2): 61-88 (2004) |
| 60 | EE | Jesse Hughes, Bart Jacobs: Simulations in coalgebra. Theor. Comput. Sci. 327(1-2): 71-108 (2004) |
| 2003 | ||
| 59 | EE | Bart Jacobs: Java's Integral Types in PVS. FMOODS 2003: 1-15 |
| 58 | EE | Bart Jacobs, Erik Poll: Java Program Verification at Nijmegen: Developments and Perspective. ISSS 2003: 134-153 |
| 57 | EE | Bart Jacobs, Jesse Hughes: Simulations in Coalgebra. Electr. Notes Theor. Comput. Sci. 82(1): (2003) |
| 56 | Bart Jacobs, Erik Poll: Coalgebras and monads in the semantics of Java. Theor. Comput. Sci. 291(3): 329-349 (2003) | |
| 2002 | ||
| 55 | 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 | |
| 54 | EE | Cees-Bart Breunesse, Bart Jacobs, Joachim van den Berg: Specifying and Verifying a Decimal Representation in Java for Smart Cards. AMAST 2002: 304-318 |
| 53 | EE | Bart Jacobs, Joseph Kiniry, Martijn Warnier: Java Program Verification Challenges. FMCO 2002: 202-219 |
| 52 | EE | Bart Jacobs: Comprehension for Coalgebras. Electr. Notes Theor. Comput. Sci. 65(1): (2002) |
| 51 | EE | Jesse Hughes, Bart Jacobs: Factorization systems and fibrations: Toward a fibred Birkhoff variety theorem. Electr. Notes Theor. Comput. Sci. 69: (2002) |
| 50 | Bart Jacobs: The Temporal Logic of Coalgebras via Galois Algebras. Mathematical Structures in Computer Science 12(6): 875-903 (2002) | |
| 49 | EE | Bart Jacobs, Jan J. M. M. Rutten: Coalgebraic Methods in Computer Science - Foreword. Theor. Comput. Sci. 280(1-2): 1 (2002) |
| 2001 | ||
| 48 | EE | Bart Jacobs: A Formalisation of Java's Exception Mechanism. ESOP 2001: 284-301 |
| 47 | EE | Bart Jacobs, Erik Poll: A Logic for the Java Modeling Language JML. FASE 2001: 284-299 |
| 46 | EE | Joachim van den Berg, Bart Jacobs: The LOOP Compiler for Java and JML. TACAS 2001: 299-312 |
| 45 | EE | Bart Jacobs: JavaCard Program Verification. TPHOLs 2001: 1-3 |
| 44 | EE | 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) |
| 43 | EE | Bart Jacobs: Many-Sorted Coalgebraic Modal Logic: a Model-theoretic Study. ITA 35(1): 31-59 (2001) |
| 42 | EE | Jan Rothe, Hendrik Tews, Bart Jacobs: The Coalgebraic Class Specification Language CCSL. J. UCS 7(2): 175-193 (2001) |
| 41 | EE | 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) |
| 40 | EE | 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 | ||
| 39 | EE | Bart Jacobs, Erik Poll: A Monad for Basic Java Semantics. AMAST 2000: 150-164 |
| 38 | EE | Bart Jacobs: Exercises in Coalgebraic Specification. Algebraic and Coalgebraic Methods in the Mathematics of Program Construction 2000: 237-280 |
| 37 | Erik Poll, Joachim van den Berg, Bart Jacobs: Specification of the JavaCard API in JML. CARDIS 2000: 135-154 | |
| 36 | EE | Marieke Huisman, Bart Jacobs: Java Program Verification via a Hoare Logic with Abrupt Termination. FASE 2000: 284-303 |
| 35 | EE | Joachim van den Berg, Bart Jacobs, Erik Poll: Formal Specification and Verification of JavaCard's Application Identifier Class. Java Card Workshop 2000: 137-150 |
| 34 | Marieke Huisman, Bart Jacobs: Inheritance in Higher Order Logic: Modeling and Reasoning. TPHOLs 2000: 301-319 | |
| 33 | EE | Bart Jacobs: Towards a Duality Result in Coalgebraic Modal Logic. Electr. Notes Theor. Comput. Sci. 33: (2000) |
| 32 | EE | Bart Jacobs: Object-oriented hybrid systems of coalgebras plus monoid actions. Theor. Comput. Sci. 239(1): 41-95 (2000) |
| 1999 | ||
| 31 | Marieke Huisman, Bart Jacobs, Joachim van den Berg: A Case Study in Class Library Verification: Java's Vector Class. ECOOP Workshops 1999: 109-110 | |
| 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 | EE | Bart Jacobs, Jan J. M. M. Rutten: Preface. Electr. Notes Theor. Comput. Sci. 19: (1999) |
| 28 | EE | Ulrich Hensel, Bart Jacobs: Coalgebraic Theories of Sequences in PVS. J. Log. Comput. 9(4): 463-500 (1999) |
| 1998 | ||
| 27 | EE | Ulrich Hensel, Marieke Huisman, Bart Jacobs, Hendrik Tews: Reasonong about Classess in Object-Oriented Languages: Logical Models and Tools. ESOP 1998: 105-121 |
| 26 | EE | Bart Jacobs, Joachim van den Berg, Marieke Huisman, Martijn van Berkum: Reasoning about Java Classes (Preliminary Report). OOPSLA 1998: 329-340 |
| 25 | EE | Bart Jacobs: Coalgebraic Reasoning about Classes in Object-Oriented Languages. Electr. Notes Theor. Comput. Sci. 11: (1998) |
| 24 | EE | Bart Jacobs, Larry Moss, Horst Reichel, Jan J. M. M. Rutten: Preface. Electr. Notes Theor. Comput. Sci. 11: (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 | EE | 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 | EE | Bart Jacobs: Subtypes and bounded quantification from a fibred perspective. Electr. Notes Theor. Comput. Sci. 1: (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 | EE | 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 | |