Jacobs, Bart.
Jacobs, Bart, 1963-....
Jacobs, B.P.F. (Bartholomeus Paulus Franciscus), 1963-
Jacobs, B.P.F. 1963-
Bart Jacobs wetenschapper
VIAF ID: 12476036 ( Personal )
Permalink: http://viaf.org/viaf/12476036
Preferred Forms
- 100 0 _ ‡a Bart Jacobs ‡c wetenschapper
-
- 100 1 _ ‡a Jacobs, B.P.F. ‡d 1963-
-
- 100 1 0 ‡a Jacobs, Bart
- 100 1 _ ‡a Jacobs, Bart
-
-
-
-
-
- 100 1 _ ‡a Jacobs, Bart
-
- 100 1 _ ‡a Jacobs, Bart ‡d 1963-
-
- 100 1 _ ‡a Jacobs, Bart, ‡d 1963-....
-
4xx's: Alternate Name Forms (25)
Works
Title | Sources |
---|---|
aEin feste Burg ist unser Gott : Luther and the music of the Reformation | |
Architecture is Politics: Security and Privacy Issues in Transport and beyond | |
Automata and behaviours in categories of processes | |
Behaviour-refinement of object-oriented specifications with coinductive correctness proofs | |
De beveiliging van persoonsgegevens : over de juridische invulling van art. 5 lid 1 onder f en 32 AVG | |
A case study in class library verification: Java's vector class | |
Categorical logic and type theory, 1999: | |
CMCS tenth anniversary meeting | |
Coalgebraic methods in computer science / guest editors B. Jacobs, J. Rutten. - Amsterdam, 1999. | |
Coalgebraic methods in computer science : proceedings of the First Workshop on ..., CMCS'98, Lisbon, Portugal, March 28-29, 1998 | |
coalgebraic specification language CCSL | |
De computer de wet gesteld | |
Duality beyond sober spaces : topological spaces and observation frames | |
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 | |
Formal Techniques for Java Programs | |
A formalisation of Java's exception mechanism | |
Foundations of Software Science and Computation Structures : 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings | |
Hybrid systems of coalgebras plus monoid actions | |
Inheritance and cofree constructions | |
Inheritance in higher order logic : modeling and reasoning | |
Introduction to coalgebra : towards mathematics of states and observation | |
Invariants, bisimulations and the correctness of coalgebraic refinements | |
Java program verification via a Hoare logic with abrupt termination | |
A logic for the Java modeling language JML | |
The LOOP compiler for Java and JML | |
Many-sorted coalgebraic modal logic: a model-theoretic study | |
A monad for basic Java semantics | |
'Niemand kan grote ict-projecten managen' | |
Objects and classes, coalgebraically | |
Origins of a Creole : the history of Papiamentu and its African ties | |
Proof principles for datatypes with iterated recursion | |
Reasoning about Java classes : (preliminary report) | |
Semantics of the second-order Lambda calculus, algebra and models | |
Specification of the JavaCard API in JML | |
The temporal logic of coalgebras via Galois algebras | |
Wie is U? identiteit, privacy en politiek |