| 2021 | SOFSEM | Towards Minimally Conscious Cyber-Physical Systems: A Manifesto. | Jir Wiedermann, Jan van Leeuwen |
| 2019 | CiE | Finite State Machines with Feedback: An Architecture Supporting Minimal Machine Consciousness. | Jir Wiedermann, Jan van Leeuwen |
| 2015 | SOFSEM | What is Computation: An Epistemic Approach. | Jir Wiedermann, Jan van Leeuwen |
| 2014 | SOFSEM | Deterministic Verification of Integer Matrix Multiplication in Quadratic Time. | Ivan Korec, Jir Wiedermann |
| 2012 | CiE | On the Road to Thinking Machines: Insights and Ideas. | Jir Wiedermann |
| 2012 | SOFSEM | Towards Computational Models of Artificial Cognitive Systems That Can, in Principle, Pass the Turing Test. | Jir Wiedermann |
| 2011 | UC | A Universal Flying Amorphous Computer. | Luks Petru, Jir Wiedermann |
| 2008 | CiE | How We Think of Computing Today. | Jir Wiedermann, Jan van Leeuwen |
| 2007 | CiE | Computability in Amorphous Structures. | Jir Wiedermann, Luks Petru |
| 2007 | SOFSEM | A Model of an Amorphous Computer and Its Communication Protocol. | Luks Petru, Jir Wiedermann |
| 2005 | UC | Computing by Self-reproduction: Autopoietic Automata. | Jir Wiedermann |
| 2004 | SOFSEM | Building a Bridge between Mirror Neurons and Theory of Embodied Cognition. | Jir Wiedermann |
| 2001 | SOFSEM | Beyond the Turing Limit: Evolving Interactive Systems. | Jan van Leeuwen, Jir Wiedermann |
| 2000 | MFCS | On Algorithms and Interaction. | Jan van Leeuwen, Jir Wiedermann |
| 1999 | ALT | The Computational Limits to the Cognitive Power of the Neuroidal Tabula Rasa. | Jir Wiedermann |
| 1999 | SOFSEM | Computational Power of Neuroidal Nets. | Jir Wiedermann |
| 1998 | MFCS | Towards Algorithmic Explanation of Mind Evolution and Functioning. | Jir Wiedermann |
| 1998 | MFCS | Speeding-Up Nondeterministic Single-Tape Off-Line Computations by One Alternation. | Jir Wiedermann |
| 1997 | SOFSEM | Towards Machines That Can Think. | Jir Wiedermann |
| 1996 | ICALP | Speeding-up Single-Tape Nondeterministic Computations by Single Alternation, with Separation Results. | Jir Wiedermann |
| 1995 | DLT | Neural Language Acceptors. | Jir Sma, Jir Wiedermann |
| 1995 | SOFSEM | Parallel Machine Models: How They Are and Where Are They Going. | Jir Wiedermann |
| 1985 | FCT | Array processing machines. | Jan van Leeuwen, Jir Wiedermann |