Searchable List of Research Output

Filter Publications
  • van Emde Boas, P. (1997). L.e.j. brouwer als alien. Folia, 10. >>>
  • van Emde Boas, P. (1998). Formalizing UML: Mission impossible. In A. Moreira (Ed.), Formalising UML: Why? How?. (pp. ---). (-; No. -). Oblog software Inc.. >>>
  • van Emde Boas, P. (1998). Agent technology: between hype and logic. Logic in the Netherlands, 4-6. >>>
  • van Emde Boas, P. (2000). Games and Computer Science: several good reasons for Reind to play games after his retirement. In Liber Amicorum Reind P. van de Riet (pp. 49-56). CWI. >>>
  • van Emde Boas, P. (2000). Objects, Interaction, Games, Complexity; a reminder from the 80-ies. In K. Baclawski, & H. Kilov (Eds.), Ninth OOPSLA workshop on Behavioral Semantics (pp. 62-66). Northeastern University. >>>
  • van Emde Boas, P. (2003). The Moderate Effectiveness of being Human. ILLC Magazine, 13-14. >>>
  • van Emde Boas, P. (2003). Feeling the Mood; Complexity, culture and civilization. ILLC Annual Report 2002, 35-36. >>>
  • van Emde Boas, P. (2003). Games, complexity and interaction; the role of games in computer science. In H. Kilov, & K. Baclawski (Eds.), Practical Foundations of Business System Specifications (pp. 313-327). Kluwer. >>>
  • van Emde Boas, P. (2005). Het Spel en de Regels; Ervaringen van een Voorzitter van een Examencommissie. Nieuwsbrief van het KdV Instituut, 17-21. >>>
  • van Emde Boas, P. (2005). Mijn Spelen is Leren. CAVIA, 8-10. >>>
  • van Emde Boas, P. (2005). The Mirror on the Beach. ILLC Magazine, 14-14. >>>
  • van Emde Boas, P. (2007). A tale of two papers. In P. Nguyen (Ed.), Proceedings LLL + 25 (pp. 5-7). >>>
  • 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 >>>
  • 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 >>>
  • 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 >>>
  • 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) >>>
  • 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 >>>
  • 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 >>>
  • 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. >>>
  • 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. >>>

The data of this list is taken from the Pure database. If you find output is missing from the list, please follow the previous link to find out how to submit to Pure. In case there are mistakes in PURE, please contact