Vossius Center for History of Humanities and Sciences

prof. dr. P. van Emde Boas


  • Faculty of Science
    ILLC
  • Visiting address
    Science Park 107
    Science Park 105  Amsterdam
    Room number: F2.08
  • Postal address:
    Postbus  94242
    1090 GE  Amsterdam
  • P.vanEmdeBoas@uva.nl
    T: 0205256065

2014

  • van Emde Boas, P. (2014). Theory-of-mind reasoning in Ancient China. CEUR Workshop Proceedings, 1208, 6-10. [details] [PDF]

2013

  • van Emde Boas, P. (2013). Evert Marie Bruins (1909-1990): Intelligent, productief en controversieel. Studium, 6(3-4), 296-299. [details]
  • van Emde Boas, P. (2013). Thirty nine years of stratified trees. In I. Capuni, L. Georgiadis, & O. Altun (Eds.), Proceedings 2nd International Symposium on Computing in Informatics and Mathematics (ISCIM'13). (pp. 1-14) [details]

2012

  • van Emde Boas, P. (2012). Travelling with Dexter Kozen. In R. L. Constable, & A. Silva (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; No. 7230). Heidelberg: Springer. DOI: 10.1007/978-3-642-29485-3_31 [details]
  • van Emde Boas, P. (2012). Turing Machines for dummies: why representations do matter. Lecture Notes in Computer Science, 7147, 14-30. DOI: 10.1007/978-3-642-27660-6_2 [details]

2011

  • Adriaans, P., & van Emde Boas, P. (2011). Computation, information and the arrow of time. In S. Barry Cooper, & A. Sorbi (Eds.), Computability in Context; Computation and Logic in the Real World (pp. 1-17). Imperial College Press. [details]

2010

  • van Emde Boas, P. (2010). Playing Savitch and Cooking games. In D. Dams, U. Hannemann, & M. Steffen (Eds.), Concurrency, compositionality, and correctness: essays in honor of Willem-Paul de Roever (pp. 10-21). (Lecture Notes in Computer Science; No. 5930). Berlin: Springer. DOI: 10.1007/978-3-642-11512-7_2 [details]
  • Smeets, I., Lenstra, A., Lenstra, H., Lovász, L., & van Emde Boas, P. (2010). The history of the LLL-algorithm. Information Security and Cryptography : Texts and Monographs, 1-17. DOI: 10.1007/978-3-642-02295-1_1 [details]

2007

  • van Emde Boas, P. (2007). A tale of two papers. In P. Nguyen (Ed.), Proceedings LLL + 25. (pp. 5-7). Caen. [details]

Journal editor

  • van Emde Boas, P. (editor) (2011): Information and Computation (Journal).
This list of publications is extracted from the UvA-Current Research Information System. Questions? Ask the library or the Pure staff of your faculty / institute. Log in to Pure to edit your publications.

No known ancillary activities

edit contact information edit tabs