Haber, J., Baumgärtner, T., Takmaz, E., Gelderloos, L., Bruni, E., Fernández, R. (2019) The PhotoBook Dataset: Building Common Ground through Visually Grounded Dialogue.

In Korhonen, A. Traum, D. Màrquez, L. (Eds.), The 57th Annual Meeting of the Association for Computational Linguistics: ACL 2019 : proceedings of the conference : July 28-August 2, 2019, Florence, Italy (pp 1895-1910). The Association for Computational Linguistics.

Hada, R., Sudhir, S., Mishra, P., Yannakoudakis, H., Mohammad, S.M., Shutova, E. (2021) Ruddit: Norms of offensiveness for English Reddit comments.

In Zong, C. Xia, F. Li, W. Navigli, R. (Eds.), The 59th Annual Meeting of the Association for Computational Linguistics and the 11th International Joint Conference on Natural Language Processing: ACL-IJCNLP 2021 : proceedings of the conference : August 1-6, 2021 (pp 2700-2717). The Association for Computational Linguistics.

Háden, G.P., Bouwer, F.L., Honing, H., Winkler, I. (2024) Beat processing in newborn infants cannot be explained by statistical learning based on transition probabilities.

Cognition, Vol. 243

Article | https://doi.org/10.1016/j.cognition.2023.105670 | UvA-DARE

Háden, G.P., Honing, H., Török, M., Winkler, I. (2015) Detecting the temporal structure of sound sequences in newborn infants.

International Journal of Psychophysiology, Vol. 96 (pp 23-28)

Article | https://doi.org/10.1016/j.ijpsycho.2015.02.024 | UvA-DARE

Háden, G.P., Honing, H., Winkler, I. (2012) Newborn infants are sensitive to sound timing.

In Cambouropoulos, F. Tsougras, C. Mavromatis, P. Pastiadis, K. (Eds.), Proceedings of the 12th International Conference on Music Perception and Cognition and 8th Triennial Conference of the European Society for the Cognitive Sciences of Music: July 23-28, 2012, Thessaloniki, Greece (pp 378-379). Aristotle University of Thessaloniki.

Háden, G.P., Honing, H. (2025) Critical review on the development and evolution of beat perception.

Preprint | https://doi.org/10.31234/osf.io/hrbsm_v3 | UvA-DARE

Hadzihasanovic, A., van den Berg, B. (2017) Nonstandard functional interpretations and categorical models.

Notre Dame Journal of Formal Logic, Vol. 58 (pp 343-380)

Article | https://doi.org/10.1215/00294527-3870348 | UvA-DARE

Haegeman, J., Swingle, B., Walter, M., Colter, J., Evenbly, G., Scholz, V.B. (2018) Rigorous Free-Fermion Entanglement Renormalization from Wavelet Theory.

Physical Review X, Vol. 8

Article | https://doi.org/10.1103/PhysRevX.8.011003 | UvA-DARE

Halava, V., Hirvensalo, M., de Wolf, R. (1999) Decidability and undecidability of marked PCP.

In Proceedings of 16th Annual Symposium on Theoretical Aspects of Computer Science (STACS'99) (pp 210-219). Springer.

Halava, V., Hirvensalo, M., de Wolf, R. (2001) Marked PCP is decidable.

Theoretical Computer Science, Vol. 255 (pp 193-204)

Article | https://doi.org/10.1016/S0304-3975(99)00163-2 | UvA-DARE

Haldar, S., Vitanyi, P.M.B. (2002) Bounded concurrent timestamp systems using vector clocks.

Journal of the Association for Computing Machinery, Vol. 49 (pp 101-123)

Article | https://doi.org/10.1145/505241.505246 | UvA-DARE

Hall, M., Huurdeman, H., Koolen, M., Skov, M., Walsh, D. (2014) Overview of the INEX 2014 Interactive Social Book Search Track.

In Cappellato, L. Ferro, N. Halvey, M. Kraaij, W. (Eds.), Working Notes for CLEF 2014 Conference: Sheffield, UK, September 15-18, 2014 (pp 480-493) (CEUR Workshop Proceedings, Vol. 1180). CEUR-WS.

Hamami, Y., Roelofsen, F. (2015) Special Section on Logic of Questions.

Synthese, Vol. 192 (pp 1581-1784)

Special issue (Editorship) | http://link.springer.com/journal/11229/192/6/page/1 | UvA-DARE

Hamami, Y., Roelofsen, F. (2015) Logics of questions.

Synthese, Vol. 192 (pp 1581-1584)

Editorial | https://doi.org/10.1007/s11229-015-0736-y | UvA-DARE

Hamkins, J.D., Linetsky, D., Miller, R.G. (2007) The complexity of quickly decidable ORM-decidable sets.

In Cooper, S.B. Löwe, B. Sorbi, A. (Eds.), Computation and Logic in the Real World: Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007 : proceedings (pp 488-496) (Lecture Notes in Computer Science, Vol. 4497). Springer.

Hamkins, J.D., Löwe, B. (2005) The Modal Logic of Forcing.

Technical Reports. Institute for Logic, Language and Computation.

Working paper | UvA-DARE

Hamkins, J.D., Löwe, B. (2008) The modal logic of forcing.

Transactions of the Americal Mathematical Society, Vol. 360 (pp 1793-1817)

Article | https://doi.org/10.1090/S0002-9947-07-04297-3 | UvA-DARE

Hamkins, J.D., Löwe, B. (2013) Moving up and down in the generic multiverse.

In Lodaya, K. (Eds.), Logic and Its Applications: 5th International Conference, ICLA 2013, Chennai, India, January 10-12, 2013 : proceedings (pp 139-147) (Lecture Notes in Computer Science
FoLLI Publications on Logic, Language and Information, Vol. 7750). Springer.

Hamkins, J.D., Miller, R.G. (2007) Post’s problem for ordinal register machines.

In Cooper, S.B. Löwe, B. Sorbi, A. (Eds.), Computation and Logic in the Real World: Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007 : proceedings (pp 358-367) (Lecture Notes in Computer Science, Vol. 4497). Springer.

Hamkins, J.D. (2005) Infinitary computability with infinite time.

In Löwe, B. Cooper, B. (Eds.), New Computational Paradigms. Springer-Verlag.