Searchable List of Research Output

Filter Publications
  • Modi, A., Titov, I. (2014) Learning Semantic Script Knowledge with Event Embeddings.
    In Workshop proceedings: papers accepted to the International Conference on Learning Representations (ICLR) 2014. ArXiv.
    Conference contribution | https://arxiv.org/abs/1312.5198 | UvA-DARE
  • Mohamed, A., Bilgin, A., Liret, A., Owusu, G. (2017) Fuzzy Logic Based Personalized Task Recommendation System for Field Services.
    In Bramer, M. Petridis, M. (Eds.), Artificial Intelligence XXXIV: 37th SGAI International Conference on Artificial Intelligence, AI 2017, Cambridge, UK, December 12-14, 2017 : proceedings (pp 300-312) (Lecture Notes in Computer Science
    Lecture Notes in Artificial Intelligence, Vol. 10630). Springer.
  • Mohan, A., Liu, Y., Foster, N., Kappé, T., Kozen, D. (2023) Formal Abstractions for Packet Scheduling.
    Proceedings of the ACM on Programming Languages, Vol. 7
  • Mohan, A., Liu, Y., Foster, N., Kappé, T.W.J., Kozen, D. (2023) Formal Abstractions for Packet Scheduling (reference implementation).
  • Mohebbi, H., Chrupała, G., Zuidema, W., Alishahi, A. (2023) Homophone Disambiguation Reveals Patterns of Context Mixing in Speech Transformers.
    In Bouamar, H. Pino, J. Bali, K. (Eds.), The 2023 Conference on Empirical Methods in Natural Language Processing: EMNLP 2023 : Proceedings of the Conference : December 6-10, 2023 (pp 8249-8260). Association for Computational Linguistics.
  • Mohebbi, H., Zuidema, W., Chrupała, G., Alishahi, A. (2023) Quantifying Context Mixing in Transformers.
    In Vlachos, A. Augenstein, I. (Eds.), The 17th Conference of the European Chapter of the Association for Computational Linguistics: EACL 2023 : proceedings of the conference : May 2-6, 2023 (pp 3378-3400). Association for Computational Linguistics.
  • Mojet, E. (2017) Early Modern Mathematics in a Letter: Adriaen Verwer to David Gregory on mathematics and natural philosophy.
    LIAS. Sources and Documents relating to the Early History of Ideas, Vol. 44 (pp 117-142)
  • Mojet, E. (2022) Observing disciplines: Data practices in and between disciplines in the 19th and early 20th centuries.
    Thesis, fully internal | UvA-DARE
  • Mokken, R.J., Caarls, N.B. (2003) HORUS. A Platform for Spatial Feature Detection in Multispectral Images from Remote Sensing. Final Technical Report.
    University of Amsterdam.
    Report | UvA-DARE
  • Mokken, R.J., Caarls, N.B. (2003) Adaptive Spectral Sampling for Remote Sensing Images.
    University of Amsterdam.
    Report | UvA-DARE
  • Mokken, R.J. (2001) Comparative density measures in bipartite graphs.
    Technical report, NIAS Technical paper. Institute for Logic, Language and Computation.
    Report | UvA-DARE
  • Mokken, R.J. (2001) Massive graphs and small worlds.
    In Paper Workshop Network Analysis: New Perspectives, February 2001
    Conference contribution | UvA-DARE
  • Mokken, R.J. (2003) Splitting the Image: Nonparametric Feature Detection in Remote Sensing Imagery, Invited Opening Keynote Lecture IMVIP 2003.
    In Morrow, J. Philip, J. Scotney, B.W. (Eds.), IMVIP2003. Proceedings of the Irish Machine Vision and Image Processing Conference 2003
    Conference contribution | UvA-DARE
  • Molnar, A., Jumelet, J., Giulianelli, M., Sinclair, A. (2023) Attribution and Alignment: Effects of Local Context Repetition on Utterance Production and Comprehension in Dialogue.
    In Jiang, J. Reitter, D. Deng, S. (Eds.), The 27th Conference on Computational Natural Language Learning: CoNLL 2023 : proceedings of the conference : December 6-7, 2023 (pp 254–273). Association for Computational Linguistics.
  • Montanari, A., de Rijke, M. (1997) Two-sorted metric temporal logic.
    Theoretical Computer Science, Vol. 183 (pp 187-214)
  • Montanari, A. (1996) Metric and Layered Temporal Logic for Time Granularity.
    ILLC.
    Thesis, externally prepared | UvA-DARE
  • Montanaro, A., de Wolf, R. (2016) A Survey of Quantum Property Testing.
    Theory of Computing, Vol. Theory of Computing Library, Graduate Surveys (pp 1-81)
  • Monz, C., de Rijke, M. (1998) Labeled resolution for discourse semantics.
    In Proceedings of labeled deduction '98
    Chapter | UvA-DARE
  • Monz, C., de Rijke, M. (1998) A resolution calculus for dynamic reasoning.
    In Logics in artificial intelligence. Springer.
    Chapter | UvA-DARE
  • Monz, C., de Rijke, M. (1998) A tableaux calculus for ambiguous quantification.
    In Proceedings tableaux '98. Springer.
    Chapter | UvA-DARE

The data of this list is taken from the Pure database. If you find output is missing from the list, please follow the previous link to find out how to submit to Pure. In case there are mistakes in PURE, please contact