- Bart Jacobs, Hoogleraar Computerbeveiliging Institute for Computing and Information Sciences,
- Coalgebras and Approximation 1 Bart Jacobs 2
- Introduction to Coalgebra. Towards Mathematics of States and Observations
- Coalgebraic Theories of Sequences in pvs \Lambda Ulrich Hensel Bart Jacobs
- Applications, substructure
- Java's Integral Types in PVS # Bart Jacobs
- Categorical Netherlands
- Exercises in Coalgebraic Speci cation ? Bart Jacobs
- A Formalisation of Java's Exception Mechanism
- Coalgebras in Speci cation and Veri cation for Object-Oriented Languages
- Probabilities, Distribution Monads, and Convex Categories
- Geachte Leden van de Tweede-Kamercommissie Verkeer en Waterstaat, Allereerst mijn dank voor de uitnodiging voor de hoorzitting van 31 januari 2008. Ik maak bij deze
- Informaticae. Parametrization
- Biometrics and Smart Cards in Identity Management Bart Jacobs and Erik Poll
- Performance issues of Selective Disclosure and Blinded Issuing Protocols on Java Card
- Autonomie en Transparantie Prof. dr. Bart Jacobs,
- JavaCard Program Veri cation Bart Jacobs
- OBJECTS AND CLASSES, COALGEBRAICALLY
- Reasoning about Java Classes (Preliminary Report)
- Privacy-friendly Energy-metering via Homomorphic Encryption
- Generic Trace Theory Ichiro Hasuo Bart Jacobs Ana Sokolova
- Coalgebraic Walks, in Quantum and Turing Computation
- The Microcosm Principle and Concurrency in Coalgebra
- Mongruences and Cofree Coalgebras ? Bart Jacobs
- A Type-Theoretic Memory Model for Veri cation of Sequential Java Programs ?
- An algebraic view of structural induction Claudio Hermida \Lambda Bart Jacobs \Lambda\Lambda
- Artikel Automatisering Gids 23 mei 2003 Informatici moeten meer
- Coalgebraic Specifications and Models of deterministic Hybrid Systems \Lambda
- Distributive laws for the Coinductive Solution of Recursive Equations
- Categorical Views on Computations on Trees (Extended Abstract)
- Semantics and Logic for Security Protocols Bart Jacobs Ichiro Hasuo
- A Monad for Basic Java Semantics ? Bart Jacobs, Erik Poll
- Invariants, Bisimulations and the Correctness of Coalgebraic Refinements \Lambda
- Trace Semantics for Coalgebras Bart Jacobs
- Electronic Voting in the Netherlands: from early Adoption to early Abolishment
- Inheritance in Higher Order Logic: Modeling and Reasoning ?
- 22 it in bedrijf TechNologie markTmoNiTor iT iN BeDriJF peopleware it in bedrijf 23 19 oktober 2007 19 oktober 2007
- A Tutorial on (Co)Algebras and (Co)Induction \Lambda
- Developing Efficient Blinded Attribute Certificates on Smart Cards via Pairings
- Stemmen via internet geen probleem Engelbert Hubbers, Bart Jacobs
- SEMANTICS OF GRAMMARS AND ATTRIBUTES VIA INITIALITY BART JACOBS AND TARMO UUSTALU
- Crossing Borders: Security and Privacy Issues of the European e-Passport
- The loop compiler for Java and JML Joachim van den Berg, Bart Jacobs
- BehaviourRefinement of Coalgebraic Specifications with Coinductive Correctness Proofs \Lambda
- Electronic Notes in Theoretical Computer Science 65 No. 1 (2002) URL: http://www.elsevier.nl/locate/entcs/volume65.html 23 pages
- STEMMEN MET VERTROUWEN Adviescommissie inrichting verkiezingsproces
- Formal Speci cation and Veri cation of JavaCard's Application Identi er Class ?
- categorically. formulation
- \Gamma\Gamma\Gamma\Gamma\Gamma\Gamma\Gamma\Gamma\Gamma\Gamma\Gamma\Gamma\Gamma\Gamma\Gamma\Gamma\Gamma\Gamma\Gamma\Gamma\Gamma\Gamma\Gamma\Gamma\Gamma\Gamma\Gamma \Gamma\Gamma\Gamma\Gamma\Gamma\Gamma\Gamma\Gamma\Gamma\Gamma\Gamma\Gamma\Gamma\Gamma\Gamma\G
- Samenvatting Dit boek verschaft een kijkje achter de schermen van moderne ICT. Het onthult hoe
- Specifying and Verifying a Decimal Representation in Java for Smart Cards ?
- Magazine nationale veiligheid en crisisbeheersing november/december 20098 Pas op: in je blootje vat je kou!
- Predicate Logic for Functors and Monads Bart Jacobs
- Proof Principles for Datatypes with Iterated Recursion ?
- Electronic Notes in Theoretical Computer Science 11 (2002) URL: http://www.elsevier.nl/locate/entcs/volume11.html 27 pages
- Towards a Duality Result in the Modal Logic of Coalgebras
- Relating two Approaches to Coinductive Solution of Recursive Equations
- Freyd is Kleisli, for Arrows Bart Jacobs1,2
- Reasoning about Classes in ObjectOriented Languages: Logical Models and Tools ?
- Java Program Veri cation via a Hoare Logic with Abrupt Termination ?
- To appear in: Journal of Functional Programming. BART JACOBS
- Components Traces Ichiro Hasuo1,3
- Electronic Notes in Theoretical Computer Science 11 (1998) URL: http://www.elsevier.nl/locate/entcs/volume11.html 12 pages
- A Logic for the Java Modeling Language JML Bart Jacobs and Erik Poll
- Involutive Categories and Monoids, with a GNS-correspondence
- De computer de wet gesteld Rede uitgesproken bij de aanvaarding van het ambt van hoogleraar aan de
- Technology Assessment Geert Munnichs, Mirjam Schuijff & Michiel Besters (redactie)
- Bases as Coalgebras Bart Jacobs
- In ons dagelijkse leven laten wij, bewust of onbe-wust, een grote hoeveelheid digitale sporen na, bij-
- Wanneer moet je gevoelige geheimen onthullen? Beveiligingsdeskundigen Bart Jacobs and Klaus Kursawe trekken parallellen tussen het onthullen van
- Exemplaric Expressivity of Modal Logics Bart Jacobs1
- Convexity, Duality and Effects Bart Jacobs,
- Coreflections in Algebraic Quantum Logic Bart Jacobs
- Architecture is Politics: Security and Privacy Issues in Transport and
- From Coalgebraic to Monoidal Traces Bart Jacobs
- Matthijs Coster, Bart Jacobs, Klaas Landsman De overval: Fox-IT NAW 5/10 nr. 2 juni 2009 91 Matthijs Coster
- Dismantling MIFARE Classic Flavio D. Garcia, Gerhard de Koning Gans, Ruben Muijrers,
- Heap Space Usage Project Paper
- Coalgebraic trace semantics for combined possibilitistic and probabilistic systems
- Beveiligingeisen ten aanzien van identificatie en authenticatie voor toegang zorgconsument tot het
- 27 529 Informatie-en Communicatietechnologie (ICT) in Nr. 53 BRIEF VAN DE MINISTER VAN VOLKSGEZONDHEID, WELZIJN EN
- NRC Handelsblad http://www.nrc.nl/opinie/article1034854.ece/Vrijwillig_op_weg_naar_d... 1 of 3 05/15/2008 09:43 PM
- Voting with confidence Report of the Election Process Advisory Commission
- Voter en confiance Commission consultative de l'organisation du processus lectoral
- Prof. dr. B.P.F. Jacobs en dr. W.G. Teepe1 Over vermogen en onvermogen
- Column uitgesproken in De Balie in Amsterdam, op de discussie-avond "Nederland Controlestaat?" op 17 nov. 2006.
- RIES Internet Voting in Action Engelbert Hubbers, Bart Jacobs and Wolter Pieters
- Statically checking confidentiality via dynamic labels Bart Jacobs
- NRC Handelsblad http://www.nrc.nl/opinie/artikel/print/1062480009562.html 1 of 1 09/03/2003 09:47 AM
- Voting with confidence Election Process Advisory Commission
- Inheritance and Cofree Constructions \Lambda Bart Jacobs
- Theoretical quantification
- Cell-based Roadpricing Flavio D. Garcia, Eric R. Verheul, and Bart Jacobs
- To appear in EPTCS. The Expectation Monad
- 29Magazine nationale veiligheid en crisisbeheersing december 2011 Oorspronkelijk waren de GOVCERT-bijeen-
