| Publication | Date of Publication | Type |
|---|
| A note on the relation between polynomial time functionals and Constable's class \(\mathcal K\) | 2024-06-21 | Paper |
| Computation models and function algebras | 2023-12-12 | Paper |
| On realizing shapes in the theory of RNA neutral networks | 2020-07-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5111796 | 2020-05-27 | Paper |
| Are RNA networks scale-free? | 2020-03-05 | Paper |
| RNA folding kinetics using Monte Carlo and Gillespie algorithms | 2018-04-10 | Paper |
| RNA folding pathways and kinetics using 2D energy landscapes | 2015-02-02 | Paper |
| Asymptotic number of hairpins of saturated RNA secondary structures | 2014-04-22 | Paper |
| Combinatorics of locally optimal RNA secondary structures | 2014-02-25 | Paper |
| On the page number of RNA secondary structures with pseudoknots | 2012-12-13 | Paper |
| Expected distance between terminal nucleotides of RNA secondary structures | 2012-10-22 | Paper |
| Introduction to special issue on RNA | 2008-08-18 | Paper |
| Asymptotic expected number of base pairs in optimal secondary structure for random RNA using the Nussinov--Jacobson energy model | 2007-04-18 | Paper |
| Symmetric time warping, Boltzmann pair probabilities and functional genomics | 2006-10-27 | Paper |
| Solving the Fisher-Wright and coalescence problems with a discrete Markov chain analysis | 2005-04-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4934292 | 2000-07-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4484920 | 2000-06-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4218921 | 1999-06-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4248092 | 1999-06-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3840692 | 1999-03-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4938628 | 1999-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4375788 | 1998-11-10 | Paper |
| Nondeterministic stack register machines | 1998-07-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4376046 | 1998-02-08 | Paper |
| ALOGTIME and a conjecture of S. A. Cook | 1997-05-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4718423 | 1996-12-03 | Paper |
| Cutting planes, connectivity, and threshold logic | 1996-07-16 | Paper |
| Editor's introduction to the special issue on ``Models of arithmetic | 1996-07-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4850548 | 1996-06-06 | Paper |
| Cutting plane and Frege proofs | 1996-04-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3140635 | 1994-08-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4035303 | 1993-05-18 | Paper |
| Bounded arithmetic for NC, ALogTIME, L and NL | 1992-09-27 | Paper |
| A time-space hierarchy between polynomial time and polynomial space | 1992-09-26 | Paper |
| Boolean Functions, Invariance Groups, and Parallel Complexity | 1991-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3197820 | 1990-01-01 | Paper |
| On some formalized conservation results in arithmetic | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3472089 | 1990-01-01 | Paper |
| The metamathematics of scattered linear orderings | 1989-01-01 | Paper |
| A note on the Mac Dowell-Specker theorem | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3757904 | 1986-01-01 | Paper |
| Members of countable \(\Pi ^ 0_ 1\) classes | 1986-01-01 | Paper |
| On the finite containment problem for Petri nets | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3754621 | 1986-01-01 | Paper |
| A generalization of the limit lemma and clopen games | 1986-01-01 | Paper |
| On Recursive Trees with a Unique Infinite Branch | 1985-01-01 | Paper |
| Optimal bounds for ordinal comparison maps | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3691675 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3682484 | 1985-01-01 | Paper |
| A recursion theoretic analysis of the clopen Ramsey theorem | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3767345 | 1984-01-01 | Paper |
| Two further combinatorial theorems equivalent to the 1-consistency of peano arithmetic | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3929726 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3929727 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3889042 | 1980-01-01 | Paper |
