2013
94The quality of the XML Web. Steven Grijzenhout, Maarten Marx. J. Web Sem. (19): 59-68 (2013). Web SearchBibTeXDownload
2012
93Overview of the INEX 2012 Linked Data Track. Qiuyue Wang, Jaap Kamps, Georgina Ramirez Camps, Maarten Marx, Anne Schuth, Martin Theobald, Sairam Gurajada, Arunav Mishra. CLEF (Online Working Notes/Labs/Workshop) 2012. Web SearchBibTeXDownload
92Two-Stage Named-Entity Recognition Using Averaged Perceptrons. Lars Buitinck, Maarten Marx. NLDB 2012, 171-176. Web SearchBibTeXDownload
91Report on INEX 2011. Patrice Bellot, Timothy Chappell, Antoine Doucet, Shlomo Geva, Jaap Kamps, Gabriella Kazai, Marijn Koolen, Monica Landoni, Maarten Marx, Véronique Moriceau, Josiane Mothe, G. Ramírez, Mark Sanderson, Eric SanJuan, Falk Scholer, Xavier Tannier, Martin Theobald, M. Trappett, Andrew Trotman, Qiuyue Wang. SIGIR Forum (46): 33-42 (2012). Web SearchBibTeXDownload
90Report on INEX 2012. Patrice Bellot, Timothy Chappell, Antoine Doucet, Shlomo Geva, Sairam Gurajada, Jaap Kamps, Gabriella Kazai, Marijn Koolen, Monica Landoni, Maarten Marx, A. Mishra, Véronique Moriceau, Josiane Mothe, Michael Preminger, G. Ramírez, Mark Sanderson, Eric SanJuan, Falk Scholer, A. Schuh, Xavier Tannier, Martin Theobald, Matthew Trappett, Andrew Trotman, Qiuyue Wang. SIGIR Forum (46): 50-59 (2012). Web SearchBibTeXDownload
2011
89The quality of the XML web. Steven Grijzenhout, Maarten Marx. CIKM 2011, 1719-1724. Web SearchBibTeXDownload
88Evaluation Methods for Rankings of Facetvalues for Faceted Search. Anne Schuth, Maarten Marx. CLEF 2011, 131-136. Web SearchBibTeXDownload
87Succinct summaries of narrative events using social networks. Bart de Goede, Maarten Marx, Arjan Nusselder, Justin van Wees. HT 2011, 299-304. Web SearchBibTeXDownload
86Digital weight watching: reconstruction of scanned documents. Tim Gielissen, Maarten Marx. IJDAR (14): 229-239 (2011). Web SearchBibTeXDownload
8530 Years of PODS in facts and figures. Tom J. Ameloot, Maarten Marx, Wim Martens, Frank Neven, Justin van Wees. SIGMOD Record (40): 54-60 (2011). Web SearchBibTeXDownload
2010
84Digital sustainable publication of legacy parliamentary proceedings. Maarten Marx, Nelleke Aders, Anne Schuth. DG.O 2010, 99-104. Web SearchBibTeXDownload
83The surplus value of semantic annotations. Maarten Marx. ESAIR 2010, 3-4. Web SearchBibTeXDownload
82Focused retrieval and result aggregation with political data. Rianne Kaptein, Maarten Marx. Inf. Retr. (13): 412-433 (2010). Web SearchBibTeXDownload
81Complete axiomatizations for XPath fragments. Balder ten Cate, Tadeusz Litak, Maarten Marx. J. Applied Logic (8): 153-172 (2010). Web SearchBibTeXDownload
80DutchParl. The Parliamentary Documents in Dutch. Maarten Marx, Anne Schuth. LREC 2010. Web SearchBibTeXDownload
79What You Say is Who You Are. How Open Government Data Facilitates Profiling Politicians. Maarten Marx, Arjan Nusselder. OKCon 2010, 22-28. Web SearchBibTeXDownload
78Tree patterns with Full Text Search. Maria-Hendrike Peetz, Maarten Marx. WebDB 2010. Web SearchBibTeXDownload
2009
77Digital weight watching: reconstruction of scanned documents. Tim Gielissen, Maarten Marx. AND 2009, 25-31. Web SearchBibTeXDownload
76Helping people to choose for whom to vote. a web information system for the 2009 European elections. Arjan Nusselder, Hendrike Peetz, Anne Schuth, Maarten Marx. CIKM 2009, 2095-2096. Web SearchBibTeXDownload
75Recursion in XQuery: put your distributivity safety belt on. Loredana Afanasiev, Torsten Grust, Maarten Marx, Jan Rittinger, Jens Teubner. EDBT 2009, 345-356. Cited by 3Web SearchBibTeXDownload
74Advanced Information Access to Parliamentary Debates. Maarten Marx. J. Digit. Inf. (10) (2009). Web SearchBibTeXDownload
73Logical Foundations of XML and XQuery. Maarten Marx. Reasoning Web 2009, 111-157. Web SearchBibTeXDownload
72Who said what to whom?: capturing the structure of debates. Rianne Kaptein, Maarten Marx, Jaap Kamps. SIGIR 2009, 831-832. Cited by 4Web SearchBibTeXDownload
71Axiomatizing the Logical Core of XPath 2.0. Balder ten Cate, Maarten Marx. Theory Comput. Syst. (44): 561-589 (2009). Cited by 18Web SearchBibTeXDownload
2008
70Named entity normalization in user generated content. Valentin Jijkoun, Mahboob Alam Khalid, Maarten Marx, Maarten de Rijke. AND 2008, 23-30. Cited by 1Web SearchBibTeXDownload
69XPath: (P)DL on Trees. Maarten Marx. Description Logics 2008. Web SearchBibTeX
68An Inflationary Fixed Point Operator in XQuery. Loredana Afanasiev, Torsten Grust, Maarten Marx, Jan Rittinger, Jens Teubner. ICDE 2008, 1504-1506. Cited by 1Web SearchBibTeXDownload
67An analysis of XQuery benchmarks. Loredana Afanasiev, Maarten Marx. Inf. Syst. (33): 155-181 (2008). Cited by 2Web SearchBibTeXDownload
2007
66An Inflationary Fixed Point Operator in XQuery. Loredana Afanasiev, Torsten Grust, Maarten Marx, Jan Rittinger, Jens Teubner. CoRR (abs/0711.3375) (2007). Cited by 1Web SearchBibTeXDownload
65Axiomatizing the Logical Core of XPath 2.0. Balder ten Cate, Maarten Marx. ICDT 2007, 134-148. Cited by 18Web SearchBibTeXDownload
64Queries determined by views: pack your views. Maarten Marx. PODS 2007, 23-30. Cited by 7Web SearchBibTeXDownload
63Navigational XPath: calculus and algebra. Balder ten Cate, Maarten Marx. SIGMOD Record (36): 19-26 (2007). Cited by 3Web SearchBibTeXDownload
62Extracting the discussion structure in comments on news-articles. Anne Schuth, Maarten Marx, Maarten de Rijke. WIDM 2007, 97-104. Cited by 5Web SearchBibTeXDownload
61Electoral search using the VerkiezingsKijker: an experience report. Valentin Jijkoun, Maarten Marx, Maarten de Rijke, Frank van Waveren. WWW 2007, 1155-1156. Cited by 2Web SearchBibTeXDownload
2006
60Articulating information needs in XML query languages. Jaap Kamps, Maarten Marx, Maarten de Rijke, Börkur Sigurbjörnsson. ACM Trans. Inf. Syst. (24): 407-436 (2006). Cited by 14Web SearchBibTeXDownload
59Navigation in XML Trees. Maarten Marx. Bulletin of the EATCS (88): 126-140 (2006). Web SearchBibTeX
58An Analysis of the Current XQuery Benchmarks. Loredana Afanasiev, Maarten Marx. ExpDB 2006, 9-20. Cited by 10Web SearchBibTeXDownload
57Definitorially Complete Description Logics. Balder ten Cate, Willem Conradie, Maarten Marx, Yde Venema. KR 2006, 79-89. Cited by 17Web SearchBibTeXDownload
56XCheck: A Platform for Benchmarking XQuery Engines. Loredana Afanasiev, Massimo Franceschet, Maarten Marx, Enrico Zimuel. VLDB 2006, 1247-1250. Cited by 11Web SearchBibTeXDownload
2005
55Conditional XPath. Maarten Marx. ACM Trans. Database Syst. (30): 929-959 (2005). Cited by 37Web SearchBibTeXDownload
54Structured queries in XML retrieval. Jaap Kamps, Maarten Marx, Maarten de Rijke, Börkur Sigurbjörnsson. CIKM 2005, 4-11. Cited by 21Web SearchBibTeXDownload
53XML Navigation and Tarski's Relation Algebras. Maarten Marx. CSL 2005, 1-2. Web SearchBibTeXDownload
52First Order Paths in Ordered Trees. Maarten Marx. ICDT 2005, 114-128. Cited by 44Web SearchBibTeXDownload
51PDL for Ordered Trees. Loredana Afanasiev, Patrick Blackburn, Ioanna Dimitriou, Bertrand Gaiffe, Evan Goris, Maarten Marx, Maarten de Rijke. Journal of Applied Non-Classical Logics (15): 115-135 (2005). Cited by 44Web SearchBibTeXDownload
50The Semijoin Algebra and the Guarded Fragment. Dirk Leinders, Maarten Marx, Jerzy Tyszkiewicz, Jan Van den Bussche. Journal of Logic, Language and Information (14): 331-343 (2005). Cited by 9Web SearchBibTeXDownload
49Looping Caterpillars. Evan Goris, Maarten Marx. LICS 2005, 51-60. Web SearchBibTeXDownload
48Hybrid logics with Sahlqvist axioms. Balder ten Cate, Maarten Marx, Jorge Petrúcio Viana. Logic Journal of the IGPL (13): 293-300 (2005). Cited by 17Web SearchBibTeXDownload
47Semantic characterizations of navigational XPath. Maarten Marx, Maarten de Rijke. SIGMOD Record (34): 41-46 (2005). Cited by 43Web SearchBibTeXDownload
2004
46XPath with Conditional Axis Relations. Maarten Marx. EDBT 2004, 477-494. Cited by 81Web SearchBibTeXDownload
45Information Retrieval Support for Ontology Construction and Use. Willem Robert van Hage, Maarten de Rijke, Maarten Marx. International Semantic Web Conference 2004, 518-533. Cited by 8Web SearchBibTeXDownload
44Using WordNet to Measure Semantic Orientations of Adjectives. Jaap Kamps, Maarten Marx, Robert J. Mokken, Maarten de Rijke. LREC 2004. Web SearchBibTeXDownload
43Conditional XPath, the First Order Complete XPath Dialect. Maarten Marx. PODS 2004, 13-22. Cited by 79Web SearchBibTeXDownload
42Specifying access control policies for XML documents with XPath. Irini Fundulaki, Maarten Marx. SACMAT 2004, 61-69. Cited by 74Web SearchBibTeXDownload
41Semantic Characterization of Navigational XPath. Maarten Marx, Maarten de Rijke. TDM 2004, 73-79. Web SearchBibTeXDownload
40CTL Model Checking for Processing Simple XPath Queries. Loredana Afanasiev, Massimo Franceschet, Maarten Marx, Maarten de Rijke. TIME 2004, 117-124. Cited by 22Web SearchBibTeXDownload
39Best-Match Querying from Document-Centric XML. Jaap Kamps, Maarten Marx, Maarten de Rijke, Börkur Sigurbjörnsson. WebDB 2004, 55-60. Cited by 17Web SearchBibTeXDownload
2003
38Repairing the interpolation theorem in quantified modal logic. Carlos Areces, Patrick Blackburn, Maarten Marx. Ann. Pure Appl. Logic (124): 287-299 (2003). Cited by 16Web SearchBibTeXDownload
37Handling Boolean A Boxes. Carlos Areces, Patrick Blackburn, Bernadette Martínez Hernández, Maarten Marx. Description Logics 2003. Cited by 11Web SearchBibTeXDownload
36Constructive interpolation in hybrid logic. Patrick Blackburn, Maarten Marx. J. Symb. Log. (68): 463-480 (2003). Cited by 15Web SearchBibTeX
35XML retrieval: what to retrieve?. Jaap Kamps, Maarten Marx, Maarten de Rijke, Börkur Sigurbjörnsson. SIGIR 2003, 409-410. Cited by 28Web SearchBibTeXDownload
34All Proper Normal Extensions of S5-square have the Polynomial Size Model Property. Nick Bezhanishvili, Maarten Marx. Studia Logica (73): 367-382 (2003). Cited by 6Web SearchBibTeXDownload
33Mediation of XML Data through Entity Relationship Models. Irini Fundulaki, Maarten Marx. SWDB 2003, 357-380. Cited by 3Web SearchBibTeX
32XPath and Modal Logics of Finite DAG's. Maarten Marx. TABLEAUX 2003, 150-164. Cited by 23Web SearchBibTeXDownload
2002
31Anaphoric Definitions in Description Logic. Maarten Marx, Mehdi Dastani. EurAsia-ICT 2002, 410-417. Web SearchBibTeXDownload
30The Importance of Morphological Normalization for XML Retrieval. Jaap Kamps, Maarten Marx, Maarten de Rijke, Börkur Sigurbjörnsson. INEX Workshop 2002, 41-48. Cited by 9Web SearchBibTeX
29Notions of Indistinguishability for Semantic Web Languages. Jaap Kamps, Maarten Marx. International Semantic Web Conference 2002, 30-38. Cited by 2Web SearchBibTeXDownload
28Remarks on Gregory's "Actually" Operator. Patrick Blackburn, Maarten Marx. J. Philosophical Logic (31): 281-288 (2002). Web SearchBibTeXDownload
27Computing with Cylindric Modal Logics and Arrow Logics, Lower Bounds. Maarten Marx. Studia Logica (72): 233-252 (2002). Web SearchBibTeXDownload
26An Elementary Construction for a Non-elementary Procedure. Maarten Marx, Szabolcs Mikulás. Studia Logica (72): 253-263 (2002). Cited by 4Web SearchBibTeXDownload
25Interpolation and Definability in Guarded Fragments. Eva Hoogland, Maarten Marx. Studia Logica (70): 373-409 (2002). Cited by 9Web SearchBibTeXDownload
24Tableaux for Quantified Hybrid Logic. Patrick Blackburn, Maarten Marx. TABLEAUX 2002, 38-52. Cited by 22Web SearchBibTeXDownload
2001
23Situation Calculus as Hybrid Logic: First Steps. Patrick Blackburn, Jaap Kamps, Maarten Marx. EPIA 2001, 253-260. Cited by 3Web SearchBibTeXDownload
22Relation Algebra with Binders. Maarten Marx. J. Log. Comput. (11): 691-700 (2001). Cited by 9Web SearchBibTeXDownload
21Tolerance Logic. Maarten Marx. Journal of Logic, Language and Information (10): 353-374 (2001). Cited by 33Web SearchBibTeXDownload
20Hybrid Logics: Characterization, Interpolation and Complexity. Carlos Areces, Patrick Blackburn, Maarten Marx. J. Symb. Log. (66): 977-1010 (2001). Cited by 139Web SearchBibTeXDownload
19Products, or How to Create Modal Logics of High Complexity. Maarten Marx, Szabolcs Mikulás. Logic Journal of the IGPL (9): 71-82 (2001). Cited by 7Web SearchBibTeXDownload
18Third International Workshop on Hybrid Logic (HyLo'01). Patrick Blackburn, Maarten Marx. Logic Journal of the IGPL (9): 735-737 (2001). Web SearchBibTeXDownload
2000
17The Computational Complexity of Hybrid Temporal Logics. Carlos Areces, Patrick Blackburn, Maarten Marx. Logic Journal of the IGPL (8): 653-679 (2000). Cited by 81Web SearchBibTeXDownload
16The Mosaic Method for Temporal Logics. Maarten Marx, Szabolcs Mikulás, Mark Reynolds. TABLEAUX 2000, 324-340. Cited by 11Web SearchBibTeXDownload
1999
15A Road-Map on Complexity for Hybrid Logics. Carlos Areces, Patrick Blackburn, Maarten Marx. CSL 1999, 307-321. Cited by 109Web SearchBibTeXDownload
14Relation Algebras can Tile. Maarten Marx. Inf. Sci. (119): 173-191 (1999). Cited by 1Web SearchBibTeXDownload
13Undecidability of Compass Logic. Maarten Marx, Mark Reynolds. J. Log. Comput. (9): 897-914 (1999). Cited by 27Web SearchBibTeXDownload
12Complexity of Products of Modal Logics. Maarten Marx. J. Log. Comput. (9): 197-214 (1999). Cited by 52Web SearchBibTeXDownload
11The Classical Decision Problem, Egon Börger, Erich Grädel, and Yuri Gurevich. Maarten Marx. Journal of Logic, Language and Information (8): 478-481 (1999). Web SearchBibTeXDownload
10Decidability of Cylindric Set Algebras of Dimension Two and First-Order Logic with Two Variables. Maarten Marx, Szabolcs Mikulás. J. Symb. Log. (64): 1563-1572 (1999). Cited by 3Web SearchBibTeXDownload
9Undecidable Relativizations of Algebras of Relations. Szabolcs Mikulás, Maarten Marx. J. Symb. Log. (64): 747-760 (1999). Cited by 8Web SearchBibTeXDownload
8Tableau Calculus for Local Cubic Modal Logic and it's Implementation. Maarten Marx, Szabolcs Mikulás, Stefan Schlobach. Logic Journal of the IGPL (7): 755-778 (1999). Cited by 7Web SearchBibTeXDownload
7Beth Definability for the Guarded Fragment. Eva Hoogland, Maarten Marx, Martin Otto. LPAR 1999, 273-285. Cited by 12Web SearchBibTeXDownload
1998
6Interpolation in Modal Logic. Maarten Marx. AMAST 1998, 154-163. Cited by 8Web SearchBibTeXDownload
5Amalgamation in Relational Algebras. Maarten Marx. J. Symb. Log. (63): 479-484 (1998). Cited by 7Web SearchBibTeXDownload
4Failure of Interpolation in Combined Modal Logics. Maarten Marx, Carlos Areces. Notre Dame Journal of Formal Logic (39): 253-273 (1998). Cited by 14Web SearchBibTeXDownload
1997
3Relation Algebras Can Tile. Maarten Marx. RelMiCS 1997, 225-238. Web SearchBibTeX
1996
2Multi-Dimensional Semantics for Modal Logics. Maarten Marx. Notre Dame Journal of Formal Logic (37): 25-34 (1996). Cited by 1Web SearchBibTeXDownload
1995
1Taming Logic. Maarten Marx, Szabolcs Mikulás, István Németi. Journal of Logic, Language and Information (4): 207-226 (1995). Cited by 5Web SearchBibTeXDownload
from DBLP and Google Scholar
References
1. ^ The ACM SIGMOD/PODS Conference: Vancouver, 2008 - PODs Program Committee - Retrieved 2009-11-21 - details
2. ^ Untitled Document - Retrieved 2013-05-13 - details
Developed by the Database Group at the University of Wisconsin and Yahoo! Research