Searchable List of Research Output

Filter Publications
  • Hinzen, W. (2005) Der natürliche Mensch.
    In Westermann, H. Löhrer, G. (Eds.), Philosophische Anthropologie und Lebenskunst (pp 53-80). Fink-Verlag.
    Chapter | UvA-DARE
  • Hinzen, W. (2006) Mind Design and Minimal Syntax.
    Oxford University Press.
    Book | UvA-DARE
  • Hinzen, W. (2006) Context and Logical Form.
    In Bouquet, P. Serafini, L. (Eds.), Perspectives on Context (pp 141-168). CSLI Publications.
    Chapter | UvA-DARE
  • Hinzen, W. (2006) The mind we do not change [Review of: E. Olsson (2006) Knowledge and Inquiry: Essays on the Pragmatism of Isaac Levi].
    Cambridge studies in probability, induction, and decision theory
    Book/Film/Article/Exhibition review | UvA-DARE
  • Hinzen, W. (2006) Spencerism and the Causal Theory of Reference.
    Biology and Philosophy, Vol. 21 (pp 71-94)
  • Hirsch, D., Yankelich, D., Felder, M., Areces, C.E. (1997) Modal logic as a software engineering tool.
    In Proceedings Workshop in Formal Methods for the Design of Real-Time Systems
    Chapter | UvA-DARE
  • Hirschfeldt, D.R., Terwijn, S.A. (2008) Limit computability and constructive measure.
    In Chong, C. Feng, Q. Slaman, T.A. Woodin, W.H. Yang, Y. (Eds.), Computational Prospects of Infinity. - Part II: Presented talks (pp 131-142) (Lecture Notes Series, Institute for Mathematical Sciences, National University of Singapore, Vol. 15). World Scientific.
    Conference contribution | https://doi.org/10.1142/6786 | UvA-DARE
  • Hoàng, C. (2017) Latent domain models for statistical machine translation.
    Thesis, fully internal | UvA-DARE
  • Hodkinson, I., Mikulás, Sz., Venema, Y. (2000) Axiomating complex algebras by games.
    Technical Report. Institute for Logic Language and Computation.
    Working paper | UvA-DARE
  • Hodkinson, I., Mikulás, Sz., Venema, Y. (2001) Axiomatizing complex algebras by games.
    Algebra Universalis, Vol. 46 (pp 455-478)
  • Hodkinson, I., Venema, Y. (2003) Canonical varieties with no canonical axiomatisation.
    Technical Reports. Institute for Logic, Language and Computation.
    Working paper | UvA-DARE
  • Hodkinson, I., Venema, Y. (2005) Canonical varieties with no canonical axiomatisation.
    Transactions of the Americal Mathematical Society, Vol. 357 (pp 4579-4605)
  • Hoeks, M., Roelofsen, F. (2019) Coordinating questions: The scope puzzle.
    Proceedings from Semantics and Linguistic Theory, Vol. 29 (pp 562-581)
  • Hoepman, J.H. (1996) Communication, Synchronization & Fault Tolerance.
    UvA.
    Thesis, externally prepared | UvA-DARE
  • Hofman, L., Kok, Anika, van Vliet, Marieke, Willems, Afra, Wernaart, Bart (2026) Mapping Ethical Preferences in Urban Technology: The Moral Data City Hunt Approach.
  • Hofman, L., van Vliet, Marieke (2025) Moral Data City Hunt: a method for engaging citizens and mapping ethical preferences in municipalities..
    Abstract | UvA-DARE
  • Hofmann, Lucas, Finkensiep, C., Moss, Fabian C. (2025) Metric Complexity in Polyphonic Music: A Theoretical Framework and Quantitative Analysis of Hugo Distler’s Motets.
  • Hogenboom, S.A.M., Hermans, F.F.J., van der Maas, H. (2022) Computerized adaptive assessment of understanding of programming concepts in primary school children.
    Computer Science Education, Vol. 32 (pp 418-448)
  • Hol, M., Bilgin, A. (2016) A Fuzzy Logic Approach for Anomaly Detection in Energy Consumption Data.
    In Bosse, T. Bredeweg, B. (Eds.), BNAIC 2016 : Benelux Conference on Artificial Intelligence: proceedings of the Twenty-Eight Benelux Conference on Artificial Intelligence : Amsterdam, November 10-11, 2016 (pp 210-211) (BNAIC, Vol. 28). Vrije Universiteit, Department of Computer Sciences.
  • Hol, M., Bilgin, A. (2017) Design of a Fuzzy Logic based Framework for Comprehensive Anomaly Detection in Real-World Energy Consumption Data.
    In Bosse, T. Bredeweg, B. (Eds.), BNAIC 2016: Artificial Intelligence: 28th Benelux Conference on Artificial Intelligence, Amsterdam, The Netherlands, November 10-11, 2016 : revised selected papers (pp 121-136) (Communications in Computer and Information Science, Vol. 765). Springer.

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