| Publication | Date of Publication | Type |
|---|
| https://portal.mardi4nfdi.de/entity/Q5089003 | 2022-07-18 | Paper |
| Learning Symmetric Rules with SATNet | 2022-06-28 | Paper |
| Deep neural networks with dependent weights: Gaussian Process mixture limit, heavy tails, sparsity and compressibility | 2022-05-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5002829 | 2021-07-28 | Paper |
| Specification and space complexity of collaborative text editing | 2021-01-25 | Paper |
| A Convenient Category for Higher-Order Probability Theory | 2021-01-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5111640 | 2020-05-27 | Paper |
| Learning analysis strategies for Octagon and context sensitivity from labeled data generated by static analyses | 2018-10-04 | Paper |
| Learning a variable-clustering strategy for Octagon from labeled data generated by a static analysis | 2018-08-27 | Paper |
| Transaction chopping for parallel snapshot isolation | 2018-08-24 | Paper |
| Semantics for probabilistic programming | 2018-04-23 | Paper |
| Specification and Complexity of Collaborative Text Editing | 2017-09-29 | Paper |
| Abstraction refinement guided by a learnt probabilistic model | 2016-10-24 | Paper |
| 'Cause I'm strong enough: reasoning about consistency choices in distributed systems | 2016-10-24 | Paper |
| Symbolic automata for representing big code | 2016-06-28 | Paper |
| Composite Replicated Data Types | 2016-04-26 | Paper |
| Separation and information hiding | 2015-11-11 | Paper |
| Compositional shape analysis by means of bi-abduction | 2015-07-03 | Paper |
| Modular verification of preemptive OS kernels | 2015-03-05 | Paper |
| Views | 2014-11-27 | Paper |
| Parameterised Linearisability | 2014-07-01 | Paper |
| Step-indexed kripke models over recursive worlds | 2014-04-10 | Paper |
| Replicated data types | 2014-04-10 | Paper |
| A divide-and-conquer approach for analysing overlaid data structures | 2014-03-28 | Paper |
| Modular verification of preemptive OS kernels | 2014-02-27 | Paper |
| Compositional Shape Analysis by Means of Bi-Abduction | 2014-02-17 | Paper |
| Symbolic Automata for Static Specification Mining | 2014-01-21 | Paper |
| Variables as resource in separation logic | 2013-10-08 | Paper |
| Linearizability with ownership transfer | 2013-09-26 | Paper |
| Verifying Concurrent Memory Reclamation Algorithms with Grace | 2013-08-05 | Paper |
| A step-indexed Kripke model of hidden state | 2013-03-14 | Paper |
| Show No Weakness: Sequentially Consistent Specifications of TSO Libraries | 2013-03-13 | Paper |
| Linearizability with Ownership Transfer | 2012-09-25 | Paper |
| Two for the price of one: lifting separation logic assertions | 2012-09-25 | Paper |
| Concurrent Library Correctness on the TSO Memory Model | 2012-06-22 | Paper |
| Nested Hoare Triples and Frame Rules for Higher-order Store | 2012-04-02 | Paper |
| Liveness-Preserving Atomicity Abstraction | 2011-07-07 | Paper |
| Abstraction for concurrent objects | 2011-01-07 | Paper |
| Blaming the client: on data refinement in the presence of pointers | 2010-11-22 | Paper |
| A Semantic Foundation for Hidden State | 2010-04-27 | Paper |
| Programming Languages and Systems | 2010-01-05 | Paper |
| Nested Hoare Triples and Frame Rules for Higher-Order Store | 2009-11-12 | Paper |
| Abstraction for Concurrent Objects | 2009-03-31 | Paper |
| Beyond Reachability: Shape Abstraction in the Presence of Pointer Arithmetic | 2009-03-12 | Paper |
| A Simple Model of Separation Logic for Higher-Order Store | 2008-08-19 | Paper |
| Relational Parametricity and Separation Logic | 2008-08-07 | Paper |
| Scalable Shape Analysis for Systems Code | 2008-07-15 | Paper |
| Ranking Abstractions | 2008-04-11 | Paper |
| Shape Analysis for Composite Data Structures | 2007-11-29 | Paper |
| Semantics of Separation-Logic Typing and Higher-order Frame Rules for Algol-like Languages | 2007-10-11 | Paper |
| Relational Parametricity and Separation Logic | 2007-09-07 | Paper |
| Relational separation logic | 2007-05-11 | Paper |
| Tools and Algorithms for the Construction and Analysis of Systems | 2007-05-02 | Paper |
| Programming Languages and Systems | 2006-10-20 | Paper |
| Static insertion of safe and effective memory reuse commands into ML-like programs | 2005-10-10 | Paper |
| Programming Languages and Systems | 2005-09-13 | Paper |
| Correctness of data representations involving heap data structures | 2004-11-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4813398 | 2004-08-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4738240 | 2004-08-11 | Paper |
| Possible worlds and resources: The semantics of \(\mathbf{BI}\) | 2004-08-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4474211 | 2004-08-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4417896 | 2003-07-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4783297 | 2002-12-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4508314 | 2000-10-03 | Paper |
| Probabilistic programming interfaces for random graphs: Markov categories, graphons, and nominal sets | N/A | Paper |
