Bart Jacobs - RankMe

235 papers A* 5A 6B 39C 4Misc 2Journal 91Unranked 77

Year	Rank	Type	Title / Venue / Authors
2026	—	`conf`	Decidos: Accessible, Usable and Secure Voting in Low-stakes Elections Using Identity Wallets. CHI Extended Abstracts Floris Jansen, Hanna Schraffenberger, Bart Jacobs
2026	—	`conf`	Encrypted and Signed File Transfer with PostGuard. Juggling Formal Methods and Security Daniel Ostkamp, Bart Jacobs
2025	B	`conf`	A Fresh Look at Bivariate Binomial Distributions. MFPS Bart Jacobs
2025	B	`conf`	Compositional Inference for Bayesian Networks and Causality. MFPS Bart Jacobs, Márk Széles, Dario Stein
2025	B	`conf`	Drawing and Recolouring. CALCO Bart Jacobs, Márk Széles
2025	J	`jnl`	Drawing with Distance. Log. Methods Comput. Sci. Bart Jacobs
2024	J	`jnl`	A Simple Formal Language for Probabilistic Decision Problems. CoRR Elena Di Lavore, Bart Jacobs, Mario Román
2024	—	`conf`	Drawing from an Urn is Isometric. FoSSaCS (1) Bart Jacobs
2024	J	`jnl`	Drawing with Distance. CoRR Bart Jacobs
2024	J	`jnl`	Getting Wiser from Multiple Data: Probabilistic Updating according to Jeffrey and Pearl. CoRR Bart Jacobs
2024	J	`jnl`	PubHubs identity management. J. Log. Comput. Bart Jacobs, Bram Westerbaan, Omar Javed, Harm van Stekelenburg, Lian Vervoort, Jan den Besten
2024	—	`conf`	Some Probabilistic Riddles and Some Logical Solutions. Logics and Type Systems in Theory and Practice Bart Jacobs
2024	J	`jnl`	The authenticity crisis. Comput. Law Secur. Rev. Bart Jacobs
2023	C	`conf`	A Principled Approach to Expectation Maximisation and Latent Dirichlet Allocation Using Jeffrey's Update Rule. WoLLIC Bart Jacobs
2023	B	`conf`	Counting and Matching. CSL Bart Jacobs, Dario Stein
2023	—	`conf`	Overdrawing Urns using Categories of Signed Probabilities. ACT Bart Jacobs, Dario Stein
2023	B	`conf`	Pearl's and Jeffrey's Update as Modes of Learning in Probabilistic Programming. MFPS Bart Jacobs, Dario Stein
2023	—	`conf`	PostGuard: Towards Easy and Secure Email Communication. CHI Extended Abstracts Leon Botros, Merel Brandon, Bart Jacobs, Daniel Ostkamp, Hanna Kathrin Schraffenberger, Marloes Venema
2022	—	`conf`	A Reconstruction of Ewens' Sampling Formula via Lists of Coins. A Journey from Process Algebra via Timed Automata to Model Learning Bart Jacobs
2022	—	`conf`	Design Principles for Actual Security. NordiCHI (Adjunct) Merel Brandon, Hanna Kathrin Schraffenberger, Wouter Sluis-Thiescheffer, Thea van der Geest, Daniel Ostkamp, Bart Jacobs
2022	A*	`conf`	Partitions and Ewens Distributions in element-free Probability Theory. LICS Bart Jacobs
2022	—	`conf`	Stick Breaking, in Coalgebra and Probability. CMCS Bart Jacobs
2022	B	`conf`	Sufficient Statistics and Split Idempotents in Discrete Probability Theory. MFPS Bart Jacobs
2022	J	`jnl`	Urns & Tubes. Compositionality Bart Jacobs
2021	J	`jnl`	Causal inference via string diagram surgery: A diagrammatic approach to interventions and counterfactuals. Math. Struct. Comput. Sci. Bart Jacobs, Aleks Kissinger, Fabio Zanasi
2021	A*	`conf`	From Multisets over Distributions to Distributions over Multisets. LICS Bart Jacobs
2021	J	`jnl`	From Multisets over Distributions to Distributions over Multisets. CoRR Bart Jacobs
2021	B	`conf`	Learning from What's Right and Learning from What's Wrong. MFPS Bart Jacobs
2021	B	`conf`	Multinomial and Hypergeometric Distributions in Markov Categories. MFPS Bart Jacobs
2021	J	`jnl`	Relating Apartness and Bisimulation. Log. Methods Comput. Sci. Herman Geuvers, Bart Jacobs
2021	J	`jnl`	Steps and traces. J. Log. Comput. Jurriaan Rot, Bart Jacobs, Paul Blain Levy
2021	J	`jnl`	Towards a seamful ethics of Covid-19 contact tracing apps? Ethics Inf. Technol. Andrew S. Hoffman, Bart Jacobs, Bernard van Gastel, Hanna Kathrin Schraffenberger, Tamar Sharon, Berber Pas
2020	J	`jnl`	A channel-based perspective on conjugate priors. Math. Struct. Comput. Sci. Bart Jacobs
2020	—	`conf`	De Finetti's Construction as a Categorical Limit. CMCS Bart Jacobs, Sam Staton
2020	J	`jnl`	Distances between States and between Predicates. Log. Methods Comput. Sci. Bart Jacobs, Abraham Westerbaan
2020	J	`jnl`	Electronic identity services as sociotechnical and political-economic constructs. New Media Soc. José van Dijck, Bart Jacobs
2020	J	`jnl`	Relating Apartness and Bisimulation. CoRR Herman Geuvers, Bart Jacobs
2020	J	`jnl`	Steps and Traces. CoRR Jurriaan Rot, Bart Jacobs, Paul Blain Levy
2020	—	`ch.`	The Logical Essentials of Bayesian Reasoning. Foundations of Probabilistic Programming Bart Jacobs, Fabio Zanasi
2019	B	`conf`	Causal Inference by String Diagram Surgery. FoSSaCS Bart Jacobs, Aleks Kissinger, Fabio Zanasi
2019	J	`jnl`	Disintegration and Bayesian inversion via string diagrams. Math. Struct. Comput. Sci. Kenta Cho, Bart Jacobs
2019	B	`conf`	Learning along a Channel: the Expectation part of Expectation-Maximisation. MFPS Bart Jacobs
2019	J	`jnl`	Medical research, Big Data and the need for privacy by design. Big Data Soc. Bart Jacobs, Jean Popma
2019	B	`conf`	Neural Nets via Forward State Transformation and Backward Loss Transformation. MFPS Bart Jacobs, David Sprunger
2019	J	`jnl`	The Mathematics of Changing One's Mind, via Jeffrey's or via Pearl's Update Rule. J. Artif. Intell. Res. Bart Jacobs
2019	J	`jnl`	The differential calculus of causal functions. CoRR David Sprunger, Bart Jacobs
2018	J	`jnl`	A Channel-based Exact Inference Algorithm for Bayesian Networks. CoRR Bart Jacobs
2018	J	`jnl`	A Mathematical Account of Soft Evidence, and of Jeffrey's 'destructive' versus Pearl's 'constructive' updating. CoRR Bart Jacobs
2018	B	`conf`	A Note on Distances between Probabilistic and Quantum distributions. MFPS Bart Jacobs
2018	J	`jnl`	Categorical Aspects of Parameter Learning. CoRR Bart Jacobs
2018	J	`jnl`	Causal Inference by String Diagram Surgery. CoRR Bart Jacobs, Aleks Kissinger, Fabio Zanasi
2018	J	`jnl`	From probability monads to commutative effectuses. J. Log. Algebraic Methods Program. Bart Jacobs
2018	—	`conf`	Learning to Coordinate. It's All About Coordination Gerco van Heerdt, Bart Jacobs, Tobias Kappé, Alexandra Silva
2018	—	`conf`	Lower and Upper Conditioning in Quantum Bayesian Theory. QPL Bart Jacobs
2018	J	`jnl`	Neural Nets via Forward State Transformation and Backward Loss Transformation. CoRR Bart Jacobs, David Sprunger
2018	—	`conf`	Steps and Traces. CMCS Bart Jacobs, Paul Blain Levy, Jurriaan Rot
2018	J	`jnl`	The Logical Essentials of Bayesian Reasoning. CoRR Bart Jacobs, Fabio Zanasi
2017	J	`jnl`	A Channel-Based Perspective on Conjugate Priors. CoRR Bart Jacobs
2017	B	`conf`	A Formal Semantics of Influence in Bayesian Reasoning. MFCS Bart Jacobs, Fabio Zanasi
2017	J	`jnl`	A Recipe for State-and-Effect Triangles. CoRR Bart Jacobs
2017	J	`jnl`	A Recipe for State-and-Effect Triangles. Log. Methods Comput. Sci. Bart Jacobs
2017	J	`jnl`	Disintegration and Bayesian Inversion, Both Abstractly and Concretely. CoRR Kenta Cho, Bart Jacobs
2017	J	`jnl`	Distances between States and between Predicates. CoRR Bart Jacobs, Abraham Westerbaan
2017	J	`jnl`	Hyper Normalisation and Conditioning for Discrete Probability Distributions. Log. Methods Comput. Sci. Bart Jacobs
2017	B	`conf`	The EfProb Library for Probabilistic Calculations. CALCO Kenta Cho, Bart Jacobs
2016	B	`conf`	A Predicate/State Transformer Semantics for Bayesian Learning. MFPS Bart Jacobs, Fabio Zanasi
2016	—	`conf`	Affine Monads and Side-Effect-Freeness. CMCS Bart Jacobs
2016	B	`conf`	Effectuses from Monads. MFPS Bart Jacobs
2016	B	`ed.`	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 FoSSaCS Bart Jacobs, Christof Löding
2016	A*	`conf`	Healthiness from Duality. LICS Wataru Hino, Hiroki Kobayashi, Ichiro Hasuo, Bart Jacobs
2016	J	`jnl`	Healthiness from Duality. CoRR Wataru Hino, Hiroki Kobayashi, Ichiro Hasuo, Bart Jacobs
2016	J	`jnl`	Hyper Normalisation and Conditioning for Discrete Probability Distributions. CoRR Bart Jacobs
2016	—	`book`	Introduction to Coalgebra: Towards Mathematics of States and Observation Bart Jacobs
2016	J	`jnl`	Polymorphic Encryption and Pseudonymisation for Personalised Healthcare. IACR Cryptol. ePrint Arch. Eric R. Verheul, Bart Jacobs, Carlo Meijer, Mireille Hildebrandt, Joeri de Ruiter
2016	J	`jnl`	Preface. Inf. Comput. Matty Hoban, Bart Jacobs, Prakash Panangaden
2016	—	`conf`	Securely Derived Identity Credentials on Smart Phones via Self-enrolment. STM Fabian van den Broek, Brinda Hampiholi, Bart Jacobs
2016	—	`conf`	The Fall of a Tiny Star. The New Codebreakers Flavio D. Garcia, Bart Jacobs
2016	J	`jnl`	The expectation monad in quantum foundations. Inf. Comput. Bart Jacobs, Jorik Mandemaker, Robert Furber
2015	B	`conf`	A Recipe for State-and-Effect Triangles. CALCO Bart Jacobs
2015	—	`conf`	A Type Theory for Probabilistic and Bayesian Reasoning. TYPES Robin Adams, Bart Jacobs
2015	J	`jnl`	A Type Theory for Probabilistic and Bayesian Reasoning. CoRR Robin Adams, Bart Jacobs
2015	B	`conf`	An Effect-Theoretic Account of Lebesgue Integration. MFPS Bart Jacobs, Bram Westerbaan
2015	J	`jnl`	An Introduction to Effectus Theory. CoRR Kenta Cho, Bart Jacobs, Bas Westerbaan, Abraham Westerbaan
2015	J	`jnl`	Dijkstra and Hoare monads in monadic computation. Theor. Comput. Sci. Bart Jacobs
2015	J	`jnl`	From Kleisli Categories to Commutative C*-algebras: Probabilistic Gelfand Duality. Log. Methods Comput. Sci. Robert W. J. Furber, Bart Jacobs
2015	J	`jnl`	New Directions in Categorical Logic, for Classical, Probabilistic and Quantum Logic Log. Methods Comput. Sci. Bart Jacobs
2015	—	`conf`	Quotient-Comprehension Chains. QPL Kenta Cho, Bart Jacobs, Bas Westerbaan, Bram Westerbaan
2015	B	`conf`	States of Convex Sets. FoSSaCS Bart Jacobs, Bas Westerbaan, Bram Westerbaan
2015	—	`conf`	Towards Practical Attribute-Based Signatures. SPACE Brinda Hampiholi, Gergely Alpár, Fabian van den Broek, Bart Jacobs
2015	—	`conf`	Towards a Categorical Account of Conditional Probability. QPL Robert Furber, Bart Jacobs
2015	J	`jnl`	Trace semantics via determinization. J. Comput. Syst. Sci. Bart Jacobs, Alexandra Silva, Ana Sokolova
2014	—	`conf`	Automata Learning: A Categorical Perspective. Horizons of the Mind Bart Jacobs, Alexandra Silva
2014	—	`conf`	Dijkstra Monads in Monadic Computation. CMCS Bart Jacobs
2014	—	`conf`	Initial Algebras of Terms with Binding and Algebraic Structure. Categories and Types in Logic, Language, and Physics Bart Jacobs, Alexandra Silva
2014	B	`conf`	Preface. MFPS Bart Jacobs, Alexandra Silva, Sam Staton
2014	B	`ed.`	Proceedings of the 30th Conference on the Mathematical Foundations of Programming Semantics, MFPS 2014, Ithaca, NY, USA, June 12-15, 2014 MFPS Bart Jacobs, Alexandra Silva, Sam Staton
2013	J	`jnl`	Bases as Coalgebras. Log. Methods Comput. Sci. Bart Jacobs
2013	J	`jnl`	Cell-based privacy-friendly roadpricing. Comput. Math. Appl. Flavio D. Garcia, Eric R. Verheul, Bart Jacobs
2013	B	`conf`	Coinductive Predicates and Final Sequences in a Fibration. MFPS Ichiro Hasuo, Kenta Cho, Toshiki Kataoka, Bart Jacobs
2013	J	`jnl`	Dagger Categories of Tame Relations. Logica Universalis Bart Jacobs
2013	B	`conf`	From Kleisli Categories to Commutative C *-Algebras: Probabilistic Gelfand Duality. CALCO Robert Furber, Bart Jacobs
2013	A*	`conf`	Measurable Spaces and Their Effect Logic. LICS Bart Jacobs
2013	B	`conf`	On Block Structures in Quantum Computation. MFPS Bart Jacobs
2013	—	`ch.`	Scalars, Monads, and Categories. Quantum Physics and Linguistics Dion Coumans, Bart Jacobs
2013	—	`conf`	Towards Practical Attribute-Based Identity Management: The IRMA Trajectory. IDMAN Gergely Alpár, Bart Jacobs
2013	—	`conf`	Two of the Grand Changes through Computer and Network Technology. Privacy and Identity Management Bart Jacobs
2012	—	`ch.`	An introduction to (co)algebra and (co)induction. Advanced Topics in Bisimulation and Coinduction Bart Jacobs, Jan Rutten
2012	B	`conf`	Fibrational Induction Meets Effects. FoSSaCS Robert Atkey, Neil Ghani, Bart Jacobs, Patricia Johann
2012	J	`jnl`	Relating Operator Spaces via Adjunctions CoRR Bart Jacobs, Jorik Mandemaker
2012	—	`conf`	Trace Semantics via Determinization. CMCS Bart Jacobs, Alexandra Silva, Ana Sokolova
2011	B	`conf`	Bases as Coalgebras. CALCO Bart Jacobs
2011	—	`conf`	Cell-Based Roadpricing. EuroPKI Flavio D. Garcia, Eric R. Verheul, Bart Jacobs
2011	B	`conf`	Coalgebraic Walks, in Quantum and Turing Computation. FoSSaCS Bart Jacobs
2011	B	`conf`	Logical Formalisation and Analysis of the Mifare Classic Card in PVS. ITP Bart Jacobs, Ronny Wichers Schreur
2011	J	`jnl`	Preface. Theor. Comput. Sci. Bart Jacobs, Milad Niqui, Jan J. M. M. Rutten, Alexandra Silva
2011	J	`jnl`	Probabilities, distribution monads, and convex categories. Theor. Comput. Sci. Bart Jacobs
2011	—	`ed.`	Proceedings 8th International Workshop on Quantum Physics and Logic, QPL 2011, Nijmegen, Netherlands, October 27-29, 2011. QPL Bart Jacobs, Peter Selinger, Bas Spitters
2011	—	`conf`	The Expectation Monad in Quantum Foundations. QPL Bart Jacobs, Jorik Mandemaker
2011	J	`jnl`	Traces for coalgebraic components. Math. Struct. Comput. Sci. Ichiro Hasuo, Bart Jacobs
2010	—	`ch.`	Architecture Is Politics: Security and Privacy Issues in Transport and Beyond. Data Protection in a Profiled World Bart Jacobs
2010	B	`conf`	Coalgebraic Representation Theory of Fractals. MFPS Ichiro Hasuo, Bart Jacobs, Milad Niqui
2010	—	`conf`	Convexity, Duality and Effects. IFIP TCS Bart Jacobs
2010	C	`conf`	Developing Efficient Blinded Attribute Certificates on Smart Cards via Pairings. CARDIS Lejla Batina, Jaap-Henk Hoepman, Bart Jacobs, Wojciech Mostowski, Pim Vullers
2010	J	`jnl`	Exemplaric Expressivity of Modal Logics. J. Log. Comput. Bart Jacobs, Ana Sokolova
2010	—	`conf`	From Coalgebraic to Monoidal Traces. CMCS@ETAPS Bart Jacobs
2010	J	`jnl`	Involutive Categories and Monoids, with a GNS-correspondence CoRR Bart Jacobs
2010	J	`jnl`	Orthomodular lattices, Foulis Semigroups and Dagger Kernel Categories Log. Methods Comput. Sci. Bart Jacobs
2010	—	`conf`	Preface. CMCS@ETAPS Bart Jacobs, Milad Niqui, Jan J. M. M. Rutten, Alexandra Silva
2010	—	`conf`	Privacy-Friendly Energy-Metering via Homomorphic Encryption. STM Flavio D. Garcia, Bart Jacobs
2010	—	`ed.`	Proceedings of the Tenth Workshop on Coalgebraic Methods in Computer Science, CMCS@ETAPS 2010, Paphos, Cyprus, March 26-28, 2010 CMCS@ETAPS Bart Jacobs, Milad Niqui, Jan J. M. M. Rutten, Alexandra Silva
2010	J	`jnl`	Quantum Logic in Dagger Kernel Categories. Order Chris Heunen, Bart Jacobs
2009	J	`jnl`	Biometrics and their use in e-passports. Image Vis. Comput. Ben A. M. Schouten, Bart Jacobs
2009	J	`jnl`	Categorical semantics for arrows. J. Funct. Program. Bart Jacobs, Chris Heunen, Ichiro Hasuo
2009	B	`conf`	Coalgebraic Components in a Many-Sorted Microcosm. CALCO Ichiro Hasuo, Chris Heunen, Bart Jacobs, Ana Sokolova
2009	J	`jnl`	Orthomodular lattices, Foulis Semigroups and Dagger Kernel Categories CoRR Bart Jacobs
2009	C	`conf`	Performance Issues of Selective Disclosure and Blinded Issuing Protocols on Java Card. WISTP Hendrik Tews, Bart Jacobs
2009	—	`conf`	Quantum Logic in Dagger Kernel Categories. QPL@MFPS Chris Heunen, Bart Jacobs
2009	J	`jnl`	Semantics and logic for security protocols. J. Comput. Secur. Bart Jacobs, Ichiro Hasuo
2009	B	`conf`	Traces, Executions and Schedulers, Coalgebraically. CALCO Bart Jacobs, Ana Sokolova
2008	—	`conf`	Coalgebraic Trace Semantics for Combined Possibilitistic and Probabilistic Systems. CMCS Bart Jacobs
2008	J	`jnl`	Crossing Borders: Security and Privacy Issues of the European e-Passport CoRR Jaap-Henk Hoepman, Engelbert Hubbers, Bart Jacobs, Martijn Oostdijk, Ronny Wichers Schreur
2008	A	`conf`	Dismantling MIFARE Classic. ESORICS Flavio D. Garcia, Gerhard de Koning Gans, Ruben Muijrers, Peter van Rossum, Roel Verdult, Ronny Wichers Schreur, Bart Jacobs
2008	—	`conf`	Electronic Voting in the Netherlands: From Early Adoption to Early Abolishment. FOSAD Bart Jacobs, Wolter Pieters
2008	J	`jnl`	Increased security through open source CoRR Jaap-Henk Hoepman, Bart Jacobs
2008	—	`conf`	Privacy-Friendly Electronic Traffic Pricing via Commits. Formal Aspects in Security and Trust Wiebren de Jonge, Bart Jacobs
2008	B	`conf`	The Microcosm Principle and Concurrency in Coalgebra. FoSSaCS Ichiro Hasuo, Bart Jacobs, Ana Sokolova
2007	—	`conf`	AHA: Amortized Heap Space Usage Analysis. Trends in Functional Programming Marko C. J. D. van Eekelen, Olha Shkaravska, Ron van Kesteren, Bart Jacobs, Erik Poll, Sjaak Smetsers
2007	A*	`conf`	Categorical Views on Computations on Trees (Extended Abstract). ICALP Ichiro Hasuo, Bart Jacobs, Tarmo Uustalu
2007	J	`jnl`	Code-carrying theories. Formal Aspects Comput. Bart Jacobs, Sjaak Smetsers, Ronny Wichers Schreur
2007	J	`jnl`	Generic Trace Semantics via Coinduction CoRR Ichiro Hasuo, Bart Jacobs, Ana Sokolova
2007	J	`jnl`	Generic Trace Semantics via Coinduction. Log. Methods Comput. Sci. Ichiro Hasuo, Bart Jacobs, Ana Sokolova
2007	J	`jnl`	Increased security through open source. Commun. ACM Jaap-Henk Hoepman, Bart Jacobs
2006	—	`conf`	A Bialgebraic Review of Deterministic Automata, Regular Expressions and Languages. Essays Dedicated to Joseph A. Goguen Bart Jacobs
2006	B	`conf`	Arrows, like Monads, are Monoids. MFPS Chris Heunen, Bart Jacobs
2006	Misc	`conf`	Crossing Borders: Security and Privacy Issues of the European e-Passport. IWSEC Jaap-Henk Hoepman, Engelbert Hubbers, Bart Jacobs, Martijn Oostdijk, Ronny Wichers Schreur
2006	J	`jnl`	Distributive laws for the coinductive solution of recursive equations. Inf. Comput. Bart Jacobs
2006	—	`conf`	Freyd is Kleisli, for Arrows. MSFP@MPC Bart Jacobs, Ichiro Hasuo
2006	—	`conf`	Generic Trace Theory. CMCS Ichiro Hasuo, Bart Jacobs, Ana Sokolova
2006	—	`ch.`	PVS. The Seventeen Provers of the World Bart Jacobs, John M. Rushby
2005	B	`conf`	Context-Free Languages via Coalgebraic Trace Semantics. CALCO Ichiro Hasuo, Bart Jacobs
2005	J	`jnl`	Formal methods for smart cards: an experience report. Sci. Comput. Program. Cees-Bart Breunesse, Néstor Cataño, Marieke Huisman, Bart Jacobs
2005	—	`conf`	RIES - Internet Voting in Action. COMPSAC (1) Engelbert Hubbers, Bart Jacobs, Wolter Pieters
2005	—	`conf`	Statically checking confidentiality via dynamic labels. WITS Bart Jacobs, Wolter Pieters, Martijn Warnier
2004	—	`conf`	Counting Votes with Formal Methods. AMAST Bart Jacobs, Engelbert Hubbers, Joseph Kiniry, Martijn Oostdijk
2004	—	`conf`	Formal Verification of a Commercial Smart Card Applet with Multiple Tools. AMAST Bart Jacobs, Claude Marché, Nicole Rauch
2004	—	`conf`	Relating Two Approaches to Coinductive Solution of Recursive Equations. CMCS Bart Jacobs
2004	J	`jnl`	Simulations in coalgebra. Theor. Comput. Sci. Jesse Hughes, Bart Jacobs
2004	J	`jnl`	Source code verification of a secure payment applet. J. Log. Algebraic Methods Program. Bart Jacobs, Martijn Oostdijk, Martijn Warnier
2004	—	`conf`	Trace Semantics for Coalgebras. CMCS Bart Jacobs
2004	J	`jnl`	Weakest pre-condition reasoning for Java programs with JML annotations. J. Log. Algebraic Methods Program. Bart Jacobs
2003	J	`jnl`	Coalgebras and monads in the semantics of Java. Theor. Comput. Sci. Bart Jacobs, Erik Poll
2003	—	`conf`	Java Program Verification at Nijmegen: Developments and Perspective. ISSS Bart Jacobs, Erik Poll
2003	—	`conf`	Java's Integral Types in PVS. FMOODS Bart Jacobs
2003	—	`conf`	Simulations in Coalgebra. CMCS Bart Jacobs, Jesse Hughes
2002	J	`jnl`	Coalgebraic Methods in Computer Science - Foreword. Theor. Comput. Sci. Bart Jacobs, Jan J. M. M. Rutten
2002	—	`conf`	Comprehension for Coalgebras. CMCS Bart Jacobs
2002	—	`conf`	Factorization systems and fibrations: Toward a fibred Birkhoff variety theorem. CTCS Jesse Hughes, Bart Jacobs
2002	—	`ed.`	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 FMOODS Bart Jacobs, Arend Rensink
2002	—	`conf`	Java Program Verification Challenges. FMCO Bart Jacobs, Joseph Kiniry, Martijn Warnier
2002	—	`conf`	Specifying and Verifying a Decimal Representation in Java for Smart Cards. AMAST Cees-Bart Breunesse, Bart Jacobs, Joachim van den Berg
2002	J	`jnl`	The Temporal Logic of Coalgebras via Galois Algebras. Math. Struct. Comput. Sci. Bart Jacobs
2001	A	`conf`	A Formalisation of Java's Exception Mechanism. ESOP Bart Jacobs
2001	B	`conf`	A Logic for the Java Modeling Language JML. FASE Bart Jacobs, Erik Poll
2001	J	`jnl`	A case study in class library verification: Java's vector class. Int. J. Softw. Tools Technol. Transf. Marieke Huisman, Bart Jacobs, Joachim van den Berg
2001	J	`jnl`	Foreword : Coalgebraic Methods in Computer Science 1998. Theor. Comput. Sci. Bart Jacobs, Larry Moss, Horst Reichel, Jan J. M. M. Rutten
2001	J	`jnl`	Formal specification of the JavaCard API in JML: the APDU class. Comput. Networks Erik Poll, Joachim van den Berg, Bart Jacobs
2001	—	`conf`	JavaCard Program Verification. TPHOLs Bart Jacobs
2001	J	`jnl`	Many-Sorted Coalgebraic Modal Logic: a Model-theoretic Study. RAIRO Theor. Informatics Appl. Bart Jacobs
2001	J	`jnl`	The Coalgebraic Class Specification Language CCSL. J. Univers. Comput. Sci. Jan Rothe, Hendrik Tews, Bart Jacobs
2001	A	`conf`	The LOOP Compiler for Java and JML. TACAS Joachim van den Berg, Bart Jacobs
2000	—	`conf`	A Monad for Basic Java Semantics. AMAST Bart Jacobs, Erik Poll
2000	—	`conf`	Exercises in Coalgebraic Specification. Algebraic and Coalgebraic Methods in the Mathematics of Program Construction Bart Jacobs
2000	—	`conf`	Formal Specification and Verification of JavaCard's Application Identifier Class. Java Card Workshop Joachim van den Berg, Bart Jacobs, Erik Poll
2000	—	`conf`	Formal Techniques for Java Programs. ECOOP Workshops Sophia Drossopoulou, Susan Eisenbach, Bart Jacobs, Gary T. Leavens, Peter Müller, Arnd Poetzsch-Heffter
2000	—	`conf`	Inheritance in Higher Order Logic: Modeling and Reasoning. TPHOLs Marieke Huisman, Bart Jacobs
2000	—	`conf`	JML (poster session): notations and tools supporting detailed design in Java. OOPSLA Addendum Gary T. Leavens, Clyde Ruby, K. Rustan M. Leino, Erik Poll, Bart Jacobs
2000	B	`conf`	Java Program Verification via a Hoare Logic with Abrupt Termination. FASE Marieke Huisman, Bart Jacobs
2000	J	`jnl`	Object-oriented hybrid systems of coalgebras plus monoid actions. Theor. Comput. Sci. Bart Jacobs
2000	C	`conf`	Specification of the JavaCard API in JML. CARDIS Erik Poll, Joachim van den Berg, Bart Jacobs
2000	—	`conf`	Towards a Duality Result in Coalgebraic Modal Logic. CMCS Bart Jacobs
1999	—	`conf`	A Case Study in Class Library Verification: Java's Vector Class. ECOOP Workshops Marieke Huisman, Bart Jacobs, Joachim van den Berg
1999	—	`conf`	A Type-Theoretic Memory Model for Verification of Sequential Java Programs. WADT Joachim van den Berg, Marieke Huisman, Bart Jacobs, Erik Poll
1999	—	`ed.`	Coalgebraic Methods in Computer Science, CMCS 1999, Amsterdam, The Netherlands, March 20-21, 1999 CMCS Bart Jacobs, Jan J. M. M. Rutten
1999	J	`jnl`	Coalgebraic Theories of Sequences in PVS. J. Log. Comput. Ulrich Hensel, Bart Jacobs
1999	—	`conf`	Formal Techniques for Java Programs. ECOOP Workshops Bart Jacobs, Gary T. Leavens, Peter Müller, Arnd Poetzsch-Heffter
1999	—	`conf`	Preface. CMCS Bart Jacobs, Jan J. M. M. Rutten
1998	—	`conf`	Coalgebraic Reasoning about Classes in Object-Oriented Languages. CMCS Bart Jacobs
1998	—	`ed.`	First Workshop on Coalgebraic Methods in Computer Science, CMCS 1998, Lisbon, Portugal, March 28-29, 1998 CMCS Bart Jacobs, Larry Moss, Horst Reichel, Jan J. M. M. Rutten
1998	—	`conf`	Preface. CMCS Bart Jacobs, Larry Moss, Horst Reichel, Jan J. M. M. Rutten
1998	A	`conf`	Reasoning about Java Classes (Preliminary Report). OOPSLA Bart Jacobs, Joachim van den Berg, Marieke Huisman, Martijn van Berkum
1998	A	`conf`	Reasonong about Classess in Object-Oriented Languages: Logical Models and Tools. ESOP Ulrich Hensel, Marieke Huisman, Bart Jacobs, Hendrik Tews
1998	J	`jnl`	Structural Induction and Coinduction in a Fibrational Setting. Inf. Comput. Claudio Hermida, Bart Jacobs
1997	—	`conf`	Behaviour-Refinement of Coalgebraic Specifications with Coinductive Correctness Proofs. TAPSOFT Bart Jacobs
1997	—	`conf`	Invariants, Bisimulations and the Correctness of Coalgebraic Refinements. AMAST Bart Jacobs
1997	—	`conf`	Proof Principles for Datatypes with Iterated Recursion. Category Theory and Computer Science Ulrich Hensel, Bart Jacobs
1996	—	`conf`	Coalgebraic Specifications and Models of Determinatistic Hybrid Systems. AMAST Bart Jacobs
1996	A	`conf`	Inheritance and Cofree Constructions. ECOOP Bart Jacobs
1996	J	`jnl`	On Cubism. J. Funct. Program. Bart Jacobs
1995	J	`jnl`	Duality Beyond Sober Spaces: Topological Spaces and Observation Frames. Theor. Comput. Sci. Marcello M. Bonsangue, Bart Jacobs, Joost N. Kok
1995	J	`jnl`	Fibrations with Indeterminates: Contextual and Functional Completeness for Polymorphic Lambda Calculi. Math. Struct. Comput. Sci. Claudio Hermida, Bart Jacobs
1995	—	`conf`	Mongruences and Cofree Coalgebras. AMAST Bart Jacobs
1995	—	`conf`	Objects and Classes, Co-Algebraically. Object Orientation with Parallelism and Persistence Bart Jacobs
1995	J	`jnl`	Parameters and Parametrization in Specification, Using Distributive Categories. Fundam. Informaticae Bart Jacobs
1995	B	`conf`	Subtypes and bounded quantification from a fibred perspective. MFPS Bart Jacobs
1994	B	`conf`	An Algebraic View of Structural Induction. CSL Claudio Hermida, Bart Jacobs
1994	Misc	`conf`	Coalgebras and Approximation. LFCS Bart Jacobs
1994	J	`jnl`	Semantics of Weakening and Contraction. Ann. Pure Appl. Log. Bart Jacobs
1993	J	`jnl`	Comprehension Categories and the Semantics of Type Dependency. Theor. Comput. Sci. Bart Jacobs
1993	—	`conf`	Semantics of lambda-I and of other substructure lambda calculi. TLCA Bart Jacobs
1993	—	`conf`	Translating Dependent Type Theory into Higher Order Logic. TLCA Bart Jacobs, Thomas F. Melham
1992	J	`jnl`	Filter Models with Polymorphic Types. Theor. Comput. Sci. Bart Jacobs, Ines Margaria, Maddalena Zacchi
1991	—	`conf`	Relating Models of Impredicative Type Theories. Category Theory and Computer Science Bart Jacobs, Eugenio Moggi, Thomas Streicher
1991	J	`jnl`	Semantics of the Second Order Lambda Calculus. Math. Struct. Comput. Sci. Bart Jacobs
1989	—	`conf`	On the Semantics of Second Order Lambda Calculus: From Bruce-Meyer-Mitchell Models to Hyperdoctrine Models and Vice-Versa. Category Theory and Computer Science Bart Jacobs
1989	J	`jnl`	The inconsistency of higher order extensions of Martin-Löf's type theory. J. Philos. Log. Bart Jacobs