Searchable List of Research Output

Filter Publications
  • van Emde Boas, P. (1997) The Convenience of Tiling.
    London Mathematical Society lecture note series, Vol. 187 (pp 331-363)
    Article | UvA-DARE
  • van Emde Boas, P. (1997) Informatics, stelling met toelichting.
    In Dagschrift; 365 jaar Universiteit van Amsterdam (pp 113-114). Amsterdam University Press.
    Chapter | UvA-DARE
  • van Emde Boas, P. (1997) Resistance is futile; formal linguistic observations on design patterns.
    Technical Report. onbekend (FdL).
    Report | UvA-DARE
  • van Emde Boas, P. (1997) Resistance is futile: observations on the formal linguistic status of design patterns.
    In OOPSLA'97
    Chapter | UvA-DARE
  • van Emde Boas, P. (1997) L.e.j. brouwer als alien.
    Folia (pp 10)
    Article | UvA-DARE
  • van Emde Boas, P. (1998) Formalizing UML: Mission impossible.
    In Moreira, A. (Eds.), Formalising UML: Why? How?. (pp ---) (-). Oblog software Inc..
    Chapter | UvA-DARE
  • van Emde Boas, P. (1998) Agent technology: between hype and logic.
    Logic in the Netherlands (pp 4-6)
    Article | UvA-DARE
  • van Emde Boas, P. (2000) Games and Computer Science: several good reasons for Reind to play games after his retirement.
    In Liber Amicorum Reind P. van de Riet (pp 49-56). CWI.
    Chapter | UvA-DARE
  • van Emde Boas, P. (2000) Objects, Interaction, Games, Complexity; a reminder from the 80-ies.
    In Baclawski, K. Kilov, H. (Eds.), Ninth OOPSLA workshop on Behavioral Semantics (pp 62-66). Northeastern University.
    Conference contribution | UvA-DARE
  • van Emde Boas, P. (2003) The Moderate Effectiveness of being Human.
    ILLC Magazine (pp 13-14)
    Article | UvA-DARE
  • van Emde Boas, P. (2003) Feeling the Mood; Complexity, culture and civilization..
    ILLC Annual Report 2002 (pp 35-36)
    Article | UvA-DARE
  • van Emde Boas, P. (2003) Games, complexity and interaction; the role of games in computer science.
    In Kilov, Haim Baclawski, Kenneth (Eds.), Practical Foundations of Business System Specifications (pp 313-327). Kluwer.
    Chapter | UvA-DARE
  • van Emde Boas, P. (2005) Het Spel en de Regels; Ervaringen van een Voorzitter van een Examencommissie.
    Nieuwsbrief van het KdV Instituut (pp 17-21)
    Article | UvA-DARE
  • van Emde Boas, P. (2005) Mijn Spelen is Leren.
    CAVIA (pp 8-10)
    Article | UvA-DARE
  • van Emde Boas, P. (2005) The Mirror on the Beach.
    ILLC Magazine (pp 14-14)
    Article | UvA-DARE
  • van Emde Boas, P. (2007) A tale of two papers.
    In Nguyen, P. (Eds.), Proceedings LLL + 25 (pp 5-7)
    Conference contribution | UvA-DARE
  • van Emde Boas, P. (2010) Playing Savitch and Cooking games.
    In Dams, D. Hannemann, U. Steffen, M. (Eds.), Concurrency, compositionality, and correctness: essays in honor of Willem-Paul de Roever (pp 10-21) (Lecture Notes in Computer Science). Springer.
  • van Emde Boas, P. (2012) Travelling with Dexter Kozen.
    In Constable, R.L. Silva, A. (Eds.), Logic and Program Semantics: Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday (pp 342-351) (Lecture Notes in Computer Science, Vol. 7230). Springer.
  • 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

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