Publikace
- Metodika hodnocení eticko-právních aspektů automatizovaných vozidel v kontextu smíšené dopravy (2026)
- Intelligence as Aimed Progression Under Semantic Feedback (2026)
- Enlightening Metaphors of Artificial Intelligence (2024)
- Artificial Intelligence as a Pathway to Our Future (2024)
- Komentář: Neměli bychom se bát umělé inteligence, ale spíš sami sebe (2023)
- Půlroční pauza pro roboty? Nesmysl! Problémem jsme my lidé (komentář) (2023)
- Svérázná říše umělé inteligence (2023)
- Panika kolem AI odvádí pozornost od reálných problémů (2023)
- Máme se BÁT umělé inteligence? (2023)
- From Knowledge to Wisdom: The Power of Large Language Models in AI (2023)
- Etika AI: Přehled současné debaty v kontextu energetiky (2023)
- Autonomous Vehicles that Cooperate and Understand (2021)
- Towards minimally conscious finite-state controlled cyber-physical systems - A manifesto (2020)
- Towards minimally conscious cyber-physical systems - A design philosophy (2020)
- Hodná auta bez řidiče. (2019)
- Understanding Computation. A General Theory of Computational Processes (2019)
- SOFSEM 2018: Theory and Practice of Computer Science (2018)
- Co s námi bude? Autonomní vozidla (2018)
- Etika pro budoucnost (2018)
- Pán tvorstva: robot? Rozhovor (2017)
- Question Answering and Cognitive Automata with Background Intelligence (2016)
- Discerning Two Words by a Minimum Size Automaton (2016)
- Nondeterministic Computations for Which Space is More Powerful than Time (2016)
- Odborník: Zničí roboti lidstvo? Nikdo zatím nevymyslel, jak mít inteligentní stroje pod kontrolou (2015)
- Separating the Classes of Recursively Enumerable Languages Based on Machine Size (2014)
- Turing machines with One-sided Advice and the Acceptance of the co-RE Languages (2014)
- Fast nondeterministic matrix multiplication via derandomization of Freivalds' algorithm (Revised corrected version) (2014)
- Hovory s informatiky 2012. Sborník studií (2012)
- Mozaika (2012)
- Co je umělá inteligence (2012)
- Informatics Europe. Svaz evropských kateder informatiky a výzkumných laboratoří (2012)
- Flying Amorphous Computer: A Robust Model (2012)
- A Computability Argument Against Superintelligence (2012)
- Amorphous Computing: A Research Agenda for the Near Future (2012)
- Computation as an Unbounded Process (2012)
- Hovory s informatiky 2011. Sborník studií (2011)
- Jak se hodnotí informatika v Nizozemí (2011)
- Jak se hodnotí informatika v Nizozemí (2011)
- Hovory s informatiky 2010. Sborník studií (2010)
- A Universal Flying Amorphous Computer (2010)
- Communicating Mobile Nano-Machines and Their Computational Power (2008)
- Rozvoj vědy a národní zájmy (2007)
- On the Universal Computing Power of Amorphous Computing Systems (2007)
- Autopoietic Automata: Complexity Issues in Offspring-Producing Evolving Processes (2007)
- A Model of an Amorphous Computer and Its Communication Protocol (2006)
- Lazy Autoconfiguration in Mobile Ad Hoc Networks and Dynamic Sets of Mobile Agents (2006)
- HUGO: A Cognitive Architecture with an Incorporated World Model (2006)
- Chtěli byste být mozkem v baňce? (2006)
- Computing by Broadcasting: Alternation in Disguise (Extended Version) (2006)
- Vědecké osobnosti a vedení ve vědě (2005)
- On the Power of Broadcasting in Mobile Computing (2005)
- Autopoietic Automata (2005)
- Coupling Computational and Non-Computational Processes: Minimal Artificial Life (2004)
- Lineages of Automata (2004)
- Characterizing the Super-Turing Computing Power and Efficiency of Classical Fuzzy Turing Machines (2004)
- Místo a role zrcadlových neuronů ve vtělených kognitivních systémech (2003)
- Mirror Neurons, Embodied Cognitive Agents and Imitation Learning (2003)
- The Computational Limits to the Cognitive Power of the Neuroidal Tabula Rasa (2003)
- Metodické nástroje rozšiřující možnosti současných systémů řízení za krizových situací (2002)
- Kogitoid - operační systém myslícího počítače (2002)
- The Emergent Computational Potential of Evolving Artificial Living Systems (2002)
- Relativistic Computers and Non-Uniform Complexity Theory (2002)
- The Emergent Computational Potential of Evolving Artificial Living Systems (2002)
- Superturingovský výpočetní potenciál kognitivních a evolučních systémů (2001)
- A Computational Model of Interaction in Embedded Systems (2001)
- Emergence of a Super-Turing Computational Potential an Artificial Living Systems (2001)
- Fuzzy Turing Machines Revised (2001)
- Fuzzy Neuroidal Nets and Recurrent Computations (2001)
- Beyond the Turing Limit: Evolving Interactive Systems (2001)
- On the Super-Turing Computational Power of Non-Uniform Families of Neuromata (2001)
- SOFSEM'2000: Theory and Practice of Informatics (2000)
- The Turing Machine Paradigm in Contemporary Computing (2000)
- Fuzzy Computations Are More Powerful than Crisp Ones (2000)
- Automata, Languages and Programming. 26th International Colloquium, ICALP'99 Proceedings (1999)
- Paralelní a kognitivní výpočty (1999)
- The Computational Limits to the Cognitive Power of the Neuroidal Tabula Rasa (1999)
- Intelligence as Large-Scale Computational Learning Phenomenon. (A Short Version) (1999)
- Simulating the Mind: A Gauntlet Thrown to Computer Science (1999)
- Computability and Complexity in Analysis : Extended Abstracts (1998)
- Simulating the Mind: A Gauntlet Thrown to Computer Science (1998)
- The Cogitoid: A Computational Model of Cognitive Behaviour. (Revised Version) (1998)
- Theory of Neuromata (1998)
- Towards Machines That Can Think (1997)
- Accelerating Nondeterministic Single-Tape Off-Line Computations by One Alternation (1997)
- The Cogitoid: A Computational Model of Mind (1996)
- Towards Computational Models of the Brain: Getting Started (1996)
- The Cogitoid: A Simple Model of Mind (1996)
- Mathematical Foundations of Computer Science 1995 (1995)
- SOFSEM'95: Theory and Practice of Informatics (1995)
- Separating Deterministic, Nondeterministic, and Co-Nondeterministic Time Complexity Classes for Single-Tape Computations (1995)
- Five New Simulation Results on Turing Machines (1995)
- Neural Language Acceptors (1995)
- An Optimal in-Situ Disk Sorting Algorithm Based on Heapsort (1994)
- Fast Sequential and Parallel Simulations of Nondeterministic Computations (1994)
- Fast Sequential and Parallel Simulations of Nondeterministic Computations (1993)
- Efficiency of Sequential and Parallel Computational Systems (1991)
- Vyhledávání (1991)
- On the Computational Efficiency of Symmetric Neural Networks (1991)
- Fast Simulation of Nondeterministic Turing Machines With Applications to the Knapsack Problem (1989)
- Searching Algorithms (1987)
- Mathematical Foundations of Computer Science 1986. Proceedings of the 12th Symposium (1986)
- Triedenie bez pracovných súborov. Zlepšovací návrh ZN č. 63, 84-PS/S, GR (1984)
- Parallel Turing Machines (1984)
- Array Processing Machines (1984)
- Efektívne štruktúry dát pre vyhľadávacie problémy (1980)
Projekty
- Hodnocení chování automatizovaných vozidel z pohledu dodržování etických a právních principů ve smíšeném provozu (2023–2025)
- Res Informatica (2009–2012)
- Collegium Informaticum (2005–2008)
- Specializované výpočetní modely v současné informatice (2002–2004)
- Matematika, informatika a kybernetika: metody, nástroje a aplikace (2001–2004)
- Soft Computing: teoretické základy a experimenty (2000–2002)
- Výpočetní modely a složitost výpočtů (1998–2000)