Maarten Marx Home Page 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 keys2009
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArjan Nusselder, Hendrike Peetz, Anne Schuth, Maarten Marx: Helping people to choose for whom to vote. a web information system for the 2009 European elections. CIKM 2009: 2095-2096
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLoredana Afanasiev, Torsten Grust, Maarten Marx, Jan Rittinger, Jens Teubner: Recursion in XQuery: put your distributivity safety belt on. EDBT 2009: 345-356
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaarten Marx: Logical Foundations of XML and XQuery. Reasoning Web 2009: 111-157
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRianne Kaptein, Maarten Marx, Jaap Kamps: Who said what to whom?: capturing the structure of debates. SIGIR 2009: 831-832
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBalder ten Cate, Maarten Marx: Axiomatizing the Logical Core of XPath 2.0. Theory Comput. Syst. 44(4): 561-589 (2009)
2008
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLValentin Jijkoun, Mahboob Alam Khalid, Maarten Marx, Maarten de Rijke: Named entity normalization in user generated content. AND 2008: 23-30
66no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaarten Marx: XPath: (P)DL on Trees. Description Logics 2008
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLoredana Afanasiev, Torsten Grust, Maarten Marx, Jan Rittinger, Jens Teubner: An Inflationary Fixed Point Operator in XQuery. ICDE 2008: 1504-1506
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLoredana Afanasiev, Maarten Marx: An analysis of XQuery benchmarks. Inf. Syst. 33(2): 155-181 (2008)
2007
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBalder ten Cate, Maarten Marx: Axiomatizing the Logical Core of XPath 2.0. ICDT 2007: 134-148
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaarten Marx: Queries determined by views: pack your views. PODS 2007: 23-30
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnne Schuth, Maarten Marx, Maarten de Rijke: Extracting the discussion structure in comments on news-articles. WIDM 2007: 97-104
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLValentin Jijkoun, Maarten Marx, Maarten de Rijke, Frank van Waveren: Electoral search using the VerkiezingsKijker: an experience report. WWW 2007: 1155-1156
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLoredana Afanasiev, Torsten Grust, Maarten Marx, Jan Rittinger, Jens Teubner: An Inflationary Fixed Point Operator in XQuery CoRR abs/0711.3375: (2007)
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBalder ten Cate, Maarten Marx: Navigational XPath: calculus and algebra. SIGMOD Record 36(2): 19-26 (2007)
2006
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLoredana Afanasiev, Maarten Marx: An Analysis of the Current XQuery Benchmarks. ExpDB 2006: 9-20
56no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBalder ten Cate, Willem Conradie, Maarten Marx, Yde Venema: Definitorially Complete Description Logics. KR 2006: 79-89
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLoredana Afanasiev, Massimo Franceschet, Maarten Marx, Enrico Zimuel: XCheck: A Platform for Benchmarking XQuery Engines. VLDB 2006: 1247-1250
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJaap Kamps, Maarten Marx, Maarten de Rijke, Börkur Sigurbjörnsson: Articulating information needs in XML query languages. ACM Trans. Inf. Syst. 24(4): 407-436 (2006)
2005
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJaap Kamps, Maarten Marx, Maarten de Rijke, Börkur Sigurbjörnsson: Structured queries in XML retrieval. CIKM 2005: 4-11
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaarten Marx: XML Navigation and Tarski's Relation Algebras. CSL 2005: 1-2
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaarten Marx: First Order Paths in Ordered Trees. ICDT 2005: 114-128
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEvan Goris, Maarten Marx: Looping Caterpillars. LICS 2005: 51-60
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaarten Marx: Conditional XPath. ACM Trans. Database Syst. 30(4): 929-959 (2005)
48no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLoredana Afanasiev, Patrick Blackburn, Ioanna Dimitriou, Bertrand Gaiffe, Evan Goris, Maarten Marx, Maarten de Rijke: PDL for Ordered Trees. Journal of Applied Non-Classical Logics 15(2): 115-135 (2005)
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDirk Leinders, Maarten Marx, Jerzy Tyszkiewicz, Jan Van den Bussche: The Semijoin Algebra and the Guarded Fragment. Journal of Logic, Language and Information 14(3): 331-343 (2005)
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBalder ten Cate, Maarten Marx, Jorge Petrúcio Viana: Hybrid logics with Sahlqvist axioms. Logic Journal of the IGPL 13(3): 293-300 (2005)
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaarten Marx, Maarten de Rijke: Semantic characterizations of navigational XPath. SIGMOD Record 34(2): 41-46 (2005)
2004
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaarten Marx: XPath with Conditional Axis Relations. EDBT 2004: 477-494
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWillem Robert van Hage, Maarten de Rijke, Maarten Marx: Information Retrieval Support for Ontology Construction and Use. International Semantic Web Conference 2004: 518-533
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaarten Marx: Conditional XPath, the First Order Complete XPath Dialect. PODS 2004: 13-22
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIrini Fundulaki, Maarten Marx: Specifying access control policies for XML documents with XPath. SACMAT 2004: 61-69
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaarten Marx, Maarten de Rijke: Semantic Characterization of Navigational XPath. TDM 2004: 73-79
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLoredana Afanasiev, Massimo Franceschet, Maarten Marx, Maarten de Rijke: CTL Model Checking for Processing Simple XPath Queries. TIME 2004: 117-124
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJaap Kamps, Maarten Marx, Maarten de Rijke, Börkur Sigurbjörnsson: Best-Match Querying from Document-Centric XML. WebDB 2004: 55-60
2003
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarlos Areces, Patrick Blackburn, Bernadette Martínez Hernández, Maarten Marx: Handling Boolean A Boxes. Description Logics 2003
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJaap Kamps, Maarten Marx, Maarten de Rijke, Börkur Sigurbjörnsson: XML retrieval: what to retrieve? SIGIR 2003: 409-410
35no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIrini Fundulaki, Maarten Marx: Mediation of XML Data through Entity Relationship Models. SWDB 2003: 357-380
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaarten Marx: XPath and Modal Logics of Finite DAG's. TABLEAUX 2003: 150-164
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarlos Areces, Patrick Blackburn, Maarten Marx: Repairing the interpolation theorem in quantified modal logic. Ann. Pure Appl. Logic 124(1-3): 287-299 (2003)
32no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Blackburn, Maarten Marx: Constructive interpolation in hybrid logic. J. Symb. Log. 68(2): 463-480 (2003)
31no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNick Bezhanishvili, Maarten Marx: All Proper Normal Extensions of S5-square have the Polynomial Size Model Property. Studia Logica 73(3): 367-382 (2003)
2002
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaarten Marx, Mehdi Dastani: Anaphoric Definitions in Description Logic. EurAsia-ICT 2002: 410-417
29no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJaap Kamps, Maarten Marx, Maarten de Rijke, Börkur Sigurbjörnsson: The Importance of Morphological Normalization for XML Retrieval. INEX Workshop 2002: 41-48
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJaap Kamps, Maarten Marx: Notions of Indistinguishability for Semantic Web Languages. International Semantic Web Conference 2002: 30-38
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Blackburn, Maarten Marx: Tableaux for Quantified Hybrid Logic. TABLEAUX 2002: 38-52
26no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEva Hoogland, Maarten Marx: Interpolation and Definability in Guarded Fragments. Studia Logica 70(3): 373-409 (2002)
25no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaarten Marx: Computing with Cylindric Modal Logics and Arrow Logics, Lower Bounds. Studia Logica 72(2): 233-252 (2002)
24no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaarten Marx, Szabolcs Mikulás: An Elementary Construction for a Non-elementary Procedure. Studia Logica 72(2): 253-263 (2002)
2001
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Blackburn, Jaap Kamps, Maarten Marx: Situation Calculus as Hybrid Logic: First Steps. EPIA 2001: 253-260
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaarten Marx: Relation Algebra with Binders. J. Log. Comput. 11(5): 691-700 (2001)
21no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarlos Areces, Patrick Blackburn, Maarten Marx: Hybrid Logics: Characterization, Interpolation and Complexity. J. Symb. Log. 66(3): 977-1010 (2001)
20no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaarten Marx: Tolerance Logic. Journal of Logic, Language and Information 10(3): 353-374 (2001)
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaarten Marx, Szabolcs Mikulás: Products, or How to Create Modal Logics of High Complexity. Logic Journal of the IGPL 9(1): (2001)
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPatrick Blackburn, Maarten Marx: Third International Workshop on Hybrid Logic (HyLo'01). Logic Journal of the IGPL 9(5): (2001)
2000
17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaarten Marx, Szabolcs Mikulás, Mark Reynolds: The Mosaic Method for Temporal Logics. TABLEAUX 2000: 324-340
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarlos Areces, Patrick Blackburn, Maarten Marx: The Computational Complexity of Hybrid Temporal Logics. Logic Journal of the IGPL 8(5): (2000)
1999
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarlos Areces, Patrick Blackburn, Maarten Marx: A Road-Map on Complexity for Hybrid Logics. CSL 1999: 307-321
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEva Hoogland, Maarten Marx, Martin Otto: Beth Definability for the Guarded Fragment. LPAR 1999: 273-285
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaarten Marx: Relation Algebras can Tile. Inf. Sci. 119(3-4): 173-191 (1999)
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaarten Marx: Complexity of Products of Modal Logics. J. Log. Comput. 9(2): 197-214 (1999)
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaarten Marx, Mark Reynolds: Undecidability of Compass Logic. J. Log. Comput. 9(6): 897-914 (1999)
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSzabolcs Mikulás, Maarten Marx: Undecidable Relativizations of Algebras of Relations. J. Symb. Log. 64(2): 747-760 (1999)
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaarten Marx, Szabolcs Mikulás: Decidability of Cylindric Set Algebras of Dimension Two and First-Order Logic with Two Variables. J. Symb. Log. 64(4): 1563-1572 (1999)
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaarten Marx: The Classical Decision Problem, Egon Börger, Erich Grädel, and Yuri Gurevich. Journal of Logic, Language and Information 8(4): 478-481 (1999)
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaarten Marx, Szabolcs Mikulás, Stefan Schlobach: Tableau Calculus for Local Cubic Modal Logic and it's Implementation. Logic Journal of the IGPL 7(6): 755-778 (1999)
1998
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaarten Marx: Interpolation in Modal Logic. AMAST 1998: 154-163
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaarten Marx: Amalgamation in Relational Algebras. J. Symb. Log. 63(2): 479-484 (1998)
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaarten Marx, Carlos Areces: Failure of Interpolation in Combined Modal Logics. Notre Dame Journal of Formal Logic 39(2): 253-273 (1998)
1997
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaarten Marx: Relation Algebras Can Tile. RelMiCS 1997: 225-238
1996
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaarten Marx: Multi-Dimensional Semantics for Modal Logics. Notre Dame Journal of Formal Logic 37(1): 25-34 (1996)
1995
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaarten Marx, Szabolcs Mikulás, István Németi: Taming Logic. Journal of Logic, Language and Information 4(3): 207-226 (1995)

Coauthor Index

1Loredana Afanasiev [39] [48] [55] [57] [59] [64] [65] [71]
2Carlos Areces [4] [15] [16] [21] [33] [37]
3Nick Bezhanishvili [31]
4Patrick Blackburn [15] [16] [18] [21] [23] [27] [32] [33] [37] [48]
5Jan Van den Bussche [47]
6Balder ten Cate [46] [56] [58] [63] [68]
7Willem Conradie [56]
8Mehdi Dastani [30]
9Ioanna Dimitriou [48]
10Massimo Franceschet [39] [55]
11Irini Fundulaki [35] [41]
12Bertrand Gaiffe [48]
13Evan Goris [48] [50]
14Torsten Grust [59] [65] [71]
15Willem Robert van Hage [43]
16Bernadette Martínez Hernández [37]
17Eva Hoogland [14] [26]
18Valentin Jijkoun [60] [67]
19Jaap Kamps [23] [28] [29] [36] [38] [53] [54] [69]
20Rianne Kaptein [69]
21Mahboob Alam Khalid [67]
22Dirk Leinders [47]
23Szabolcs Mikulás [1] [7] [9] [10] [17] [19] [24]
24István Németi [1]
25Arjan Nusselder [72]
26Martin Otto [14]
27Hendrike Peetz [72]
28Mark Reynolds [11] [17]
29Maarten de Rijke [29] [36] [38] [39] [40] [43] [45] [48] [53] [54] [60] [61] [67]
30Jan Rittinger [59] [65] [71]
31Stefan Schlobach [7]
32Anne Schuth [61] [72]
33Börkur Sigurbjörnsson [29] [36] [38] [53] [54]
34Jens Teubner [59] [65] [71]
35Jerzy Tyszkiewicz [47]
36Yde Venema [56]
37Jorge Petrúcio Viana [46]
38Frank van Waveren [60]
39Enrico Zimuel [55]

Colors in the list of coauthors

Copyright © Fri Mar 12 12:56:28 2010 by Michael Ley (ley@uni-trier.de)