Concepedia

Johannes Waldmann

JW

12

Publications

450

Citations

11

H-Index

2000

Active since

Affiliations

Leipzig University of Applied Sciences(Current)

Vrije Universiteit Amsterdam

Eindhoven University of Technology

Johannes Waldmann is an author at Leipzig University of Applied Sciences specializing in formal methods, automated reasoning, and computer science.

Top concepts

Formal MethodsEngineeringComputer ScienceAutomated ReasoningFormal VerificationGrammarVerificationProof ComplexityDiscrete MathematicsCombinatorial Optimization

Publications per year

2000–2009

12

Publications

12

Matrix Interpretations for Proving Termination of Term Rewriting

Jörg Endrullis, Johannes Waldmann, Hans Zantema · Journal of Automated Reasoning · 2007 · 157 citations · Full text

Term Rewriting, Regulated Rewriting, Formal Methods +2

Match-Bounded String Rewriting Systems

Alfons Geser, Dieter Hofbauer, Johannes Waldmann · Applicable Algebra in Engineering Communication and Computing · 2004 · 54 citations

Engineering, String-searching Algorithm, Automated Reasoning +5

On tree automata that certify termination of left-linear term rewriting systems

Alfons Geser, Dieter Hofbauer, Johannes Waldmann et al. · Information and Computation · 2007 · 47 citations · Full text

Tree Automata, Tree Language, Engineering +11

Deleting string rewriting systems preserve regularity

Dieter Hofbauer, Johannes Waldmann · Theoretical Computer Science · 2004 · 42 citations

String Processing, Rewriting System, Regulated Rewriting +1

Complexity Analysis of Term Rewriting Based on Matrix and Context Dependent Interpretations

Georg Moser, Andreas Schnabl, Johannes Waldmann · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2008 · 41 citations · Full text

Rows per page

1–5 of 12