Marx, M. J. (2005). XML Navigation and Tarski's Relation Algebras. Lecture Notes in Computer Science, 3634, 1-2.
Kamps, J., Marx, M. J., de Rijke, M., & Sigurbjörnsson, B. (2005). Understanding Content-and-Structure. In A. Trotman, M. Lalmas, & N. Fuhr (Eds.), Proceedings INEX 2005 Workshop on Element Retrieval Methodology (pp. 14-21)
Bezhanishvili, N., ten Cate, B. D., Marx, M. J., & Viana, J. P. (2004). Sahlqvist theory and transfer results for hybrid logics. In R. Schmidt, & I. Pratt-Hartman (Eds.), Preliminary proceedings of Advances in Modal Logic 2004 (pp. 44-61).
ten Cate, B. D., Marx, M. J., & Viana, J. P. (2004). Sahlqvist theory for hybrid logic. In A. Troelstra (Ed.), Liber Amicorum ter gelegenheid van het afscheid van Dick de Jongh (pp. 1-6)
Fundulaki, I., & Marx, M. J. (2004). Specifying Access Control Policies for XML Documents with XPath. In Proceedings of the 9th ACM Symposium on Access Control Models and Technologies (SACMAT) (pp. 61-69). ACM Press.
van Hage, W. R., de Rijke, M., & Marx, M. J. (2004). Information retrieval support for ontology construction and use. Lecture Notes in Computer Science, 3298, 518-533.
Marx, M. J. (2004). [Review of: R. Hirsch, I. Hodkinson. Relation Algebras and Games]. Studia Logica, 77(1), 129-147.
Afanasiev, L., Franceschet, M., Marx, M. J., & de Rijke, M. (2004). CTL model checking for processing simple XPath queries. In Proceedings Temporal Representation and Reasoning IEEE Computer Society Press.
Afanasiev, L., Blackburn, P., Dimitriou, I., Gaiffe, B., Goris, E., Marx, M. J., & de Rijke, M. (2004). PDL for ordered trees. Journal of Applied Non-Classical Logics, 2(15), 115-135.
Marx, M. J., & de Rijke, M. (2004). Semantic characterizations of navigational XPath. In V. Mihajlovic, & D. Hiemstra (Eds.), Proceedings of the First Twente Data Management Workshop (pp. 67-73)
