| Publication | Date of Publication | Type |
|---|
| https://portal.mardi4nfdi.de/entity/Q5101343 | 2022-08-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5111316 | 2020-05-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4625694 | 2019-02-25 | Paper |
| Fixed points in lambda calculus. an eccentric survey of problems and solutions | 2018-01-12 | Paper |
| Lambda theories allowing terms with a finite number of fixed points | 2017-04-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2789520 | 2016-03-01 | Paper |
| On the commutative equivalence of bounded context-free and regular languages: the semi-linear case | 2015-02-24 | Paper |
| On the commutative equivalence of bounded context-free and regular languages: the code case | 2014-12-02 | Paper |
| On the commutative equivalence of semi-linear sets of \(\mathbb{N}^k\) | 2014-12-02 | Paper |
| CGMurphi: automatic synthesis of numerical controllers for nonlinear hybrid systems | 2014-08-12 | Paper |
| Synchronized Regular Expressions | 2013-07-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2882383 | 2012-05-04 | Paper |
| Quasi-polynomials, linear Diophantine equations and semi-linear sets | 2012-03-13 | Paper |
| Automated Generation of Optimal Controllers through Model Checking Techniques | 2010-06-02 | Paper |
| Theoretical Computer Science | 2010-02-23 | Paper |
| Correct Hardware Design and Verification Methods | 2010-02-05 | Paper |
| Correct Hardware Design and Verification Methods | 2010-02-05 | Paper |
| The Parikh counting functions of sparse context-free languages are quasi-polynomials | 2009-11-06 | Paper |
| The Omega Rule is $\mathbf{\Pi_{1}^{1}}$-Complete in the $\lambda\beta$-Calculus | 2009-06-30 | Paper |
| On structural properties of eta-expansions of identity | 2009-04-28 | Paper |
| The Omega Rule is $\mathbf{\Pi_{1}^{1}}$ -Complete in the λβ-Calculus | 2009-03-10 | Paper |
| Solution of a Problem of Barendregt on Sensible lambda-Theories | 2007-10-11 | Paper |
| Formal Methods in Computer-Aided Design | 2006-10-20 | Paper |
| Automated Technology for Verification and Analysis | 2006-10-10 | Paper |
| On the structure of the counting function of sparse context-free languages. | 2006-05-18 | Paper |
| Some results on extensionality in lambda calculus | 2005-02-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4427905 | 2003-09-14 | Paper |
| Synchronized regular expressions | 2003-09-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4417845 | 2003-07-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4417987 | 2003-07-30 | Paper |
| Generating graphical applications from state-transition visual specifications | 2003-06-25 | Paper |
| A characterization of weakly Church-Rosser abstract reduction systems that are not Church-Rosser | 2003-01-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4787235 | 2003-01-09 | Paper |
| On the number of fixed points of a combinator in lambda calculus | 2001-07-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4522249 | 2001-06-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4941990 | 2001-01-07 | Paper |
| On the generalization of Higman and Kruskal's theorems to regular languages and rational trees | 2000-06-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4934252 | 2000-01-17 | Paper |
| Orders, reduction graphs and spectra | 1999-01-12 | Paper |
| Non-existent Statman's double fixed point combinator does not exist, indeed | 1997-12-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3837724 | 1997-08-04 | Paper |
| A remark on infinite matching vs infinite unification | 1996-12-16 | Paper |
| Some results on numerical systems in \(\lambda\)-calculus | 1996-01-30 | Paper |
| The ant-lion paradigm for strong normalization | 1994-11-20 | Paper |
| The basis decision problem in λ‐calculus | 1994-09-08 | Paper |
| On the cop number of a graph | 1994-07-03 | Paper |
| Some new results on easy lambda-terms | 1994-03-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4008736 | 1992-09-27 | Paper |
| Combinatorial principles in elementary number theory | 1992-06-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3982064 | 1992-06-26 | Paper |
| Negative Results on the Reduction of the Recursion Scheme | 1988-01-01 | Paper |
| BAIRE CATEGORY ON CARDINALS | 1983-01-01 | Paper |
