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