Maarten Marx - RankMe

168 papers A* 10A 10B 17C 4Misc 8Journal 73Unranked 43

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Can we Evaluate RAGs with Synthetic Data? CoRR Jonas van Elburg, Peter van der Putten, Maarten Marx
2025	—	`conf`	Linking References to Documents in Parliamentary Debates. TPDL (Short Papers and Workshops) Floris Bos, Marc van Opijnen, Maarten Marx
2025	—	`conf`	Lost but Not Only in the Middle - Positional Bias in Retrieval Augmented Generation. ECIR (1) Jan Hutter, David Rau, Maarten Marx, Jaap Kamps
2025	J	`jnl`	Redacted text detection using neural image segmentation methods. Int. J. Document Anal. Recognit. Ruben van Heusden, Kaj Meijer, Maarten Marx
2025	—	`conf`	Spoken Question Answering on Municipal Council Meetings. ECIR (5) Pepijn van Wijk, Maarten Marx
2025	—	`conf`	WCAG Compliance of Open Government Documents. TPDL (Short Papers and Workshops) Gregory Slager, Maarten Marx
2024	J	`jnl`	A sharper definition of alignment for Panoptic Quality. Pattern Recognit. Lett. Ruben van Heusden, Maarten Marx
2024	J	`jnl`	Bcubed revisited: elements like me. Discov. Comput. Ruben van Heusden, Jaap Kamps, Maarten Marx
2024	C	`conf`	Combining Rule-Based and Machine Learning Methods for Efficient Information Extraction from Enforcement Decisions. JURIX Harry Nan, Maarten Marx, Johan Wolswinkel
2024	J	`jnl`	Enhancing Access Across Europe for Documents Published According to Freedom of Information Act: Applying Woogle Design and Technique to Estonian Public Information Act Document. Data Gerda Viira, Maarten Marx
2024	—	`conf`	OpenPSS: An Open Page Stream Segmentation Benchmark. TPDL (1) Ruben van Heusden, Jaap Kamps, Maarten Marx
2024	—	`conf`	Timeline Extraction from Decision Letters Using ChatGPT. CASE Femke Bakker, Ruben van Heusden, Maarten Marx
2023	B	`conf`	Detection of Redacted Text in Legal Documents. TPDL Ruben van Heusden, Aron de Ruijter, Roderick Majoor, Maarten Marx
2023	—	`conf`	Enticing Local Governments to Produce FAIR Freedom of Information Act Dossiers. ECIR (3) Maarten Marx, Maik Larooij, Filipp Perasedillo, Jaap Kamps
2023	B	`conf`	Making PDFs Accessible for Visually Impaired Users (and Findable for Everybody Else). TPDL Ruben van Heusden, Hazel Ling, Lars Nelissen, Maarten Marx
2023	J	`jnl`	Neural Coreference Resolution for Dutch Parliamentary Documents with the DutchParliament Dataset. Data Ruben van Heusden, Jaap Kamps, Maarten Marx
2023	J	`jnl`	Speech acts in the Dutch COVID-19 Press Conferences. Lang. Resour. Evaluation Daan Schueler, Maarten Marx
2023	J	`jnl`	The ParlaMint corpora of parliamentary proceedings. Lang. Resour. Evaluation Tomaz Erjavec, Maciej Ogrodniczuk, Petya Osenova, Nikola Ljubesic, Kiril Simov, Andrej Pancur, Michal Rudolf, Matyás Kopp, Starkaður Barkarson, Steinþór Steingrímsson, Çagri Çöltekin, Jesse de Does, Katrien Depuydt, Tommaso Agnoloni, Giulia Venturi, María Calzada Pérez, Luciana D. de Macedo, Costanza Navarretta, Giancarlo Luxardo, Matthew Coole, Paul Rayson, Vaidas Morkevicius, Tomas Krilavicius, Roberts Dargis, Orsolya Ring, Ruben van Heusden, Maarten Marx, Darja Fiser
2023	J	`jnl`	Using Deep-Learned Vector Representations for Page Stream Segmentation by Agglomerative Clustering. Algorithms Lukas Busch, Ruben van Heusden, Maarten Marx
2022	Misc	`conf`	BCubed Revisited: Elements Like Me. ICTIR Ruben van Heusden, Jaap Kamps, Maarten Marx
2022	—	`conf`	Explainable Career Path Predictions using Neural Models. HR@RecSys Roan Schellingerhout, Volodymyr Medentsiy, Maarten Marx
2022	J	`jnl`	The most general manner to injectively align true and predicted segments. CoRR Maarten Marx
2022	Misc	`conf`	WooIR: A New Open Page Stream Segmentation Dataset. ICTIR Ruben van Heusden, Jaap Kamps, Maarten Marx
2021	J	`jnl`	Learning to rank for multi-label text classification: Combining different sources of information. Nat. Lang. Eng. Hosein Azarbonyad, Mostafa Dehghani, Maarten Marx, Jaap Kamps
2021	J	`jnl`	The Automatic Detection of Dataset Names in Scientific Articles. Data Jenny Heddes, Pim Meerdink, Miguel Pieters, Maarten Marx
2019	J	`jnl`	HiTR: Hierarchical Topic Model Re-Estimation for Measuring Topical Diversity of Documents. IEEE Trans. Knowl. Data Eng. Hosein Azarbonyad, Mostafa Dehghani, Tom Kenter, Maarten Marx, Jaap Kamps, Maarten de Rijke
2019	—	`conf`	How Many Labels? Determining the Number of Labels in Multi-Label Text Classification. CLEF Hosein Azarbonyad, Maarten Marx
2019	—	`conf`	University of Amsterdam at the TREC 2019 Complex Answer Retrieval Track. TREC Mahsa S. Shahshahani, Jaap Kamps, Maarten Marx
2018	J	`jnl`	HiTR: Hierarchical Topic Model Re-estimation for Measuring Topical Diversity of Documents. CoRR Hosein Azarbonyad, Mostafa Dehghani, Tom Kenter, Maarten Marx, Jaap Kamps, Maarten de Rijke
2017	J	`jnl`	Containment of acyclic conjunctive queries with negated atoms or arithmetic comparisons. Inf. Process. Lett. Evgeny Sherkhonov, Maarten Marx
2017	J	`jnl`	Good Applications for Crummy Entity Linkers? The Case of Corpus Selection in Digital Humanities. CoRR Alex Olieman, Kaspar Beelen, Milan van Lange, Jaap Kamps, Maarten Marx
2017	Misc	`conf`	Good Applications for Crummy Entity Linkers?: The Case of Corpus Selection in Digital Humanities. SEMANTiCS Alex Olieman, Kaspar Beelen, Milan van Lange, Jaap Kamps, Maarten Marx
2017	A	`conf`	Hierarchical Re-estimation of Topic Models for Measuring Topical Diversity. ECIR Hosein Azarbonyad, Mostafa Dehghani, Tom Kenter, Maarten Marx, Jaap Kamps, Maarten de Rijke
2017	J	`jnl`	Hierarchical Re-estimation of Topic Models for Measuring Topical Diversity. CoRR Hosein Azarbonyad, Mostafa Dehghani, Tom Kenter, Maarten Marx, Jaap Kamps, Maarten de Rijke
2017	Misc	`conf`	On Search Powered Navigation. ICTIR Mostafa Dehghani, Glorianna Jagfeld, Hosein Azarbonyad, Alex Olieman, Jaap Kamps, Maarten Marx
2017	J	`jnl`	On Search Powered Navigation. CoRR Mostafa Dehghani, Glorianna Jagfeld, Hosein Azarbonyad, Alex Olieman, Jaap Kamps, Maarten Marx
2017	B	`conf`	Telling How to Narrow it Down: Browsing Path Recommendation for Exploratory Search. CHIIR Mostafa Dehghani, Glorianna Jagfeld, Hosein Azarbonyad, Alex Olieman, Jaap Kamps, Maarten Marx
2017	A	`conf`	Words are Malleable: Computing Semantic Shifts in Political and Media Discourse. CIKM Hosein Azarbonyad, Mostafa Dehghani, Kaspar Beelen, Alexandra Arkut, Maarten Marx, Jaap Kamps
2017	J	`jnl`	Words are Malleable: Computing Semantic Shifts in Political and Media Discourse. CoRR Hosein Azarbonyad, Mostafa Dehghani, Kaspar Beelen, Alexandra Arkut, Maarten Marx, Jaap Kamps
2016	J	`jnl`	Close communities in social networks: boroughs and 2-clubs. Soc. Netw. Anal. Min. Steven Laan, Maarten Marx, Robert J. Mokken
2016	J	`jnl`	Containment for queries over trees with attribute value comparisons. Inf. Syst. Maarten Marx, Evgeny Sherkhonov
2016	B	`conf`	Generalized Group Profiling for Content Customization. CHIIR Mostafa Dehghani, Hosein Azarbonyad, Jaap Kamps, Maarten Marx
2016	J	`jnl`	Generalized Group Profiling for Content Customization. CoRR Mostafa Dehghani, Hosein Azarbonyad, Jaap Kamps, Maarten Marx
2016	A	`conf`	Luhn Revisited: Significant Words Language Models. CIKM Mostafa Dehghani, Hosein Azarbonyad, Jaap Kamps, Djoerd Hiemstra, Maarten Marx
2016	Misc	`conf`	On Horizontal and Vertical Separation in Hierarchical Text Classification. ICTIR Mostafa Dehghani, Hosein Azarbonyad, Jaap Kamps, Maarten Marx
2016	J	`jnl`	On Horizontal and Vertical Separation in Hierarchical Text Classification. CoRR Mostafa Dehghani, Hosein Azarbonyad, Jaap Kamps, Maarten Marx
2016	—	`conf`	Significant Words Language Models for Contextual Suggestion. TREC Mostafa Dehghani, Jaap Kamps, Hosein Azarbonyad, Maarten Marx
2016	—	`conf`	Two-Way Parsimonious Classification Models for Evolving Hierarchies. CLEF Mostafa Dehghani, Hosein Azarbonyad, Jaap Kamps, Maarten Marx
2016	A	`conf`	Validating Cross-Perspective Topic Modeling for Extracting Political Parties' Positions from Parliamentary Proceedings. ECAI Janneke M. van der Zwaan, Maarten Marx, Jaap Kamps
2015	—	`conf`	A Hybrid Approach to Domain-Specific Entity Linking. SEMANTiCS (Posters & Demos) Alex Olieman, Jaap Kamps, Maarten Marx, Arjan Nusselder
2015	J	`jnl`	A Hybrid Approach to Domain-Specific Entity Linking. CoRR Alex Olieman, Jaap Kamps, Maarten Marx, Arjan Nusselder
2015	—	`conf`	Are Topically Diverse Documents Also Interesting? CLEF Hosein Azarbonyad, Ferron Saan, Mostafa Dehghani, Maarten Marx, Jaap Kamps
2015	J	`jnl`	Close Communities in Social Networks: Boroughs and 2-Clubs. CoRR Steven Laan, Maarten Marx, Robert J. Mokken
2015	J	`jnl`	Containment for Conditional Tree Patterns. Log. Methods Comput. Sci. Alessandro Facchini, Yoichi Hirai, Maarten Marx, Evgeny Sherkhonov
2015	A	`conf`	Sources of Evidence for Automatic Indexing of Political Texts. ECIR Mostafa Dehghani, Hosein Azarbonyad, Maarten Marx, Jaap Kamps
2015	A*	`conf`	Time-Aware Authorship Attribution for Short Text Streams. SIGIR Hosein Azarbonyad, Mostafa Dehghani, Maarten Marx, Jaap Kamps
2014	J	`jnl`	Automatic thematic classification of election manifestos. Inf. Process. Manag. Suzan Verberne, Eva D'hondt, Antal van den Bosch, Maarten Marx
2014	—	`conf`	Entity linking by focusing DBpedia candidate entities. ERD@SIGIR Alex Olieman, Hosein Azarbonyad, Mostafa Dehghani, Jaap Kamps, Maarten Marx
2014	J	`jnl`	Linking Historical Entities to the Linked Open Data Cloud. ERCIM News Maarten Marx
2014	J	`jnl`	War in Parliament: What a Digital Approach Can Add to the Study of Parliamentary History. Digit. Humanit. Q. Hinke Piersma, Ismee Tames, Lars Buitinck, Johan van Doornik, Maarten Marx
2013	—	`conf`	Containment for Tree Patterns with Attribute Value Comparisons. WebDB Evgeny Sherkhonov, Maarten Marx
2013	B	`conf`	Linking the kingdom: enriched access to a historiographical text. K-CAP Victor de Boer, Johan van Doornik, Lars Buitinck, Maarten Marx, Tim Veken, Kees Ribbens
2013	—	`conf`	ParlBench: A SPARQL Benchmark for Electronic Publishing Applications. ESWC (Satellite Events) Tatiana Tarasova, Maarten Marx
2013	B	`conf`	PoliticalMashup Ngramviewer - Tracking Who Said What and When in Parliament. TPDL Bart de Goede, Justin van Wees, Maarten Marx, Ridho Reinanda
2013	—	`conf`	PoliticalMashup Ngramviewer. DIR Bart de Goede, Justin van Wees, Maarten Marx
2013	—	`conf`	Semantically-Enabled Environmental Data Discovery and Integration: Demonstration Using the Iceland Volcano Use Case. KESW Tatiana Tarasova, Massimo Argenti, Maarten Marx
2013	J	`jnl`	The quality of the XML Web. J. Web Semant. Steven Grijzenhout, Maarten Marx
2012	—	`conf`	Overview of the INEX 2012 Linked Data Track. CLEF (Online Working Notes/Labs/Workshop) Qiuyue Wang, Jaap Kamps, Georgina Ramírez Camps, Maarten Marx, Anne Schuth, Martin Theobald, Sairam Gurajada, Arunav Mishra
2012	J	`jnl`	Report on INEX 2011. SIGIR Forum Patrice Bellot, Timothy Chappell, Antoine Doucet, Shlomo Geva, Jaap Kamps, Gabriella Kazai, Marijn Koolen, Monica Landoni, Maarten Marx, Véronique Moriceau, Josiane Mothe, Georgina Ramírez, Mark Sanderson, Eric SanJuan, Falk Scholer, Xavier Tannier, Martin Theobald, Matthew Trappett, Andrew Trotman, Qiuyue Wang
2012	J	`jnl`	Report on INEX 2012. SIGIR Forum Patrice Bellot, Timothy Chappell, Antoine Doucet, Shlomo Geva, Sairam Gurajada, Jaap Kamps, Gabriella Kazai, Marijn Koolen, Monica Landoni, Maarten Marx, Arunav Mishra, Véronique Moriceau, Josiane Mothe, Michael Preminger, Georgina Ramírez, Mark Sanderson, Eric SanJuan, Falk Scholer, A. Schuh, Xavier Tannier, Martin Theobald, Matthew Trappett, Andrew Trotman, Qiuyue Wang
2012	C	`conf`	Two-Stage Named-Entity Recognition Using Averaged Perceptrons. NLDB Lars Buitinck, Maarten Marx
2011	J	`jnl`	30 Years of PODS in facts and figures. SIGMOD Rec. Tom J. Ameloot, Maarten Marx, Wim Martens, Frank Neven, Justin van Wees
2011	J	`jnl`	Digital weight watching: reconstruction of scanned documents. Int. J. Document Anal. Recognit. Maarten Marx, Tim Gielissen
2011	—	`conf`	Evaluation Methods for Rankings of Facetvalues for Faceted Search. CLEF Anne Schuth, Maarten Marx
2011	—	`conf`	Overview of the INEX 2011 Data-Centric Track. INEX Qiuyue Wang, Georgina Ramírez, Maarten Marx, Martin Theobald, Jaap Kamps
2011	—	`conf`	Succinct summaries of narrative events using social networks. HT Bart de Goede, Maarten Marx, Arjan Nusselder, Justin van Wees
2011	A	`conf`	The quality of the XML web. CIKM Steven Grijzenhout, Maarten Marx
2011	—	`conf`	University of Amsterdam Data Centric Ad Hoc and Faceted Search Runs. INEX Anne Schuth, Maarten Marx
2010	J	`jnl`	Complete axiomatizations for XPath fragments. J. Appl. Log. Balder ten Cate, Tadeusz Litak, Maarten Marx
2010	—	`conf`	Digital sustainable publication of legacy parliamentary proceedings. DG.O Maarten Marx, Nelleke Aders, Anne Schuth
2010	B	`conf`	DutchParl. The Parliamentary Documents in Dutch. LREC Maarten Marx, Anne Schuth
2010	J	`jnl`	Focused retrieval and result aggregation with political data. Inf. Retr. Rianne Kaptein, Maarten Marx
2010	—	`conf`	The surplus value of semantic annotations. ESAIR Maarten Marx
2010	—	`conf`	Tree patterns with Full Text Search. WebDB Maria-Hendrike Peetz, Maarten Marx
2010	—	`conf`	What You Say is Who You Are. How Open Government Data Facilitates Profiling Politicians. OKCon Maarten Marx, Arjan Nusselder
2009	J	`jnl`	Advanced Information Access to Parliamentary Debates. J. Digit. Inf. Maarten Marx
2009	J	`jnl`	Axiomatizing the Logical Core of XPath 2.0. Theory Comput. Syst. Balder ten Cate, Maarten Marx
2009	—	`conf`	Digital weight watching: reconstruction of scanned documents. AND Tim Gielissen, Maarten Marx
2009	A	`conf`	Helping people to choose for whom to vote. a web information system for the 2009 European elections. CIKM Arjan Nusselder, Hendrike Peetz, Anne Schuth, Maarten Marx
2009	—	`conf`	Logical Foundations of XML and XQuery. Reasoning Web Maarten Marx
2009	B	`conf`	Recursion in XQuery: put your distributivity safety belt on. EDBT Loredana Afanasiev, Torsten Grust, Maarten Marx, Jan Rittinger, Jens Teubner
2009	A*	`conf`	Who said what to whom?: capturing the structure of debates. SIGIR Rianne Kaptein, Maarten Marx, Jaap Kamps
2008	A*	`conf`	An Inflationary Fixed Point Operator in XQuery. ICDE Loredana Afanasiev, Torsten Grust, Maarten Marx, Jan Rittinger, Jens Teubner
2008	J	`jnl`	An analysis of XQuery benchmarks. Inf. Syst. Loredana Afanasiev, Maarten Marx
2008	—	`conf`	Named entity normalization in user generated content. AND Valentin Jijkoun, Mahboob Alam Khalid, Maarten Marx, Maarten de Rijke
2008	—	`conf`	XPath: (P)DL on Trees. Description Logics Maarten Marx
2007	J	`jnl`	An Inflationary Fixed Point Operator in XQuery CoRR Loredana Afanasiev, Torsten Grust, Maarten Marx, Jan Rittinger, Jens Teubner
2007	A	`conf`	Axiomatizing the Logical Core of XPath 2.0. ICDT Balder ten Cate, Maarten Marx
2007	—	`ch.`	Complexity of modal logic. Handbook of Modal Logic Maarten Marx
2007	A*	`conf`	Electoral search using the VerkiezingsKijker: an experience report. WWW Valentin Jijkoun, Maarten Marx, Maarten de Rijke, Frank van Waveren
2007	—	`conf`	Extracting the discussion structure in comments on news-articles. WIDM Anne Schuth, Maarten Marx, Maarten de Rijke
2007	—	`book`	Finite Model Theory and Its Applications Erich Grädel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel Spencer, Moshe Y. Vardi, Yde Venema, Scott Weinstein
2007	J	`jnl`	Navigational XPath: calculus and algebra. SIGMOD Rec. Balder ten Cate, Maarten Marx
2007	A*	`conf`	Queries determined by views: pack your views. PODS Maarten Marx
2006	—	`conf`	An Analysis of the Current XQuery Benchmarks. ExpDB Loredana Afanasiev, Maarten Marx
2006	J	`jnl`	Articulating information needs in XML query languages. ACM Trans. Inf. Syst. Jaap Kamps, Maarten Marx, Maarten de Rijke, Börkur Sigurbjörnsson
2006	A*	`conf`	Definitorially Complete Description Logics. KR Balder ten Cate, Willem Conradie, Maarten Marx, Yde Venema
2006	J	`jnl`	Navigation in XML Trees. Bull. EATCS Maarten Marx
2006	A*	`conf`	XCheck: A Platform for Benchmarking XQuery Engines. VLDB Loredana Afanasiev, Massimo Franceschet, Maarten Marx, Enrico Zimuel
2005	J	`jnl`	Conditional XPath. ACM Trans. Database Syst. Maarten Marx
2005	A	`conf`	First Order Paths in Ordered Trees. ICDT Maarten Marx
2005	J	`jnl`	Hybrid logics with Sahlqvist axioms. Log. J. IGPL Balder ten Cate, Maarten Marx, Jorge Petrucio Viana
2005	A*	`conf`	Looping Caterpillars. LICS Evan Goris, Maarten Marx
2005	J	`jnl`	PDL for Ordered Trees. J. Appl. Non Class. Logics Loredana Afanasiev, Patrick Blackburn, Ioanna Dimitriou, Bertrand Gaiffe, Evan Goris, Maarten Marx, Maarten de Rijke
2005	J	`jnl`	Semantic characterizations of navigational XPath. SIGMOD Rec. Maarten Marx, Maarten de Rijke
2005	A	`conf`	Structured queries in XML retrieval. CIKM Jaap Kamps, Maarten Marx, Maarten de Rijke, Börkur Sigurbjörnsson
2005	J	`jnl`	The Semijoin Algebra and the Guarded Fragment. J. Log. Lang. Inf. Dirk Leinders, Maarten Marx, Jerzy Tyszkiewicz, Jan Van den Bussche
2005	B	`conf`	XML Navigation and Tarski's Relation Algebras. CSL Maarten Marx
2004	—	`conf`	Best-Match Querying from Document-Centric XML. WebDB Jaap Kamps, Maarten Marx, Maarten de Rijke, Börkur Sigurbjörnsson
2004	C	`conf`	CTL Model Checking for Processing Simple XPath Queries. TIME Loredana Afanasiev, Massimo Franceschet, Maarten Marx, Maarten de Rijke
2004	A*	`conf`	Conditional XPath, the First Order Complete XPath Dialect. PODS Maarten Marx
2004	Misc	`conf`	Information Retrieval Support for Ontology Construction and Use. ISWC Willem Robert van Hage, Maarten de Rijke, Maarten Marx
2004	—	`conf`	Semantic Characterization of Navigational XPath. TDM Maarten Marx, Maarten de Rijke
2004	C	`conf`	Specifying access control policies for XML documents with XPath. SACMAT Irini Fundulaki, Maarten Marx
2004	B	`conf`	Using WordNet to Measure Semantic Orientations of Adjectives. LREC Jaap Kamps, Maarten Marx, Robert J. Mokken, Maarten de Rijke
2004	B	`conf`	XPath with Conditional Axis Relations. EDBT Maarten Marx
2003	J	`jnl`	All Proper Normal Extensions of S5-square have the Polynomial Size Model Property. Stud Logica Nick Bezhanishvili, Maarten Marx
2003	J	`jnl`	Constructive interpolation in hybrid logic. J. Symb. Log. Patrick Blackburn, Maarten Marx
2003	—	`conf`	Handling Boolean A Boxes. Description Logics Carlos Areces, Patrick Blackburn, Bernadette Martínez Hernández, Maarten Marx
2003	—	`conf`	Mediation of XML Data through Entity Relationship Models. SWDB Irini Fundulaki, Maarten Marx
2003	J	`jnl`	Regular equivalence and dynamic logic. Soc. Networks Maarten Marx, Michael Masuch
2003	J	`jnl`	Repairing the interpolation theorem in quantified modal logic. Ann. Pure Appl. Log. Carlos Areces, Patrick Blackburn, Maarten Marx
2003	A*	`conf`	XML retrieval: what to retrieve? SIGIR Jaap Kamps, Maarten Marx, Maarten de Rijke, Börkur Sigurbjörnsson
2003	B	`conf`	XPath and Modal Logics of Finite DAG's. TABLEAUX Maarten Marx
2002	J	`jnl`	An Elementary Construction for a Non-elementary Procedure. Stud Logica Maarten Marx, Szabolcs Mikulás
2002	—	`conf`	Anaphoric Definitions in Description Logic. EurAsia-ICT Maarten Marx, Mehdi Dastani
2002	J	`jnl`	Computing with Cylindric Modal Logics and Arrow Logics, Lower Bounds. Stud Logica Maarten Marx
2002	J	`jnl`	Interpolation and Definability in Guarded Fragments. Stud Logica Eva Hoogland, Maarten Marx
2002	—	`conf`	Narcissists, Stepmothers and Spies. Description Logics Maarten Marx
2002	Misc	`conf`	Notions of Indistinguishability for Semantic Web Languages. ISWC Jaap Kamps, Maarten Marx
2002	J	`jnl`	Remarks on Gregory's "Actually" Operator. J. Philos. Log. Patrick Blackburn, Maarten Marx
2002	B	`conf`	Tableaux for Quantified Hybrid Logic. TABLEAUX Patrick Blackburn, Maarten Marx
2002	—	`conf`	The Importance of Morphological Normalization for XML Retrieval. INEX Workshop Jaap Kamps, Maarten Marx, Maarten de Rijke, Börkur Sigurbjörnsson
2001	J	`jnl`	Hybrid Logics: Characterization, Interpolation and Complexity. J. Symb. Log. Carlos Areces, Patrick Blackburn, Maarten Marx
2001	J	`jnl`	Products, or How to Create Modal Logics of High Complexity. Log. J. IGPL Maarten Marx, Szabolcs Mikulás
2001	J	`jnl`	Relation Algebra with Binders. J. Log. Comput. Maarten Marx
2001	Misc	`conf`	Situation Calculus as Hybrid Logic: First Steps. EPIA Patrick Blackburn, Jaap Kamps, Maarten Marx
2001	J	`jnl`	Third International Workshop on Hybrid Logic (HyLo'01). Log. J. IGPL Patrick Blackburn, Maarten Marx
2001	J	`jnl`	Tolerance Logic. J. Log. Lang. Inf. Maarten Marx
2000	J	`jnl`	The Computational Complexity of Hybrid Temporal Logics. Log. J. IGPL Carlos Areces, Patrick Blackburn, Maarten Marx
2000	B	`conf`	The Mosaic Method for Temporal Logics. TABLEAUX Maarten Marx, Szabolcs Mikulás, Mark Reynolds
1999	B	`conf`	A Road-Map on Complexity for Hybrid Logics. CSL Carlos Areces, Patrick Blackburn, Maarten Marx
1999	B	`conf`	Beth Definability for the Guarded Fragment. LPAR Eva Hoogland, Maarten Marx, Martin Otto
1999	J	`jnl`	Complexity of Products of Modal Logics. J. Log. Comput. Maarten Marx
1999	J	`jnl`	Decidability of Cylindric Set Algebras of Dimension Two and First-Order Logic with Two Variables. J. Symb. Log. Maarten Marx, Szabolcs Mikulás
1999	J	`jnl`	Relation Algebras can Tile. Inf. Sci. Maarten Marx
1999	J	`jnl`	Tableau Calculus for Local Cubic Modal Logic and it's Implementation. Log. J. IGPL Maarten Marx, Szabolcs Mikulás, Stefan Schlobach
1999	J	`jnl`	The Classical Decision Problem, Egon Börger, Erich Grädel, and Yuri Gurevich. J. Log. Lang. Inf. Maarten Marx
1999	J	`jnl`	Undecidability of Compass Logic. J. Log. Comput. Maarten Marx, Mark Reynolds
1999	J	`jnl`	Undecidable Relativizations of Algebras of Relations. J. Symb. Log. Szabolcs Mikulás, Maarten Marx
1998	J	`jnl`	Amalgamation in Relational Algebras. J. Symb. Log. Maarten Marx
1998	J	`jnl`	Failure of Interpolation in Combined Modal Logics. Notre Dame J. Formal Log. Maarten Marx, Carlos Areces
1998	—	`conf`	Interpolation in Modal Logic. AMAST Maarten Marx
1997	—	`book`	Multi-dimensional modal logic. Maarten Marx, Yde Venema
1997	—	`conf`	Relation Algebras Can Tile. RelMiCS Maarten Marx
1996	B	`conf`	Mosaics and Cylindric Modal Logic of Dimension~2. Advances in Modal Logic Maarten Marx
1996	J	`jnl`	Multi-Dimensional Semantics for Modal Logics. Notre Dame J. Formal Log. Maarten Marx
1995	J	`jnl`	Taming Logic. J. Log. Lang. Inf. Maarten Marx, Szabolcs Mikulás, István Németi