Hamm, F., van Lambalgen, M. (2002) Formal foundations for semantic theories of nominalisation.

In Lang, E. Zimmermann, I. (Eds.), ZAS Papers in Linguistics: Nominalisation (pp 1-22). ZAS.

Han, A.L.-F., Wong, D.F., Chao, L.S., Lu, Y., He, L., Tian, L. (2014) A Universal Phrase Tagset for Multilingual Treebanks.

In Sun, M. Liu, Y. Zhao, J. (Eds.), Chinese Computational Linguistics and Natural Language Processing Based on Naturally Annotated Big Data: 13th China National Conference, CCL 2014, and Second International Symposium, NLP-NABD 2014, Wuhan, China, October 18-19, 2014 : proceedings (pp 247-258) (Lecture Notes in Computer Science
Lecture Notes in Artificial Intelligence, Vol. 8801). Springer.

Han, A.L.-F., Zeng, X., Wong, D.F., Chao, L.S. (2015) Chinese Named Entity Recognition with Graph-based Semi-supervised Learning Model.

In Yu, L.-C. Sui, Z. Zhang, Y. Ng, V. (Eds.), ACL-IJCNLP 2015: The 53rd Annual Meeting of the Association for Computational Linguistics and the 7th International Joint Conference on Natural Language Processing : proceedings of the Eighth SIGHAN Workshop on Chinese Language Processing : July 30-31, 2015, Beijing, Chi (pp 15-20). Association for Computational Linguistics.

Hanna, M., Belinkov, Y., Pezzelle, S. (2023) When Language Models Fall in Love: Animacy Processing in Transformer Language Models.

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 12120-12135). Association for Computational Linguistics.

Hanna, M., Belinkov, Y., Pezzelle, S. (2025) Are Formal and Functional Linguistic Mechanisms Dissociated in Language Models?.

Computational Linguistics

Article | https://doi.org/10.1162/coli.a.24 | UvA-DARE

Hanna, M., Liu, Ollie, Variengien, Alexandre (2023) How does GPT-2 compute greater-than?: Interpreting mathematical abilities in a pre-trained language model.

In Advances in Neural Information Processing Systems. Neural Information Processing Systems Foundation.

Hanna, M., Mueller, Aaron (2025) Incremental Sentence Processing Mechanisms in Autoregressive Transformer Language Models.

In Chiruzzo, Luis Ritter, Alan Wang, Lu (Eds.), Annual Conference of the Nations of the Americas Chapter of the Association for Computational Linguistics: proceedings of the conference: NAACL 2025 : April 29-May 4, 2025 (pp 3181–3203). Association for Computational Linguistics.

Hanna, M., Pezzelle, S., Belinkov, Y. (2024) Have Faith in Faithfulness: Going Beyond Circuit Overlap When Finding Model Mechanisms.

In Proceedings of COLM 2024

Hanna, M., Piotrowski, Mateusz, Lindsey, Jack, Ameisen, Emmanuel (2025) Circuit-Tracer: A New Library for Finding Feature Circuits.

In Belinkov, Yonatan Mueller, Aaron Kim, Najoung Mohebbi, Hosein Chen, Hanjie Arad, Dana Sarti, Gabriele (Eds.), The 8th BlackboxNLP Workshop: Analyzing and Interpreting Neural Networks for NLP: BlackboxNLP 2025 : proceedings of the workshop: November 9, 2025 (pp 239-249). Association for Computational Linguistics.

Hanna, M., Zamparelli, R., Mareček, D. (2023) The Functional Relevance of Probed Information: A Case Study.

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 835-848). Association for Computational Linguistics.

Hansen, H.H., Kupke, C., Marti, J., Venema, Y. (2018) Parity Games and Automata for Game Logic.

In Madeira, A. Benevides, M. (Eds.), Dynamic Logic. New Trends and Applications: First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017 : proceedings (pp 115-132) (Lecture Notes in Computer Science, Vol. 10669). Springer.

Hansen, H.H., Kupke, C., Pacuit, E. (2007) Bisimulation for Neighbourhood Structures.

In Mossakowski, T. Montanari, U. Haveraaen, M. (Eds.), Algebra and Coalgebra in Computer Science: Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007 : proceedings (pp 279-293) (Lecture Notes in Computer Science, Vol. 4624). Springer.

Hansen, H.H., Kupke, C. (2004) A Coalgebraic Perspective on Monotone Modal Logic.

Electronic Notes in Theoretical Computer Science, Vol. 106 (pp 121-143)

Article | https://doi.org/10.1016/j.entcs.2004.02.028 | UvA-DARE

Hansen, H.H., Pauly, M. (2003) Axiomatising Nash-Consistent Coalition Logic.

Technical Reports. Institute for Logic, Language and Computation.

Working paper | UvA-DARE

Hansen, N.C., Sadakata, M., Pearce, M. (2016) Nonlinear Changes in the Rhythm of European Art Music: Quantitative Support for Historical Musicology.

Music Perception, Vol. 33 (pp 414-431)

Article | https://doi.org/10.1525/MP.2016.33.4.414 | UvA-DARE

Hansson, S.O., Liu, F. (2014) From Good to Better: Using contextual shifts to define preference in terms of monadic value.

In Baltag, A. Smets, S. (Eds.), Johan van Benthem on Logic and Information Dynamics (pp 729-747) (Outstanding contributions to logic, Vol. 5). Springer.

Hara, Y. (2007) Movement of a Shifty Operator.

In Formal approaches to Japanese linguistics 4 : FAJL4: proceedings of the Fourth Conference on Formal Approaches to Japanese Linguistics (pp 61-72) (MIT Working Papers in Linguistics, Vol. 55). MITWPL.

Haret, A., Wallner, J.P. (2021) An AGM Approach to Revising Preferences.

Paper | UvA-DARE

Haret, A., Wallner, J.P. (2022) An Axiomatic Approach to Revising Preferences.

In Sycara, K. Honavar, V. Spaan, M. (Eds.), Proceedings of the 36th AAAI Conference on Artificial Intelligence: AAAI-22 : virtual conference, Vancouver, Canada, February 22-March 1, 2022 (pp 5676-5683). AAAI Press.

Haret, A. (2021) Surprise Minimization Revision Operators.

Paper | UvA-DARE