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.

Meyer, John Jules, Veltman, F. (2007) 18 Intelligent agents and common sense reasoning.

In Blackburn, Patrick Benthem, Johan Wolter, Frank (Eds.), Handbook of Modal Logic (pp 991-1029) (Studies in Logic and Practical Reasoning, Vol. 3)

Miao, Grace Qiyuan, Trujillo, James P., Bulls, Landry S., Thornton, Mark A., Dale, Rick, Pouw, Wim (2025) DIMS Dashboard for Exploring Dynamic Interactions and Multimodal Signals.

In Barner, D. Bramley, N.R. Ruggeri, A. Walker, C.M. (Eds.), 47th Annual Meeting of the Cognitive Science Society (CogSci 2025) (pp 1023-1030) (Proceedings of the Annual Meeting of the Cognitive Science Society, Vol. 47). Cognitive Science Society.

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 First-order Logic.

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

Mikulas, S. (1995) Taming Logics.

Thesis, fully internal | UvA-DARE

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.