dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Bart Jacobs (Selection)

Radboud University Nijmegen, The Netherlands

List of publications from the DBLP Bibliography Server - FAQ

other persons with the same name:


Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


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

Selection of 132 from 132 records - Bart Jacobs has 85 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page