Vossius Center for the History of Humanities and Sciences

prof. dr. P. van Emde Boas


  • Faculty of Science
    ILLC
  • Visiting address
    Science Park 107
    Science Park 105  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] 

2013

  • van Emde Boas, P. (2013). Evert Marie Bruins (1909-1990): Intelligent, productief en controversieel. Studium, 6(3/4), 296-299. DOI: 10.18352/studium.9295  [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)

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; Vol. 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] 

2017

  • van Emde Boas, P. (2017). Working With the Bulletin Editor. In S. Azimi, H. J. Hoogeboom, J. Kleijn, M. van der Nat, I. Petre, & A. Salomaa (Eds.), A Magician in Science: Liber Amicorum Gzegorz Rozenberg (pp. 109). Turku Centre for Computer Science.

2014

  • van Emde Boas, P. (2014). Victorious Warriors; Strategic theory and logic in ancient China, preliminary draft outline. Paper presented at The Third International Conference on the History of Logic in China, Tianjin, China.

2013

  • van Emde Boas, P., Groen, F. C. A., Italiano, G. F., Nawrocki, J., & Sack, H. (2013). SOFSEM 2013: Theory and Practice of Computer Science: 39th conference on current trends in theory and practice of computer science: Špindlerův Mlýn, Czech Republic, January 26-31, 2013: proceedings. - Volume II. Prague: Institute of Computer Science AS CR. [details] 
  • van Emde Boas, P., Groen, F. C. A., Italiano, G. F., Nawrocki, J., & Sack, H. (2013). SOFSEM 2013: Theory and Practice of Computer Science. (Lecture Notes in Computer Science; Vol. 7741). Heidelberg: Springer. DOI: 10.1007/978-3-642-35843-2  [details] 

2004

  • van Emde Boas, P., Pokorny, J., Bielikova, M., & Stuller, J. (2004). SOFSEM 2004, Theory and Practice of Computer Science; 30-th Conference on current trends in Theory and Practice of Computer Science, Mrein, Czech republic, January 2004. (Lecture Notes in Computer Science; No. 2932). Berlin: Springer. [details] 
  • van Emde Boas, P., Pokorny, J., Bielikova, M., & Stuller, J. (2004). SOFSEM 2004: Theory and Practice of Computer Science; 30th Conference on current Trends in Theory and Practice of Computer Science, Merin, Czech republic, January 2004; proceedings Volume II. Prague: Matfyz Press. [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. Log in to Personal Page Publication Selection tool  to manage the visibility of your publications on this list.

No known ancillary activities

edit contact information edit tabs