-
van Emde Boas, P. (1997) Resistance is futile: observations on the formal linguistic status of design patterns.In OOPSLA'97Chapter | UvA-DAREvan Emde Boas, P. (1997) L.e.j. brouwer als alien.Folia (pp 10)Article | UvA-DAREvan Emde Boas, P. (1998) Formalizing UML: Mission impossible.In Moreira, A. (Eds.), Formalising UML: Why? How?. (pp ---) (-). Oblog software Inc..Chapter | UvA-DAREvan Emde Boas, P. (1998) Agent technology: between hype and logic.Logic in the Netherlands (pp 4-6)Article | UvA-DAREvan 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.Chapter | UvA-DAREvan Emde Boas, P. (2000) Objects, Interaction, Games, Complexity; a reminder from the 80-ies.In Baclawski, K. Kilov, H. (Eds.), Ninth OOPSLA workshop on Behavioral Semantics (pp 62-66). Northeastern University.Conference contribution | UvA-DAREvan Emde Boas, P. (2003) The Moderate Effectiveness of being Human.ILLC Magazine (pp 13-14)Article | UvA-DAREvan Emde Boas, P. (2003) Feeling the Mood; Complexity, culture and civilization..ILLC Annual Report 2002 (pp 35-36)Article | UvA-DAREvan Emde Boas, P. (2003) Games, complexity and interaction; the role of games in computer science.In Kilov, Haim Baclawski, Kenneth (Eds.), Practical Foundations of Business System Specifications (pp 313-327). Kluwer.Chapter | UvA-DAREvan Emde Boas, P. (2005) Het Spel en de Regels; Ervaringen van een Voorzitter van een Examencommissie.Nieuwsbrief van het KdV Instituut (pp 17-21)Article | UvA-DAREvan Emde Boas, P. (2005) Mijn Spelen is Leren.CAVIA (pp 8-10)Article | UvA-DAREvan Emde Boas, P. (2005) The Mirror on the Beach.ILLC Magazine (pp 14-14)Article | UvA-DAREvan Emde Boas, P. (2007) A tale of two papers.In Nguyen, P. (Eds.), Proceedings LLL + 25 (pp 5-7)Conference contribution | UvA-DAREvan Emde Boas, P. (2010) Playing Savitch and Cooking games.In Dams, D. Hannemann, U. Steffen, M. (Eds.), Concurrency, compositionality, and correctness: essays in honor of Willem-Paul de Roever (pp 10-21) (Lecture Notes in Computer Science). Springer.Chapter | https://doi.org/10.1007/978-3-642-11512-7_2 | UvA-DAREvan Emde Boas, P. (2012) Travelling with Dexter Kozen.In Constable, R.L. Silva, A. (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.Chapter | https://doi.org/10.1007/978-3-642-29485-3_31 | UvA-DAREvan Emde Boas, P. (2012) Turing Machines for dummies: why representations do matter.In Bieliková, M. Friedrich, G. Gottlob, G. Katzenbeisser, S. Turán, G. (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.Conference contribution | https://doi.org/10.1007/978-3-642-27660-6_2 | UvA-DAREvan Emde Boas, P. (2013) Thirty nine years of stratified trees.In Capuni, I. Georgiadis, L. Altun, O. (Eds.), Proceedings 2nd International Symposium on Computing in Informatics and Mathematics (ISCIM'13) (pp 1-14)Conference contribution | UvA-DAREvan Emde Boas, P. (2013) Evert Marie Bruins (1909-1990): Intelligent, productief en controversieel.Studium, Vol. 6 (pp 296-299)Article | https://doi.org/10.18352/studium.9295 | UvA-DAREvan Emde Boas, P. (2014) Theory-of-mind reasoning in Ancient China.In Szymanik, J. Verbrugge, R. (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.Conference contribution | http://ceur-ws.org/Vol-1208/paper2.pdf | UvA-DAREvan Emde Boas, P. (2014) Victorious Warriors; Strategic theory and logic in ancient China, preliminary draft outline.Paper | UvA-DARE
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 illc at uva.nl