The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Maarten Marx: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Maarten Marx
    Relation Algebras Can Tile. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 1997, pp:225-238 [Conf]
  2. Maarten Marx
    Interpolation in Modal Logic. [Citation Graph (0, 0)][DBLP]
    AMAST, 1998, pp:154-163 [Conf]
  3. Jaap Kamps, Maarten Marx, Maarten de Rijke, Börkur Sigurbjörnsson
    Structured queries in XML retrieval. [Citation Graph (0, 0)][DBLP]
    CIKM, 2005, pp:4-11 [Conf]
  4. Carlos Areces, Patrick Blackburn, Maarten Marx
    A Road-Map on Complexity for Hybrid Logics. [Citation Graph (0, 0)][DBLP]
    CSL, 1999, pp:307-321 [Conf]
  5. Maarten Marx
    XML Navigation and Tarski's Relation Algebras. [Citation Graph (0, 0)][DBLP]
    CSL, 2005, pp:1-2 [Conf]
  6. Carlos Areces, Patrick Blackburn, Bernadette Martínez Hernández, Maarten Marx
    Handling Boolean A Boxes. [Citation Graph (0, 0)][DBLP]
    Description Logics, 2003, pp:- [Conf]
  7. Maarten Marx
    XPath with Conditional Axis Relations. [Citation Graph (0, 0)][DBLP]
    EDBT, 2004, pp:477-494 [Conf]
  8. Patrick Blackburn, Jaap Kamps, Maarten Marx
    Situation Calculus as Hybrid Logic: First Steps. [Citation Graph (0, 0)][DBLP]
    EPIA, 2001, pp:253-260 [Conf]
  9. Maarten Marx, Mehdi Dastani
    Anaphoric Definitions in Description Logic. [Citation Graph (0, 0)][DBLP]
    EurAsia-ICT, 2002, pp:410-417 [Conf]
  10. Loredana Afanasiev, Maarten Marx
    An Analysis of the Current XQuery Benchmarks. [Citation Graph (0, 0)][DBLP]
    ExpDB, 2006, pp:9-20 [Conf]
  11. Maarten Marx
    First Order Paths in Ordered Trees. [Citation Graph (0, 0)][DBLP]
    ICDT, 2005, pp:114-128 [Conf]
  12. Balder ten Cate, Maarten Marx
    Axiomatizing the Logical Core of XPath 2.0. [Citation Graph (0, 0)][DBLP]
    ICDT, 2007, pp:134-148 [Conf]
  13. Jaap Kamps, Maarten Marx, Maarten de Rijke, Börkur Sigurbjörnsson
    The Importance of Morphological Normalization for XML Retrieval. [Citation Graph (0, 0)][DBLP]
    INEX Workshop, 2002, pp:41-48 [Conf]
  14. Balder ten Cate, Willem Conradie, Maarten Marx, Yde Venema
    Definitorially Complete Description Logics. [Citation Graph (0, 0)][DBLP]
    KR, 2006, pp:79-89 [Conf]
  15. Evan Goris, Maarten Marx
    Looping Caterpillars. [Citation Graph (0, 0)][DBLP]
    LICS, 2005, pp:51-60 [Conf]
  16. Eva Hoogland, Maarten Marx, Martin Otto
    Beth Definability for the Guarded Fragment. [Citation Graph (0, 0)][DBLP]
    LPAR, 1999, pp:273-285 [Conf]
  17. Maarten Marx
    Conditional XPath, the First Order Complete XPath Dialect. [Citation Graph (0, 0)][DBLP]
    PODS, 2004, pp:13-22 [Conf]
  18. Irini Fundulaki, Maarten Marx
    Specifying access control policies for XML documents with XPath. [Citation Graph (0, 0)][DBLP]
    SACMAT, 2004, pp:61-69 [Conf]
  19. Willem Robert van Hage, Maarten de Rijke, Maarten Marx
    Information Retrieval Support for Ontology Construction and Use. [Citation Graph (0, 0)][DBLP]
    International Semantic Web Conference, 2004, pp:518-533 [Conf]
  20. Irini Fundulaki, Maarten Marx
    Mediation of XML Data through Entity Relationship Models. [Citation Graph (0, 0)][DBLP]
    SWDB, 2003, pp:357-380 [Conf]
  21. Jaap Kamps, Maarten Marx
    Notions of Indistinguishability for Semantic Web Languages. [Citation Graph (0, 0)][DBLP]
    International Semantic Web Conference, 2002, pp:30-38 [Conf]
  22. Jaap Kamps, Maarten Marx, Maarten de Rijke, Börkur Sigurbjörnsson
    XML retrieval: what to retrieve? [Citation Graph (0, 0)][DBLP]
    SIGIR, 2003, pp:409-410 [Conf]
  23. Patrick Blackburn, Maarten Marx
    Tableaux for Quantified Hybrid Logic. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2002, pp:38-52 [Conf]
  24. Maarten Marx
    XPath and Modal Logics of Finite DAG's. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2003, pp:150-164 [Conf]
  25. Maarten Marx, Szabolcs Mikulás, Mark Reynolds
    The Mosaic Method for Temporal Logics. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2000, pp:324-340 [Conf]
  26. Loredana Afanasiev, Massimo Franceschet, Maarten Marx, Maarten de Rijke
    CTL Model Checking for Processing Simple XPath Queries. [Citation Graph (0, 0)][DBLP]
    TIME, 2004, pp:117-124 [Conf]
  27. Loredana Afanasiev, Massimo Franceschet, Maarten Marx, Enrico Zimuel
    XCheck: A Platform for Benchmarking XQuery Engines. [Citation Graph (0, 0)][DBLP]
    VLDB, 2006, pp:1247-1250 [Conf]
  28. Jaap Kamps, Maarten Marx, Maarten de Rijke, Börkur Sigurbjörnsson
    Best-Match Querying from Document-Centric XML. [Citation Graph (0, 0)][DBLP]
    WebDB, 2004, pp:55-60 [Conf]
  29. Maarten Marx, Maarten de Rijke
    Semantic Characterization of Navigational XPath. [Citation Graph (0, 0)][DBLP]
    TDM, 2004, pp:73-79 [Conf]
  30. Carlos Areces, Patrick Blackburn, Maarten Marx
    Repairing the interpolation theorem in quantified modal logic. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 2003, v:124, n:1-3, pp:287-299 [Journal]
  31. Carlos Areces, Patrick Blackburn, Maarten Marx
    The Computational Complexity of Hybrid Temporal Logics. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2000, v:8, n:5, pp:- [Journal]
  32. Patrick Blackburn, Maarten Marx
    Third International Workshop on Hybrid Logic (HyLo'01). [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2001, v:9, n:5, pp:- [Journal]
  33. Balder ten Cate, Maarten Marx, Jorge Petrúcio Viana
    Hybrid logics with Sahlqvist axioms. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2005, v:13, n:3, pp:293-300 [Journal]
  34. Maarten Marx, Szabolcs Mikulás
    Products, or How to Create Modal Logics of High Complexity. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2001, v:9, n:1, pp:- [Journal]
  35. Maarten Marx, Szabolcs Mikulás, Stefan Schlobach
    Tableau Calculus for Local Cubic Modal Logic and it's Implementation. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 1999, v:7, n:6, pp:755-778 [Journal]
  36. Maarten Marx
    Relation Algebras can Tile. [Citation Graph (0, 0)][DBLP]
    Inf. Sci., 1999, v:119, n:3-4, pp:173-191 [Journal]
  37. Loredana Afanasiev, Patrick Blackburn, Ioanna Dimitriou, Bertrand Gaiffe, Evan Goris, Maarten Marx, Maarten de Rijke
    PDL for Ordered Trees. [Citation Graph (0, 0)][DBLP]
    Journal of Applied Non-Classical Logics, 2005, v:15, n:2, pp:115-135 [Journal]
  38. Dirk Leinders, Maarten Marx, Jerzy Tyszkiewicz, Jan Van den Bussche
    The Semijoin Algebra and the Guarded Fragment. [Citation Graph (0, 0)][DBLP]
    Journal of Logic, Language and Information, 2005, v:14, n:3, pp:331-343 [Journal]
  39. Maarten Marx
    Tolerance Logic. [Citation Graph (0, 0)][DBLP]
    Journal of Logic, Language and Information, 2001, v:10, n:3, pp:353-374 [Journal]
  40. Maarten Marx
    The Classical Decision Problem, Egon Börger, Erich Grädel, and Yuri Gurevich. [Citation Graph (0, 0)][DBLP]
    Journal of Logic, Language and Information, 1999, v:8, n:4, pp:478-481 [Journal]
  41. Maarten Marx, Szabolcs Mikulás, István Németi
    Taming Logic. [Citation Graph (0, 0)][DBLP]
    Journal of Logic, Language and Information, 1995, v:4, n:3, pp:207-226 [Journal]
  42. Carlos Areces, Patrick Blackburn, Maarten Marx
    Hybrid Logics: Characterization, Interpolation and Complexity. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2001, v:66, n:3, pp:977-1010 [Journal]
  43. Patrick Blackburn, Maarten Marx
    Constructive interpolation in hybrid logic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2003, v:68, n:2, pp:463-480 [Journal]
  44. Maarten Marx
    Amalgamation in Relational Algebras. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1998, v:63, n:2, pp:479-484 [Journal]
  45. Maarten Marx, Szabolcs Mikulás
    Decidability of Cylindric Set Algebras of Dimension Two and First-Order Logic with Two Variables. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1999, v:64, n:4, pp:1563-1572 [Journal]
  46. Szabolcs Mikulás, Maarten Marx
    Undecidable Relativizations of Algebras of Relations. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1999, v:64, n:2, pp:747-760 [Journal]
  47. Maarten Marx
    Relation Algebra with Binders. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2001, v:11, n:5, pp:691-700 [Journal]
  48. Maarten Marx
    Complexity of Products of Modal Logics. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1999, v:9, n:2, pp:197-214 [Journal]
  49. Maarten Marx, Mark Reynolds
    Undecidability of Compass Logic. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1999, v:9, n:6, pp:897-914 [Journal]
  50. Maarten Marx
    Multi-Dimensional Semantics for Modal Logics. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1996, v:37, n:1, pp:25-34 [Journal]
  51. Maarten Marx, Carlos Areces
    Failure of Interpolation in Combined Modal Logics. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1998, v:39, n:2, pp:253-273 [Journal]
  52. Nick Bezhanishvili, Maarten Marx
    All Proper Normal Extensions of S5-square have the Polynomial Size Model Property. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2003, v:73, n:3, pp:367-382 [Journal]
  53. Eva Hoogland, Maarten Marx
    Interpolation and Definability in Guarded Fragments. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2002, v:70, n:3, pp:373-409 [Journal]
  54. Maarten Marx
    Computing with Cylindric Modal Logics and Arrow Logics, Lower Bounds. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2002, v:72, n:2, pp:233-252 [Journal]
  55. Maarten Marx, Szabolcs Mikulás
    An Elementary Construction for a Non-elementary Procedure. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2002, v:72, n:2, pp:253-263 [Journal]
  56. Maarten Marx, Maarten de Rijke
    Semantic characterizations of navigational XPath. [Citation Graph (0, 0)][DBLP]
    SIGMOD Record, 2005, v:34, n:2, pp:41-46 [Journal]
  57. Maarten Marx
    Conditional XPath. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Database Syst., 2005, v:30, n:4, pp:929-959 [Journal]
  58. Jaap Kamps, Maarten Marx, Maarten de Rijke, Börkur Sigurbjörnsson
    Articulating information needs in XML query languages. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Inf. Syst., 2006, v:24, n:4, pp:407-436 [Journal]
  59. Maarten Marx
    Queries determined by views: pack your views. [Citation Graph (0, 0)][DBLP]
    PODS, 2007, pp:23-30 [Conf]
  60. Valentin Jijkoun, Maarten Marx, Maarten de Rijke, Frank van Waveren
    Electoral search using the VerkiezingsKijker: an experience report. [Citation Graph (0, 0)][DBLP]
    WWW, 2007, pp:1155-1156 [Conf]

  61. Helping people to choose for whom to vote. a web information system for the 2009 European elections. [Citation Graph (, )][DBLP]


  62. Digital sustainable publication of legacy parliamentary proceedings. [Citation Graph (, )][DBLP]


  63. XPath: (P)DL on Trees. [Citation Graph (, )][DBLP]


  64. Recursion in XQuery: put your distributivity safety belt on. [Citation Graph (, )][DBLP]


  65. An Inflationary Fixed Point Operator in XQuery. [Citation Graph (, )][DBLP]


  66. Logical Foundations of XML and XQuery. [Citation Graph (, )][DBLP]


  67. Named entity normalization in user generated content. [Citation Graph (, )][DBLP]


  68. Who said what to whom?: capturing the structure of debates. [Citation Graph (, )][DBLP]


  69. Tree patterns with Full Text Search. [Citation Graph (, )][DBLP]


  70. Extracting the discussion structure in comments on news-articles. [Citation Graph (, )][DBLP]


  71. DutchParl. The Parliamentary Documents in Dutch. [Citation Graph (, )][DBLP]


  72. An Inflationary Fixed Point Operator in XQuery [Citation Graph (, )][DBLP]


Search in 0.022secs, Finished in 0.025secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002