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/Q3077187	2011-02-22	Paper
https://portal.mardi4nfdi.de/entity/Q3077191	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
Automatic Termination	2009-06-30	Paper
Local 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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Johannes Waldmann