Searchable List of Research Output | Institute for Logic, Language and Computation

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.

Matfyz Press.

Book (Editorship) | UvA-DARE
van Emde Boas, P., van Emde Boas - Lubsen, Ghica, Xie, K., Zhao, B. (2022) Analyzing the Logic of Sun Tzu in “The Art of War”, Using Mind Maps.

Logic in Asia: Studia Logica Library. Springer.

Book | https://doi.org/10.1007/978-981-19-6250-9 | UvA-DARE
van Emde Boas, P., van Emde Boas, E. (1999) The Game of Chaos. In J. Gerbrandy, M. Marx, M. de Rijke, and Y. Venema, editors, JFAK; Essays dedicated to Johan van Benthem on the Occasion of his 50th birthday.

ILLC.

Digital or Visual Products | UvA-DARE
van Emde Boas, P., van Mill, J., Wiegerinck, J. (2021) Inspirerende hoogleraar zuivere wiskunde met hart voor onderwijs en studenten: In Memoriam Aïda Beatrijs Paalman-de Miranda (1936–2020).

Nieuw Archief voor Wiskunde, Vol. 5/22 (pp 113-114)

Article | https://www.nieuwarchief.nl/serie5/pdf/naw5-2021-22-2-113.pdf | UvA-DARE
van Emde Boas, P. (1994) The full non-renameability result; a lost tale.

In Schrijver, A. Apt, K.R. Temme, N. (Eds.), From Universal morphisms to megabytes: a Baayen spacre Odyssey (pp 301-309). CWI.

Chapter | UvA-DARE
van Emde Boas, P. (1996) Computerspelen en de identificatie van objecten.

Athenaeum Illustre, Vol. 8 (pp 13-16)

Article | UvA-DARE
van Emde Boas, P. (1996) The convenience of tiling.

In Yunes, J.B. Margenstern, M. (Eds.), Actes de MCU/UMC'95 - Proceedings of MCU/UMC'95 (pp 38-70) (LITP)

Chapter | UvA-DARE
van Emde Boas, P. (1996) The Convenience of Tiling.

ILLC Report Series. Institute for Logic, Language and Computation.

Working paper | UvA-DARE
van Emde Boas, P. (1997) The Convenience of Tiling.

London Mathematical Society lecture note series, Vol. 187 (pp 331-363)

Article | UvA-DARE
van Emde Boas, P. (1997) Informatics, stelling met toelichting.

In Dagschrift; 365 jaar Universiteit van Amsterdam (pp 113-114). Amsterdam University Press.

Chapter | UvA-DARE
van Emde Boas, P. (1997) Resistance is futile; formal linguistic observations on design patterns.

Technical Report. onbekend (FdL).

Report | UvA-DARE
van Emde Boas, P. (1997) Resistance is futile: observations on the formal linguistic status of design patterns.

In OOPSLA'97

Chapter | UvA-DARE
van Emde Boas, P. (1997) L.e.j. brouwer als alien.

Folia (pp 10)

Article | UvA-DARE
van Emde Boas, P. (1998) Formalizing UML: Mission impossible.

In Moreira, A. (Eds.), Formalising UML: Why? How?. (pp ---) (-). Oblog software Inc..

Chapter | UvA-DARE
van Emde Boas, P. (1998) Agent technology: between hype and logic.

Logic in the Netherlands (pp 4-6)

Article | UvA-DARE
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.

Chapter | UvA-DARE
van 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-DARE
van Emde Boas, P. (2003) The Moderate Effectiveness of being Human.

ILLC Magazine (pp 13-14)

Article | UvA-DARE
van Emde Boas, P. (2003) Feeling the Mood; Complexity, culture and civilization..

ILLC Annual Report 2002 (pp 35-36)

Article | UvA-DARE
van 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-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