Melgar Estrada, Liliana, Blom, J., Baaren, Eva, Koolen, Marijn, Ordelman, Roeland (2016) A conceptual model for the annotation of audiovisual heritage in a media studies context.

Abstract | https://avindhsig.wordpress.com/workshop-2016-krakow/accepted-abstracts/liliana-melgar-jaap-blom-eva-baaren-marijn-koolen-roeland-ordelman/ | UvA-DARE

Melgar-Estrada, L., Koolen, M., Beelen, K., Huurdeman, H., Wigham, M., Martinez-Ortiz, C., Blom, J., Ordelman, Roeland (2019) The Clariah Media Suite: A Hybrid Approach to System Design in the Humanities.

In CHIIR'19: proceedings of the 2019 Conference on Human Information Interaction and Retrieval : March 10-14, 2019, Glasgow, Scotland UK (pp 373-377). The Association for Computing Machinery.

Melgar, L., Koolen, M., Huurdeman, H., Blom, J. (2017) A process model of scholarly media annotation.

In CHIIR'17: proceedings of the 2017 Conference Human Information Interaction and Retrieval : March 7-11, 2017, Oslo, Norway (pp 305-308). The Association for Computing Machinery.

Menéndez Turata, G. (2024) Cyclic proof systems for modal fixpoint logics.

ILLC Dissertation series

Thesis, fully internal | UvA-DARE

Merchant, H., Honing, H. (2014) Are non-human primates capable of rhythmic entrainment? Evidence for the gradual audiomotor evolution hypothesis.

Frontiers in Neuroscience, Vol. 7

Article | https://doi.org/10.3389/fnins.2013.00274 | UvA-DARE

Merker, B., Morley, I., Zuidema, W. (2015) Five fundamental constraints on theories of the origins of music.

Philosophical Transactions of the Royal Society B: Biological Sciences, Vol. 370

Article | https://doi.org/10.1098/rstb.2014.0095 | UvA-DARE

Merker, B., Morley, I., Zuidema, W. (2018) Five fundamental constraints on theories of the origins of music.

In Honing, H. (Eds.), The Origins of Musicality (pp 49-80). MIT Press.

Meyer Viol, WILFRIED (1995) Instantial Logic.

Thesis, fully external | UvA-DARE

Meyer, F., Lewis, M. (2020) Modelling Lexical Ambiguity with Density Matrices.

In Fernández, R, Linzen, T. (Eds.), The 24th Conference on Computational Natural Language Learning (CoNNL): CoNNL 2020 : proceedings of the conference : November 19-20, 2020, Online (pp 276-290). The Association for Computational Linguistics.

Michalko, Aleksandra, Burgoyne, J.A. (2021) Description of Flute Tone Quality: Semantic Labelling of Low-Level Features.

Poster | UvA-DARE

Michelini, M., Haret, A., Grossi, D. (2022) Group Wisdom at a Price: Jury Theorems with Costly Information.

In De Raedt, L. (Eds.), Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence: IJCAI 2022, Vienna, Austria, 23-29 July 2022 (pp 419-425). International Joint Conferences on Artificial Intelligence.

Miedema, D., Gattinger, M. (2023) Exploiting Asymmetry in Logic Puzzles: Using ZDDs for Symbolic Model Checking Dynamic Epistemic Logic.

Electronic Proceedings in Theoretical Computer Science, Vol. 379 (pp 407-420)

Article | https://doi.org/10.4204/EPTCS.379.32 | UvA-DARE

Mikulas, S., Nemeti, I., Sain, I. (1995) Decidable Logics of the Dynamic Trend, and Relativized Relation Algebras.

In Gabbay, D.M. Csirmaz, L. de Rijke, M. (Eds.), Studies in Logic, Language and Information, CSLI. Stanford.

Mikulas, S. (1995) Taming Logics.

Thesis, fully internal | UvA-DARE

Mikulas, S. (1995) Taming First-order Logic.

In Trautwein, M. Fischer, S. (Eds.), Proceedings Accolade '95. Dutch Graduate School in Logic.

Milan, S., Beraldo, D. (2024) Data in movement: the social movement society in the age of datafication.

Social Movement Studies, Vol. 23 (pp 265-284)

Article | https://doi.org/10.1080/14742837.2024.2331550 | UvA-DARE

Milan, S., Beraldo, D. (2025) Data in movement: the social movement society in the age of datafication.

In Flesher Fominaya, C. Milan, S. Beraldo, D. (Eds.), Contentious Data in Movement (pp 6-25). Routledge.

Milanese, G.C., Venema, Y. (2019) Closure ordinals for the two-way μ-calculus.

In Iemhoff, R. Moortgat, M. de Queiroz, R. (Eds.), Logic, Language, Information, and Computation: 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019 : proceedings (pp 498-515) (Lecture Notes in Computer Science
FoLLI Publications on Logic, Language and Information, Vol. 11541). Springer.

Milano, M., van Hoeve, W.J. (2002) Reduced cost-based ranking for generating promising subproblems.

In Proceedings of the Joint ERCIM/CologNet Workshop on Constraint Solving and Constraint Logic Programming (pp 7-22)

Milano, M., van Hoeve, W.J. (2002) Reduced cost-based ranking for generating promising subproblems.

Lecture Notes in Computer Science, Vol. 2470 (pp 1-16)

Article | UvA-DARE