| Publication | Date of Publication | Type |
|---|
ESCOTT results on ProteinGym DMS Substitutions dataset
| 2024-10-17 | Dataset |
iGEMME Missense Mutational Effect Predictions for Entire Human Proteome
| 2024-02-16 | Dataset |
ESCOTT Missense Mutational Effect Predictions for Entire Human Proteome
| 2024-02-16 | Dataset |
ESCOTT mutational effect predictions for ProteinGym Substitutions Dataset with Colabfold MSAs
| 2024-02-06 | Dataset |
PRESCOTT/ESCOTT/iGEMME mutational effect predictions of all single point mutations for ~3000 proteins
| 2024-01-05 | Dataset |
PRESCOTT/ESCOTT/iGEMME mutational effect predictions of all single point mutations for about 3000 proteins
| 2023-07-05 | Dataset |
ESCOTT mutational effect predictions for ProteinGym Substitutions Dataset
| 2023-07-05 | Dataset |
Extracting coevolving characters from a tree of species
Discrete and Topological Models in Molecular Biology | 2014-06-23 | Paper |
Combinatorics of chromosomal rearrangements based on synteny blocks and synteny packs
Journal of Logic and Computation | 2013-08-27 | Paper |
Co-evolution and information signals in biological sequences
Theoretical Computer Science | 2011-05-18 | Paper |
A new mapping between combinatorial proofs and sequent calculus proofs read out from logical flow graphs
Information and Computation | 2010-04-22 | Paper |
Logical structures and genus of proofs
Annals of Pure and Applied Logic | 2009-11-04 | Paper |
Co-evolution and Information Signals in Biological Sequences
Lecture Notes in Computer Science | 2009-06-03 | Paper |
Aspects of Molecular Computing
Lecture Notes in Computer Science | 2009-05-14 | Paper |
Group cancellation and resolution
Studia Logica | 2006-03-17 | Paper |
3D fractal DNA assembly from coding, geometry and protection
Natural Computing | 2005-01-17 | Paper |
Coding and geometrical shapes in nanostructures: a fractal DNA-assembly
Natural Computing | 2004-03-15 | Paper |
Functional labels and syntactic entropy on DNA strings and proteins.
Theoretical Computer Science | 2003-08-17 | Paper |
A route to fractal DNA-assembly
Natural Computing | 2003-05-04 | Paper |
Looking from the inside and from the outside
Synthese | 2001-07-18 | Paper |
Mathematical slices of molecular biology
Gazette des Mathématiciens | 2001-05-28 | Paper |
Quantified propositional logic and the number of lines of tree-like proofs
Studia Logica | 2001-03-07 | Paper |
scientific article; zbMATH DE number 1493054 (Why is no real title available?)
| 2000-08-20 | Paper |
Making proofs without Modus Ponens: An introduction to the combinatorics and complexity of cut elimination
Bulletin of the American Mathematical Society | 1997-05-27 | Paper |
Provable fixed points in \(I \Delta{}_ 0+\Omega{}_ 1\)
Notre Dame Journal of Formal Logic | 1992-06-28 | Paper |
Much shorter proofs: A bimodal investigation
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik | 1990-01-01 | Paper |
Rosser Orderings in Bimodal Logics
Mathematical Logic Quarterly | 1989-01-01 | Paper |
Some Combinatorics behind Proofs
| N/A | Paper |
