| Publication | Date of Publication | Type |
|---|
| UNITY and Büchi automata | 2021-05-19 | Paper |
| An algorithm for the asynchronous Write-All problem based on process collision | 2020-12-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5137889 | 2020-12-03 | Paper |
| Wait-free concurrent memory management by Create and Read until Deletion (CaRuD) | 2020-12-03 | Paper |
| Wait-free linearization with an assertional proof | 2020-11-30 | Paper |
| Wait-free linearization with a mechanical proof | 2020-11-30 | Paper |
| Conditionally complete sponges: new results on generalized lattices | 2019-07-17 | Paper |
| The nullcone of the Lie algebra of \(G_2\) | 2019-06-18 | Paper |
| The quartet spaces of G. 't Hooft | 2018-03-16 | Paper |
| Tournaments for mutual exclusion: verification and concurrent complexity | 2017-11-29 | Paper |
| Eternity variables to prove simulation of specifications | 2017-07-12 | Paper |
| Correctness and concurrent complexity of the black-white bakery algorithm | 2016-08-04 | Paper |
| Formalizing a Hierarchical File System | 2016-08-01 | Paper |
| Invariants for the construction of a handshake register | 2016-06-09 | Paper |
| Starvation-free mutual exclusion with semaphores | 2014-11-10 | Paper |
| Simulation Refinement for Concurrency Verification | 2014-03-26 | Paper |
| A distributed resource allocation algorithm for many processes | 2013-11-11 | Paper |
| Verifying a simplification of mutual exclusion by Lycklama-Hadzilacos | 2013-06-28 | Paper |
| Lock-free dynamic hash tables with open addressing | 2013-06-07 | Paper |
| Graph theory for alternating hydrocarbons with attached ports | 2013-01-03 | Paper |
| Finite and infinite implementation of transition systems | 2012-11-08 | Paper |
| Formalizing a hierarchical file system | 2012-07-03 | Paper |
| Nonatomic dual bakery algorithm with bounded tokens | 2012-03-23 | Paper |
| Simulation refinement for concurrency verification | 2011-06-06 | Paper |
| Queue based mutual exclusion with linearly bounded overtaking | 2011-05-04 | Paper |
| Solutions of equations in languages | 2010-11-22 | Paper |
| Simple concurrent garbage collection almost without synchronization | 2010-09-16 | Paper |
| Alternating states for dual nondeterminism in imperative programming | 2010-05-27 | Paper |
| A linear-time algorithm for Euclidean feature transform sets | 2010-01-29 | Paper |
| Salembier's min-tree algorithm turned into breadth first search | 2009-07-09 | Paper |
| A queue based mutual exclusion algorithm | 2009-03-26 | Paper |
| A challenge for atomicity verification | 2008-04-16 | Paper |
| Universal extensions to simulate specifications | 2008-03-11 | Paper |
| A criterion for atomicity revisited | 2007-06-07 | Paper |
| A general lock-free algorithm using compare-and-swap | 2007-02-20 | Paper |
| Lock-free parallel and concurrent garbage collection by mark\&sweep | 2007-01-11 | Paper |
| Refinement verification of the lazy caching algorithm | 2006-10-18 | Paper |
| Splitting forward simulations to cope with liveness | 2006-05-26 | Paper |
| Computer Aided Verification | 2005-08-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4681376 | 2005-06-23 | Paper |
| An assertional proof for a construction of an atomic variable | 2005-02-24 | Paper |
| Using eternity variables to specify and prove a serializable database interface | 2004-10-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4808690 | 2004-08-12 | Paper |
| Preference rankings in the face of uncertainty | 2004-03-11 | Paper |
| An assertional criterion for atomicity | 2002-08-14 | Paper |
| Concurrent determination of connected components | 2002-07-22 | Paper |
| A general algorithm for computing distance transforms in linear time | 2002-03-21 | Paper |
| A generalization of Naundorf's fixpoint theorem | 2000-10-26 | Paper |
| Predicate transformers for recursive procedures with local variables | 2000-08-27 | Paper |
| Fixpoint semantics and simulation | 2000-08-21 | Paper |
| The verified incremental design of a distributed spanning tree algorithm: Extended abstract | 2000-01-02 | Paper |
| Theories for mechanical proofs of imperative programs | 1998-10-06 | Paper |
| A mechanical proof of Segall's PIF algorithm | 1997-11-10 | Paper |
| Safety and progress of recursive procedures | 1996-02-01 | Paper |
| Bounded delay for a free address | 1995-11-19 | Paper |
| Proof rules for recursive procedures | 1994-06-29 | Paper |
| Nondeterminacy and recursion via stacks and games | 1994-04-05 | Paper |
| Programs, Recursion and Unbounded Choice | 1993-01-23 | Paper |
| LR-parsing derived | 1992-12-16 | Paper |
| Processes and formalisms for unbounded choice | 1992-09-27 | Paper |
| Smoothsort revisited | 1992-06-28 | Paper |
| Repetitions, known or unknown? | 1992-06-28 | Paper |
| A mathematical approach to nondeterminism in data types | 1992-06-25 | Paper |
| Command algebras, recursion and program transformation | 1990-01-01 | Paper |
| Axioms and models of linear logic | 1990-01-01 | Paper |
| Predicate-transformer semantics of general recursion | 1989-01-01 | Paper |
| Interpretations of recursion under unbounded nondeterminacy | 1988-01-01 | Paper |
| Deadlock and fairness in morphisms of transition systems | 1988-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3752549 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3735881 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3701568 | 1985-01-01 | Paper |
| Schemes of linear configurations in projective plane. | 1984-01-01 | Paper |
| Special and pure gradings of Lie algebras | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3919819 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3941532 | 1981-01-01 | Paper |
| Characters of the nullcone | 1980-01-01 | Paper |
| Desingularizations of varieties of nullforms | 1979-01-01 | Paper |
| Nilpotency in classical groups over a field of characteristic 2 | 1979-01-01 | Paper |
| The normality of closures of orbits in a Lie algebra | 1979-01-01 | Paper |
| Uniform instability in reductive groups. | 1978-01-01 | Paper |
| Polarizations in the classical groups | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4156927 | 1977-01-01 | Paper |
| Depth and Normal Flatness, two Examples | 1977-01-01 | Paper |
| Cohomology and the resolution of the nilpotent variety | 1976-01-01 | Paper |
| Singularities in the Nilpotent Scheme of a Classical Group | 1976-01-01 | Paper |
