Searchable List of Research Output

Filter Publications
  • van Emde Boas, P. (2012) Turing Machines for dummies: why representations do matter.
    In Bieliková, M. Friedrich, G. Gottlob, G. Katzenbeisser, S. Turán, G. (Eds.), SOFSEM 2012: Theory and Practice of Computer Science: 38th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 21-27, 2012: proceedings (pp 14-30) (Lecture Notes in Computer Science, Vol. 7147). Springer.
  • van Emde Boas, P. (2013) Thirty nine years of stratified trees.
    In Capuni, I. Georgiadis, L. Altun, O. (Eds.), Proceedings 2nd International Symposium on Computing in Informatics and Mathematics (ISCIM'13) (pp 1-14)
    Conference contribution | UvA-DARE
  • van Emde Boas, P. (2013) Evert Marie Bruins (1909-1990): Intelligent, productief en controversieel.
    Studium, Vol. 6 (pp 296-299)
  • van Emde Boas, P. (2014) Theory-of-mind reasoning in Ancient China.
    In Szymanik, J. Verbrugge, R. (Eds.), Proceedings of the Second Workshop Reasoning About Other Minds: Logical and Cognitive Perspectives: co-located with Advances in Modal Logic 2014 ; Groningen, The Netherlands, August 4, 2014 (pp 6-10) (CEUR Workshop Proceedings, Vol. 1208). CEUR-WS.
  • van Emde Boas, P. (2014) Victorious Warriors; Strategic theory and logic in ancient China, preliminary draft outline.
    Paper | UvA-DARE
  • van Emde Boas, P. (2017) Working With the Bulletin Editor.
    In Azimi, S Hoogeboom, H.J. Kleijn, J. van der Nat, M. Petre, I. Salomaa, A. (Eds.), A Magician in Science: Liber Amicorum Gzegorz Rozenberg (pp 109). Turku Centre for Computer Science.
    Conference contribution | UvA-DARE
  • van Emde Boas, P. (2022) In Memoriam Theodorus Jozef Dekker (1927-2021): Vooraanstaand numeriek wiskundige, en informaticus van het eerste uur.
    Nieuw Archief voor Wiskunde, Vol. 5/23 (pp 181-188)
    Article | UvA-DARE
  • van Erp, M. Wevers, M. Huurdeman, H. (2018) Constructing a Recipe Web from Historical Newspapers.
    In Vrandečić, D. Bontcheva, K. Suárez-Figueroa, M.C. Presutti, V. Celino, I. Sabou, M. Kaffee, L.-A. Simperl, E. (Eds.), The Semantic Web – ISWC 2018: 17th International Semantic Web Conference, Monterey, CA, USA, October 8–12, 2018 : proceedings (pp 217-232) (Lecture Notes in Computer Science, Vol. 11136). Springer.
  • van Erven, T.A.L. de Rooij, S. Grünwald, P. (2007) Switching between Predictors with an Application in Density Estimation.
    In Proceedings of the 28th Symposium on Information Theory in the Benelux (pp 149-156). SAS.
    Conference contribution | UvA-DARE
  • van Erven, T.A.L. Grünwald, P.D. de Rooij, S. (2007) Catching Up Faster in Bayesian Model Selection and Model Averaging.
    In Advances in Neural Information Processing Systems (pp 417-424). Neural Information Processing Systems (NIPS) Foundation.
    Conference contribution | UvA-DARE
  • van Gemert, B. Cokart, R. Esselink, L. de Meulder, M. Sijm, N. Roelofsen, F. (2022) First Steps Towards a Signing Avatar for Railway Travel Announcements in the Netherlands.
    In Efthimiou, E. Fotinea, S.-E. Hanke, T. McDonald, J.C. Shterionov, D. Wolfe, R. (Eds.), Proceedings : 7th Workshop on Sign Language Translation and Avatar Technology: The Junction of the Visual and the Textual: Challenges and Perspectives (SLTAT 7): LREC 2022 Workshop : Language Resources and Evaluation Conference, 24 June 2022 (pp 109-116). European Language Resources Association.
  • van Gessel, T. Cremers, A. Roelofsen, F. (2018) Polarity sensitivity of question embedding: experimental evidence.
    Proceedings from Semantics and Linguistic Theory, Vol. 28 (pp 217-232)
  • van Gessel, T. (2020) Questions in context.
    ILLC dissertation series. Institute for Logic, Language and Computation.
    Thesis, fully internal | UvA-DARE
  • van Gessel, T. (2020) Action models in inquisitive logic.
    Synthese, Vol. 197 (pp 3905-3945)
  • van Gessel, T. (2022) Questions in two-dimensional logic.
    Review of Symbolic Logic, Vol. 15 (pp 859-879)
  • van Gool, S.J. Metcalfe, G. Tsinakis, C. (2017) Uniform Interpolation and Compact Congruences.
    Annals of Pure and Applied Logic, Vol. 168 (pp 1927-1948)
  • van Hage, W.R. de Rijke, M. Marx, M.J. (2004) Information retrieval support for ontology construction and use.
    Lecture Notes in Computer Science, Vol. 3298 (pp 518-533)
    Article | UvA-DARE
  • van Heerdt, G. Kappé, T. Rot, J. Sammartino, M. Silva, A. (2022) A Categorical Framework for Learning Generalised Tree Automata.
    In Hansen, H.H. Zanasi, F. (Eds.), Coalgebraic Methods in Computer Science: 16th IFIP WG 1.3 International Workshop, CMCS 2022, colocated with ETAPS 2022, Munich, Germany, April 2-3, 2022 : proceedings (pp 67-87) (Lecture Notes in Computer Science, Vol. 13225). Springer.
  • van Hees, M. Roy, O. (2008) Intentions and plans in decision and game theory.
    In Verbeek, B. (Eds.), Reasons and intentions (pp 207-226). Ashgate.
  • van Hees, M. Roy, O. (2009) Intentions, decisions and rationality.
    In Boylan, T.A. Gekker, R. (Eds.), Economics, rational choice and normative philosophy (pp 56-72) (Routledge frontiers of political economy). Routledge.

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