Háden, G., 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., 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., Honing, H. (2025) Critical review on the development and evolution of beat perception.

PsyArXiv.

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

Háden, Gábor, Honing, H. (2026) Critical Review on the Development and Evolution of Beat Perception.

Annals of the New York Academy of Sciences, Vol. 1563

Review article | https://doi.org/10.1111/nyas.70386 | 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) Logics of questions.

Synthese, Vol. 192 (pp 1581-1584)

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

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

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.

Hamkins, J.D. (2007) A survey of infinite time Turing machines.

In Durand-Lose, J. Margenstern, M. (Eds.), Machines, Computations, and Universality: 5th International Conference, MCU 2007, Orléans, France, September 10-13, 2007 : proceedings (pp 62-71) (Lecture Notes in Computer Science, Vol. 4664). Springer.

Hamm, F., Kamp, J.A.W., van Lambalgen, M. (2006) There is no opposition between formal and cognitive semantics.

Theoretical Linguistics, Vol. 32 (pp 1-40)

Article | https://doi.org/10.1515/TL.2006.001 | UvA-DARE