Voor de beste ervaring schakelt u JavaScript in en gebruikt u een moderne browser!
Je gebruikt een niet-ondersteunde browser. Deze site kan er anders uitzien dan je verwacht.

Prof. dr. P. van Emde Boas

Faculteit der Natuurwetenschappen, Wiskunde en Informatica
ILLC
Bezoekadres
  • Science Park 105
  • Kamernummer: F2.08
Postadres
  • Postbus 94242
    1090 GE Amsterdam
Contactgegevens
  • Publicaties

    2022

    2014

    • van Emde Boas, P. (2014). Theory-of-mind reasoning in Ancient China. In J. Szymanik, & R. Verbrugge (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. http://ceur-ws.org/Vol-1208/paper2.pdf [details]

    2013

    • van Emde Boas, P. (2013). Evert Marie Bruins (1909-1990): Intelligent, productief en controversieel. Studium, 6(3/4), 296-299. https://doi.org/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). Springer. https://doi.org/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). Springer. https://doi.org/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

    • Smeets, I., Lenstra, A., Lenstra, H., Lovász, L., & van Emde Boas, P. (2010). The history of the LLL-algorithm. In P. Q. Nguyen, & B. Vallée (Eds.), The LLL Algorithm: Survey and Applications (pp. 1-17). (Information Security and Cryptography : Texts and Monographs). Springer. https://doi.org/10.1007/978-3-642-02295-1_1 [details]
    • 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). Springer. https://doi.org/10.1007/978-3-642-11512-7_2 [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.

    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. 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). Springer. https://doi.org/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). 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]

    2022

    • 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, 5/23(3), 181-188. [details]

    2021

    2019

    • van Emde Boas - Lubsen, G., Zhao, B., & van Emde Boas, P. (2019). Sun Tzu and the rules of Victorious Warriors; Analyzing the rules of Sun Tzu using Mind Maps. 1-31. Paper presented at Making of the Humanities VII, Amsterdam, Netherlands. https://eprints.illc.uva.nl/id/document/10220

    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.

    Tijdschriftredactie

    • 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.
  • Nevenwerkzaamheden
    Geen nevenwerkzaamheden
contactgegevens bewerken   bewerk profielinformatie