| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Alexander Kartzow, Jiamou Liu, Markus Lohrey |
Tree-Automatic Well-Founded Trees  |
CoRR  |
2012 |
DBLP BibTeX RDF |
|
| 1 | Markus Lohrey |
Model-checking hierarchical structures. |
J. Comput. Syst. Sci. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Volker Diekert, Jonathan Kausch, Markus Lohrey |
Logspace Computations in Graph Groups and Coxeter Groups. |
LATIN |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Lohrey |
Leaf languages and string compression. |
Inf. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dietrich Kuske, Markus Lohrey |
Automatic structures of bounded degree revisited. |
J. Symb. Log. |
2011 |
DBLP BibTeX RDF |
|
| 1 | Stefan Göller, Markus Lohrey |
The First-Order Theory of Ground Tree Rewrite Graphs |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Markus Lohrey, Christian Mathissen |
Isomorphism of regular trees and words |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Stefan Göller, Markus Lohrey |
Fixpoint Logics over Hierarchical Structures. |
Theory Comput. Syst. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Niko Haubold, Markus Lohrey |
Compressed Word Problems in HNN-extensions and Amalgamated Products. |
Theory Comput. Syst. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Lohrey, Benjamin Steinberg |
Tilings and Submonoids of Metabelian Groups. |
Theory Comput. Syst. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Lohrey, Christian Mathissen |
Compressed Membership in Automata with Compressed Labels. |
CSR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Lohrey, Christian Mathissen |
Isomorphism of Regular Trees and Words. |
ICALP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Lohrey |
Compressed Word Problems for Inverse Monoids. |
MFCS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Lohrey, Sebastian Maneth, Roy Mennicke |
Tree Structure Compression with RePair. |
DCC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Göller, Markus Lohrey |
The First-Order Theory of Ground Tree Rewrite Graphs. |
FSTTCS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Lohrey |
Compressed Membership Problems for Regular Expressions and Hierarchical Automata. |
Int. J. Found. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Dietrich Kuske, Markus Lohrey |
Some natural decision problems in automatic graphs. |
J. Symb. Log. |
2010 |
DBLP BibTeX RDF |
|
| 1 | Dietrich Kuske, Jiamou Liu, Markus Lohrey |
The Isomorphism Problem On Classes of Automatic Structures |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Dietrich Kuske, Jiamou Liu, Markus Lohrey |
The Isomorphism Problem for omega-Automatic Trees |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Markus Lohrey, Sebastian Maneth, Roy Mennicke |
Tree structure compression with RePair |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Stefan Göller, Markus Lohrey |
Branching-time Model Checking of One-counter Processes. |
STACS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Niko Haubold, Markus Lohrey, Christian Mathissen |
Compressed Conjugacy and the Word Problem for Outer Automorphism Groups of Graph Groups. |
Developments in Language Theory |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Dietrich Kuske, Jiamou Liu, Markus Lohrey |
The Isomorphism Problem on Classes of Automatic Structures. |
LICS |
2010 |
DBLP DOI BibTeX RDF |
automatic structures, arithmetical hierarchy, isomorphism problems |
| 1 | Dietrich Kuske, Jiamou Liu, Markus Lohrey |
The Isomorphism Problem for omega-Automatic Trees. |
CSL |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Göller, Markus Lohrey, Carsten Lutz |
PDL with intersection and converse: satisfiability and infinite-state model checking. |
J. Symb. Log. |
2009 |
DBLP BibTeX RDF |
|
| 1 | Stefan Göller, Markus Lohrey |
Branching-time model checking of one-counter processes |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Stefan Göller, Markus Lohrey |
Branching-time model checking of one-counter processes |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Niko Haubold, Markus Lohrey |
Compressed Word Problems in HNN-Extensions and Amalgamated Products. |
CSR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Dietrich Kuske, Markus Lohrey |
Automatic Structures of Bounded Degree Revisited. |
CSL |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Lohrey, Sebastian Maneth, Manfred Schmidt-Schauß |
Parameter Reduction in Grammar-Compressed Trees. |
FOSSACS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Volker Diekert, Nicole Ondrusch, Markus Lohrey |
Algorithmic Problems on Inverse Monoids over Virtually Free Groups. |
IJAC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Volker Diekert, Markus Lohrey |
Word Equations over Graph Products. |
IJAC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Lohrey, Géraud Sénizergues |
Rational Subsets in HNN-Extensions and Amalgamated Products. |
IJAC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Dietrich Kuske, Markus Lohrey |
First-order and counting theories of omega-automatic structures. |
J. Symb. Log. |
2008 |
DBLP BibTeX RDF |
|
| 1 | Dietrich Kuske, Markus Lohrey |
Automatic structures of bounded degree revisited |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Giorgio Busatto, Markus Lohrey, Sebastian Maneth |
Efficient memory representation of XML document trees. |
Inf. Syst. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Rod Downey, Bakhadyr Khoussainov, Dietrich Kuske, Markus Lohrey, Moshe Y. Vardi (eds.) |
Algorithmic-Logical Theory of Infinite Structures, 28.10. - 02.11.2007 |
Algorithmic-Logical Theory of Infinite Structures |
2008 |
DBLP BibTeX RDF |
|
| 1 | Dietrich Kuske, Markus Lohrey |
Hamiltonicity of automatic graphs. |
IFIP TCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Dietrich Kuske, Markus Lohrey |
Euler paths and ends in automatic and recursive graphs. |
AFL |
2008 |
DBLP BibTeX RDF |
|
| 1 | Markus Lohrey |
Compressed membership problems revisited. |
AFL |
2008 |
DBLP BibTeX RDF |
|
| 1 | Markus Lohrey |
Leaf languages and string compression. |
FSTTCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Lohrey, Nicole Ondrusch |
Inverse monoids: Decidability and complexity of algebraic questions. |
Inf. Comput. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Lohrey, Saul Schleimer |
Efficient Computation in Groups Via Compression. |
CSR |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Lohrey, Benjamin Steinberg |
The submonoid and rational subset membership problems for graph groups. |
LATA |
2007 |
DBLP BibTeX RDF |
|
| 1 | Markus Lohrey |
Application of verification techniques to inverse monoids. |
Algorithmic-Logical Theory of Infinite Structures |
2007 |
DBLP BibTeX RDF |
|
| 1 | Stefan Göller, Markus Lohrey, Carsten Lutz |
PDL with Intersection and Converse is 2EXP-complete. |
Algorithmic-Logical Theory of Infinite Structures |
2007 |
DBLP BibTeX RDF |
|
| 1 | Rod Downey, Bakhadyr Khoussainov, Dietrich Kuske, Markus Lohrey, Moshe Y. Vardi |
07441 Abstracts Collection -- Algorithmic-Logical Theory of Infinite Structures. |
Algorithmic-Logical Theory of Infinite Structures |
2007 |
DBLP BibTeX RDF |
|
| 1 | Rod Downey, Bakhadyr Khoussainov, Dietrich Kuske, Markus Lohrey, Moshe Y. Vardi |
07441 Summary -- Algorithmic-Logical Theory of Infinite Structures. |
Algorithmic-Logical Theory of Infinite Structures |
2007 |
DBLP BibTeX RDF |
|
| 1 | Stefan Göller, Markus Lohrey, Carsten Lutz |
PDL with Intersection and Converse Is 2 EXP-Complete. |
FoSSaCS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Lohrey, Sebastian Maneth |
The complexity of tree automata and XPath on grammar-compressed trees. |
Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Dietrich Kuske, Markus Lohrey |
Logical Aspects of Cayley-graphs: the Monoid Case. |
IJAC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Lohrey |
Word Problems and Membership Problems on Compressed Words. |
SIAM J. Comput. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Lohrey, Géraud Sénizergues |
Theories of HNN-Extensions and Amalgamated Products. |
ICALP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Yury Lifshits, Markus Lohrey |
Querying and Embedding Compressed Texts. |
MFCS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Volker Diekert, Markus Lohrey, Alexander Miller |
Partially Commutative Inverse Monoids. |
MFCS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Dietrich Kuske, Markus Lohrey |
Monadic Chain Logic Over Iterations and Applications to Pushdown Systems. |
LICS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Göller, Markus Lohrey |
Infinite State Model-Checking of Propositional Dynamic Logics. |
CSL |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Dietrich Kuske, Markus Lohrey |
First-Order and Counting Theories of omega-Automatic Structures. |
FoSSaCS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Lohrey, Holger Petersen |
Complexity results for prefix grammars. |
ITA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Lohrey |
Decidability and complexity in automatic monoids. |
Int. J. Found. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Lohrey, Pedro R. D'Argenio, Holger Hermanns |
Axiomatising divergence. |
Inf. Comput. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Dietrich Kuske, Markus Lohrey |
Logical aspects of Cayley-graphs: the group case. |
Ann. Pure Appl. Logic |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Dietrich Kuske, Markus Lohrey |
Decidable First-Order Theories of One-Step Rewriting in Trace Monoids. |
Theory Comput. Syst. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Lohrey, Nicole Ondrusch |
Inverse Monoids: Decidability and Complexity of Algebraic Questions. |
MFCS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Giorgio Busatto, Markus Lohrey, Sebastian Maneth |
Efficient Memory Representation of XML Documents. |
DBPL |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Lohrey |
Model-Checking Hierarchical Structures. |
LICS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Lohrey, Sebastian Maneth |
Tree Automata and XPath on Compressed Trees. |
CIAA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Göller, Markus Lohrey |
Fixpoint Logics on Hierarchical Structures. |
FSTTCS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Lohrey, Anca Muscholl |
Bounded MSC communication. |
Inf. Comput. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Volker Diekert, Markus Lohrey |
Existential and Positive Theories of Equations in Graph Products. |
Theory Comput. Syst. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Lohrey |
Word Problems on Compressed Words. |
ICALP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Lohrey |
Decidability and Complexity in Automatic Monoids. |
Developments in Language Theory |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Lohrey |
Realizability of high-level message sequence charts: closing the gaps. |
Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Lohrey |
Automatic Structures of Bounded Degree. |
LPAR |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Dietrich Kuske, Markus Lohrey |
Decidable Theories of Cayley-Graphs. |
STACS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Volker Diekert, Markus Lohrey |
Word Equations over Graph Products. |
FSTTCS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Volker Diekert, Markus Lohrey |
A Note on The Existential Theory of Equations in Plain Groups. |
IJAC |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Lohrey |
Safe Realizability of High-Level Message Sequence Charts. |
CONCUR |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Dietrich Kuske, Markus Lohrey |
On the Theory of One-Step Rewriting in Trace Monoids. |
ICALP |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Lohrey, Pedro R. D'Argenio, Holger Hermanns |
Axiomatising Divergence. |
ICALP |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Volker Diekert, Markus Lohrey |
Existential and Positive Theories of Equations in Graph Products. |
STACS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Lohrey, Anca Muscholl |
Bounded MSC Communication. |
FoSSaCS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Lohrey |
Confluence Problems for Trace Rewriting Systems. |
Inf. Comput. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Lohrey |
Word Problems for 2-Homogeneous Monoids and Symmetric Logspace. |
MFCS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Lohrey |
On the Parallel Complexity of Tree Automata. |
RTA |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Lohrey |
Word Problems and Confluence Problems for Restricted Semi-Thue Systems. |
RTA |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Lohrey |
Das Konfluenzproblem für Spurersetzungssysteme. |
|
1999 |
RDF |
|
| 1 | Markus Lohrey |
Complexity Results for Confluence Problems. |
MFCS |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Lohrey |
NP-Completeness Results Concerning the Transformation of Logic Programs into Attribute Grammars. |
Acta Cybern. |
1998 |
DBLP BibTeX RDF |
|
| 1 | Holger Hermanns, Markus Lohrey |
Priority and Maximal Progress Are Completely Axioatisable (Extended Abstract). |
CONCUR |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Lohrey |
On the Confluence of Trace Rewriting Systems. |
FSTTCS |
1998 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")