×

zbMATH — the first resource for mathematics

Lohrey, Markus

Compute Distance To:
Author ID: lohrey.markus Recent zbMATH articles by "Lohrey, Markus"
Published as: Lohrey, Markus
Documents Indexed: 148 Publications since 1998, including 2 Books

Publications by Year

Citations contained in zbMATH Open

109 Publications have been cited 463 times in 252 Documents Cited by Year
Algorithmics on SLP-compressed strings: a survey. Zbl 1285.68088
Lohrey, Markus
29
2012
Word problems and membership problems on compressed words. Zbl 1106.20043
Lohrey, Markus
20
2006
Logical aspects of Cayley-graphs: the group case. Zbl 1063.03005
Kuske, Dietrich; Lohrey, Markus
18
2005
The submonoid and rational subset membership problems for graph groups. Zbl 1156.20052
Lohrey, Markus; Steinberg, Benjamin
14
2008
Parameter reduction and automata evaluation for grammar-compressed trees. Zbl 1246.68114
Lohrey, Markus; Maneth, Sebastian; Schmidt-Schauß, Manfred
14
2012
First-order and counting theories of \(\omega\)-automatic structures. Zbl 1141.03015
Kuske, Dietrich; Lohrey, Markus
13
2008
The complexity of tree automata and XPath on grammar-compressed trees. Zbl 1153.68402
Lohrey, Markus; Maneth, Sebastian
13
2006
The compressed word problem for groups. Zbl 1391.20003
Lohrey, Markus
10
2014
Querying and embedding compressed texts. Zbl 1132.68379
Lifshits, Yury; Lohrey, Markus
9
2006
Efficient computation in groups via compression. Zbl 1188.20027
Lohrey, Markus; Schleimer, Saul
9
2007
Word equations over graph products. Zbl 1186.20041
Diekert, Volker; Lohrey, Markus
9
2008
XML compression via directed acyclic graphs. Zbl 1352.68079
Bousquet-Mélou, Mireille; Lohrey, Markus; Maneth, Sebastian; Noeth, Eric
9
2015
Decidability and complexity in automatic monoids. Zbl 1146.20314
Lohrey, Markus
8
2005
Bounded MSC communication. Zbl 1091.68006
Lohrey, Markus; Muscholl, Anca
8
2004
Isomorphism of regular trees and words. Zbl 1295.68124
Lohrey, Markus; Mathissen, Christian
8
2013
Logical aspects of Cayley-graphs: the monoid case. Zbl 1151.03003
Kuske, Dietrich; Lohrey, Markus
7
2006
Efficient memory representation of XML documents. Zbl 1159.68408
Busatto, Giorgio; Lohrey, Markus; Maneth, Sebastian
7
2005
Theories of HNN-extensions and amalgamated products. Zbl 1134.03009
Lohrey, Markus; Sénizergues, Géraud
7
2006
Rational subsets in HNN-extensions and amalgamated products. Zbl 1190.20019
Lohrey, Markus; Sénizergues, Géraud
7
2008
Priority and maximal progress are completely axiomatisable (extended abstract). Zbl 0940.68054
Hermanns, Holger; Lohrey, Markus
7
1998
On the parallel complexity of tree automata. Zbl 0981.68082
Lohrey, Markus
7
2001
Existential and positive theories of equations in graph products. Zbl 1067.03017
Diekert, Volker; Lohrey, Markus
7
2004
Tilings and submonoids of metabelian groups. Zbl 1229.20025
Lohrey, Markus; Steinberg, Benjamin
7
2011
When is a graph product of groups virtually-free? Zbl 1144.20012
Lohrey, Markus; Sénizergues, Géraud
6
2007
Inverse monoids: decidability and complexity of algebraic questions. Zbl 1139.20054
Lohrey, Markus; Ondrusch, Nicole
6
2007
Grammar-based tree compression. Zbl 1434.68130
Lohrey, Markus
6
2015
PDL with intersection and converse: Satisfiability and infinite-state model checking. Zbl 1181.03034
Göller, Stefan; Lohrey, Markus; Lutz, Carsten
6
2009
The smallest grammar problem revisited. Zbl 1397.68072
Hucke, Danny; Lohrey, Markus; Reh, Carl Philipp
6
2016
Approximation of smallest linear tree grammar. Zbl 1359.68152
Jeż, Artur; Lohrey, Markus
6
2014
The isomorphism problem on classes of automatic structures with transitive relations. Zbl 1308.03049
Kuske, Dietrich; Liu, Jiamou; Lohrey, Markus
6
2013
Axiomatising divergence. Zbl 1110.68086
Lohrey, Markus; D’Argenio, Pedro R.; Hermanns, Holger
5
2005
Safe realizability of high-level message sequence charts. Zbl 1012.68525
Lohrey, Markus
5
2002
Rational subsets of unitriangular groups. Zbl 1330.20048
Lohrey, Markus
5
2015
The rational subset membership problem for groups: a survey. Zbl 1346.20043
Lohrey, Markus
5
2015
Constructing small tree grammars and small circuits for formulas. Zbl 1360.68534
Hucke, Danny; Lohrey, Markus; Noeth, Eric
4
2014
Constructing small tree grammars and small circuits for formulas. Zbl 1370.68061
Ganardi, Moses; Hucke, Danny; Jeż, Artur; Lohrey, Markus; Noeth, Eric
4
2017
Axiomatising divergence. Zbl 1057.68069
Lohrey, Markus; D’Argenio, Pedro R.; Hermanns, Holger
4
2002
Infinite state model-checking of propositional dynamic logics. Zbl 1225.68116
Göller, Stefan; Lohrey, Markus
4
2006
Knapsack in graph groups, HNN-extensions and amalgamated products. Zbl 1380.68229
Lohrey, Markus; Zetzsche, Georg
4
2016
Querying regular languages over sliding windows. Zbl 1391.68069
Ganardi, Moses; Hucke, Danny; Lohrey, Markus
4
2016
The isomorphism problem for \(\omega \)-automatic trees. Zbl 1287.03084
Kuske, Dietrich; Liu, Jiamou; Lohrey, Markus
4
2010
Compressed membership problems for regular expressions and hierarchical automata. Zbl 1213.68355
Lohrey, Markus
4
2010
Branching-time model checking of one-counter processes and timed automata. Zbl 1275.68092
Göller, Stefan; Lohrey, Markus
4
2013
Fixpoint logics on hierarchical structures. Zbl 1172.68542
Göller, Stefan; Lohrey, Markus
3
2005
Logspace computations in Coxeter groups and graph groups. Zbl 1283.20044
Diekert, Volker; Kausch, Jonathan; Lohrey, Markus
3
2012
Satisfiability of \(\mathsf {ECTL}^*\) with tree constraints. Zbl 1435.03039
Carapelle, Claudia; Feng, Shiguang; Kartzow, Alexander; Lohrey, Markus
3
2015
Evaluating matrix circuits. Zbl 1386.68061
König, Daniel; Lohrey, Markus
3
2015
Path checking for MTL and TPTL over data words. Zbl 1434.68297
Feng, Shiguang; Lohrey, Markus; Quaas, Karin
3
2015
The complexity of decomposing modal and first-order theories. Zbl 1364.03031
Göller, Stefan; Jung, Jean Christoph; Lohrey, Markus
3
2012
Parameter reduction in grammar-compressed trees. Zbl 1234.68182
Lohrey, Markus; Maneth, Sebastian; Schmidt-Schauß, Manfred
3
2009
Grammar-based compression of unranked trees. Zbl 1434.68128
Gascón, Adrià; Lohrey, Markus; Maneth, Sebastian; Reh, Carl Philipp; Sieber, Kurt
3
2018
Word equations over graph products. Zbl 1188.20066
Diekert, Volker; Lohrey, Markus
3
2003
Compressed word problems in HNN-extensions and amalgamated products. Zbl 1235.68106
Haubold, Niko; Lohrey, Markus
3
2011
Automatic structures of bounded degree revisited. Zbl 1272.03148
Kuske, Dietrich; Lohrey, Markus
3
2011
Rational subsets and submonoids of wreath products. Zbl 1332.20038
Lohrey, Markus; Steinberg, Benjamin; Zetzsche, Georg
3
2015
Logspace computations in graph groups and Coxeter groups. Zbl 1283.20043
Diekert, Volker; Kausch, Jonathan; Lohrey, Markus
3
2012
Knapsack and subset sum problems in nilpotent, polycyclic, and co-context-free groups. Zbl 1392.68205
König, Daniel; Lohrey, Markus; Zetzsche, Georg
3
2016
Tree automata and XPath on compressed trees. Zbl 1172.68517
Lohrey, Markus; Maneth, Sebastian
2
2006
Partially commutative inverse monoids. Zbl 1132.20308
Diekert, Volker; Lohrey, Markus; Miller, Alexander
2
2006
PDL with intersection and converse is 2EXP-complete. Zbl 1180.03033
Göller, Stefan; Lohrey, Markus; Lutz, Carsten
2
2007
Algorithmic problems on inverse monoids over virtually free groups. Zbl 1190.20045
Diekert, Volker; Ondrusch, Nicole; Lohrey, Markus
2
2008
Parallel identity testing for skew circuits with big powers and applications. Zbl 1400.68090
König, Daniel; Lohrey, Markus
2
2015
Compressed tree canonization. Zbl 1440.68148
Lohrey, Markus; Maneth, Sebastian; Peternek, Fabian
2
2015
A note on the existential theory of equations in plain groups. Zbl 1007.03008
Diekert, Volker; Lohrey, Markus
2
2002
Word problems on compressed words. Zbl 1099.68646
Lohrey, Markus
2
2004
Realizability of high-level message sequence charts: closing the gaps. Zbl 1070.68091
Lohrey, Markus
2
2003
Decidable theories of Cayley-graphs. Zbl 1036.03009
Kuske, Dietrich; Lohrey, Markus
2
2003
Compressed decision problems for graph products and applications to (outer) automorphism groups. Zbl 1267.20050
Haubold, Niko; Lohrey, Markus; Mathissen, Christian
2
2012
Compressed membership in automata with compressed labels. Zbl 1319.68137
Lohrey, Markus; Mathissen, Christian
2
2011
Leaf languages and string compression. Zbl 1221.68138
Lohrey, Markus
2
2011
Automata theory on sliding windows. Zbl 07228422
Ganardi, Moses; Hucke, Danny; König, Daniel; Lohrey, Markus; Mamouras, Konstantinos
2
2018
Knapsack in graph groups. Zbl 1386.68073
Lohrey, Markus; Zetzsche, Georg
2
2018
Evaluation of circuits over nilpotent and polycyclic groups. Zbl 1390.68311
König, Daniel; Lohrey, Markus
2
2018
Sliding window algorithms for regular languages. Zbl 06894737
Ganardi, Moses; Hucke, Danny; Lohrey, Markus
2
2018
Approximation of smallest linear tree grammar. Zbl 1353.68154
Jeż, Artur; Lohrey, Markus
2
2016
Some natural decision problems in automatic graphs. Zbl 1192.03010
Kuske, Dietrich; Lohrey, Markus
2
2010
Submonoids and rational subsets of groups with infinitely many ends. Zbl 1239.20038
Lohrey, Markus; Steinberg, Benjamin
2
2010
On Boolean closed full trios and rational Kripke frames. Zbl 1359.68174
Lohrey, Markus; Zetzsche, Georg
2
2014
Satisfiability of \(\mathrm{CTL}^{*}\) with constraints. Zbl 1391.03017
Carapelle, Claudia; Kartzow, Alexander; Lohrey, Markus
2
2013
Tree compression using string grammars. Zbl 1370.68062
Ganardi, Moses; Hucke, Danny; Lohrey, Markus; Noeth, Eric
2
2016
The isomorphism problem for \(\omega \)-automatic trees. Zbl 1273.03125
Kuske, Dietrich; Liu, Jiamou; Lohrey, Markus
2
2013
Inverse monoids: Decidability and complexity of algebraic questions. Zbl 1156.03331
Lohrey, Markus; Ondrusch, Nicole
1
2005
First-order and counting theories of \(\omega\)-automatic structures. Zbl 1138.03032
Kuske, Dietrich; Lohrey, Markus
1
2006
Equality testing of compressed strings. Zbl 1375.68233
Lohrey, Markus
1
2015
Temporal logics with local constraints (invited talk). Zbl 1373.03020
Carapelle, Claudia; Lohrey, Markus
1
2015
Decidable first-order theories of one-step rewriting in trace monoids. Zbl 1061.68086
Kuske, Dietrich; Lohrey, Markus
1
2005
Branching-time model checking of one-counter processes. Zbl 1230.68142
Göller, Stefan; Lohrey, Markus
1
2010
Word problems for 2-homogeneous monoids and symmetric logspace. Zbl 0999.03037
Lohrey, Markus
1
2001
Bounded MSC communication. Zbl 1077.68695
Lohrey, Markus; Muscholl, Anca
1
2002
Complexity results for confluence problems. Zbl 0955.68063
Lohrey, Markus
1
1999
Isomorphism of regular trees and words. Zbl 1333.68126
Lohrey, Markus; Mathissen, Christian
1
2011
Parallel identity testing for skew circuits with big powers and applications. Zbl 1400.68091
König, Daniel; Lohrey, Markus
1
2018
Derandomization for sliding window algorithms with strict correctness. Zbl 07121071
Ganardi, Moses; Hucke, Danny; Lohrey, Markus
1
2019
Complexity and randomness in group theory. GAGTA book 1. Zbl 07205680
Bassino, Frédérique; Kapovich, Ilya; Lohrey, Markus; Miasnikov, Alexei; Nicaud, Cyril; Nikolaev, Andrey; Rivin, Igor; Shpilrain, Vladimir; Ushakov, Alexander; Weil, Pascal
1
2020
Tree compression using string grammars. Zbl 1384.68016
Ganardi, Moses; Hucke, Danny; Lohrey, Markus; Noeth, Eric
1
2018
The complexity of knapsack in graph groups. Zbl 1402.68103
Lohrey, Markus; Zetzsche, Georg
1
2017
Compression of unordered XML trees. Zbl 1402.68059
Lohrey, Markus; Maneth, Sebastian; Reh, Carl Philipp
1
2017
Constant-time tree traversal and subtree equality check for grammar-compressed trees. Zbl 1392.68185
Lohrey, Markus; Maneth, Sebastian; Reh, Carl Philipp
1
2018
Compressed word problems for inverse monoids. Zbl 1343.68145
Lohrey, Markus
1
2011
Tree-automatic well-founded trees. Zbl 1358.03042
Kartzow, Alexander; Liu, Jiamou; Lohrey, Markus
1
2012
Complexity and randomness in group theory. GAGTA book 1. Zbl 07205680
Bassino, Frédérique; Kapovich, Ilya; Lohrey, Markus; Miasnikov, Alexei; Nicaud, Cyril; Nikolaev, Andrey; Rivin, Igor; Shpilrain, Vladimir; Ushakov, Alexander; Weil, Pascal
1
2020
Derandomization for sliding window algorithms with strict correctness. Zbl 07121071
Ganardi, Moses; Hucke, Danny; Lohrey, Markus
1
2019
Largest common prefix of a regular tree language. Zbl 07160829
Lohrey, Markus; Maneth, Sebastian
1
2019
Size-optimal top dag compression. Zbl 07053444
Lohrey, Markus; Reh, Carl Philipp; Sieber, Kurt
1
2019
Grammar-based compression of unranked trees. Zbl 1434.68128
Gascón, Adrià; Lohrey, Markus; Maneth, Sebastian; Reh, Carl Philipp; Sieber, Kurt
3
2018
Automata theory on sliding windows. Zbl 07228422
Ganardi, Moses; Hucke, Danny; König, Daniel; Lohrey, Markus; Mamouras, Konstantinos
2
2018
Knapsack in graph groups. Zbl 1386.68073
Lohrey, Markus; Zetzsche, Georg
2
2018
Evaluation of circuits over nilpotent and polycyclic groups. Zbl 1390.68311
König, Daniel; Lohrey, Markus
2
2018
Sliding window algorithms for regular languages. Zbl 06894737
Ganardi, Moses; Hucke, Danny; Lohrey, Markus
2
2018
Parallel identity testing for skew circuits with big powers and applications. Zbl 1400.68091
König, Daniel; Lohrey, Markus
1
2018
Tree compression using string grammars. Zbl 1384.68016
Ganardi, Moses; Hucke, Danny; Lohrey, Markus; Noeth, Eric
1
2018
Constant-time tree traversal and subtree equality check for grammar-compressed trees. Zbl 1392.68185
Lohrey, Markus; Maneth, Sebastian; Reh, Carl Philipp
1
2018
Constructing small tree grammars and small circuits for formulas. Zbl 1370.68061
Ganardi, Moses; Hucke, Danny; Jeż, Artur; Lohrey, Markus; Noeth, Eric
4
2017
The complexity of knapsack in graph groups. Zbl 1402.68103
Lohrey, Markus; Zetzsche, Georg
1
2017
Compression of unordered XML trees. Zbl 1402.68059
Lohrey, Markus; Maneth, Sebastian; Reh, Carl Philipp
1
2017
The smallest grammar problem revisited. Zbl 1397.68072
Hucke, Danny; Lohrey, Markus; Reh, Carl Philipp
6
2016
Knapsack in graph groups, HNN-extensions and amalgamated products. Zbl 1380.68229
Lohrey, Markus; Zetzsche, Georg
4
2016
Querying regular languages over sliding windows. Zbl 1391.68069
Ganardi, Moses; Hucke, Danny; Lohrey, Markus
4
2016
Knapsack and subset sum problems in nilpotent, polycyclic, and co-context-free groups. Zbl 1392.68205
König, Daniel; Lohrey, Markus; Zetzsche, Georg
3
2016
Approximation of smallest linear tree grammar. Zbl 1353.68154
Jeż, Artur; Lohrey, Markus
2
2016
Tree compression using string grammars. Zbl 1370.68062
Ganardi, Moses; Hucke, Danny; Lohrey, Markus; Noeth, Eric
2
2016
Satisfiability of \(\operatorname{ECTL}^\ast\) with constraints. Zbl 1358.03032
Carapelle, Claudia; Kartzow, Alexander; Lohrey, Markus
1
2016
XML compression via directed acyclic graphs. Zbl 1352.68079
Bousquet-Mélou, Mireille; Lohrey, Markus; Maneth, Sebastian; Noeth, Eric
9
2015
Grammar-based tree compression. Zbl 1434.68130
Lohrey, Markus
6
2015
Rational subsets of unitriangular groups. Zbl 1330.20048
Lohrey, Markus
5
2015
The rational subset membership problem for groups: a survey. Zbl 1346.20043
Lohrey, Markus
5
2015
Satisfiability of \(\mathsf {ECTL}^*\) with tree constraints. Zbl 1435.03039
Carapelle, Claudia; Feng, Shiguang; Kartzow, Alexander; Lohrey, Markus
3
2015
Evaluating matrix circuits. Zbl 1386.68061
König, Daniel; Lohrey, Markus
3
2015
Path checking for MTL and TPTL over data words. Zbl 1434.68297
Feng, Shiguang; Lohrey, Markus; Quaas, Karin
3
2015
Rational subsets and submonoids of wreath products. Zbl 1332.20038
Lohrey, Markus; Steinberg, Benjamin; Zetzsche, Georg
3
2015
Parallel identity testing for skew circuits with big powers and applications. Zbl 1400.68090
König, Daniel; Lohrey, Markus
2
2015
Compressed tree canonization. Zbl 1440.68148
Lohrey, Markus; Maneth, Sebastian; Peternek, Fabian
2
2015
Equality testing of compressed strings. Zbl 1375.68233
Lohrey, Markus
1
2015
Temporal logics with local constraints (invited talk). Zbl 1373.03020
Carapelle, Claudia; Lohrey, Markus
1
2015
The compressed word problem for groups. Zbl 1391.20003
Lohrey, Markus
10
2014
Approximation of smallest linear tree grammar. Zbl 1359.68152
Jeż, Artur; Lohrey, Markus
6
2014
Constructing small tree grammars and small circuits for formulas. Zbl 1360.68534
Hucke, Danny; Lohrey, Markus; Noeth, Eric
4
2014
On Boolean closed full trios and rational Kripke frames. Zbl 1359.68174
Lohrey, Markus; Zetzsche, Georg
2
2014
Isomorphism of regular trees and words. Zbl 1295.68124
Lohrey, Markus; Mathissen, Christian
8
2013
The isomorphism problem on classes of automatic structures with transitive relations. Zbl 1308.03049
Kuske, Dietrich; Liu, Jiamou; Lohrey, Markus
6
2013
Branching-time model checking of one-counter processes and timed automata. Zbl 1275.68092
Göller, Stefan; Lohrey, Markus
4
2013
Satisfiability of \(\mathrm{CTL}^{*}\) with constraints. Zbl 1391.03017
Carapelle, Claudia; Kartzow, Alexander; Lohrey, Markus
2
2013
The isomorphism problem for \(\omega \)-automatic trees. Zbl 1273.03125
Kuske, Dietrich; Liu, Jiamou; Lohrey, Markus
2
2013
Tree-automatic well-founded trees. Zbl 1297.03024
Huschenbett, Martin; Kartzow, Alexander; Liu, Jiamou; Lohrey, Markus
1
2013
Rational subsets and submonoids of wreath products. Zbl 1293.20036
Lohrey, Markus; Steinberg, Benjamin; Zetzsche, Georg
1
2013
Algorithmics on SLP-compressed strings: a survey. Zbl 1285.68088
Lohrey, Markus
29
2012
Parameter reduction and automata evaluation for grammar-compressed trees. Zbl 1246.68114
Lohrey, Markus; Maneth, Sebastian; Schmidt-Schauß, Manfred
14
2012
Logspace computations in Coxeter groups and graph groups. Zbl 1283.20044
Diekert, Volker; Kausch, Jonathan; Lohrey, Markus
3
2012
The complexity of decomposing modal and first-order theories. Zbl 1364.03031
Göller, Stefan; Jung, Jean Christoph; Lohrey, Markus
3
2012
Logspace computations in graph groups and Coxeter groups. Zbl 1283.20043
Diekert, Volker; Kausch, Jonathan; Lohrey, Markus
3
2012
Compressed decision problems for graph products and applications to (outer) automorphism groups. Zbl 1267.20050
Haubold, Niko; Lohrey, Markus; Mathissen, Christian
2
2012
Tree-automatic well-founded trees. Zbl 1358.03042
Kartzow, Alexander; Liu, Jiamou; Lohrey, Markus
1
2012
Model-checking hierarchical structures. Zbl 1279.68213
Lohrey, Markus
1
2012
Tilings and submonoids of metabelian groups. Zbl 1229.20025
Lohrey, Markus; Steinberg, Benjamin
7
2011
Compressed word problems in HNN-extensions and amalgamated products. Zbl 1235.68106
Haubold, Niko; Lohrey, Markus
3
2011
Automatic structures of bounded degree revisited. Zbl 1272.03148
Kuske, Dietrich; Lohrey, Markus
3
2011
Compressed membership in automata with compressed labels. Zbl 1319.68137
Lohrey, Markus; Mathissen, Christian
2
2011
Leaf languages and string compression. Zbl 1221.68138
Lohrey, Markus
2
2011
Isomorphism of regular trees and words. Zbl 1333.68126
Lohrey, Markus; Mathissen, Christian
1
2011
Compressed word problems for inverse monoids. Zbl 1343.68145
Lohrey, Markus
1
2011
The isomorphism problem for \(\omega \)-automatic trees. Zbl 1287.03084
Kuske, Dietrich; Liu, Jiamou; Lohrey, Markus
4
2010
Compressed membership problems for regular expressions and hierarchical automata. Zbl 1213.68355
Lohrey, Markus
4
2010
Some natural decision problems in automatic graphs. Zbl 1192.03010
Kuske, Dietrich; Lohrey, Markus
2
2010
Submonoids and rational subsets of groups with infinitely many ends. Zbl 1239.20038
Lohrey, Markus; Steinberg, Benjamin
2
2010
Branching-time model checking of one-counter processes. Zbl 1230.68142
Göller, Stefan; Lohrey, Markus
1
2010
PDL with intersection and converse: Satisfiability and infinite-state model checking. Zbl 1181.03034
Göller, Stefan; Lohrey, Markus; Lutz, Carsten
6
2009
Parameter reduction in grammar-compressed trees. Zbl 1234.68182
Lohrey, Markus; Maneth, Sebastian; Schmidt-Schauß, Manfred
3
2009
Automatic structures of bounded degree revisited. Zbl 1257.03032
Kuske, Dietrich; Lohrey, Markus
1
2009
The submonoid and rational subset membership problems for graph groups. Zbl 1156.20052
Lohrey, Markus; Steinberg, Benjamin
14
2008
First-order and counting theories of \(\omega\)-automatic structures. Zbl 1141.03015
Kuske, Dietrich; Lohrey, Markus
13
2008
Word equations over graph products. Zbl 1186.20041
Diekert, Volker; Lohrey, Markus
9
2008
Rational subsets in HNN-extensions and amalgamated products. Zbl 1190.20019
Lohrey, Markus; Sénizergues, Géraud
7
2008
Algorithmic problems on inverse monoids over virtually free groups. Zbl 1190.20045
Diekert, Volker; Ondrusch, Nicole; Lohrey, Markus
2
2008
Leaf languages and string compression. Zbl 1248.68311
Lohrey, Markus
1
2008
Efficient computation in groups via compression. Zbl 1188.20027
Lohrey, Markus; Schleimer, Saul
9
2007
When is a graph product of groups virtually-free? Zbl 1144.20012
Lohrey, Markus; Sénizergues, Géraud
6
2007
Inverse monoids: decidability and complexity of algebraic questions. Zbl 1139.20054
Lohrey, Markus; Ondrusch, Nicole
6
2007
PDL with intersection and converse is 2EXP-complete. Zbl 1180.03033
Göller, Stefan; Lohrey, Markus; Lutz, Carsten
2
2007
Word problems and membership problems on compressed words. Zbl 1106.20043
Lohrey, Markus
20
2006
The complexity of tree automata and XPath on grammar-compressed trees. Zbl 1153.68402
Lohrey, Markus; Maneth, Sebastian
13
2006
Querying and embedding compressed texts. Zbl 1132.68379
Lifshits, Yury; Lohrey, Markus
9
2006
Logical aspects of Cayley-graphs: the monoid case. Zbl 1151.03003
Kuske, Dietrich; Lohrey, Markus
7
2006
Theories of HNN-extensions and amalgamated products. Zbl 1134.03009
Lohrey, Markus; Sénizergues, Géraud
7
2006
Infinite state model-checking of propositional dynamic logics. Zbl 1225.68116
Göller, Stefan; Lohrey, Markus
4
2006
Tree automata and XPath on compressed trees. Zbl 1172.68517
Lohrey, Markus; Maneth, Sebastian
2
2006
Partially commutative inverse monoids. Zbl 1132.20308
Diekert, Volker; Lohrey, Markus; Miller, Alexander
2
2006
First-order and counting theories of \(\omega\)-automatic structures. Zbl 1138.03032
Kuske, Dietrich; Lohrey, Markus
1
2006
Logical aspects of Cayley-graphs: the group case. Zbl 1063.03005
Kuske, Dietrich; Lohrey, Markus
18
2005
Decidability and complexity in automatic monoids. Zbl 1146.20314
Lohrey, Markus
8
2005
Efficient memory representation of XML documents. Zbl 1159.68408
Busatto, Giorgio; Lohrey, Markus; Maneth, Sebastian
7
2005
Axiomatising divergence. Zbl 1110.68086
Lohrey, Markus; D’Argenio, Pedro R.; Hermanns, Holger
5
2005
Fixpoint logics on hierarchical structures. Zbl 1172.68542
Göller, Stefan; Lohrey, Markus
3
2005
Inverse monoids: Decidability and complexity of algebraic questions. Zbl 1156.03331
Lohrey, Markus; Ondrusch, Nicole
1
2005
Decidable first-order theories of one-step rewriting in trace monoids. Zbl 1061.68086
Kuske, Dietrich; Lohrey, Markus
1
2005
Bounded MSC communication. Zbl 1091.68006
Lohrey, Markus; Muscholl, Anca
8
2004
Existential and positive theories of equations in graph products. Zbl 1067.03017
Diekert, Volker; Lohrey, Markus
7
2004
Word problems on compressed words. Zbl 1099.68646
Lohrey, Markus
2
2004
Word equations over graph products. Zbl 1188.20066
Diekert, Volker; Lohrey, Markus
3
2003
Realizability of high-level message sequence charts: closing the gaps. Zbl 1070.68091
Lohrey, Markus
2
2003
Decidable theories of Cayley-graphs. Zbl 1036.03009
Kuske, Dietrich; Lohrey, Markus
2
2003
...and 9 more Documents
all top 5

Cited by 365 Authors

56 Lohrey, Markus
12 Jeż, Artur
11 Diekert, Volker
11 Kuske, Dietrich
10 Bollig, Benedikt
10 Maneth, Sebastian
9 Myasnikov, Alexei G.
7 Schmidt-Schauß, Manfred
7 Zetzsche, Georg
5 Gagie, Travis
5 Gastin, Paul
5 Göller, Stefan
5 Muscholl, Anca
5 Steinberg, Benjamin
5 Ushakov, Alexander S.
4 Ganardi, Moses
4 Genest, Blaise
4 Gray, Robert D.
4 Inenaga, Shunsuke
4 Kharlampovich, Olga G.
4 Okhotin, Alexander
4 Weimann, Oren
3 Bille, Philip
3 Bravetti, Mario
3 Finkel, Olivier
3 Fu, Yuxi
3 Gawrychowski, Paweł
3 Haubold, Niko
3 Holt, Derek F.
3 Hucke, Danny
3 Jeandel, Emmanuel
3 Kaiser, Lukasz
3 Kartzow, Alexander
3 Khoussainov, Bakhadyr M.
3 König, Daniel
3 Landau, Gad M.
3 Mathissen, Christian
3 Nöth, Eric
3 Rees, Sarah
3 Reh, Carl Philipp
3 Sangnier, Arnaud
3 Schlicht, Philipp
3 Silva, Pedro V.
3 Stephan, Frank
3 Tiskin, Alexandre
3 Wallner, Michael
2 Bannai, Hideo
2 Bárány, Vince
2 Bertoni, Alberto
2 Cain, Alan J.
2 Carapelle, Claudia
2 Casals-Ruiz, Montserrat
2 Choffrut, Christian
2 Ciobanu, Laura
2 Demri, Stéphane P.
2 Elder, Murray J.
2 Engelfriet, Joost
2 Fleischer, Lukas
2 Fortin, Marie-Josée
2 Fujiyoshi, Akio
2 Gascón, Adrià
2 Gelle, Kitti
2 Gørtz, Inge Li
2 Haeusler, Edward Hermann
2 Hermanns, Holger
2 Huschenbett, Martin
2 Iván, Szabolcs
2 Jain, Sanjay
2 Kambites, Mark
2 Kazachkov, Ilya V.
2 Kociumaka, Tomasz
2 Kufleitner, Manfred
2 Lopes, Bruno Domeniciano
2 Lüttgen, Gerald
2 Malheiro, António
2 Murano, Aniello
2 Navarro, Gonzalo
2 Ondrusch, Nicole
2 Ovchinnikov, Denis
2 Peternek, Fabian
2 Puglisi, Simon J.
2 Quaas, Karin
2 Rabinovich, Alexander
2 Radicioni, Roberto
2 Roman’kov, Vitaly Anatol’evich
2 Schneider, Gerardo
2 Seidl, Helmut
2 Sénizergues, Géraud
2 Sieber, Kurt
2 Theyssier, Guillaume
2 Thomas, Wolfgang
2 Todorcevic, Stevo B.
2 van Glabbeek, Robert Jan
2 Varghese, Olga
2 Weiß, Armin
2 Zeitoun, Marc
1 Ågotnes, Thomas
1 Ahrendt, Wolfgang
1 Aiswarya, Cyriac
1 Akshay, S.
...and 265 more Authors
all top 5

Cited in 55 Serials

23 Theoretical Computer Science
23 Information and Computation
19 Theory of Computing Systems
18 International Journal of Algebra and Computation
11 Journal of Algebra
11 Journal of Computer and System Sciences
7 Logical Methods in Computer Science
6 Algorithmica
5 Information Processing Letters
5 The Journal of Symbolic Logic
5 International Journal of Foundations of Computer Science
4 Journal of Symbolic Computation
4 Groups, Complexity, Cryptology
3 Mathematics of Computation
3 Journal of Combinatorial Theory. Series A
3 Semigroup Forum
3 Formal Methods in System Design
2 Communications in Algebra
2 Discrete Mathematics
2 Israel Journal of Mathematics
2 Algebra and Logic
2 Proceedings of the American Mathematical Society
2 Siberian Mathematical Journal
2 Transactions of the American Mathematical Society
2 European Journal of Combinatorics
2 Annals of Pure and Applied Logic
2 Formal Aspects of Computing
2 MSCS. Mathematical Structures in Computer Science
2 Journal of Mathematical Sciences (New York)
2 ACM Transactions on Computational Logic
2 Journal of Discrete Algorithms
2 Journal of Applied Logic
2 Bulletin of Mathematical Sciences
2 Journal of Logical and Algebraic Methods in Programming
1 Advances in Mathematics
1 Geometriae Dedicata
1 Information Sciences
1 Inventiones Mathematicae
1 Memoirs of the American Mathematical Society
1 SIAM Journal on Computing
1 Studia Logica
1 Synthese
1 International Journal of Computer Mathematics
1 Journal of Applied Non-Classical Logics
1 Topology Proceedings
1 Journal of Group Theory
1 Central European Journal of Mathematics
1 Journal of Algebra and its Applications
1 Groups, Geometry, and Dynamics
1 Journal of Topology and Analysis
1 Algorithms
1 RAIRO. Theoretical Informatics and Applications
1 Theory of Computing
1 Computability
1 Prikladnaya Diskretnaya Matematika

Citations by Year