| Publication | Date of Publication | Type |
|---|
| The chain covering number of a poset with no infinite antichains | 2024-03-01 | Paper |
| On the ABK Conjecture, alpha-well Quasi Orders and Dress-Schiffels product | 2023-03-20 | Paper |
| Two-process synchronization | 2017-06-19 | Paper |
| Event-based proof of the mutual exclusion property of Peterson's algorithm | 2016-04-20 | Paper |
| A scattering of orders | 2013-08-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4904146 | 2013-01-28 | Paper |
| More results in polychromatic Ramsey theory | 2012-05-31 | Paper |
| Logical classification of distributed algorithms (Bakery algorithms as an example) | 2011-06-06 | Paper |
| Proper Forcing | 2010-11-05 | Paper |
| Cardinal Arithmetic | 2010-11-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3656208 | 2010-01-13 | Paper |
| Poset algebras over well quasi-ordered posets | 2008-07-30 | Paper |
| Some results in polychromatic Ramsey theory | 2007-10-17 | Paper |
| On Jakovlev spaces | 2007-10-09 | Paper |
| Infinite games on finite sets | 2007-09-03 | Paper |
| Ladder gaps over stationary sets | 2005-08-29 | Paper |
| Self-stabilizing timestamps | 2004-10-27 | Paper |
| Covering $\mathbb R^{n+1}$ by graphs of $n$-ary functions and long linear orderings of Turing degrees | 2004-08-13 | Paper |
| On poset Boolean algebras | 2004-08-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4461951 | 2004-05-18 | Paper |
| Coding with ladders a well ordering of the reals | 2003-05-12 | Paper |
| Self-stabilizing \(\ell\)-exclusion | 2002-03-03 | Paper |
| Lusin sequences under CH and under Martin's axiom | 2001-12-11 | Paper |
| On a superatomic Boolean algebra which is not generated by a well-founded sublattice | 2001-11-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4248071 | 1999-09-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4256353 | 1999-07-11 | Paper |
| Martin's axiom and \(\Delta_1^2\) well-ordering of the reals | 1998-10-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4347428 | 1997-12-22 | Paper |
| On interprocess communication and the implementation of multi-writer atomic registers | 1997-02-28 | Paper |
| On the mutual-exclusion problem -- a quest for minimal solutions | 1994-07-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4288290 | 1994-05-26 | Paper |
| A \({\Delta{}}^ 2_ 2\) well-order of the reals and incompactness of \(L(Q^{MM})\) | 1993-05-16 | Paper |
| Every Superatomic Subalgebra of an Interval Algebra is Embeddable in an Ordinal Algebra | 1992-09-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4732463 | 1989-01-01 | Paper |
| Squares with diamonds and Souslin trees with special squares | 1987-01-01 | Paper |
| A note on Dilworth's theorem in the infinite case | 1987-01-01 | Paper |
| On the intersection of closed unbounded sets | 1986-01-01 | Paper |
| Initial segments of the degrees of size \(\aleph _ 1\) | 1986-01-01 | Paper |
| The Degrees of Constructibility of Cohen Reals | 1986-01-01 | Paper |
| Isomorphism types of Aronszajn trees | 1985-01-01 | Paper |
| On the consistency of some partition theorems for continuous colorings, and the structure of \(\aleph _ 1\)-dense real order types | 1985-01-01 | Paper |
| Minimal model of \(\aleph ^ L_ 1\) is countable and definable reals | 1985-01-01 | Paper |
| A Minimal Model for � CH: Iteration of Jensen's Reals | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3679872 | 1984-01-01 | Paper |
| Aronszajn trees on \(\aleph_2\) and \(\aleph_3\). | 1983-01-01 | Paper |
| On forcing without the continuum hypothesis | 1983-01-01 | Paper |
| Forcing closed unbounded sets | 1983-01-01 | Paper |
