| 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
Lecture Notes in Computer Science | 2023-12-12 | Paper |
On realizing shapes in the theory of RNA neutral networks
Journal of Theoretical Biology | 2020-07-09 | Paper |
An IP algorithm for RNA folding trajectories
| 2020-05-27 | Paper |
Are RNA networks scale-free?
Journal of Mathematical Biology | 2020-03-05 | Paper |
RNA folding kinetics using Monte Carlo and Gillespie algorithms
Journal of Mathematical Biology | 2018-04-10 | Paper |
RNA folding pathways and kinetics using 2D energy landscapes
Journal of Mathematical Biology | 2015-02-02 | Paper |
Asymptotic number of hairpins of saturated RNA secondary structures
Bulletin of Mathematical Biology | 2014-04-22 | Paper |
Combinatorics of locally optimal RNA secondary structures
Journal of Mathematical Biology | 2014-02-25 | Paper |
On the page number of RNA secondary structures with pseudoknots
Journal of Mathematical Biology | 2012-12-13 | Paper |
Expected distance between terminal nucleotides of RNA secondary structures
Journal of Mathematical Biology | 2012-10-22 | Paper |
Introduction to special issue on RNA
Journal of Mathematical Biology | 2008-08-18 | Paper |
Asymptotic expected number of base pairs in optimal secondary structure for random RNA using the Nussinov--Jacobson energy model
Discrete Applied Mathematics | 2007-04-18 | Paper |
Symmetric time warping, Boltzmann pair probabilities and functional genomics
Journal of Mathematical Biology | 2006-10-27 | Paper |
Solving the Fisher-Wright and coalescence problems with a discrete Markov chain analysis
Advances in Applied Probability | 2005-04-05 | Paper |
scientific article; zbMATH DE number 1390027 (Why is no real title available?)
| 2000-07-13 | Paper |
scientific article; zbMATH DE number 1455130 (Why is no real title available?)
| 2000-06-05 | Paper |
scientific article; zbMATH DE number 1223611 (Why is no real title available?)
| 1999-06-21 | Paper |
scientific article; zbMATH DE number 1295215 (Why is no real title available?)
| 1999-06-03 | Paper |
scientific article; zbMATH DE number 1187507 (Why is no real title available?)
| 1999-03-07 | Paper |
scientific article; zbMATH DE number 1405648 (Why is no real title available?)
| 1999-01-01 | Paper |
scientific article; zbMATH DE number 1114019 (Why is no real title available?)
| 1998-11-10 | Paper |
Nondeterministic stack register machines
Theoretical Computer Science | 1998-07-22 | Paper |
scientific article; zbMATH DE number 1114331 (Why is no real title available?)
| 1998-02-08 | Paper |
ALOGTIME and a conjecture of S. A. Cook
Annals of Mathematics and Artificial Intelligence | 1997-05-13 | Paper |
scientific article; zbMATH DE number 953683 (Why is no real title available?)
| 1996-12-03 | Paper |
Cutting planes, connectivity, and threshold logic
Archive for Mathematical Logic | 1996-07-16 | Paper |
Editor's introduction to the special issue on ``Models of arithmetic
Notre Dame Journal of Formal Logic | 1996-07-08 | Paper |
scientific article; zbMATH DE number 806747 (Why is no real title available?)
| 1996-06-06 | Paper |
Cutting plane and Frege proofs
Information and Computation | 1996-04-16 | Paper |
scientific article; zbMATH DE number 440478 (Why is no real title available?)
| 1994-08-21 | Paper |
scientific article; zbMATH DE number 176199 (Why is no real title available?)
| 1993-05-18 | Paper |
Bounded arithmetic for NC, ALogTIME, L and NL
Annals of Pure and Applied Logic | 1992-09-27 | Paper |
A time-space hierarchy between polynomial time and polynomial space
Mathematical Systems Theory | 1992-09-26 | Paper |
Boolean Functions, Invariance Groups, and Parallel Complexity
SIAM Journal on Computing | 1991-01-01 | Paper |
scientific article; zbMATH DE number 4172969 (Why is no real title available?)
| 1990-01-01 | Paper |
On some formalized conservation results in arithmetic
Archive for Mathematical Logic | 1990-01-01 | Paper |
scientific article; zbMATH DE number 4139728 (Why is no real title available?)
| 1990-01-01 | Paper |
The metamathematics of scattered linear orderings
Archive for Mathematical Logic | 1989-01-01 | Paper |
A note on the Mac Dowell-Specker theorem
Fundamenta Mathematicae | 1987-01-01 | Paper |
scientific article; zbMATH DE number 4006252 (Why is no real title available?)
| 1986-01-01 | Paper |
Members of countable \(\Pi ^ 0_ 1\) classes
Annals of Pure and Applied Logic | 1986-01-01 | Paper |
On the finite containment problem for Petri nets
Theoretical Computer Science | 1986-01-01 | Paper |
scientific article; zbMATH DE number 4002096 (Why is no real title available?)
| 1986-01-01 | Paper |
A generalization of the limit lemma and clopen games
Journal of Symbolic Logic | 1986-01-01 | Paper |
On Recursive Trees with a Unique Infinite Branch
| 1985-01-01 | Paper |
Optimal bounds for ordinal comparison maps
Archiv für Mathematische Logik und Grundlagenforschung | 1985-01-01 | Paper |
scientific article; zbMATH DE number 3916272 (Why is no real title available?)
| 1985-01-01 | Paper |
scientific article; zbMATH DE number 3904585 (Why is no real title available?)
| 1985-01-01 | Paper |
A recursion theoretic analysis of the clopen Ramsey theorem
Journal of Symbolic Logic | 1984-01-01 | Paper |
scientific article; zbMATH DE number 4025438 (Why is no real title available?)
| 1984-01-01 | Paper |
Two further combinatorial theorems equivalent to the 1-consistency of peano arithmetic
Journal of Symbolic Logic | 1983-01-01 | Paper |
scientific article; zbMATH DE number 3743234 (Why is no real title available?)
| 1981-01-01 | Paper |
scientific article; zbMATH DE number 3743235 (Why is no real title available?)
| 1981-01-01 | Paper |
scientific article; zbMATH DE number 3695168 (Why is no real title available?)
| 1980-01-01 | Paper |
