Jan van Leeuwen and Jiří Wiedermann regularly collaborate on fundamental issues in understanding computation (since 1981). This page lists their joint papers to date. For their other writings on computation and many other areas in computer science, see the websites of Jan van Leeuwen and Jiří Wiedermann, respectively.

Generative AI and Computation

• Large language models and the extended Church-Turing thesis
  • In: F. Manea, G. Pighizinni (Eds.), Proceedings 14th Int. Workshop on Non-Classical Models of Automata and Applications (NCMA 2024), Electronic Proceedings in Theoretical Computer Science 407, 2024, pp. 200-213, (pdf at EPTCS), (pdf at arXiv).
• Artificial intelligence as a pathway to our future
  • Technical Report UU-PCS-2024-01, Philosophy of Computer Science, Department of Information and Computing Sciences, Utrecht University, 2024, (pdf).
  • Revised and updated translation of article below.
• Umělá inteligence jako zdviž do naší budoucnosti [`Artificial intelligence as a lift to our future'].
  • In: V. Mařík, M. Trčka, and D. Černý (Eds.), Proč se nebát umělé inteligence? - AI pohledem nejen českých odborníků [`Why not to be afraid of artificial intelligence?' - `AI from the perspective of not only Czech experts'], JOTA, Brno, 2024, pp. 397-413.
• From knowledge to wisdom: the power of large language models in AI
  • Technical Report UU-PCS-2023-01, Center for Philosophy of Computer Science, Department of Information and Computing Sciences, Utrecht University, 2023, (pdf).

Machine Ethics and Verification

• On the empirical validation of the simulation hypothesis
  • In: Ernst Mach Workshop X 2022: David Chalmers on Virtual Reality (EMW 2022), Institute of Philosophy, Czech Academy of Sciences, Prague, 7-8 July 2022 (abstract).
• Validating non-trivial semantic properties of autonomous robots
  • In: 4th Conference on "Philosophy and Theory of Artificial Intelligence" (PT-AI 2021), Gothenburg, 27-28 Sept. 2021 (online conference, extended abstract entitled: Validating non-trivial semantic properties of robots).
  • Technical Report UU-PCS-2022-01, Center for Philosophy of Computer Science, Department of Information and Computing Sciences, Utrecht University, 2022, (pdf).
  • In: V.C. Müller (Ed.), Philosophy and Theory of Artificial Intelligence 2021, Studies in Applied Philosophy, Epistemology and Rational Ethics (SAPERE), Vol. 63, Springer-Verlag, 2022, pp. 91-104, (pdf).
• Impossibility results for the online verification of ethical and legal behaviour of robots
  • Technical Report UU-PCS-2021-02, Center for Philosophy of Computer Science, Department of Information and Computing Sciences, Utrecht University, 2021, (pdf).

Robotic Systems and Artificial Consciousness

• Autonomní vozidla, která spolupracují a rozumí. Inteligentní algoritmy pod kapotou [`Autonomous vehicles that cooperate and understand. Intelligent algorithms under the hood'].
  • In: D. Černý, O. Vaculín, and P. Zámečník (Eds.), Automatizované řízení vozidel a autonomní doprava - Technické a humanitní perspectivi [`Automatized vehicle control and autonomous traffic' - `Techical and humanitarian perspectives'], Academia, Praha, 2022, pp. 54-84.
  • Translated and updated version of UU-PCS-2021-01.
• Autonomous vehicles that cooperate and understand: Intelligent algorithms under the hood
  • Technical Report UU-PCS-2021-01, Center for Philosophy of Computer Science, Department of Information and Computing Sciences, Utrecht University, 2021, (pdf).
• Towards minimally conscious cyber-physical systems: A design philosophy
  • Technical Report UU-PCS-2020-02, Center for Philosophy of Computer Science, Department of Information and Computing Sciences, Utrecht University, 2020, (pdf).
  • Extended version of UU-PCS-2020-01.
• Towards minimally conscious finite-state controlled cyber-physical systems: A manifesto
  • Technical Report UU-PCS-2020-01, Center for Philosophy of Computer Science, Department of Information and Computing Sciences, Utrecht University, 2020, (pdf).
  • Invited lecture: SOFSEM 2021: 47th Int Conference on Current Trends in Theory and Practice of Computer Science, January 25–28, 2021, Bolzano-Bozen, Italy (online).
  • In: T. Bureš et al. (Eds.), SOFSEM 2021: Theory and Practice of Computer Science, Lecture Notes in Computer Science Vol 12607, Springer-Verlag, 2021, pp. 43-55, (pdf).
• Finite state machines with feedback: an architecture supporting minimal machine consciousness
  • In: F. Manea, B. Martin, D. Paulusma, G. Primiero (Eds), Computing with Foresight and Industry, 15th Conference on Computability in Europe (CiE 2019), Proceedings, Lecture Notes in Computer Science, Vol 11558, Springer-Verlag, 2019, pp. 286-297, (pdf).

Philosophy of Computation

• Understanding computation: a general theory of computational processes
  • Technical Report UU-CS-2019-012, Department of Information and Computing Sciences, Utrecht University, 2019, (pdf).
• Knowledge, representation and the dynamics of computation
  • In: G. Dodig-Crnkovic and R. Giovagnoli (Eds), Representation and reality in humans, other living organisms and intelligent machines, Studies in Applied Philosophy, Epistemology and Rational Ethics (SAPERE), Vol. 28, Springer-Verlag, 2017, pp. 69-89, (pdf).
• What is computation: an epistemic approach
  • Invited lecture: SOFSEM 2015: 41st Int'l Conference on Current Trends in Theory and Practice of Computer Science, January 24–29, 2015, Pec pod Sněžkou, Czech Republic, (pdf).
  • In: G.F. Italiano et al. (Eds.), SOFSEM 2015: Theory and Practice of Computer Science, Lecture Notes in Computer Science Vol 8939, Springer-Verlag, Berlin, 2015, pp 1-13, (pdf).
• Computation as knowledge generation, with application to the observer-relativity problem
  • In: M. Brown and Y. Erden (Eds), Proc. 7th AISB Symp on Computing and Philosophy: Is Computation Observer-Relative?, AISB-50, AISB Convention 2014, Goldsmiths University of London, 2014, (pdf).
• Rethinking computation
  • In: M. Brown and Y. Erden (Eds), Proc. 6th AISB Symp on Computing and Philosophy: The Scandal of Computation - What is Computation?, AISB Convention 2013, University of Exeter, 2013, pp. 6-10.

Information Processing and Intelligence

• Question answering by humans and machines: a complexity-theoretic view
  • (Revised) In: G. Ausiello et al. (Eds), In Memory of Maurice Nivat, a Founding Father of Theoretical Computer Science - Part I, Special issue, Theoretical Computer Science 777 (2019) 464-473, (pdf).
• Epistemic computation and artificial intelligence
  • In: 3rd Conference on "Philosophy and Theory of Artificial Intelligence" (PT-AI 2017), Leeds, 04-05 Nov. 2017.
  • In: V.C. Müller (Ed.), Philosophy and Theory of Artificial Intelligence 2017, Studies in Applied Philosophy, Epistemology and Rational Ethics (SAPERE), Vol. 44, Springer-Verlag, 2018, pp. 215-224, (pdf).
• Understanding and controlling artificial general intelligent systems
  • In: Y. Erden et al (Org.), 10th AISB Symposium on Computing and Philosophy: Language, Cognition, and Computation, Proceedings AISB Convention 2017, Bath, 2017, pp. 356-363.
• Question answering and cognitive automata with background intelligence
  • Technical Report UU-CS-2016-007, Department of Information and Computing Sciences, Utrecht University (2016).
• Towards a computational theory of epistemic creativity
  • in: M. Majid al-Rifaie and J. Gow (Eds), AISB 2015 Symposium on Computational Creativity, AISB 2015 Convention, Canterbury, 2-15, (pdf).

Generalized Computation

• Non-classical Turing machines: extending the notion of computation
  • Invited lecture: 9th Int'l Workshop on Non-Classical Models of Automata and Applications (NCMA 2017), August 17-18, 2017, Prague, Czech Republic, (pdf).
  • Invited paper, in: R. Freund, F. Mráz, and D. Průša (Eds), 9th Int'l Workshop on Non-Classical Models of Automata and Applications (NCMA 2017), books@ocg.at, Band 329, Österreichische Computer Gesellschaft, Vienna, 2017, pp. 29-40.
• Computation as an unbounded process
  • Theoretical Computer Science 429 (2012) 202-212, (pdf).
• How we think of computing today
  • Invited lecture: 4th Conference on Computability in Europe (CiE 2008), June 15-20, 2008, Athens.
  • In: A. Beckmann, C. Dimitracopoulos, and B. Lowe (Eds.), Logic and Theory of Algorithms, 4th Conference on Computability in Europe (CiE 2008), Proceedings, Lecture Notes in Computer Science, Vol. 5028, Springer-Verlag, Berlin, 2008, pp. 579-593, (pdf).
• The Turing machine paradigm in contemporary computing
  • Technical Report UU-CS-2000-33, Dept. of Computer Science, Utrecht University, 2000, (pdf).
  • In: B. Enquist and W. Schmidt (Eds), Mathematics Unlimited - 2001 and Beyond , Springer-Verlag, 2001, pp 1139-1155, (pdf).
• Breaking the Turing barrier: the case of the Internet
  • unpublished notes, 2001.

Machines and Complexity

• Turing machines with one-sided advice and acceptance of the co-RE languages
  • Technical Report UU-CS-2014-003 (preliminary version), Department of Information and Computing Sciences, Utrecht University (2014).
  • Revised/extended: Fundamenta Informaticae 153:4 (2017) 347-366.
• Separating the classes of recursively enumerable languages based on machine size
  • Technical Report UU-CS-2014-014, Department of Information and Computing Sciences, Utrecht University (2014).
  • International Journal of Foundations of Computer Science 26:6 (2015) 677-695.
• The computational power of Turing's non-terminating circular a-machines
  • In: S.B. Cooper & J. van Leeuwen, Alan Turing: His Work and Impact, Elsevier, 2013, pp. 80-84.

Evolving Computation

• The computational complexity of evolving systems
  • PhD thesis of P.R.J. Verbaan, Utrecht, 2006 (co-supervised).
• Complexity of evolving interactive systems (with P. Verbaan)
  • In: J. Karhumaki et al. (Eds.), Theory is Forever, Lecture Notes in Computer Science Vol. 3113, Springer-Verlag, Berlin, 2004, pp 268-281, (pdf).
• Lineages of automata - A model for evolving interactive systems (with P. Verbaan)
  • Technical Report ALCOMFT-03-195, Institute of Information and Computing Sciences, Utrecht University, 2003.
  • Technical Report UU-CS-2004-018, Institute of Information and Computing Sciences, Utrecht University, 2004, (pdf).
• The emergent computational potential of evolving artificial living systems
  • Technical Report UU-CS-2002-002, Institute of Information and Computing Sciences, Utrecht University, 2002, (pdf).
  • Ai Communications 15 (2003) 205-215.
• Beyond the Turing limit: Evolving interactive systems
  • In: L. Pacholski and P. Ruzicka (Ed.), SOFSEM 2001: Theory and Practice of Informatics, Proc. 28th Conference, Lecture Notes in Computer Science Vol 2234, Springer-Verlag, Berlin, 2001, pp 90-109, (pdf).
• Emergence of a super-Turing computational potential in artificial living systems
  • Technical Report No. 833, Institute of Computer Science, Academy of Sciences of the Czech Republic, Prague (2001)
  • In: J. Kelemen and P. Sosik (Eds.), Advances in Artificial Life, Proc. 6th European Conference (ECAL'2001, or: Artificial Life 2001), Lecture Notes in Artificial Intelligence Vol 2159, Springer-Verlag, Berlin, 2001, pp 55-65, (pdf).

Interactive Models of Computation

• A Theory of Interactive Computation
  • Chapter in: D. Goldin, S.A. Smolka, and P. Wegner (Eds.), Interactive Computation: the New Paradigm, Springer-Verlag, Berlin, 2006, pp 119-142, (pdf).
• A computational model of interaction in embedded systems
  • Technical Report UU-CS-2001-02, Dept of Computer Science, Utrecht University, 2001, (pdf).
• On algorithms and interaction
  • In: M. Nielsen and B. Rovan (Eds), Mathematical Foundations of Computer Science 2000, 25th Int. Symposium (MFCS'2000), Lecture Notes in Computer Science Vol. 1893, Springer-Verlag, Berlin, 2000, pp. 99-112, (pdf).
  • Technical Report ALCOMFT-01-163, Institute of Information and Computing Sciences, Utrecht University, 2001.
• On the power of interactive computing
  • In: J. van Leeuwen et al (Eds), Theoretical Computer Science - Exploring New Frontiers of Theoretical Computer Science, Proc. IFIP TCS'2000 Conference, Lecture Notes in Computer Science Vol. 1872, Springer-Verlag, Berlin, 2000, pp 619-623, (pdf).

Mobile Computing

• Name resolution by rewriting in dynamic networks of mobile entities
  • In: C.S. Calude, G. Rozenberg, and A. Salomaa (Eds.), Rainbow of Computer Science, Lecture Notes in Computer Science Vol 6570, Springer-Verlag, Berlin, 2011, pp 215-227, (pdf).
• Lazy Autoconfiguration in Mobile Ad Hoc Networks and Dynamic Sets of Mobile Agents
  • Technical Report UU-CS-2006-018, Department of Information and Computing Sciences, Utrecht University, 2006, (pdf).

Relativistic Computation

• Exploring the frontiers of computability
  • ERCIM News, No. 50, July 2002, pp 48-49, (pdf).
• Relativistic computers and non-uniform complexity theory
  • Technical Report 866, Institute of Computer Science, Czech Academy of Sciences, Prague, 2002.
  • In: C.S. Calude, M.J. Dineen, and F. Peper (Eds), Unconventional models of computation, Proc 3rd Int Conference (UMC'2002), Lecture Notes in Computer Science Vol 2509, Springer-Verlag, Berlin, 2002, pp 287-299, (pdf).

Parallel Computation

• Array processing machines: an abstract model
  • BIT 27 (1987) 25-43, (pdf).
• Array processing machines
  • Technical Report RUU-CS-84-13, University of Utrecht, 1984, (pdf).
  • In: L. Budach (ed.), Fundamentals of Computation Theory - FCT '85, Lecture Notes in Computer Science Vol 199, Springer-Verlag, Berlin, 1985, pp. 257-268, (pdf).

Co-chairing, co-editing

• Co-chairs, Track "Foundations of Computer Science"
  • Program committee of: SOFSEM 2018: 44th Int Conference on Current Trends in Theory and Practice of Computer Science, 29 Jan - Febr 2, 2018, Krems a/d Donau, Austria, (website).
• Co-editors proceedings
  • A. M. Tjoa, L. Bellatreche, S. Biffl, J, van Leeuwen, J. Wiedermann (Eds.), SOFSEM 2018: Theory and Practice of Computer Science, Proc's 44th Int. Conference on Current Trends in Theory and Practice of Computer Science, Lecture Notes in Computer Science Vol 10706 (ARCoSS subline), Springer, Cham, Switzerland, 2018, (lncs), (dblp).
  • L. Bellatreche, S. Biffl, R. Spanek, A.M. Tjoa, J, van Leeuwen, J. Wiedermann (Eds.), SOFSEM 2018: Theory and Practice of Computer Science, Proc's 44th Int. Conference on Current Trends in Theory and Practice of Computer Science - Student Research Forum, Series books@ocg.at, Band 330, Österreichische Computer Gesellschaft, Wien, 2018.

Reflections

• J. van Leeuwen: The philosophy of computation
  • In: M. Bieliková (Ed.), IIT.SRC 2015 - 11th Student Research Conference, Vol. 1, Proceedings in Informatics and Information Technologies, Slovak University of Technology, Bratislava, 2015, pp xix-xxx, (pdf).
• J. Wiedermann: Thirty years of collaboration with Jan van Leeuwen: In search of understanding computation.
  • Bulletin of the European Association for Theoretical Computer Science, 2012, Vol. 108, pp 148-160, (pdf).

Mirror site: here.

Disclaimer This website is intended for academic purposes only.