![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Bart Jacobs 0001
Person information
- affiliation: Radboud University Nijmegen, The Netherlands
- not to be confused with: Bart Jacobs 0002
Other persons with the same name
- Bart Jacobs 0002
— Katholieke Universiteit Leuven, Belgium
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j61]Bart Jacobs:
The authenticity crisis. Comput. Law Secur. Rev. 53: 105962 (2024) - [c126]Bart Jacobs:
Some Probabilistic Riddles and Some Logical Solutions. Logics and Type Systems in Theory and Practice 2024: 134-149 - [c125]Bart Jacobs:
Drawing from an Urn is Isometric. FoSSaCS (1) 2024: 101-120 - [i27]Bart Jacobs:
Getting Wiser from Multiple Data: Probabilistic Updating according to Jeffrey and Pearl. CoRR abs/2405.12700 (2024) - [i26]Bart Jacobs:
Drawing with Distance. CoRR abs/2405.18182 (2024) - 2023
- [c124]Leon Botros
, Merel Brandon
, Bart Jacobs
, Daniel Ostkamp
, Hanna Kathrin Schraffenberger
, Marloes Venema
:
PostGuard: Towards Easy and Secure Email Communication. CHI Extended Abstracts 2023: 232:1-232:6 - [c123]Bart Jacobs, Dario Stein:
Counting and Matching. CSL 2023: 28:1-28:15 - [c122]Bart Jacobs:
A Principled Approach to Expectation Maximisation and Latent Dirichlet Allocation Using Jeffrey's Update Rule. WoLLIC 2023: 256-273 - [c121]Bart Jacobs, Dario Stein:
Pearl's and Jeffrey's Update as Modes of Learning in Probabilistic Programming. MFPS 2023 - [c120]Bart Jacobs, Dario Stein:
Overdrawing Urns using Categories of Signed Probabilities. ACT 2023: 172-189 - 2022
- [c119]Bart Jacobs:
A Reconstruction of Ewens' Sampling Formula via Lists of Coins. A Journey from Process Algebra via Timed Automata to Model Learning 2022: 339-357 - [c118]Bart Jacobs:
Stick Breaking, in Coalgebra and Probability. CMCS 2022: 176-193 - [c117]Bart Jacobs:
Partitions and Ewens Distributions in element-free Probability Theory. LICS 2022: 23:1-23:9 - [c116]Merel Brandon, Hanna Kathrin Schraffenberger, Wouter Sluis-Thiescheffer, Thea van der Geest, Daniel Ostkamp, Bart Jacobs:
Design Principles for Actual Security. NordiCHI (Adjunct) 2022: 41:1-41:6 - [c115]Bart Jacobs:
Sufficient Statistics and Split Idempotents in Discrete Probability Theory. MFPS 2022 - 2021
- [j60]Andrew S. Hoffman
, Bart Jacobs
, Bernard van Gastel
, Hanna Kathrin Schraffenberger
, Tamar Sharon
, Berber Pas
:
Towards a seamful ethics of Covid-19 contact tracing apps? Ethics Inf. Technol. 23(S1): 105-115 (2021) - [j59]Herman Geuvers, Bart Jacobs:
Relating Apartness and Bisimulation. Log. Methods Comput. Sci. 17(3) (2021) - [j58]Jurriaan Rot, Bart Jacobs, Paul Blain Levy:
Steps and traces. J. Log. Comput. 31(6): 1482-1525 (2021) - [j57]Bart Jacobs
, Aleks Kissinger, Fabio Zanasi
:
Causal inference via string diagram surgery: A diagrammatic approach to interventions and counterfactuals. Math. Struct. Comput. Sci. 31(5): 553-574 (2021) - [c114]Bart Jacobs:
From Multisets over Distributions to Distributions over Multisets. LICS 2021: 1-13 - [c113]Bart Jacobs:
Multinomial and Hypergeometric Distributions in Markov Categories. MFPS 2021: 98-115 - [c112]Bart Jacobs:
Learning from What's Right and Learning from What's Wrong. MFPS 2021: 116-133 - [i25]Bart Jacobs:
From Multisets over Distributions to Distributions over Multisets. CoRR abs/2105.06908 (2021) - 2020
- [j56]Bart Jacobs, Abraham Westerbaan:
Distances between States and between Predicates. Log. Methods Comput. Sci. 16(1) (2020) - [j55]Bart Jacobs:
A channel-based perspective on conjugate priors. Math. Struct. Comput. Sci. 30(1): 44-61 (2020) - [j54]José van Dijck, Bart Jacobs
:
Electronic identity services as sociotechnical and political-economic constructs. New Media Soc. 22(5) (2020) - [c111]Bart Jacobs, Sam Staton:
De Finetti's Construction as a Categorical Limit. CMCS 2020: 90-111 - [i24]Herman Geuvers, Bart Jacobs:
Relating Apartness and Bisimulation. CoRR abs/2002.02512 (2020) - [i23]Jurriaan Rot, Bart Jacobs, Paul Blain Levy:
Steps and Traces. CoRR abs/2004.05400 (2020)
2010 – 2019
- 2019
- [j53]Bart Jacobs, Jean Popma
:
Medical research, Big Data and the need for privacy by design. Big Data Soc. 6(1): 205395171882435 (2019) - [j52]Pieter T. J. Wolters, Bart P. F. Jacobs:
The security of access to accounts under the PSD2. Comput. Law Secur. Rev. 35(1): 29-41 (2019) - [j51]Bart Jacobs:
The Mathematics of Changing One's Mind, via Jeffrey's or via Pearl's Update Rule. J. Artif. Intell. Res. 65: 783-806 (2019) - [j50]Kenta Cho
, Bart Jacobs:
Disintegration and Bayesian inversion via string diagrams. Math. Struct. Comput. Sci. 29(7): 938-971 (2019) - [c110]Bart Jacobs, Aleks Kissinger, Fabio Zanasi
:
Causal Inference by String Diagram Surgery. FoSSaCS 2019: 313-329 - [c109]Bart Jacobs:
Learning along a Channel: the Expectation part of Expectation-Maximisation. MFPS 2019: 143-160 - [c108]Bart Jacobs, David Sprunger:
Neural Nets via Forward State Transformation and Backward Loss Transformation. MFPS 2019: 161-177 - [i22]David Sprunger, Bart Jacobs:
The differential calculus of causal functions. CoRR abs/1904.10611 (2019) - 2018
- [j49]Bart Jacobs:
From probability monads to commutative effectuses. J. Log. Algebraic Methods Program. 94: 200-237 (2018) - [c107]Gerco van Heerdt, Bart Jacobs, Tobias Kappé
, Alexandra Silva:
Learning to Coordinate. It's All About Coordination 2018: 139-159 - [c106]Bart Jacobs, Paul Blain Levy, Jurriaan Rot:
Steps and Traces. CMCS 2018: 122-143 - [c105]Bart Jacobs:
Lower and Upper Conditioning in Quantum Bayesian Theory. QPL 2018: 225-238 - [c104]Bart Jacobs:
A Note on Distances between Probabilistic and Quantum distributions. MFPS 2018: 173-187 - [i21]Bart Jacobs, David Sprunger:
Neural Nets via Forward State Transformation and Backward Loss Transformation. CoRR abs/1803.09356 (2018) - [i20]Bart Jacobs, Fabio Zanasi:
The Logical Essentials of Bayesian Reasoning. CoRR abs/1804.01193 (2018) - [i19]Bart Jacobs:
A Channel-based Exact Inference Algorithm for Bayesian Networks. CoRR abs/1804.08032 (2018) - [i18]Bart Jacobs:
A Mathematical Account of Soft Evidence, and of Jeffrey's 'destructive' versus Pearl's 'constructive' updating. CoRR abs/1807.05609 (2018) - [i17]Bart Jacobs:
Categorical Aspects of Parameter Learning. CoRR abs/1810.05814 (2018) - [i16]Bart Jacobs, Aleks Kissinger, Fabio Zanasi:
Causal Inference by String Diagram Surgery. CoRR abs/1811.08338 (2018) - 2017
- [j48]Bart Jacobs:
A Recipe for State-and-Effect Triangles. Log. Methods Comput. Sci. 13(2) (2017) - [j47]Bart Jacobs:
Hyper Normalisation and Conditioning for Discrete Probability Distributions. Log. Methods Comput. Sci. 13(3) (2017) - [c103]Kenta Cho, Bart Jacobs:
The EfProb Library for Probabilistic Calculations. CALCO 2017: 25:1-25:8 - [c102]Bart Jacobs, Fabio Zanasi
:
A Formal Semantics of Influence in Bayesian Reasoning. MFCS 2017: 21:1-21:14 - [i15]Bart Jacobs:
A Recipe for State-and-Effect Triangles. CoRR abs/1703.09034 (2017) - [i14]Bart Jacobs:
A Channel-Based Perspective on Conjugate Priors. CoRR abs/1707.00269 (2017) - [i13]Kenta Cho, Bart Jacobs:
Disintegration and Bayesian Inversion, Both Abstractly and Concretely. CoRR abs/1709.00322 (2017) - [i12]Bart Jacobs, Abraham Westerbaan:
Distances between States and between Predicates. CoRR abs/1711.09740 (2017) - 2016
- [b2]Bart Jacobs:
Introduction to Coalgebra: Towards Mathematics of States and Observation. Cambridge Tracts in Theoretical Computer Science 59, Cambridge University Press 2016, ISBN 9781316823187 - [j46]Matty Hoban, Bart Jacobs, Prakash Panangaden:
Preface. Inf. Comput. 250: 1-2 (2016) - [j45]Bart Jacobs, Jorik Mandemaker, Robert Furber
:
The expectation monad in quantum foundations. Inf. Comput. 250: 87-114 (2016) - [c101]Flavio D. Garcia
, Bart Jacobs:
The Fall of a Tiny Star. The New Codebreakers 2016: 69-87 - [c100]Bart Jacobs:
Affine Monads and Side-Effect-Freeness. CMCS 2016: 53-72 - [c99]Wataru Hino, Hiroki Kobayashi, Ichiro Hasuo
, Bart Jacobs:
Healthiness from Duality. LICS 2016: 682-691 - [c98]Fabian van den Broek, Brinda Hampiholi, Bart Jacobs:
Securely Derived Identity Credentials on Smart Phones via Self-enrolment. STM 2016: 106-121 - [c97]Bart Jacobs:
Effectuses from Monads. MFPS 2016: 169-183 - [c96]Bart Jacobs, Fabio Zanasi
:
A Predicate/State Transformer Semantics for Bayesian Learning. MFPS 2016: 185-200 - [e7]Bart Jacobs, Christof Löding:
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. Lecture Notes in Computer Science 9634, Springer 2016, ISBN 978-3-662-49629-9 [contents] - [i11]Wataru Hino, Hiroki Kobayashi, Ichiro Hasuo, Bart Jacobs:
Healthiness from Duality. CoRR abs/1605.00381 (2016) - [i10]Bart Jacobs:
Hyper Normalisation and Conditioning for Discrete Probability Distributions. CoRR abs/1607.02790 (2016) - [i9]Eric R. Verheul, Bart Jacobs, Carlo Meijer, Mireille Hildebrandt, Joeri de Ruiter:
Polymorphic Encryption and Pseudonymisation for Personalised Healthcare. IACR Cryptol. ePrint Arch. 2016: 411 (2016) - 2015
- [j44]Bart Jacobs:
New Directions in Categorical Logic, for Classical, Probabilistic and Quantum Logic. Log. Methods Comput. Sci. 11(3) (2015) - [j43]Bart Jacobs, Alexandra Silva, Ana Sokolova
:
Trace semantics via determinization. J. Comput. Syst. Sci. 81(5): 859-879 (2015) - [j42]Robert W. J. Furber
, Bart Jacobs:
From Kleisli Categories to Commutative C*-algebras: Probabilistic Gelfand Duality. Log. Methods Comput. Sci. 11(2) (2015) - [j41]Bart Jacobs:
Dijkstra and Hoare monads in monadic computation. Theor. Comput. Sci. 604: 30-45 (2015) - [c95]Bart Jacobs:
A Recipe for State-and-Effect Triangles. CALCO 2015: 116-129 - [c94]Bart Jacobs, Bas Westerbaan
, Bram Westerbaan:
States of Convex Sets. FoSSaCS 2015: 87-101 - [c93]Brinda Hampiholi, Gergely Alpár, Fabian van den Broek, Bart Jacobs:
Towards Practical Attribute-Based Signatures. SPACE 2015: 310-328 - [c92]Robin Adams
, Bart Jacobs:
A Type Theory for Probabilistic and Bayesian Reasoning. TYPES 2015: 1:1-1:34 - [c91]Kenta Cho, Bart Jacobs, Bas Westerbaan
, Bram Westerbaan:
Quotient-Comprehension Chains. QPL 2015: 136-147 - [c90]Robert Furber
, Bart Jacobs:
Towards a Categorical Account of Conditional Probability. QPL 2015: 179-195 - [c89]Bart Jacobs, Bram Westerbaan:
An Effect-Theoretic Account of Lebesgue Integration. MFPS 2015: 239-253 - [i8]Robin Adams, Bart Jacobs:
A Type Theory for Probabilistic and Bayesian Reasoning. CoRR abs/1511.09230 (2015) - [i7]Kenta Cho, Bart Jacobs, Bas Westerbaan
, Abraham Westerbaan:
An Introduction to Effectus Theory. CoRR abs/1512.05813 (2015) - 2014
- [c88]Bart Jacobs, Alexandra Silva:
Initial Algebras of Terms with Binding and Algebraic Structure. Categories and Types in Logic, Language, and Physics 2014: 211-234 - [c87]Bart Jacobs, Alexandra Silva:
Automata Learning: A Categorical Perspective. Horizons of the Mind 2014: 384-406 - [c86]Bart Jacobs:
Dijkstra Monads in Monadic Computation. CMCS 2014: 135-150 - [c85]Bart Jacobs, Alexandra Silva, Sam Staton:
Preface. MFPS 2014: 1-2 - [e6]Bart Jacobs, Alexandra Silva, Sam Staton:
Proceedings of the 30th Conference on the Mathematical Foundations of Programming Semantics, MFPS 2014, Ithaca, NY, USA, June 12-15, 2014. Electronic Notes in Theoretical Computer Science 308, Elsevier 2014 [contents] - 2013
- [j40]Flavio D. Garcia, Eric R. Verheul, Bart Jacobs:
Cell-based privacy-friendly roadpricing. Comput. Math. Appl. 65(5): 774-785 (2013) - [j39]Bart Jacobs:
Bases as Coalgebras. Log. Methods Comput. Sci. 9(3) (2013) - [j38]Bart Jacobs:
Dagger Categories of Tame Relations. Logica Universalis 7(3): 341-370 (2013) - [c84]Robert Furber
, Bart Jacobs:
From Kleisli Categories to Commutative C *-Algebras: Probabilistic Gelfand Duality. CALCO 2013: 141-157 - [c83]Gergely Alpár, Bart Jacobs:
Towards Practical Attribute-Based Identity Management: The IRMA Trajectory. IDMAN 2013: 1-3 - [c82]Bart Jacobs:
Measurable Spaces and Their Effect Logic. LICS 2013: 83-92 - [c81]Bart Jacobs:
Two of the Grand Changes through Computer and Network Technology. Privacy and Identity Management 2013: 1-11 - [c80]Ichiro Hasuo
, Kenta Cho, Toshiki Kataoka, Bart Jacobs:
Coinductive Predicates and Final Sequences in a Fibration. MFPS 2013: 197-214 - [c79]Bart Jacobs:
On Block Structures in Quantum Computation. MFPS 2013: 233-255 - [p4]Dion Coumans, Bart Jacobs:
Scalars, Monads, and Categories. Quantum Physics and Linguistics 2013: 184-216 - 2012
- [c78]Bart Jacobs, Alexandra Silva, Ana Sokolova
:
Trace Semantics via Determinization. CMCS 2012: 109-129 - [c77]Robert Atkey
, Neil Ghani, Bart Jacobs, Patricia Johann:
Fibrational Induction Meets Effects. FoSSaCS 2012: 42-57 - [p3]Bart Jacobs, Jan Rutten:
An introduction to (co)algebra and (co)induction. Advanced Topics in Bisimulation and Coinduction 2012: 38-99 - [i6]Bart Jacobs, Jorik Mandemaker:
Relating Operator Spaces via Adjunctions. CoRR abs/1201.1272 (2012) - 2011
- [j37]Ichiro Hasuo
, Bart Jacobs:
Traces for coalgebraic components. Math. Struct. Comput. Sci. 21(2): 267-320 (2011) - [j36]Bart Jacobs:
Probabilities, distribution monads, and convex categories. Theor. Comput. Sci. 412(28): 3323-3336 (2011) - [j35]Bart Jacobs, Milad Niqui, Jan J. M. M. Rutten, Alexandra Silva:
Preface. Theor. Comput. Sci. 412(38): 4967-4968 (2011) - [c76]Bart Jacobs:
Bases as Coalgebras. CALCO 2011: 237-252 - [c75]Flavio D. Garcia, Eric R. Verheul, Bart Jacobs:
Cell-Based Roadpricing. EuroPKI 2011: 106-122 - [c74]Bart Jacobs:
Coalgebraic Walks, in Quantum and Turing Computation. FoSSaCS 2011: 12-26 - [c73]Bart Jacobs, Ronny Wichers Schreur:
Logical Formalisation and Analysis of the Mifare Classic Card in PVS. ITP 2011: 3-17 - [c72]Bart Jacobs, Jorik Mandemaker:
The Expectation Monad in Quantum Foundations. QPL 2011: 143-182 - [e5]Bart Jacobs, Peter Selinger, Bas Spitters
:
Proceedings 8th International Workshop on Quantum Physics and Logic, QPL 2011, Nijmegen, Netherlands, October 27-29, 2011. EPTCS 95, 2011 [contents] - 2010
- [j34]Bart Jacobs:
Orthomodular lattices, Foulis Semigroups and Dagger Kernel Categories. Log. Methods Comput. Sci. 6(2) (2010) - [j33]Bart Jacobs, Ana Sokolova
:
Exemplaric Expressivity of Modal Logics. J. Log. Comput. 20(5): 1041-1068 (2010) - [j32]Chris Heunen, Bart Jacobs:
Quantum Logic in Dagger Kernel Categories. Order 27(2): 177-212 (2010) - [c71]Lejla Batina, Jaap-Henk Hoepman, Bart Jacobs, Wojciech Mostowski, Pim Vullers:
Developing Efficient Blinded Attribute Certificates on Smart Cards via Pairings. CARDIS 2010: 209-222 - [c70]Bart Jacobs:
Convexity, Duality and Effects. IFIP TCS 2010: 1-19 - [c69]Flavio D. Garcia, Bart Jacobs:
Privacy-Friendly Energy-Metering via Homomorphic Encryption. STM 2010: 226-238 - [c68]Bart Jacobs, Milad Niqui, Jan J. M. M. Rutten, Alexandra Silva:
Preface. CMCS@ETAPS 2010: 1-2 - [c67]Bart Jacobs:
From Coalgebraic to Monoidal Traces. CMCS@ETAPS 2010: 125-140 - [c66]Ichiro Hasuo
, Bart Jacobs, Milad Niqui:
Coalgebraic Representation Theory of Fractals. MFPS 2010: 351-368 - [p2]Bart Jacobs:
Architecture Is Politics: Security and Privacy Issues in Transport and Beyond. Data Protection in a Profiled World 2010: 289-299 - [e4]Bart Jacobs, Milad Niqui, Jan J. M. M. Rutten, Alexandra Silva:
Proceedings of the Tenth Workshop on Coalgebraic Methods in Computer Science, CMCS@ETAPS 2010, Paphos, Cyprus, March 26-28, 2010. Electronic Notes in Theoretical Computer Science 264(2), Elsevier 2010 [contents] - [i5]Bart Jacobs:
Involutive Categories and Monoids, with a GNS-correspondence. CoRR abs/1003.4552 (2010)
2000 – 2009
- 2009
- [j31]Ben A. M. Schouten, Bart Jacobs:
Biometrics and their use in e-passports. Image Vis. Comput. 27(3): 305-312 (2009) - [j30]Bart Jacobs, Ichiro Hasuo
:
Semantics and logic for security protocols. J. Comput. Secur. 17(6): 909-944 (2009) - [j29]Bart Jacobs, Chris Heunen, Ichiro Hasuo
:
Categorical semantics for arrows. J. Funct. Program. 19(3-4): 403-438 (2009) - [c65]Ichiro Hasuo, Chris Heunen, Bart Jacobs, Ana Sokolova
:
Coalgebraic Components in a Many-Sorted Microcosm. CALCO 2009: 64-80 - [c64]Bart Jacobs, Ana Sokolova
:
Traces, Executions and Schedulers, Coalgebraically. CALCO 2009: 206-220 - [c63]Hendrik Tews, Bart Jacobs:
Performance Issues of Selective Disclosure and Blinded Issuing Protocols on Java Card. WISTP 2009: 95-111 - [c62]Chris Heunen, Bart Jacobs:
Quantum Logic in Dagger Kernel Categories. QPL@MFPS 2009: 79-103 - [i4]Bart Jacobs:
Orthomodular lattices, Foulis Semigroups and Dagger Kernel Categories. CoRR abs/0905.4090 (2009) - 2008
- [c61]Flavio D. Garcia, Gerhard de Koning Gans, Ruben Muijrers, Peter van Rossum, Roel Verdult, Ronny Wichers Schreur, Bart Jacobs:
Dismantling MIFARE Classic. ESORICS 2008: 97-114 - [c60]Bart Jacobs, Wolter Pieters:
Electronic Voting in the Netherlands: From Early Adoption to Early Abolishment. FOSAD 2008: 121-144 - [c59]Ichiro Hasuo, Bart Jacobs, Ana Sokolova
:
The Microcosm Principle and Concurrency in Coalgebra. FoSSaCS 2008: 246-260 - [c58]Wiebren de Jonge, Bart Jacobs:
Privacy-Friendly Electronic Traffic Pricing via Commits. Formal Aspects in Security and Trust 2008: 143-161 - [c57]Bart Jacobs:
Coalgebraic Trace Semantics for Combined Possibilitistic and Probabilistic Systems. CMCS 2008: 131-152 - [i3]Jaap-Henk Hoepman, Bart Jacobs:
Increased security through open source. CoRR abs/0801.3924 (2008) - [i2]Jaap-Henk Hoepman, Engelbert Hubbers, Bart Jacobs, Martijn Oostdijk, Ronny Wichers Schreur:
Crossing Borders: Security and Privacy Issues of the European e-Passport. CoRR abs/0801.3930 (2008) - 2007
- [j28]Jaap-Henk Hoepman, Bart Jacobs:
Increased security through open source. Commun. ACM 50(1): 79-83 (2007) - [j27]Bart Jacobs, Sjaak Smetsers, Ronny Wichers Schreur:
Code-carrying theories. Formal Aspects Comput. 19(2): 191-203 (2007) - [j26]Ichiro Hasuo
, Bart Jacobs, Ana Sokolova
:
Generic Trace Semantics via Coinduction. Log. Methods Comput. Sci. 3(4) (2007) - [c56]Ichiro Hasuo, Bart Jacobs, Tarmo Uustalu
:
Categorical Views on Computations on Trees (Extended Abstract). ICALP 2007: 619-630 - [c55]Marko C. J. D. van Eekelen, Olha Shkaravska, Ron van Kesteren, Bart Jacobs, Erik Poll, Sjaak Smetsers:
AHA: Amortized Heap Space Usage Analysis. Trends in Functional Programming 2007: 36-53 - [i1]Ichiro Hasuo, Bart Jacobs, Ana Sokolova:
Generic Trace Semantics via Coinduction. CoRR abs/0710.2505 (2007) - 2006
- [j25]Bart Jacobs:
Distributive laws for the coinductive solution of recursive equations. Inf. Comput. 204(4): 561-587 (2006) - [c54]Bart Jacobs:
A Bialgebraic Review of Deterministic Automata, Regular Expressions and Languages. Essays Dedicated to Joseph A. Goguen 2006: 375-404 - [c53]Jaap-Henk Hoepman, Engelbert Hubbers, Bart Jacobs, Martijn Oostdijk, Ronny Wichers Schreur:
Crossing Borders: Security and Privacy Issues of the European e-Passport. IWSEC 2006: 152-167 - [c52]Bart Jacobs, Ichiro Hasuo
:
Freyd is Kleisli, for Arrows. MSFP@MPC 2006 - [c51]Ichiro Hasuo
, Bart Jacobs, Ana Sokolova
:
Generic Trace Theory. CMCS 2006: 47-65 - [c50]Chris Heunen, Bart Jacobs:
Arrows, like Monads, are Monoids. MFPS 2006: 219-236 - [p1]Bart Jacobs, John M. Rushby:
PVS. The Seventeen Provers of the World 2006: 24-27 - 2005
- [j24]Cees-Bart Breunesse, Néstor Cataño
, Marieke Huisman
, Bart Jacobs:
Formal methods for smart cards: an experience report. Sci. Comput. Program. 55(1-3): 53-80 (2005) - [c49]Ichiro Hasuo, Bart Jacobs:
Context-Free Languages via Coalgebraic Trace Semantics. CALCO 2005: 213-231 - [c48]Engelbert Hubbers, Bart Jacobs, Wolter Pieters:
RIES - Internet Voting in Action. COMPSAC (1) 2005: 417-424 - [c47]Bart Jacobs, Wolter Pieters, Martijn Warnier
:
Statically checking confidentiality via dynamic labels. WITS 2005: 50-56 - 2004
- [j23]Bart Jacobs:
Weakest pre-condition reasoning for Java programs with JML annotations. J. Log. Algebraic Methods Program. 58(1-2): 61-88 (2004) - [j22]Bart Jacobs, Martijn Oostdijk, Martijn Warnier
:
Source code verification of a secure payment applet. J. Log. Algebraic Methods Program. 58(1-2): 107-120 (2004) - [j21]Jesse Hughes, Bart Jacobs:
Simulations in coalgebra. Theor. Comput. Sci. 327(1-2): 71-108 (2004) - [c46]Bart Jacobs, Engelbert Hubbers, Joseph Kiniry, Martijn Oostdijk:
Counting Votes with Formal Methods. AMAST 2004: 21-22 - [c45]Bart Jacobs, Claude Marché, Nicole Rauch:
Formal Verification of a Commercial Smart Card Applet with Multiple Tools. AMAST 2004: 241-257 - [c44]Bart Jacobs:
Relating Two Approaches to Coinductive Solution of Recursive Equations. CMCS 2004: 145-166 - [c43]Bart Jacobs:
Trace Semantics for Coalgebras. CMCS 2004: 167-184 - 2003
- [j20]Bart Jacobs, Erik Poll:
Coalgebras and monads in the semantics of Java. Theor. Comput. Sci. 291(3): 329-349 (2003) - [c42]Bart Jacobs:
Java's Integral Types in PVS. FMOODS 2003: 1-15 - [c41]Bart Jacobs, Erik Poll:
Java Program Verification at Nijmegen: Developments and Perspective. ISSS 2003: 134-153 - [c40]Bart Jacobs, Jesse Hughes:
Simulations in Coalgebra. CMCS 2003: 128-149 - 2002
- [j19]Bart Jacobs:
The Temporal Logic of Coalgebras via Galois Algebras. Math. Struct. Comput. Sci. 12(6): 875-903 (2002) - [j18]Bart Jacobs, Jan J. M. M. Rutten:
Coalgebraic Methods in Computer Science - Foreword. Theor. Comput. Sci. 280(1-2): 1 (2002) - [c39]Cees-Bart Breunesse, Bart Jacobs, Joachim van den Berg:
Specifying and Verifying a Decimal Representation in Java for Smart Cards. AMAST 2002: 304-318 - [c38]Bart Jacobs, Joseph Kiniry, Martijn Warnier
:
Java Program Verification Challenges. FMCO 2002: 202-219 - [c37]Bart Jacobs:
Comprehension for Coalgebras. CMCS 2002: 112-134 - [c36]Jesse Hughes, Bart Jacobs:
Factorization systems and fibrations: Toward a fibred Birkhoff variety theorem. CTCS 2002: 156-182 - [e3]Bart Jacobs, Arend Rensink:
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. IFIP Conference Proceedings 209, Kluwer 2002, ISBN 0-7923-7683-8 [contents] - 2001
- [b1]Bart P. F. Jacobs:
Categorical Logic and Type Theory. Studies in logic and the foundations of mathematics 141, North-Holland 2001, ISBN 978-0-444-50853-9, pp. I-XVII, 1-760 - [j17]Erik Poll, Joachim van den Berg, Bart Jacobs:
Formal specification of the JavaCard API in JML: the APDU class. Comput. Networks 36(4): 407-421 (2001) - [j16]Bart Jacobs:
Many-Sorted Coalgebraic Modal Logic: a Model-theoretic Study. RAIRO Theor. Informatics Appl. 35(1): 31-59 (2001) - [j15]Jan Rothe, Hendrik Tews, Bart Jacobs:
The Coalgebraic Class Specification Language CCSL. J. Univers. Comput. Sci. 7(2): 175-193 (2001) - [j14]Marieke Huisman
, Bart Jacobs, Joachim van den Berg:
A case study in class library verification: Java's vector class. Int. J. Softw. Tools Technol. Transf. 3(3): 332-352 (2001) - [j13]Bart Jacobs, Larry Moss, Horst Reichel, Jan J. M. M. Rutten:
Foreword : Coalgebraic Methods in Computer Science 1998. Theor. Comput. Sci. 260(1-2): 1 (2001) - [c35]Bart Jacobs:
A Formalisation of Java's Exception Mechanism. ESOP 2001: 284-301 - [c34]Bart Jacobs, Erik Poll:
A Logic for the Java Modeling Language JML. FASE 2001: 284-299 - [c33]Joachim van den Berg, Bart Jacobs:
The LOOP Compiler for Java and JML. TACAS 2001: 299-312 - [c32]Bart Jacobs:
JavaCard Program Verification. TPHOLs 2001: 1-3 - 2000
- [j12]Bart Jacobs:
Object-oriented hybrid systems of coalgebras plus monoid actions. Theor. Comput. Sci. 239(1): 41-95 (2000) - [c31]Bart Jacobs:
Exercises in Coalgebraic Specification. Algebraic and Coalgebraic Methods in the Mathematics of Program Construction 2000: 237-280 - [c30]Bart Jacobs, Erik Poll:
A Monad for Basic Java Semantics. AMAST 2000: 150-164 - [c29]Erik Poll, Joachim van den Berg, Bart Jacobs:
Specification of the JavaCard API in JML. CARDIS 2000: 135-154 - [c28]Sophia Drossopoulou, Susan Eisenbach, Bart Jacobs, Gary T. Leavens, Peter Müller, Arnd Poetzsch-Heffter:
Formal Techniques for Java Programs. ECOOP Workshops 2000: 41-54 - [c27]Marieke Huisman
, Bart Jacobs:
Java Program Verification via a Hoare Logic with Abrupt Termination. FASE 2000: 284-303 - [c26]Joachim van den Berg, Bart Jacobs, Erik Poll:
Formal Specification and Verification of JavaCard's Application Identifier Class. Java Card Workshop 2000: 137-150 - [c25]Gary T. Leavens, Clyde Ruby, K. Rustan M. Leino, Erik Poll, Bart Jacobs:
JML (poster session): notations and tools supporting detailed design in Java. OOPSLA Addendum 2000: 105-106 - [c24]Marieke Huisman
, Bart Jacobs:
Inheritance in Higher Order Logic: Modeling and Reasoning. TPHOLs 2000: 301-319 - [c23]Bart Jacobs:
Towards a Duality Result in Coalgebraic Modal Logic. CMCS 2000: 160-195
1990 – 1999
- 1999
- [j11]Ulrich Hensel, Bart Jacobs:
Coalgebraic Theories of Sequences in PVS. J. Log. Comput. 9(4): 463-500 (1999) - [c22]Bart Jacobs, Gary T. Leavens, Peter Müller, Arnd Poetzsch-Heffter:
Formal Techniques for Java Programs. ECOOP Workshops 1999: 97-115 - [c21]Marieke Huisman, Bart Jacobs, Joachim van den Berg:
A Case Study in Class Library Verification: Java's Vector Class. ECOOP Workshops 1999: 109-110 - [c20]Joachim van den Berg, Marieke Huisman
, Bart Jacobs, Erik Poll:
A Type-Theoretic Memory Model for Verification of Sequential Java Programs. WADT 1999: 1-21 - [c19]Bart Jacobs, Jan J. M. M. Rutten:
Preface. CMCS 1999: 1 - [e2]Bart Jacobs, Jan J. M. M. Rutten:
Coalgebraic Methods in Computer Science, CMCS 1999, Amsterdam, The Netherlands, March 20-21, 1999. Electronic Notes in Theoretical Computer Science 19, Elsevier 1999 [contents] - 1998
- [j10]Claudio Hermida, Bart Jacobs:
Structural Induction and Coinduction in a Fibrational Setting. Inf. Comput. 145(2): 107-152 (1998) - [c18]Ulrich Hensel, Marieke Huisman
, Bart Jacobs, Hendrik Tews:
Reasonong about Classess in Object-Oriented Languages: Logical Models and Tools. ESOP 1998: 105-121 - [c17]Bart Jacobs, Joachim van den Berg, Marieke Huisman
, Martijn van Berkum:
Reasoning about Java Classes (Preliminary Report). OOPSLA 1998: 329-340 - [c16]Bart Jacobs:
Coalgebraic Reasoning about Classes in Object-Oriented Languages. CMCS 1998: 231-242 - [c15]Bart Jacobs, Larry Moss, Horst Reichel, Jan J. M. M. Rutten:
Preface. CMCS 1998: 259 - [e1]Bart Jacobs, Larry Moss, Horst Reichel, Jan J. M. M. Rutten:
First Workshop on Coalgebraic Methods in Computer Science, CMCS 1998, Lisbon, Portugal, March 28-29, 1998. Electronic Notes in Theoretical Computer Science 11, Elsevier 1998 [contents] - 1997
- [c14]Bart Jacobs:
Invariants, Bisimulations and the Correctness of Coalgebraic Refinements. AMAST 1997: 276-291 - [c13]Ulrich Hensel, Bart Jacobs:
Proof Principles for Datatypes with Iterated Recursion. Category Theory and Computer Science 1997: 220-241 - [c12]Bart Jacobs:
Behaviour-Refinement of Coalgebraic Specifications with Coinductive Correctness Proofs. TAPSOFT 1997: 787-802 - 1996
- [j9]Bart Jacobs:
On Cubism. J. Funct. Program. 6(3): 379-391 (1996) - [c11]Bart Jacobs:
Coalgebraic Specifications and Models of Determinatistic Hybrid Systems. AMAST 1996: 520-535 - [c10]Bart Jacobs:
Inheritance and Cofree Constructions. ECOOP 1996: 210-231 - 1995
- [j8]Bart Jacobs:
Parameters and Parametrization in Specification, Using Distributive Categories. Fundam. Informaticae 24(3): 209-250 (1995) - [j7]Claudio Hermida, Bart Jacobs:
Fibrations with Indeterminates: Contextual and Functional Completeness for Polymorphic Lambda Calculi. Math. Struct. Comput. Sci. 5(4): 501-531 (1995) - [j6]Marcello M. Bonsangue
, Bart Jacobs, Joost N. Kok:
Duality Beyond Sober Spaces: Topological Spaces and Observation Frames. Theor. Comput. Sci. 151(1): 79-124 (1995) - [c9]Bart Jacobs:
Mongruences and Cofree Coalgebras. AMAST 1995: 245-260 - [c8]Bart Jacobs:
Objects and Classes, Co-Algebraically. Object Orientation with Parallelism and Persistence 1995: 83-103 - [c7]Bart Jacobs:
Subtypes and bounded quantification from a fibred perspective. MFPS 1995: 273-289 - 1994
- [j5]Bart Jacobs:
Semantics of Weakening and Contraction. Ann. Pure Appl. Log. 69(1): 73-106 (1994) - [c6]Claudio Hermida, Bart Jacobs:
An Algebraic View of Structural Induction. CSL 1994: 412-426 - [c5]Bart Jacobs:
Coalgebras and Approximation. LFCS 1994: 173-183 - 1993
- [j4]Bart Jacobs:
Comprehension Categories and the Semantics of Type Dependency. Theor. Comput. Sci. 107(2): 169-207 (1993) - [c4]Bart Jacobs:
Semantics of lambda-I and of other substructure lambda calculi. TLCA 1993: 195-208 - [c3]Bart Jacobs, Thomas F. Melham:
Translating Dependent Type Theory into Higher Order Logic. TLCA 1993: 209-229 - 1992
- [j3]Bart Jacobs, Ines Margaria, Maddalena Zacchi:
Filter Models with Polymorphic Types. Theor. Comput. Sci. 95(1): 143-148 (1992) - 1991
- [j2]Bart Jacobs:
Semantics of the Second Order Lambda Calculus. Math. Struct. Comput. Sci. 1(3): 327-360 (1991) - [c2]Bart Jacobs, Eugenio Moggi
, Thomas Streicher:
Relating Models of Impredicative Type Theories. Category Theory and Computer Science 1991: 197-218
1980 – 1989
- 1989
- [j1]Bart Jacobs:
The inconsistency of higher order extensions of Martin-Löf's type theory. J. Philos. Log. 18(4): 399-422 (1989) - [c1]Bart Jacobs:
On the Semantics of Second Order Lambda Calculus: From Bruce-Meyer-Mitchell Models to Hyperdoctrine Models and Vice-Versa. Category Theory and Computer Science 1989: 198-212
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-07-03 21:35 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint