Publication | Date of Publication | Type |
---|
UNITY and Büchi automata | 2021-05-19 | 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 |
An algorithm for the asynchronous Write-All problem based on process collision | 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 |
https://portal.mardi4nfdi.de/entity/Q2759989 | 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 |
Deadlock and fairness in morphisms of transition systems | 1988-01-01 | Paper |
Interpretations of recursion under unbounded nondeterminacy | 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 |
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 |
Desingularizations of varieties of nullforms | 1979-01-01 | Paper |
Polarizations in the classical groups | 1978-01-01 | Paper |
Uniform instability in reductive groups. | 1978-01-01 | Paper |
Depth and Normal Flatness, two Examples | 1977-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4156927 | 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 |