Markus Lohrey Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2010
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDietrich Kuske, Jiamou Liu, Markus Lohrey: The Isomorphism Problem On Classes of Automatic Structures CoRR abs/1001.2086: (2010)
2009
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDietrich Kuske, Markus Lohrey: Automatic Structures of Bounded Degree Revisited. CSL 2009: 364-378
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNiko Haubold, Markus Lohrey: Compressed Word Problems in HNN-Extensions and Amalgamated Products. CSR 2009: 237-249
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarkus Lohrey, Sebastian Maneth, Manfred Schmidt-Schauß: Parameter Reduction in Grammar-Compressed Trees. FOSSACS 2009: 212-226
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Göller, Markus Lohrey: Branching-time model checking of one-counter processes CoRR abs/0909.1102: (2009)
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Göller, Markus Lohrey: Branching-time model checking of one-counter processes CoRR abs/0912.4117: (2009)
2008
56no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRod Downey, Bakhadyr Khoussainov, Dietrich Kuske, Markus Lohrey, Moshe Y. Vardi: Algorithmic-Logical Theory of Infinite Structures, 28.10. - 02.11.2007 Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2008
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarkus Lohrey: Leaf languages and string compression. FSTTCS 2008: 292-303
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDietrich Kuske, Markus Lohrey: Hamiltonicity of automatic graphs. IFIP TCS 2008: 445-459
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDietrich Kuske, Markus Lohrey: Automatic structures of bounded degree revisited CoRR abs/0810.4998: (2008)
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarkus Lohrey, Géraud Sénizergues: Rational Subsets in HNN-Extensions and Amalgamated Products. IJAC 18(1): 111-163 (2008)
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVolker Diekert, Nicole Ondrusch, Markus Lohrey: Algorithmic Problems on Inverse Monoids over Virtually Free Groups. IJAC 18(1): 181-208 (2008)
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVolker Diekert, Markus Lohrey: Word Equations over Graph Products. IJAC 18(3): 493-533 (2008)
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiorgio Busatto, Markus Lohrey, Sebastian Maneth: Efficient memory representation of XML document trees. Inf. Syst. 33(4-5): 456-474 (2008)
2007
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRod 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
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRod 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
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarkus Lohrey: Application of verification techniques to inverse monoids. Algorithmic-Logical Theory of Infinite Structures 2007
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Göller, Markus Lohrey, Carsten Lutz: PDL with Intersection and Converse is 2EXP-complete. Algorithmic-Logical Theory of Infinite Structures 2007
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarkus Lohrey, Saul Schleimer: Efficient Computation in Groups Via Compression. CSR 2007: 249-258
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Göller, Markus Lohrey, Carsten Lutz: PDL with Intersection and Converse Is 2 EXP-Complete. FoSSaCS 2007: 198-212
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarkus Lohrey, Nicole Ondrusch: Inverse monoids: Decidability and complexity of algebraic questions. Inf. Comput. 205(8): 1212-1234 (2007)
2006
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Göller, Markus Lohrey: Infinite State Model-Checking of Propositional Dynamic Logics. CSL 2006: 349-364
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDietrich Kuske, Markus Lohrey: First-Order and Counting Theories of omega-Automatic Structures. FoSSaCS 2006: 322-336
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarkus Lohrey, Géraud Sénizergues: Theories of HNN-Extensions and Amalgamated Products. ICALP (2) 2006: 504-515
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDietrich Kuske, Markus Lohrey: Monadic Chain Logic Over Iterations and Applications to Pushdown Systems. LICS 2006: 91-100
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVolker Diekert, Markus Lohrey, Alexander Miller: Partially Commutative Inverse Monoids. MFCS 2006: 292-304
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYury Lifshits, Markus Lohrey: Querying and Embedding Compressed Texts. MFCS 2006: 681-692
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDietrich Kuske, Markus Lohrey: Logical Aspects of Cayley-graphs: the Monoid Case. IJAC 16(2): 307-340 (2006)
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarkus Lohrey: Word Problems and Membership Problems on Compressed Words. SIAM J. Comput. 35(5): 1210-1240 (2006)
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarkus Lohrey, Sebastian Maneth: The complexity of tree automata and XPath on grammar-compressed trees. Theor. Comput. Sci. 363(2): 196-210 (2006)
2005
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarkus Lohrey, Sebastian Maneth: Tree Automata and XPath on Compressed Trees. CIAA 2005: 225-237
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiorgio Busatto, Markus Lohrey, Sebastian Maneth: Efficient Memory Representation of XML Documents. DBPL 2005: 199-216
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Göller, Markus Lohrey: Fixpoint Logics on Hierarchical Structures. FSTTCS 2005: 483-494
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarkus Lohrey: Model-Checking Hierarchical Structures. LICS 2005: 168-177
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarkus Lohrey, Nicole Ondrusch: Inverse Monoids: Decidability and Complexity of Algebraic Questions. MFCS 2005: 664-675
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDietrich Kuske, Markus Lohrey: Logical aspects of Cayley-graphs: the group case. Ann. Pure Appl. Logic 131(1-3): 263-286 (2005)
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarkus Lohrey, Holger Petersen: Complexity results for prefix grammars. ITA 39(2): 391-401 (2005)
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarkus Lohrey, Pedro R. D'Argenio, Holger Hermanns: Axiomatising divergence. Inf. Comput. 203(2): 115-144 (2005)
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarkus Lohrey: Decidability and complexity in automatic monoids. Int. J. Found. Comput. Sci. 16(4): 707-722 (2005)
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDietrich Kuske, Markus Lohrey: Decidable First-Order Theories of One-Step Rewriting in Trace Monoids. Theory Comput. Syst. 38(1): 39-81 (2005)
2004
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarkus Lohrey: Decidability and Complexity in Automatic Monoids. Developments in Language Theory 2004: 308-320
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarkus Lohrey: Word Problems on Compressed Words. ICALP 2004: 906-918
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarkus Lohrey, Anca Muscholl: Bounded MSC communication. Inf. Comput. 189(2): 160-181 (2004)
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVolker Diekert, Markus Lohrey: Existential and Positive Theories of Equations in Graph Products. Theory Comput. Syst. 37(1): 133-156 (2004)
2003
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVolker Diekert, Markus Lohrey: Word Equations over Graph Products. FSTTCS 2003: 156-167
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarkus Lohrey: Automatic Structures of Bounded Degree. LPAR 2003: 346-360
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDietrich Kuske, Markus Lohrey: Decidable Theories of Cayley-Graphs. STACS 2003: 463-474
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarkus Lohrey: Realizability of high-level message sequence charts: closing the gaps. Theor. Comput. Sci. 309(1-3): 529-554 (2003)
2002
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarkus Lohrey: Safe Realizability of High-Level Message Sequence Charts. CONCUR 2002: 177-192
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarkus Lohrey, Anca Muscholl: Bounded MSC Communication. FoSSaCS 2002: 295-309
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarkus Lohrey, Pedro R. D'Argenio, Holger Hermanns: Axiomatising Divergence. ICALP 2002: 585-596
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDietrich Kuske, Markus Lohrey: On the Theory of One-Step Rewriting in Trace Monoids. ICALP 2002: 752-763
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVolker Diekert, Markus Lohrey: Existential and Positive Theories of Equations in Graph Products. STACS 2002: 501-512
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVolker Diekert, Markus Lohrey: A Note on The Existential Theory of Equations in Plain Groups. IJAC 12(1-2): 1-7 (2002)
2001
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarkus Lohrey: Word Problems for 2-Homogeneous Monoids and Symmetric Logspace. MFCS 2001: 500-511
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarkus Lohrey: On the Parallel Complexity of Tree Automata. RTA 2001: 201-215
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarkus Lohrey: Confluence Problems for Trace Rewriting Systems. Inf. Comput. 170(1): 1-25 (2001)
2000
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarkus Lohrey: Word Problems and Confluence Problems for Restricted Semi-Thue Systems. RTA 2000: 172-186
1999
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarkus Lohrey: Complexity Results for Confluence Problems. MFCS 1999: 114-124
1998
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHolger Hermanns, Markus Lohrey: Priority and Maximal Progress Are Completely Axioatisable (Extended Abstract). CONCUR 1998: 237-252
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarkus Lohrey: On the Confluence of Trace Rewriting Systems. FSTTCS 1998: 319-330
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarkus Lohrey: NP-Completeness Results Concerning the Transformation of Logic Programs into Attribute Grammars. Acta Cybern. 13(3): 209-224 (1998)

Coauthor Index

1Giorgio Busatto [31] [49]
2Pedro R. D'Argenio [12] [25]
3Volker Diekert [9] [10] [18] [19] [37] [50] [51]
4Rodney G. Downey (Rod Downey) [47] [48] [56]
5Stefan Göller [30] [41] [43] [45] [57] [58]
6Niko Haubold [60]
7Holger Hermanns [3] [12] [25]
8Bakhadyr Khoussainov [47] [48] [56]
9Dietrich Kuske [11] [16] [23] [27] [35] [38] [40] [47] [48] [53] [54] [56] [61] [62]
10Yury Lifshits [36]
11Jiamou Liu [62]
12Carsten Lutz [43] [45]
13Sebastian Maneth [31] [32] [33] [49] [59]
14Alexander Miller [37]
15Anca Muscholl [13] [20]
16Nicole Ondrusch [28] [42] [51]
17Holger Petersen [26]
18Saul Schleimer [44]
19Manfred Schmidt-Schauß [59]
20Géraud Sénizergues [39] [52]
21Moshe Y. Vardi [47] [48] [56]

Colors in the list of coauthors

Copyright © Sun Mar 14 22:39:24 2010 by Michael Ley (ley@uni-trier.de)