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

Hashemi, S.H., Amer, N.O., Kamps, J. (2016) University of Amsterdam at TREC 2016: Contextual Suggestion Track.

Paper | https://e.humanities.uva.nl/publications/2016/hash_univ16.pdf | UvA-DARE

Hashemi, S.H., Amer, N.O., Kamps, J. (2017) Neural Endorsement Based Contextual Suggestion.

In Voorhees, E.M. Ellis, A. (Eds.), The Twenty-Fifth Text REtrieval Conference (TREC 2016) Proceedings (NIST Special Publication). National Institute of Standards and Technology.

Hashemi, S.H., Clarke, C.L.A., Dean-Hall, A., Kamps, J., Kiseleva, J. (2015) On the reusability of open test collections.

In SIGIR 2015: proceedings of the 38th International ACM SIGIR Conference on Research and Development in Information Retrieval : August 9-13, 2015, Santiago, Chile (pp 827-830). Association for Computing Machinery.

Hashemi, S.H., Clarke, C.L.A., Dean-Hall, A., Kamps, J., Kiseleva, J. (2016) Test Collection Building and Maintenance in Dynamic Domains.

Abstract | UvA-DARE

Hashemi, S.H., Clarke, C.L.A., Dean-Hall, A., Kamps, J., Kiseleva, J. (2016) An Easter Egg Hunting Approach to Test Collection Building in Dynamic Domains.

In Clarke, C. Yilmaz, E. Kando, N. Kato, M.P. Kishida, K. Yamamoto, S. (Eds.), Proceedings of the Seventh International Workshop on Evaluating Information Access (EVIA 2016): a Satellite Workshop of the NTCIR-12 Conference, June 7, 2016 Tokyo Japan . National Institute of Informatics .

Hashemi, S.H., Clarke, C.L.A., Kamps, J., Kiseleva, J., Voorhees, E.M. (2017) Overview of the TREC 2016 Contextual Suggestion Track.

In Voorhees, E.M. Ellis, A. (Eds.), The Twenty-Fifth Text REtrieval Conference (TREC 2016) Proceedings (NIST Special Publication). National Institute of Standards and Technology.

Hashemi, S.H., Dehghani, M., Kamps, J. (2016) Parsimonious User and Group Profiling in Venue Recommendation.

In Voorhees, E.M. Ellis, A. (Eds.), The Twenty-Fourth Text REtrieval Conference (TREC 2015) Proceedings (NIST Special Publication). National Institute of Standards and Technology.