| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Maarten Marx, Tim Gielissen |
Digital weight watching: reconstruction of scanned documents.  |
IJDAR  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Tom J. Ameloot, Maarten Marx, Wim Martens, Frank Neven, Justin van Wees |
30 Years of PODS in facts and figures. |
SIGMOD Record |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Anne Schuth, Maarten Marx |
Evaluation Methods for Rankings of Facetvalues for Faceted Search. |
CLEF |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Bart de Goede, Maarten Marx, Arjan Nusselder, Justin van Wees |
Succinct summaries of narrative events using social networks. |
HT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Steven Grijzenhout, Maarten Marx |
The quality of the XML web. |
CIKM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Balder ten Cate, Tadeusz Litak, Maarten Marx |
Complete axiomatizations for XPath fragments. |
J. Applied Logic |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Rianne Kaptein, Maarten Marx |
Focused retrieval and result aggregation with political data. |
Inf. Retr. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Maarten Marx, Anne Schuth |
DutchParl. The Parliamentary Documents in Dutch. |
LREC |
2010 |
DBLP BibTeX RDF |
|
| 1 | Maria-Hendrike Peetz, Maarten Marx |
Tree patterns with Full Text Search. |
WebDB |
2010 |
DBLP BibTeX RDF |
|
| 1 | Maarten Marx, Arjan Nusselder |
What You Say is Who You Are. How Open Government Data Facilitates Profiling Politicians. |
OKCon |
2010 |
DBLP BibTeX RDF |
|
| 1 | Maarten Marx, Nelleke Aders, Anne Schuth |
Digital sustainable publication of legacy parliamentary proceedings. |
DG.O |
2010 |
DBLP DOI BibTeX RDF |
parliamentary proceedings, XML, knowledge representation, linked data |
| 1 | Maarten Marx |
The surplus value of semantic annotations. |
ESAIR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Maarten Marx |
Advanced Information Access to Parliamentary Debates. |
J. Digit. Inf. |
2009 |
DBLP BibTeX RDF |
|
| 1 | Balder ten Cate, Maarten Marx |
Axiomatizing the Logical Core of XPath 2.0. |
Theory Comput. Syst. |
2009 |
DBLP DOI BibTeX RDF |
XML, XPath, Query rewriting, Axiomatization |
| 1 | Tim Gielissen, Maarten Marx |
Digital weight watching: reconstruction of scanned documents. |
AND |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Loredana Afanasiev, Torsten Grust, Maarten Marx, Jan Rittinger, Jens Teubner |
Recursion in XQuery: put your distributivity safety belt on. |
EDBT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Rianne Kaptein, Maarten Marx, Jaap Kamps |
Who said what to whom?: capturing the structure of debates. |
SIGIR |
2009 |
DBLP DOI BibTeX RDF |
political data, word clouds, visualization |
| 1 | Maarten Marx |
Logical Foundations of XML and XQuery. |
Reasoning Web |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
information extraction, egovernance, expert search |
| 1 | Loredana Afanasiev, Maarten Marx |
An analysis of XQuery benchmarks. |
Inf. Syst. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Maarten Marx |
XPath: (P)DL on Trees. |
Description Logics |
2008 |
DBLP BibTeX RDF |
|
| 1 | Loredana Afanasiev, Torsten Grust, Maarten Marx, Jan Rittinger, Jens Teubner |
An Inflationary Fixed Point Operator in XQuery. |
ICDE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Valentin Jijkoun, Mahboob Alam Khalid, Maarten Marx, Maarten de Rijke |
Named entity normalization in user generated content. |
AND |
2008 |
DBLP DOI BibTeX RDF |
evaluation, wikipedia, user generated content, named entities |
| 1 | Balder ten Cate, Maarten Marx |
Navigational XPath: calculus and algebra. |
SIGMOD Record |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Loredana Afanasiev, Torsten Grust, Maarten Marx, Jan Rittinger, Jens Teubner |
An Inflationary Fixed Point Operator in XQuery |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Anne Schuth, Maarten Marx, Maarten de Rijke |
Extracting the discussion structure in comments on news-articles. |
WIDM |
2007 |
DBLP DOI BibTeX RDF |
web mining, web data extraction |
| 1 | Valentin Jijkoun, Maarten Marx, Maarten de Rijke, Frank van Waveren |
Electoral search using the VerkiezingsKijker: an experience report. |
WWW |
2007 |
DBLP DOI BibTeX RDF |
domain specific search, elections, democracy |
| 1 | Balder ten Cate, Maarten Marx |
Axiomatizing the Logical Core of XPath 2.0. |
ICDT |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Maarten Marx |
Queries determined by views: pack your views. |
PODS |
2007 |
DBLP DOI BibTeX RDF |
views, query rewriting, definability, guarded fragment |
| 1 | Jaap Kamps, Maarten Marx, Maarten de Rijke, Börkur Sigurbjörnsson |
Articulating information needs in XML query languages. |
ACM Trans. Inf. Syst. |
2006 |
DBLP DOI BibTeX RDF |
Full-text XML querying, XPath, XML retrieval |
| 1 | Maarten Marx |
Navigation in XML Trees. |
Bulletin of the EATCS |
2006 |
DBLP BibTeX RDF |
|
| 1 | Loredana Afanasiev, Maarten Marx |
An Analysis of the Current XQuery Benchmarks. |
ExpDB |
2006 |
DBLP BibTeX RDF |
|
| 1 | Loredana Afanasiev, Massimo Franceschet, Maarten Marx, Enrico Zimuel |
XCheck: A Platform for Benchmarking XQuery Engines. |
VLDB |
2006 |
DBLP BibTeX RDF |
|
| 1 | Balder ten Cate, Willem Conradie, Maarten Marx, Yde Venema |
Definitorially Complete Description Logics. |
KR |
2006 |
DBLP BibTeX RDF |
|
| 1 | 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 |
2005 |
DBLP BibTeX RDF |
|
| 1 | Maarten Marx |
Conditional XPath. |
ACM Trans. Database Syst. |
2005 |
DBLP DOI BibTeX RDF |
XML, XPath, Semistructured data |
| 1 | Balder ten Cate, Maarten Marx, Jorge Petrúcio Viana |
Hybrid logics with Sahlqvist axioms. |
Logic Journal of the IGPL |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Maarten Marx, Maarten de Rijke |
Semantic characterizations of navigational XPath. |
SIGMOD Record |
2005 |
DBLP DOI BibTeX RDF |
XML |
| 1 | Dirk Leinders, Maarten Marx, Jerzy Tyszkiewicz, Jan Van den Bussche |
The Semijoin Algebra and the Guarded Fragment. |
Journal of Logic, Language and Information |
2005 |
DBLP DOI BibTeX RDF |
guarded logic, databases, relational algebra, semijoin |
| 1 | Maarten Marx |
First Order Paths in Ordered Trees. |
ICDT |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Evan Goris, Maarten Marx |
Looping Caterpillars. |
LICS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Maarten Marx |
XML Navigation and Tarski's Relation Algebras. |
CSL |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jaap Kamps, Maarten Marx, Maarten de Rijke, Börkur Sigurbjörnsson |
Structured queries in XML retrieval. |
CIKM |
2005 |
DBLP DOI BibTeX RDF |
full-text XML querying, XPath, XML retrieval |
| 1 | Loredana Afanasiev, Massimo Franceschet, Maarten Marx, Maarten de Rijke |
CTL Model Checking for Processing Simple XPath Queries. |
TIME |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jaap Kamps, Maarten Marx, Maarten de Rijke, Börkur Sigurbjörnsson |
Best-Match Querying from Document-Centric XML. |
WebDB |
2004 |
DBLP BibTeX RDF |
|
| 1 | Maarten Marx |
XPath with Conditional Axis Relations. |
EDBT |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Irini Fundulaki, Maarten Marx |
Specifying access control policies for XML documents with XPath. |
SACMAT |
2004 |
DBLP DOI BibTeX RDF |
xml access control, xpath, xml |
| 1 | Maarten Marx, Maarten de Rijke |
Semantic Characterization of Navigational XPath. |
TDM |
2004 |
DBLP BibTeX RDF |
|
| 1 | Willem Robert van Hage, Maarten de Rijke, Maarten Marx |
Information Retrieval Support for Ontology Construction and Use. |
International Semantic Web Conference |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Maarten Marx |
Conditional XPath, the First Order Complete XPath Dialect. (PDF / PS) |
PODS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Nick Bezhanishvili, Maarten Marx |
All Proper Normal Extensions of S5-square have the Polynomial Size Model Property. |
Studia Logica |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick Blackburn, Maarten Marx |
Constructive interpolation in hybrid logic. |
J. Symb. Log. |
2003 |
DBLP BibTeX RDF |
|
| 1 | Carlos Areces, Patrick Blackburn, Maarten Marx |
Repairing the interpolation theorem in quantified modal logic. |
Ann. Pure Appl. Logic |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Areces, Patrick Blackburn, Bernadette Martínez Hernández, Maarten Marx |
Handling Boolean A Boxes. |
Description Logics |
2003 |
DBLP BibTeX RDF |
|
| 1 | Jaap Kamps, Maarten Marx, Maarten de Rijke, Börkur Sigurbjörnsson |
XML retrieval: what to retrieve? |
SIGIR |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Maarten Marx |
XPath and Modal Logics of Finite DAG's. |
TABLEAUX |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Irini Fundulaki, Maarten Marx |
Mediation of XML Data through Entity Relationship Models. |
SWDB |
2003 |
DBLP BibTeX RDF |
|
| 1 | Maarten Marx |
Computing with Cylindric Modal Logics and Arrow Logics, Lower Bounds. |
Studia Logica |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Maarten Marx, Szabolcs Mikulás |
An Elementary Construction for a Non-elementary Procedure. |
Studia Logica |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Eva Hoogland, Maarten Marx |
Interpolation and Definability in Guarded Fragments. |
Studia Logica |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick Blackburn, Maarten Marx |
Remarks on Gregory's "Actually" Operator. |
J. Philosophical Logic |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Jaap Kamps, Maarten Marx, Maarten de Rijke, Börkur Sigurbjörnsson |
The Importance of Morphological Normalization for XML Retrieval. |
INEX Workshop |
2002 |
DBLP BibTeX RDF |
|
| 1 | Patrick Blackburn, Maarten Marx |
Tableaux for Quantified Hybrid Logic. |
TABLEAUX |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Jaap Kamps, Maarten Marx |
Notions of Indistinguishability for Semantic Web Languages. |
International Semantic Web Conference |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Maarten Marx, Mehdi Dastani |
Anaphoric Definitions in Description Logic. |
EurAsia-ICT |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Maarten Marx, Szabolcs Mikulás |
Products, or How to Create Modal Logics of High Complexity. |
Logic Journal of the IGPL |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick Blackburn, Maarten Marx |
Third International Workshop on Hybrid Logic (HyLo'01). |
Logic Journal of the IGPL |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Areces, Patrick Blackburn, Maarten Marx |
Hybrid Logics: Characterization, Interpolation and Complexity. |
J. Symb. Log. |
2001 |
DBLP BibTeX RDF |
|
| 1 | Maarten Marx |
Relation Algebra with Binders. |
J. Log. Comput. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Maarten Marx |
Tolerance Logic. |
Journal of Logic, Language and Information |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick Blackburn, Jaap Kamps, Maarten Marx |
Situation Calculus as Hybrid Logic: First Steps. |
EPIA |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Areces, Patrick Blackburn, Maarten Marx |
The Computational Complexity of Hybrid Temporal Logics. |
Logic Journal of the IGPL |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Maarten Marx, Szabolcs Mikulás, Mark Reynolds |
The Mosaic Method for Temporal Logics. |
TABLEAUX |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Maarten Marx, Szabolcs Mikulás, Stefan Schlobach |
Tableau Calculus for Local Cubic Modal Logic and it's Implementation. |
Logic Journal of the IGPL |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Maarten Marx |
Relation Algebras can Tile. |
Inf. Sci. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Szabolcs Mikulás, Maarten Marx |
Undecidable Relativizations of Algebras of Relations. |
J. Symb. Log. |
1999 |
DBLP BibTeX RDF |
|
| 1 | Maarten Marx, Szabolcs Mikulás |
Decidability of Cylindric Set Algebras of Dimension Two and First-Order Logic with Two Variables. |
J. Symb. Log. |
1999 |
DBLP BibTeX RDF |
|
| 1 | Maarten Marx |
Complexity of Products of Modal Logics. |
J. Log. Comput. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Maarten Marx, Mark Reynolds |
Undecidability of Compass Logic. |
J. Log. Comput. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Maarten Marx |
The Classical Decision Problem, Egon Börger, Erich Grädel, and Yuri Gurevich. |
Journal of Logic, Language and Information |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Eva Hoogland, Maarten Marx, Martin Otto |
Beth Definability for the Guarded Fragment. |
LPAR |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Areces, Patrick Blackburn, Maarten Marx |
A Road-Map on Complexity for Hybrid Logics. |
CSL |
1999 |
DBLP DOI BibTeX RDF |
Labeled Deduction, Computational Complexity, Description Logic, Modal and Temporal Logic |
| 1 | Maarten Marx, Carlos Areces |
Failure of Interpolation in Combined Modal Logics. |
Notre Dame Journal of Formal Logic |
1998 |
DBLP BibTeX RDF |
|
| 1 | Maarten Marx |
Amalgamation in Relational Algebras. |
J. Symb. Log. |
1998 |
DBLP BibTeX RDF |
|
| 1 | Maarten Marx |
Interpolation in Modal Logic. |
AMAST |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Maarten Marx |
Relation Algebras Can Tile. |
RelMiCS |
1997 |
DBLP BibTeX RDF |
|
| 1 | Maarten Marx |
Multi-Dimensional Semantics for Modal Logics. |
Notre Dame Journal of Formal Logic |
1996 |
DBLP BibTeX RDF |
|
| 1 | Maarten Marx, Szabolcs Mikulás, István Németi |
Taming Logic. |
Journal of Logic, Language and Information |
1995 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")