Semantics of the second-order Lambda calculus, algebra and models / Bart JacobsCategorical type theory / Bartholomeus Paulus Franciscus JacobsObjects and classes, coalgebraically / B.P.F. JacobsInheritance and cofree constructions / B.P.F. JacobsAutomata and behaviours in categories of processes / B.P.F. JacobsCoalgebraic specifications and models of deterministic hybrid systems / B.P.F. JacobsHybrid systems of coalgebras plus monoid actions / B. JacobsBehaviour-refinement of object-oriented specifications with coinductive correctness proofs / B. JacobsInvariants, bisimulations and the correctness of coalgebraic refinements / B. JacobsCategorical logic and type theory / Bart JacobsThe temporal logic of coalgebras via Galois algebras / B.P.F. JacobsA monad for basic Java semantics / B.P.F. Jacobs, E. PollA formalisation of Java's exception mechanism / B.P.F. JacobsA logic for the Java modeling language JML / B.P.F. Jacobs, E. PollMany-sorted coalgebraic modal logic: a model-theoretic study / B.P.F. JacobsA formalisation of Java's exception mechanism / B.P.F. JacobsDe computer de wet gesteld / Bart JacobsDe computer de wet gesteld / Bart Jacobs
author
Duality beyond sober spaces : topological spaces and observation frames / Marcello Bonsangue, Bart Jacobs, Joost N. KokProof principles for datatypes with iterated recursion / U. Hensel, B. JacobsReasoning about Java classes : (preliminary report) / B.P.F. Jacobs ... [et al.]Java program verification via a Hoare logic with abrupt termination / M. Huisman, B.P.F. JacobsJava program verification via a Hoare logic with abrupt termination / M. Huisman, B.P.F. JacobsSpecification of the JavaCard API in JML / E. Poll, J.A.G.M. van den Berg, B.P.F. JacobsInheritance in higher order logic : modeling and reasoning / M. Huisman, B.P.F. JacobsSpecification of the JavaCard API in JML / E. Poll, J.A.G.M. van den Berg, B.P.F. JacobsA case study in class library verification: Java's vector class / M. Huisman, B.P.F. Jacobs, J.A.G.M. van den BergFormal specification and verification of JavaCard's application identifier class / J.A.G.M. van den Berg, B.P.F. Jacobs, E. PollFormal specification of the JavaCard API in JML: the APDU class / E. Poll, J.A.G.M. van den Berg, B.P.F. JacobsThe LOOP compiler for Java and JML / J.A.G.M. van den Berg, B.P.F. JacobsCoalgebraic methods in computer science : CMCS '98, Lisbon, Portugal, March 28 - 29, 1998 / guest eds.: B. Jacobs ... [et al.]Formal specification and verification of JavaCard's application identifier class / J.A.G.M. van den Berg, B.P.F. Jacobs, E. PollFormal specification of the JavaCard API in JML: the APDU class / E. Poll, J.A.G.M. van den Berg, B.P.F. JacobsFormal 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 / ed. by Bart Jacobs, Arend Rensink