Bart Jacobs

Radboud University Nijmegen, The Netherlands

other persons with the same name:

• Bart Jacobs - Katholieke Universiteit Leuven, Belgium

	2009
95		Bart Jacobs, Ana Sokolova: Traces, Executions and Schedulers, Coalgebraically. CALCO 2009: 206-220
94		Ichiro Hasuo, Chris Heunen, Bart Jacobs, Ana Sokolova: Coalgebraic Components in a Many-Sorted Microcosm. CALCO 2009: 64-80
93		Hendrik Tews, Bart Jacobs: Performance Issues of Selective Disclosure and Blinded Issuing Protocols on Java Card. WISTP 2009: 95-111
92		Bart Jacobs: Orthomodular lattices, Foulis Semigroups and Dagger Kernel Categories CoRR abs/0905.4090: (2009)
91		Ben A. M. Schouten, Bart Jacobs: Biometrics and their use in e-passports. Image Vision Comput. 27(3): 305-312 (2009)
	2008
90		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
89		Bart Jacobs, Wolter Pieters: Electronic Voting in the Netherlands: From Early Adoption to Early Abolishment. FOSAD 2008: 121-144
88		Ichiro Hasuo, Bart Jacobs, Ana Sokolova: The Microcosm Principle and Concurrency in Coalgebra. FoSSaCS 2008: 246-260
87		Wiebren de Jonge, Bart Jacobs: Privacy-Friendly Electronic Traffic Pricing via Commits. Formal Aspects in Security and Trust 2008: 143-161
86		Jaap-Henk Hoepman, Bart Jacobs: Increased security through open source CoRR abs/0801.3924: (2008)
85		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)
84		Bart Jacobs: Coalgebraic Trace Semantics for Combined Possibilitistic and Probabilistic Systems. Electr. Notes Theor. Comput. Sci. 203(5): 131-152 (2008)
	2007
83		Ichiro Hasuo, Bart Jacobs, Tarmo Uustalu: Categorical Views on Computations on Trees (Extended Abstract). ICALP 2007: 619-630
82		Ichiro Hasuo, Bart Jacobs, Ana Sokolova: Generic Trace Semantics via Coinduction CoRR abs/0710.2505: (2007)
81		Jaap-Henk Hoepman, Bart Jacobs: Increased security through open source. Commun. ACM 50(1): 79-83 (2007)
80		Bart Jacobs, Sjaak Smetsers, Ronny Wichers Schreur: Code-carrying theories. Formal Asp. Comput. 19(2): 191-203 (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): (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): (2002)
53		Jesse Hughes, Bart Jacobs: Factorization systems and fibrations: Toward a fibred Birkhoff variety theorem. Electr. Notes Theor. Comput. Sci. 69: (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: (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: (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: (1998)
24		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		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: (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

Coauthor Index

1	Joachim van den Berg	[26] [30] [32] [36] [39] [43] [46] [48] [56]
2	Martijn van Berkum	[26]
3	Marcello M. Bonsangue	[11]
4	Cees-Bart Breunesse	[56] [69]
5	Néstor Cataño	[69]
6	Sophia Drossopoulou	[38]
7	Susan Eisenbach	[38]
8	Gerhard de Koning Gans	[90]
9	Flavio D. Garcia	[90]
10	Ichiro Hasuo	[72] [74] [79] [82] [83] [88] [94]
11	Ulrich Hensel	[21] [27] [28]
12	Claudio Hermida	[10] [12] [23]
13	Chris Heunen	[75] [94]
14	Jaap-Henk Hoepman	[77] [81] [85] [86]
15	Engelbert Hubbers	[71] [77] [85]
16	Jesse Hughes	[53] [59] [62]
17	Marieke Huisman	[26] [27] [30] [32] [35] [37] [43] [69]
18	Wiebren de Jonge	[87]
19	Joseph Kiniry (Joseph R. Kiniry)	[55]
20	Joost N. Kok	[11]
21	Gary T. Leavens	[31] [38]
22	Claude Marché	[67]
23	Ines Margaria	[4]
24	Thomas F. Melham	[6]
25	Eugenio Moggi	[3]
26	Larry Moss	[24] [42]
27	Ruben Muijrers	[90]
28	Peter Müller	[31] [38]
29	Martijn Oostdijk	[64] [77] [85]
30	Wolter Pieters	[70] [71] [89]
31	Arnd Poetzsch-Heffter	[31] [38]
32	Erik Poll	[30] [36] [39] [41] [46] [49] [58] [60]
33	Nicole Rauch	[67]
34	Horst Reichel	[24] [42]
35	Arend Rensink	[57]
36	Peter van Rossum	[90]
37	Jan Rothe	[44]
38	John M. Rushby	[76]
39	Jan J. M. M. Rutten	[24] [29] [42] [51]
40	Ben A. M. Schouten	[91]
41	Ronny Wichers Schreur	[77] [80] [85] [90]
42	Sjaak Smetsers (J. E. W. Smetsers)	[80]
43	Ana Sokolova	[74] [79] [82] [88] [94] [95]
44	Thomas Streicher	[3]
45	Hendrik Tews	[27] [44] [93]
46	Tarmo Uustalu	[83]
47	Roel Verdult	[90]
48	Martijn Warnier	[55] [64] [70]
49	Maddalena Zacchi	[4]

Colors in the list of coauthors