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

Bart Jacobs Vis

Radboud University Nijmegen, The Netherlands

List of publications from the DBLP Bibliography Server - FAQ

other persons with the same name:


Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
95EEBart Jacobs, Ana Sokolova: Traces, Executions and Schedulers, Coalgebraically. CALCO 2009: 206-220
94EEIchiro Hasuo, Chris Heunen, Bart Jacobs, Ana Sokolova: Coalgebraic Components in a Many-Sorted Microcosm. CALCO 2009: 64-80
93EEHendrik Tews, Bart Jacobs: Performance Issues of Selective Disclosure and Blinded Issuing Protocols on Java Card. WISTP 2009: 95-111
92EEBart Jacobs: Orthomodular lattices, Foulis Semigroups and Dagger Kernel Categories CoRR abs/0905.4090: (2009)
91EEBen A. M. Schouten, Bart Jacobs: Biometrics and their use in e-passports. Image Vision Comput. 27(3): 305-312 (2009)
2008
90EEFlavio 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
89EEBart Jacobs, Wolter Pieters: Electronic Voting in the Netherlands: From Early Adoption to Early Abolishment. FOSAD 2008: 121-144
88EEIchiro Hasuo, Bart Jacobs, Ana Sokolova: The Microcosm Principle and Concurrency in Coalgebra. FoSSaCS 2008: 246-260
87EEWiebren de Jonge, Bart Jacobs: Privacy-Friendly Electronic Traffic Pricing via Commits. Formal Aspects in Security and Trust 2008: 143-161
86EEJaap-Henk Hoepman, Bart Jacobs: Increased security through open source CoRR abs/0801.3924: (2008)
85EEJaap-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)
84EEBart Jacobs: Coalgebraic Trace Semantics for Combined Possibilitistic and Probabilistic Systems. Electr. Notes Theor. Comput. Sci. 203(5): 131-152 (2008)
2007
83EEIchiro Hasuo, Bart Jacobs, Tarmo Uustalu: Categorical Views on Computations on Trees (Extended Abstract). ICALP 2007: 619-630
82EEIchiro Hasuo, Bart Jacobs, Ana Sokolova: Generic Trace Semantics via Coinduction CoRR abs/0710.2505: (2007)
81EEJaap-Henk Hoepman, Bart Jacobs: Increased security through open source. Commun. ACM 50(1): 79-83 (2007)
80EEBart Jacobs, Sjaak Smetsers, Ronny Wichers Schreur: Code-carrying theories. Formal Asp. Comput. 19(2): 191-203 (2007)
79EEIchiro Hasuo, Bart Jacobs, Ana Sokolova: Generic Trace Semantics via Coinduction. Logical Methods in Computer Science 3(4): (2007)
2006
78EEBart Jacobs: A Bialgebraic Review of Deterministic Automata, Regular Expressions and Languages. Essays Dedicated to Joseph A. Goguen 2006: 375-404
77EEJaap-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
76EEBart Jacobs, John M. Rushby: PVS. The Seventeen Provers of the World 2006: 24-27
75EEChris Heunen, Bart Jacobs: Arrows, like Monads, are Monoids. Electr. Notes Theor. Comput. Sci. 158: 219-236 (2006)
74EEIchiro Hasuo, Bart Jacobs, Ana Sokolova: Generic Trace Theory. Electr. Notes Theor. Comput. Sci. 164(1): 47-65 (2006)
73EEBart Jacobs: Distributive laws for the coinductive solution of recursive equations. Inf. Comput. 204(4): 561-587 (2006)
2005
72EEIchiro Hasuo, Bart Jacobs: Context-Free Languages via Coalgebraic Trace Semantics. CALCO 2005: 213-231
71EEEngelbert Hubbers, Bart Jacobs, Wolter Pieters: RIES - Internet Voting in Action. COMPSAC (1) 2005: 417-424
70EEBart Jacobs, Wolter Pieters, Martijn Warnier: Statically checking confidentiality via dynamic labels. WITS 2005: 50-56
69EECees-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
68EEBart Jacobs: Counting Votes with Formal Methods. AMAST 2004: 21-22
67EEBart Jacobs, Claude Marché, Nicole Rauch: Formal Verification of a Commercial Smart Card Applet with Multiple Tools. AMAST 2004: 241-257
66EEBart Jacobs: Relating Two Approaches to Coinductive Solution of Recursive Equations. Electr. Notes Theor. Comput. Sci. 106: 145-166 (2004)
65EEBart Jacobs: Trace Semantics for Coalgebras. Electr. Notes Theor. Comput. Sci. 106: 167-184 (2004)
64EEBart Jacobs, Martijn Oostdijk, Martijn Warnier: Source code verification of a secure payment applet. J. Log. Algebr. Program. 58(1-2): 107-120 (2004)
63EEBart Jacobs: Weakest pre-condition reasoning for Java programs with JML annotations. J. Log. Algebr. Program. 58(1-2): 61-88 (2004)
62EEJesse Hughes, Bart Jacobs: Simulations in coalgebra. Theor. Comput. Sci. 327(1-2): 71-108 (2004)
2003
61EEBart Jacobs: Java's Integral Types in PVS. FMOODS 2003: 1-15
60EEBart Jacobs, Erik Poll: Java Program Verification at Nijmegen: Developments and Perspective. ISSS 2003: 134-153
59EEBart 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
56EECees-Bart Breunesse, Bart Jacobs, Joachim van den Berg: Specifying and Verifying a Decimal Representation in Java for Smart Cards. AMAST 2002: 304-318
55EEBart Jacobs, Joseph Kiniry, Martijn Warnier: Java Program Verification Challenges. FMCO 2002: 202-219
54EEBart Jacobs: Comprehension for Coalgebras. Electr. Notes Theor. Comput. Sci. 65(1): (2002)
53EEJesse 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)
51EEBart Jacobs, Jan J. M. M. Rutten: Coalgebraic Methods in Computer Science - Foreword. Theor. Comput. Sci. 280(1-2): 1 (2002)
2001
50EEBart Jacobs: A Formalisation of Java's Exception Mechanism. ESOP 2001: 284-301
49EEBart Jacobs, Erik Poll: A Logic for the Java Modeling Language JML. FASE 2001: 284-299
48EEJoachim van den Berg, Bart Jacobs: The LOOP Compiler for Java and JML. TACAS 2001: 299-312
47EEBart Jacobs: JavaCard Program Verification. TPHOLs 2001: 1-3
46EEErik 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)
45EEBart Jacobs: Many-Sorted Coalgebraic Modal Logic: a Model-theoretic Study. ITA 35(1): 31-59 (2001)
44EEJan Rothe, Hendrik Tews, Bart Jacobs: The Coalgebraic Class Specification Language CCSL. J. UCS 7(2): 175-193 (2001)
43EEMarieke Huisman, Bart Jacobs, Joachim van den Berg: A case study in class library verification: Java's vector class. STTT 3(3): 332-352 (2001)
42EEBart 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
41EEBart Jacobs, Erik Poll: A Monad for Basic Java Semantics. AMAST 2000: 150-164
40EEBart 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
38EESophia Drossopoulou, Susan Eisenbach, Bart Jacobs, Gary T. Leavens, Peter Müller, Arnd Poetzsch-Heffter: Formal Techniques for Java Programs. ECOOP Workshops 2000: 41-54
37EEMarieke Huisman, Bart Jacobs: Java Program Verification via a Hoare Logic with Abrupt Termination. FASE 2000: 284-303
36EEJoachim van den Berg, Bart Jacobs, Erik Poll: Formal Specification and Verification of JavaCard's Application Identifier Class. Java Card Workshop 2000: 137-150
35EEMarieke Huisman, Bart Jacobs: Inheritance in Higher Order Logic: Modeling and Reasoning. TPHOLs 2000: 301-319
34EEBart Jacobs: Towards a Duality Result in Coalgebraic Modal Logic. Electr. Notes Theor. Comput. Sci. 33: (2000)
33EEBart 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
31EEBart 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
29EEBart Jacobs, Jan J. M. M. Rutten: Preface. Electr. Notes Theor. Comput. Sci. 19: (1999)
28EEUlrich Hensel, Bart Jacobs: Coalgebraic Theories of Sequences in PVS. J. Log. Comput. 9(4): 463-500 (1999)
1998
27EEUlrich Hensel, Marieke Huisman, Bart Jacobs, Hendrik Tews: Reasonong about Classess in Object-Oriented Languages: Logical Models and Tools. ESOP 1998: 105-121
26EEBart Jacobs, Joachim van den Berg, Marieke Huisman, Martijn van Berkum: Reasoning about Java Classes (Preliminary Report). OOPSLA 1998: 329-340
25EEBart Jacobs: Coalgebraic Reasoning about Classes in Object-Oriented Languages. Electr. Notes Theor. Comput. Sci. 11: (1998)
24EEBart 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
20EEBart 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
18EEBart 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
14EEBart 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)
11EEMarcello 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
10EEClaudio 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

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)