Marx, M., Kamps, J. (2023) Digitaal duurzaam publiceren van Woo-dossiers: Een onderzoek naar de stand van zaken.

Archievenblad, Vol. 123 (pp 20-23)

Article | UvA-DARE

Marx, M., Larooij, M., Enthoven, G., Kamps, J. (2023) Het Woogle Woo-dossiercorpus.

Nederlands Juristenblad, Vol. 98 (pp 3238-3239)

Article | https://www.inview.nl/document/id5cfdbafaf94944da82f6d54d7d946120?ctx=WKNL_CSL_85 | UvA-DARE

Marx, M., Larooij, M., Perasedillo, F., Kamps, J. (2023) Enticing Local Governments to Produce FAIR Freedom of Information Act Dossiers.

In Kamps, J. Goeuriot, L. Crestani, F. Maistro, M. Joho, H. Davis, B. Gurrin, C. Kruschwitz, U. Caputo, A. (Eds.), Advances in Information Retrieval: 45th European Conference on Information Retrieval, ECIR 2023, Dublin, Ireland, April 2–6, 2023 : proceedings (pp 269-274) (Lecture Notes in Computer Science, Vol. 13982). Springer.

Marx, M., Masuch, J.M.F. (2001) Regular equivalence and dynamic logic.

Technical Report, Applied Logic Laboratory. Institute for Logic, Language and Computation.

Report | UvA-DARE

Marx, M., Masuch, J.M.F. (2003) Regular equivalence and dynamic logic.

Social Networks, Vol. 25 (pp 51-65)

Article | https://doi.org/10.1016/S0378-8733(02)00036-9 | UvA-DARE

Marx, M., Masuch, M. (2002) Regular Equivalence and Dynamic Logic.

Technical Reports. Institute for Logic, Language and Computation.

Working paper | UvA-DARE

Marx, M., Mikulas, S., Nemeti, I. (1995) Taming Logic.

Journal of Logic, Language and Information, Vol. 4 (pp 207-226)

Article | UvA-DARE

Marx, M., Mikulas, S. (1995) A Technology for Obtaining Well-behaved and Strong Algebras of Relations.

In Nieuwendijk, A. (Eds.), Proceedings Accolade '94. Dutch Graduate School in Logic.

Marx, M., Mikulas, S. (2000) Products, or How to Create Modal Logics of High Complexity.

Technical Reports. Institute for Logic, Language and Computation.

Working paper | UvA-DARE

Marx, M., Mikulás, Sz. (2001) An elementary construction for a non-elementary procedure.

Technical Report. Institute for Logic, Language and Computation.

Working paper | UvA-DARE

Marx, M., Mikulás, Sz. (2001) Products, or how to create modal logics of high complexity.

Logic Journal of the IGPL, Vol. 9 (pp 77-88)

Article | UvA-DARE

Marx, M., Mikulás, Sz. (2002) An elementary construction for a non-elementary procedure.

Studia Logica, Vol. 72 (pp 253-263)

Article | UvA-DARE

Marx, M., Treur, J. (2001) Trust dynamics formalised in temporal logic.

In Chen, L. Zhuo, Y. (Eds.), Proc. of the Third International Conference on Cognitive Scienc, ICCS 2001 (pp 359-363)

Marx, M., Venema, Y. (1999) A modal logic of relations.

In Orlowska, E. (Eds.), Logic at Work: Essays Dedicated to the Memory of Elena Rasiowa (pp 124-167). Physica-Verlag.

Marx, M., Venema, Y. (2000) Local variations on a loose theme: modal logic and decidability.

Technical Report. Institute for Logic Language and Computation.

Working paper | UvA-DARE

Marx, M., Venema, Y. (2007) Local variations on a loose theme: modal logic and decidability.

In Grädel, E. Kolaitis, P. Libkin, L. Marx, M.J. Spencer, J. Vardi, M. Venema, Y. Weinstein, S. (Eds.), Finite Model Theory and its Applications (pp 371-430). Springer Verlag.

Marx, M. (1995) Algebraic Relativization and Arrow Logic.

ILLC dissertations Series.

Thesis, fully internal | UvA-DARE

Marx, M. (1995) Interpolation, Modularization and Knowledge Representation.

In Proceedings of NAIC (Nederlandse AI Conferentie), Rotterdam

Marx, M. (1998) Amalgamation in relation algebras.

Journal of Symbolic Logic, Vol. 63 (pp 479-484)

Article | https://doi.org/10.2307/2586844 | UvA-DARE

Marx, M. (2001) Relation Algebra with Binders.

Technical Reports. Institute for Logic, Language and Computation.

Working paper | UvA-DARE