For best experience please turn on javascript and use a modern browser!
uva.nl

prof. dr. P. van Emde Boas

Faculty of Science
ILLC

Visiting address
  • Science Park 105
  • Room number: F2.08
Postal address
  • Postbus 94242
    1090 GE Amsterdam
  • Publications

    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. In M. Bieliková, G. Friedrich, G. Gottlob, S. Katzenbeisser, & G. Turán (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). Heidelberg: Springer. 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.
  • Ancillary activities
    No known ancillary activities