Concepedia

Matthias Jantzen

MJ

10

Publications

447

Citations

10

H-Index

1981

Active since

Affiliations

Universität Hamburg(Current)

Matthias Jantzen is an author at Universität Hamburg specializing in computer science, engineering, and formal methods.

Top concepts

Computer ScienceEngineeringFormal MethodsAutomated ReasoningComputational ComplexityTheory Of ComputingSyntaxGrammarLanguageCognition

Publications per year

1981–2003

10

Publications

10

Monadic Thue systems

Ronald V. Book, Matthias Jantzen, Celia Wrathall · Theoretical Computer Science · 1982 · 105 citations

Algebraic Logic, Engineering, Automated Reasoning +5

Petri net algorithms in the theory of matrix grammars

Dirk Hauschildt, Matthias Jantzen · Acta Informatica · 1994 · 86 citations

Mathematical Programming, Petri Net, Engineering +7

The residue of vector sets with applications to decidability problems in Petri nets

R. Valk, Matthias Jantzen · Acta Informatica · 1985 · 73 citations

Petri Net, Computational Complexity Theory, Engineering +11

The power of synchronizing operations on strings

Matthias Jantzen · Theoretical Computer Science · 1981 · 47 citations

Engineering, String Processing, Synchronization Protocol +6

Extending regular expressions with iterated shuffle

Matthias Jantzen · Theoretical Computer Science · 1985 · 42 citations

Combinatorics On Word, Iterated Shuffle, Computational Linguistics +3

Rows per page

1–5 of 10