Johannes Waldmann

Available identifiers

zbMath Open waldmann.johannesMaRDI QIDQ703574

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q5089023	2022-07-18	Paper
https://portal.mardi4nfdi.de/entity/Q5015379	2021-12-07	Paper
Matrix Interpretations on Polyhedral Domains.	2017-07-12	Paper
https://portal.mardi4nfdi.de/entity/Q2958378	2017-02-01	Paper
Termination Competition (termCOMP 2015)	2015-12-02	Paper
Complexity Analysis of Term Rewriting Based on Matrix and Context Dependent Interpretations	2012-10-19	Paper
POLYNOMIALLY BOUNDED MATRIX INTERPRETATIONS	2012-04-25	Paper
Joint Spectral Radius Theory for Automated Complexity Analysis of Rewrite Systems	2011-07-08	Paper
https://portal.mardi4nfdi.de/entity/Q3077191	2011-02-22	Paper
https://portal.mardi4nfdi.de/entity/Q3077187	2011-02-22	Paper
Local termination: theory and practice	2010-09-21	Paper
Termination of \(\{aa\rightarrow bc,bb\rightarrow ac,cc\rightarrow ab\}\)	2010-01-18	Paper
Local Termination	2009-06-30	Paper
Automatic Termination	2009-06-30	Paper
Matrix Interpretations for Proving Termination of Term Rewriting	2009-03-12	Paper
Termination of String Rewriting with Matrix Interpretations	2008-09-25	Paper
Arctic Termination ...Below Zero	2008-08-28	Paper
https://portal.mardi4nfdi.de/entity/Q3515227	2008-07-29	Paper
Matrix interpretations for proving termination of term rewriting	2008-06-11	Paper
Termination by Quasi-periodic Interpretations	2008-01-02	Paper
Mathematical Foundations of Computer Science 2003	2007-12-07	Paper
On tree automata that certify termination of left-linear term rewriting systems	2007-04-16	Paper
Termination proofs for string rewriting systems via inverse match-bounds	2006-11-17	Paper
Term Rewriting and Applications	2005-11-11	Paper
Implementation and Application of Automata	2005-08-17	Paper
FINDING FINITE AUTOMATA THAT CERTIFY TERMINATION OF STRING REWRITING SYSTEMS	2005-08-01	Paper
Match-bounded string rewriting systems	2005-02-09	Paper
Deleting string rewriting systems preserve regularity	2005-01-11	Paper
https://portal.mardi4nfdi.de/entity/Q4808744	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4737920	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4452074	2004-02-11	Paper
The combinator S	2003-01-14	Paper
https://portal.mardi4nfdi.de/entity/Q4215765	1998-10-27	Paper
https://portal.mardi4nfdi.de/entity/Q3838766	1998-10-11	Paper

Research outcomes over time

This page was built for person: Johannes Waldmann