dhr. prof. dr. P. van Emde Boas
-
Faculteit der Natuurwetenschappen, Wiskunde en Informatica
ILLC
-
POSTBUS
94242
1090 GE Amsterdam
Kamernummer: C3.122
-
P.vanEmdeBoas@uva.nl
T: 0205256065
2014
- P. van Emde Boas (2014). Theory-of-mind reasoning in Ancient China. In J. Szymanik & R. Verbrugge (Eds.), RAOM 2014: Reasoning About Other Minds: Logical and Cognitive Perspectives: 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 Vol. 1208. CEUR Workshop Proceedings (pp. 6-10). CEUR.[go to publisher's site]
2013
- P. van Emde Boas (2013). Evert Marie Bruins (1909-1990): Intelligent, productief en controversieel. Studium, 6 (3-4), 296-299.
- P. van Emde Boas (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
- P. van Emde Boas (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 (Lecture Notes in Computer Science, 7230) (pp. 342-351). Heidelberg: Springer.
- P. van Emde Boas (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, Špindleruv Mlýn, Czech Republic, January 21-27 2012: proceedings Vol. 7147. Lecture Notes in Computer Science (pp. 14-30). Heidelberg: Springer.
- P. van Emde Boas (2012). Turing Machines for dummies: why representations do matter. In M. Bielikova (Ed.), SOFSEM 2012: Theory and Practice of Computer Science: 38th Conference on Current Trends in Theory and Practice of Computer Science, Špindleruv Mlýn, Czech Republic, January 21-27, 2012: proceedings Vol. 7147. Lecture Notes in Computer Science (pp. 14-30). Springer.
2011
- P. van Emde Boas (Ed.). (2011) Information and Computation.
- P. Adriaans & P. van Emde Boas (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.
2010
- P. van Emde Boas (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 (Lecture Notes in Computer Science, 5930) (pp. 10-21). Berlin: Springer.
- I. Smeets, A. Lenstra, H. Lenstra, L. Lovász & P. van Emde Boas (2010). The history of the LLL-algorithm. In P.Q. Nguyen & B. Vallée (Eds.), The LLL algorithm: survey and applications Information Security and Cryptography : Texts and Monographs (pp. 1-17). Heidelberg: Springer.
2007
- P. van Emde Boas (2007). A tale of two papers. In P. Nguyen (Ed.), Proceedings LLL + 25 (pp. 5-7). Caen.
This page has been automatically generated by the UvA-Current Research Information System. If you have any questions about the content of this page, please contact the UBAcoach or the Metis staff of your faculty / institute. To edit your publications login to Personal Metis.