The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Bart Jacobs: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Bart Jacobs
    Exercises in Coalgebraic Specification. [Citation Graph (0, 0)][DBLP]
    Algebraic and Coalgebraic Methods in the Mathematics of Program Construction, 2000, pp:237-280 [Conf]
  2. Cees-Bart Breunesse, Bart Jacobs, Joachim van den Berg
    Specifying and Verifying a Decimal Representation in Java for Smart Cards. [Citation Graph (0, 0)][DBLP]
    AMAST, 2002, pp:304-318 [Conf]
  3. Bart Jacobs, Claude Marché, Nicole Rauch
    Formal Verification of a Commercial Smart Card Applet with Multiple Tools. [Citation Graph (0, 0)][DBLP]
    AMAST, 2004, pp:241-257 [Conf]
  4. Bart Jacobs
    Invariants, Bisimulations and the Correctness of Coalgebraic Refinements. [Citation Graph (0, 0)][DBLP]
    AMAST, 1997, pp:276-291 [Conf]
  5. Bart Jacobs, Erik Poll
    A Monad for Basic Java Semantics. [Citation Graph (0, 0)][DBLP]
    AMAST, 2000, pp:150-164 [Conf]
  6. Bart Jacobs
    Counting Votes with Formal Methods. [Citation Graph (0, 0)][DBLP]
    AMAST, 2004, pp:21-22 [Conf]
  7. Bart Jacobs
    Mongruences and Cofree Coalgebras. [Citation Graph (0, 0)][DBLP]
    AMAST, 1995, pp:245-260 [Conf]
  8. Bart Jacobs
    Coalgebraic Specifications and Models of Determinatistic Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    AMAST, 1996, pp:520-535 [Conf]
  9. Bart Jacobs
    A Bialgebraic Review of Deterministic Automata, Regular Expressions and Languages. [Citation Graph (0, 0)][DBLP]
    Essays Dedicated to Joseph A. Goguen, 2006, pp:375-404 [Conf]
  10. Ichiro Hasuo, Bart Jacobs
    Context-Free Languages via Coalgebraic Trace Semantics. [Citation Graph (0, 0)][DBLP]
    CALCO, 2005, pp:213-231 [Conf]
  11. Erik Poll, Joachim van den Berg, Bart Jacobs
    Specification of the JavaCard API in JML. [Citation Graph (0, 0)][DBLP]
    CARDIS, 2000, pp:135-154 [Conf]
  12. Engelbert Hubbers, Bart Jacobs, Wolter Pieters
    RIES - Internet Voting in Action. [Citation Graph (0, 0)][DBLP]
    COMPSAC (1), 2005, pp:417-424 [Conf]
  13. Claudio Hermida, Bart Jacobs
    An Algebraic View of Structural Induction. [Citation Graph (0, 0)][DBLP]
    CSL, 1994, pp:412-426 [Conf]
  14. Ulrich Hensel, Bart Jacobs
    Proof Principles for Datatypes with Iterated Recursion. [Citation Graph (0, 0)][DBLP]
    Category Theory and Computer Science, 1997, pp:220-241 [Conf]
  15. Bart Jacobs
    On the Semantics of Second Order Lambda Calculus: From Bruce-Meyer-Mitchell Models to Hyperdoctrine Models and Vice-Versa. [Citation Graph (0, 0)][DBLP]
    Category Theory and Computer Science, 1989, pp:198-212 [Conf]
  16. Bart Jacobs, Eugenio Moggi, Thomas Streicher
    Relating Models of Impredicative Type Theories. [Citation Graph (0, 0)][DBLP]
    Category Theory and Computer Science, 1991, pp:197-218 [Conf]
  17. Bart Jacobs
    Objects and Classes, Co-Algebraically. [Citation Graph (0, 0)][DBLP]
    Object Orientation with Parallelism and Persistence, 1995, pp:83-103 [Conf]
  18. Bart Jacobs
    Inheritance and Cofree Constructions. [Citation Graph (0, 0)][DBLP]
    ECOOP, 1996, pp:210-231 [Conf]
  19. Sophia Drossopoulou, Susan Eisenbach, Bart Jacobs, Gary T. Leavens, Peter Müller, Arnd Poetzsch-Heffter
    Formal Techniques for Java Programs. [Citation Graph (0, 0)][DBLP]
    ECOOP Workshops, 2000, pp:41-54 [Conf]
  20. Marieke Huisman, Bart Jacobs, Joachim van den Berg
    A Case Study in Class Library Verification: Java's Vector Class. [Citation Graph (0, 0)][DBLP]
    ECOOP Workshops, 1999, pp:109-110 [Conf]
  21. Bart Jacobs, Gary T. Leavens, Peter Müller, Arnd Poetzsch-Heffter
    Formal Techniques for Java Programs. [Citation Graph (0, 0)][DBLP]
    ECOOP Workshops, 1999, pp:97-115 [Conf]
  22. Ulrich Hensel, Marieke Huisman, Bart Jacobs, Hendrik Tews
    Reasonong about Classess in Object-Oriented Languages: Logical Models and Tools. [Citation Graph (0, 0)][DBLP]
    ESOP, 1998, pp:105-121 [Conf]
  23. Bart Jacobs
    A Formalisation of Java's Exception Mechanism. [Citation Graph (0, 0)][DBLP]
    ESOP, 2001, pp:284-301 [Conf]
  24. Marieke Huisman, Bart Jacobs
    Java Program Verification via a Hoare Logic with Abrupt Termination. [Citation Graph (0, 0)][DBLP]
    FASE, 2000, pp:284-303 [Conf]
  25. Bart Jacobs, Erik Poll
    A Logic for the Java Modeling Language JML. [Citation Graph (0, 0)][DBLP]
    FASE, 2001, pp:284-299 [Conf]
  26. Bart Jacobs, Joseph Kiniry, Martijn Warnier
    Java Program Verification Challenges. [Citation Graph (0, 0)][DBLP]
    FMCO, 2002, pp:202-219 [Conf]
  27. Bart Jacobs
    Java's Integral Types in PVS. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2003, pp:1-15 [Conf]
  28. Bart Jacobs, Erik Poll
    Java Program Verification at Nijmegen: Developments and Perspective. [Citation Graph (0, 0)][DBLP]
    ISSS, 2003, pp:134-153 [Conf]
  29. Jaap-Henk Hoepman, Engelbert Hubbers, Bart Jacobs, Martijn Oostdijk, Ronny Wichers Schreur
    Crossing Borders: Security and Privacy Issues of the European e-Passport. [Citation Graph (0, 0)][DBLP]
    IWSEC, 2006, pp:152-167 [Conf]
  30. Joachim van den Berg, Bart Jacobs, Erik Poll
    Formal Specification and Verification of JavaCard's Application Identifier Class. [Citation Graph (0, 0)][DBLP]
    Java Card Workshop, 2000, pp:137-150 [Conf]
  31. Bart Jacobs
    Coalgebras and Approximation. [Citation Graph (0, 0)][DBLP]
    LFCS, 1994, pp:173-183 [Conf]
  32. Bart Jacobs, Joachim van den Berg, Marieke Huisman, Martijn van Berkum
    Reasoning about Java Classes (Preliminary Report). [Citation Graph (0, 0)][DBLP]
    OOPSLA, 1998, pp:329-340 [Conf]
  33. Joachim van den Berg, Bart Jacobs
    The LOOP Compiler for Java and JML. [Citation Graph (0, 0)][DBLP]
    TACAS, 2001, pp:299-312 [Conf]
  34. Bart Jacobs
    Behaviour-Refinement of Coalgebraic Specifications with Coinductive Correctness Proofs. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, 1997, pp:787-802 [Conf]
  35. Bart Jacobs
    Semantics of lambda-I and of other substructure lambda calculi. [Citation Graph (0, 0)][DBLP]
    TLCA, 1993, pp:195-208 [Conf]
  36. Bart Jacobs, Thomas F. Melham
    Translating Dependent Type Theory into Higher Order Logic. [Citation Graph (0, 0)][DBLP]
    TLCA, 1993, pp:209-229 [Conf]
  37. Marieke Huisman, Bart Jacobs
    Inheritance in Higher Order Logic: Modeling and Reasoning. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 2000, pp:301-319 [Conf]
  38. Bart Jacobs
    JavaCard Program Verification. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 2001, pp:1-3 [Conf]
  39. Bart Jacobs, John M. Rushby
    PVS. [Citation Graph (0, 0)][DBLP]
    The Seventeen Provers of the World, 2006, pp:24-27 [Conf]
  40. Joachim van den Berg, Marieke Huisman, Bart Jacobs, Erik Poll
    A Type-Theoretic Memory Model for Verification of Sequential Java Programs. [Citation Graph (0, 0)][DBLP]
    WADT, 1999, pp:1-21 [Conf]
  41. Bart Jacobs
    Semantics of Weakening and Contraction. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 1994, v:69, n:1, pp:73-106 [Journal]
  42. Jaap-Henk Hoepman, Bart Jacobs
    Increased security through open source. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 2007, v:50, n:1, pp:79-83 [Journal]
  43. Erik Poll, Joachim van den Berg, Bart Jacobs
    Formal specification of the JavaCard API in JML: the APDU class. [Citation Graph (0, 0)][DBLP]
    Computer Networks, 2001, v:36, n:4, pp:407-421 [Journal]
  44. Chris Heunen, Bart Jacobs
    Arrows, like Monads, are Monoids. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:158, n:, pp:219-236 [Journal]
  45. Jesse Hughes, Bart Jacobs
    Factorization systems and fibrations: Toward a fibred Birkhoff variety theorem. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:69, n:, pp:- [Journal]
  46. Bart Jacobs
    Towards a Duality Result in Coalgebraic Modal Logic. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2000, v:33, n:, pp:- [Journal]
  47. Bart Jacobs
    Comprehension for Coalgebras. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:65, n:1, pp:- [Journal]
  48. Bart Jacobs
    Relating Two Approaches to Coinductive Solution of Recursive Equations. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:106, n:, pp:145-166 [Journal]
  49. Bart Jacobs
    Trace Semantics for Coalgebras. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:106, n:, pp:167-184 [Journal]
  50. Bart Jacobs
    Subtypes and bounded quantification from a fibred perspective. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1995, v:1, n:, pp:- [Journal]
  51. Bart Jacobs
    Coalgebraic Reasoning about Classes in Object-Oriented Languages. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1998, v:11, n:, pp:- [Journal]
  52. Bart Jacobs, Jesse Hughes
    Simulations in Coalgebra. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:82, n:1, pp:- [Journal]
  53. Bart Jacobs, Larry Moss, Horst Reichel, Jan J. M. M. Rutten
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1998, v:11, n:, pp:- [Journal]
  54. Bart Jacobs, Jan J. M. M. Rutten
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:19, n:, pp:- [Journal]
  55. Ichiro Hasuo, Bart Jacobs, Ana Sokolova
    Generic Trace Theory. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:164, n:1, pp:47-65 [Journal]
  56. Bart Jacobs
    Parameters and Parametrization in Specification, Using Distributive Categories. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1995, v:24, n:3, pp:209-250 [Journal]
  57. Claudio Hermida, Bart Jacobs
    Structural Induction and Coinduction in a Fibrational Setting. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1998, v:145, n:2, pp:107-152 [Journal]
  58. Bart Jacobs
    Distributive laws for the coinductive solution of recursive equations. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2006, v:204, n:4, pp:561-587 [Journal]
  59. Bart Jacobs
    Many-Sorted Coalgebraic Modal Logic: a Model-theoretic Study. [Citation Graph (0, 0)][DBLP]
    ITA, 2001, v:35, n:1, pp:31-59 [Journal]
  60. Bart Jacobs
    On Cubism. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 1996, v:6, n:3, pp:379-391 [Journal]
  61. Bart Jacobs
    Weakest pre-condition reasoning for Java programs with JML annotations. [Citation Graph (0, 0)][DBLP]
    J. Log. Algebr. Program., 2004, v:58, n:1-2, pp:61-88 [Journal]
  62. Bart Jacobs, Martijn Oostdijk, Martijn Warnier
    Source code verification of a secure payment applet. [Citation Graph (0, 0)][DBLP]
    J. Log. Algebr. Program., 2004, v:58, n:1-2, pp:107-120 [Journal]
  63. Jan Rothe, Hendrik Tews, Bart Jacobs
    The Coalgebraic Class Specification Language CCSL. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2001, v:7, n:2, pp:175-193 [Journal]
  64. Ulrich Hensel, Bart Jacobs
    Coalgebraic Theories of Sequences in PVS. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1999, v:9, n:4, pp:463-500 [Journal]
  65. Claudio Hermida, Bart Jacobs
    Fibrations with Indeterminates: Contextual and Functional Completeness for Polymorphic Lambda Calculi. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 1995, v:5, n:4, pp:501-531 [Journal]
  66. Bart Jacobs
    The Temporal Logic of Coalgebras via Galois Algebras. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 2002, v:12, n:6, pp:875-903 [Journal]
  67. Bart Jacobs
    Semantics of the Second Order Lambda Calculus. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 1991, v:1, n:3, pp:327-360 [Journal]
  68. Cees-Bart Breunesse, Néstor Cataño, Marieke Huisman, Bart Jacobs
    Formal methods for smart cards: an experience report. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2005, v:55, n:1-3, pp:53-80 [Journal]
  69. Marieke Huisman, Bart Jacobs, Joachim van den Berg
    A case study in class library verification: Java's vector class. [Citation Graph (0, 0)][DBLP]
    STTT, 2001, v:3, n:3, pp:332-352 [Journal]
  70. Marcello M. Bonsangue, Bart Jacobs, Joost N. Kok
    Duality Beyond Sober Spaces: Topological Spaces and Observation Frames. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1995, v:151, n:1, pp:79-124 [Journal]
  71. Jesse Hughes, Bart Jacobs
    Simulations in coalgebra. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2004, v:327, n:1-2, pp:71-108 [Journal]
  72. Bart Jacobs
    Object-oriented hybrid systems of coalgebras plus monoid actions. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2000, v:239, n:1, pp:41-95 [Journal]
  73. Bart Jacobs
    Comprehension Categories and the Semantics of Type Dependency. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1993, v:107, n:2, pp:169-207 [Journal]
  74. Bart Jacobs, Larry Moss, Horst Reichel, Jan J. M. M. Rutten
    Foreword : Coalgebraic Methods in Computer Science 1998. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2001, v:260, n:1-2, pp:1- [Journal]
  75. Bart Jacobs, Ines Margaria, Maddalena Zacchi
    Filter Models with Polymorphic Types. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1992, v:95, n:1, pp:143-148 [Journal]
  76. Bart Jacobs, Erik Poll
    Coalgebras and monads in the semantics of Java. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2003, v:291, n:3, pp:329-349 [Journal]
  77. Bart Jacobs, Jan J. M. M. Rutten
    Coalgebraic Methods in Computer Science - Foreword. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2002, v:280, n:1-2, pp:1- [Journal]
  78. Ichiro Hasuo, Bart Jacobs, Tarmo Uustalu
    Categorical Views on Computations on Trees (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    ICALP, 2007, pp:619-630 [Conf]
  79. Ichiro Hasuo, Bart Jacobs, Ana Sokolova
    Generic Trace Semantics via Coinduction [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]
  80. Bart Jacobs, Sjaak Smetsers, Ronny Wichers Schreur
    Code-carrying theories. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2007, v:19, n:2, pp:191-203 [Journal]

  81. Coalgebraic Components in a Many-Sorted Microcosm. [Citation Graph (, )][DBLP]


  82. Traces, Executions and Schedulers, Coalgebraically. [Citation Graph (, )][DBLP]


  83. Developing Efficient Blinded Attribute Certificates on Smart Cards via Pairings. [Citation Graph (, )][DBLP]


  84. Dismantling MIFARE Classic. [Citation Graph (, )][DBLP]


  85. Heap-Dependent Expressions in Separation Logic. [Citation Graph (, )][DBLP]


  86. Electronic Voting in the Netherlands: From Early Adoption to Early Abolishment. [Citation Graph (, )][DBLP]


  87. The Microcosm Principle and Concurrency in Coalgebra. [Citation Graph (, )][DBLP]


  88. Privacy-Friendly Electronic Traffic Pricing via Commits. [Citation Graph (, )][DBLP]


  89. Statically checking confidentiality via dynamic labels. [Citation Graph (, )][DBLP]


  90. Performance Issues of Selective Disclosure and Blinded Issuing Protocols on Java Card. [Citation Graph (, )][DBLP]


  91. Increased security through open source [Citation Graph (, )][DBLP]


  92. Crossing Borders: Security and Privacy Issues of the European e-Passport [Citation Graph (, )][DBLP]


  93. Orthomodular lattices, Foulis Semigroups and Dagger Kernel Categories [Citation Graph (, )][DBLP]


  94. Orthomodular lattices, Foulis Semigroups and Dagger Kernel Categories [Citation Graph (, )][DBLP]


  95. Involutive Categories and Monoids, with a GNS-correspondence [Citation Graph (, )][DBLP]


  96. Coalgebraic Trace Semantics for Combined Possibilitistic and Probabilistic Systems. [Citation Graph (, )][DBLP]


Search in 0.578secs, Finished in 0.584secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002