Maarten Marx

	2011
88		Steven Grijzenhout, Maarten Marx: The quality of the XML web. CIKM 2011: 1719-1724
87		Anne Schuth, Maarten Marx: Evaluation Methods for Rankings of Facetvalues for Faceted Search. CLEF 2011: 131-136
86		Bart de Goede, Maarten Marx, Arjan Nusselder, Justin van Wees: Succinct summaries of narrative events using social networks. HT 2011: 299-304
85		Maarten Marx, Tim Gielissen: Digital weight watching: reconstruction of scanned documents. IJDAR 14(2): 229-239 (2011)
84		Tom J. Ameloot, Maarten Marx, Wim Martens, Frank Neven, Justin van Wees: 30 Years of PODS in facts and figures. SIGMOD Record 40(3): 54-60 (2011)
	2010
83		Maarten Marx, Nelleke Aders, Anne Schuth: Digital sustainable publication of legacy parliamentary proceedings. DG.O 2010: 99-104
82		Maarten Marx: The surplus value of semantic annotations. ESAIR 2010: 3-4
81		Maarten Marx, Anne Schuth: DutchParl. The Parliamentary Documents in Dutch. LREC 2010
80		Maarten Marx, Arjan Nusselder: What You Say is Who You Are. How Open Government Data Facilitates Profiling Politicians. OKCon 2010: 22-28
79		Maria-Hendrike Peetz, Maarten Marx: Tree patterns with Full Text Search. WebDB 2010
78		Rianne Kaptein, Maarten Marx: Focused retrieval and result aggregation with political data. Inf. Retr. 13(5): 412-433 (2010)
77		Balder ten Cate, Tadeusz Litak, Maarten Marx: Complete axiomatizations for XPath fragments. J. Applied Logic 8(2): 153-172 (2010)
	2009
76		Tim Gielissen, Maarten Marx: Digital weight watching: reconstruction of scanned documents. AND 2009: 25-31
75		Arjan 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
74		Loredana Afanasiev, Torsten Grust, Maarten Marx, Jan Rittinger, Jens Teubner: Recursion in XQuery: put your distributivity safety belt on. EDBT 2009: 345-356
73		Maarten Marx: Logical Foundations of XML and XQuery. Reasoning Web 2009: 111-157
72		Rianne Kaptein, Maarten Marx, Jaap Kamps: Who said what to whom?: capturing the structure of debates. SIGIR 2009: 831-832
71		Maarten Marx: Advanced Information Access to Parliamentary Debates. J. Digit. Inf. 10(6): (2009)
70		Balder ten Cate, Maarten Marx: Axiomatizing the Logical Core of XPath 2.0. Theory Comput. Syst. 44(4): 561-589 (2009)
	2008
69		Valentin Jijkoun, Mahboob Alam Khalid, Maarten Marx, Maarten de Rijke: Named entity normalization in user generated content. AND 2008: 23-30
68		Maarten Marx: XPath: (P)DL on Trees. Description Logics 2008
67		Loredana Afanasiev, Torsten Grust, Maarten Marx, Jan Rittinger, Jens Teubner: An Inflationary Fixed Point Operator in XQuery. ICDE 2008: 1504-1506
66		Loredana Afanasiev, Maarten Marx: An analysis of XQuery benchmarks. Inf. Syst. 33(2): 155-181 (2008)
	2007
65		Balder ten Cate, Maarten Marx: Axiomatizing the Logical Core of XPath 2.0. ICDT 2007: 134-148
64		Maarten Marx: Queries determined by views: pack your views. PODS 2007: 23-30
63		Anne Schuth, Maarten Marx, Maarten de Rijke: Extracting the discussion structure in comments on news-articles. WIDM 2007: 97-104
62		Valentin Jijkoun, Maarten Marx, Maarten de Rijke, Frank van Waveren: Electoral search using the VerkiezingsKijker: an experience report. WWW 2007: 1155-1156
61		Loredana Afanasiev, Torsten Grust, Maarten Marx, Jan Rittinger, Jens Teubner: An Inflationary Fixed Point Operator in XQuery CoRR abs/0711.3375: (2007)
60		Balder ten Cate, Maarten Marx: Navigational XPath: calculus and algebra. SIGMOD Record 36(2): 19-26 (2007)
	2006
59		Loredana Afanasiev, Maarten Marx: An Analysis of the Current XQuery Benchmarks. ExpDB 2006: 9-20
58		Balder ten Cate, Willem Conradie, Maarten Marx, Yde Venema: Definitorially Complete Description Logics. KR 2006: 79-89
57		Loredana Afanasiev, Massimo Franceschet, Maarten Marx, Enrico Zimuel: XCheck: A Platform for Benchmarking XQuery Engines. VLDB 2006: 1247-1250
56		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)
55		Maarten Marx: Navigation in XML Trees. Bulletin of the EATCS 88: 126-140 (2006)
	2005
54		Jaap Kamps, Maarten Marx, Maarten de Rijke, Börkur Sigurbjörnsson: Structured queries in XML retrieval. CIKM 2005: 4-11
53		Maarten Marx: XML Navigation and Tarski's Relation Algebras. CSL 2005: 1-2
52		Maarten Marx: First Order Paths in Ordered Trees. ICDT 2005: 114-128
51		Evan Goris, Maarten Marx: Looping Caterpillars. LICS 2005: 51-60
50		Maarten Marx: Conditional XPath. ACM Trans. Database Syst. 30(4): 929-959 (2005)
49		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)
48		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)
47		Balder ten Cate, Maarten Marx, Jorge Petrúcio Viana: Hybrid logics with Sahlqvist axioms. Logic Journal of the IGPL 13(3): 293-300 (2005)
46		Maarten Marx, Maarten de Rijke: Semantic characterizations of navigational XPath. SIGMOD Record 34(2): 41-46 (2005)
	2004
45		Maarten Marx: XPath with Conditional Axis Relations. EDBT 2004: 477-494
44		Willem Robert van Hage, Maarten de Rijke, Maarten Marx: Information Retrieval Support for Ontology Construction and Use. International Semantic Web Conference 2004: 518-533
43		Maarten Marx: Conditional XPath, the First Order Complete XPath Dialect. PODS 2004: 13-22
42		Irini Fundulaki, Maarten Marx: Specifying access control policies for XML documents with XPath. SACMAT 2004: 61-69
41		Maarten Marx, Maarten de Rijke: Semantic Characterization of Navigational XPath. TDM 2004: 73-79
40		Loredana Afanasiev, Massimo Franceschet, Maarten Marx, Maarten de Rijke: CTL Model Checking for Processing Simple XPath Queries. TIME 2004: 117-124
39		Jaap Kamps, Maarten Marx, Maarten de Rijke, Börkur Sigurbjörnsson: Best-Match Querying from Document-Centric XML. WebDB 2004: 55-60
	2003
38		Carlos Areces, Patrick Blackburn, Bernadette Martínez Hernández, Maarten Marx: Handling Boolean A Boxes. Description Logics 2003
37		Jaap Kamps, Maarten Marx, Maarten de Rijke, Börkur Sigurbjörnsson: XML retrieval: what to retrieve? SIGIR 2003: 409-410
36		Irini Fundulaki, Maarten Marx: Mediation of XML Data through Entity Relationship Models. SWDB 2003: 357-380
35		Maarten Marx: XPath and Modal Logics of Finite DAG's. TABLEAUX 2003: 150-164
34		Carlos Areces, Patrick Blackburn, Maarten Marx: Repairing the interpolation theorem in quantified modal logic. Ann. Pure Appl. Logic 124(1-3): 287-299 (2003)
33		Patrick Blackburn, Maarten Marx: Constructive interpolation in hybrid logic. J. Symb. Log. 68(2): 463-480 (2003)
32		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
31		Maarten Marx, Mehdi Dastani: Anaphoric Definitions in Description Logic. EurAsia-ICT 2002: 410-417
30		Jaap Kamps, Maarten Marx, Maarten de Rijke, Börkur Sigurbjörnsson: The Importance of Morphological Normalization for XML Retrieval. INEX Workshop 2002: 41-48
29		Jaap Kamps, Maarten Marx: Notions of Indistinguishability for Semantic Web Languages. International Semantic Web Conference 2002: 30-38
28		Patrick Blackburn, Maarten Marx: Tableaux for Quantified Hybrid Logic. TABLEAUX 2002: 38-52
27		Patrick Blackburn, Maarten Marx: Remarks on Gregory's "Actually" Operator. J. Philosophical Logic 31(3): 281-288 (2002)
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		Patrick Blackburn, Jaap Kamps, Maarten Marx: Situation Calculus as Hybrid Logic: First Steps. EPIA 2001: 253-260
22		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		Maarten Marx, Szabolcs Mikulás: Products, or How to Create Modal Logics of High Complexity. Logic Journal of the IGPL 9(1): 71-82 (2001)
18		Patrick Blackburn, Maarten Marx: Third International Workshop on Hybrid Logic (HyLo'01). Logic Journal of the IGPL 9(5): 735-737 (2001)
	2000
17		Maarten Marx, Szabolcs Mikulás, Mark Reynolds: The Mosaic Method for Temporal Logics. TABLEAUX 2000: 324-340
16		Carlos Areces, Patrick Blackburn, Maarten Marx: The Computational Complexity of Hybrid Temporal Logics. Logic Journal of the IGPL 8(5): 653-679 (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		Maarten Marx: Complexity of Products of Modal Logics. J. Log. Comput. 9(2): 197-214 (1999)
11		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		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		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)

Coauthor Index

1	Nelleke Aders	[83]
2	Loredana Afanasiev	[40] [49] [57] [59] [61] [66] [67] [74]
3	Tom J. Ameloot	[84]
4	Carlos Areces	[4] [15] [16] [21] [34] [38]
5	Nick Bezhanishvili	[32]
6	Patrick Blackburn	[15] [16] [18] [21] [23] [27] [28] [33] [34] [38] [49]
7	Jan Van den Bussche	[48]
8	Balder ten Cate	[47] [58] [60] [65] [70] [77]
9	Willem Conradie	[58]
10	Mehdi Dastani	[31]
11	Ioanna Dimitriou	[49]
12	Massimo Franceschet	[40] [57]
13	Irini Fundulaki	[36] [42]
14	Bertrand Gaiffe	[49]
15	Tim Gielissen	[76] [85]
16	Bart de Goede	[86]
17	Evan Goris	[49] [51]
18	Steven Grijzenhout	[88]
19	Torsten Grust	[61] [67] [74]
20	Willem Robert van Hage	[44]
21	Bernadette Martínez Hernández	[38]
22	Eva Hoogland	[14] [26]
23	Valentin Jijkoun	[62] [69]
24	Jaap Kamps	[23] [29] [30] [37] [39] [54] [56] [72]
25	Rianne Kaptein	[72] [78]
26	Mahboob Alam Khalid	[69]
27	Dirk Leinders	[48]
28	Tadeusz Litak	[77]
29	Wim Martens	[84]
30	Szabolcs Mikulás	[1] [7] [9] [10] [17] [19] [24]
31	István Németi	[1]
32	Frank Neven	[84]
33	Arjan Nusselder	[75] [80] [86]
34	Martin Otto	[14]
35	Maria-Hendrike Peetz (Hendrike Peetz)	[75] [79]
36	Mark Reynolds	[11] [17]
37	Maarten de Rijke	[30] [37] [39] [40] [41] [44] [46] [49] [54] [56] [62] [63] [69]
38	Jan Rittinger	[61] [67] [74]
39	Stefan Schlobach	[7]
40	Anne Schuth	[63] [75] [81] [83] [87]
41	Börkur Sigurbjörnsson	[30] [37] [39] [54] [56]
42	Jens Teubner	[61] [67] [74]
43	Jerzy Tyszkiewicz	[48]
44	Yde Venema	[58]
45	Jorge Petrúcio Viana	[47]
46	Frank van Waveren	[62]
47	Justin van Wees	[84] [86]
48	Enrico Zimuel	[57]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page