Jirí Wiedermann

68 papers A* 2B 19C 7Journal 19Unranked 20

Year	Rank	Type	Title / Venue / Authors
2024	—	`conf`	Large Language Models and the Extended Church-Turing Thesis. NCMA Jirí Wiedermann, Jan van Leeuwen
2021	B	`conf`	Towards Minimally Conscious Cyber-Physical Systems: A Manifesto. SOFSEM Jirí Wiedermann, Jan van Leeuwen
2019	C	`conf`	Finite State Machines with Feedback: An Architecture Supporting Minimal Machine Consciousness. CiE Jirí Wiedermann, Jan van Leeuwen
2019	J	`jnl`	Question answering by humans and machines: A complexity-theoretic view. Theor. Comput. Sci. Jan van Leeuwen, Jirí Wiedermann
2018	B	`ed.`	SOFSEM 2018: Theory and Practice of Computer Science - 44th International Conference on Current Trends in Theory and Practice of Computer Science, Krems, Austria, January 29 - February 2, 2018, Proceedings SOFSEM A Min Tjoa, Ladjel Bellatreche, Stefan Biffl, Jan van Leeuwen, Jirí Wiedermann
2017	—	`conf`	Epistemic Computation and Artificial Intelligence. PT-AI Jirí Wiedermann, Jan van Leeuwen
2017	—	`conf`	Non-classical Turing machines: extending the notion of computation. NCMA Jirí Wiedermann, Jan van Leeuwen
2017	J	`jnl`	Turing Machines with One-sided Advice and Acceptance of the co-RE Languages. Fundam. Informaticae Jan van Leeuwen, Jirí Wiedermann
2015	J	`jnl`	Separating the Classes of Recursively Enumerable Languages Based on Machine Size. Int. J. Found. Comput. Sci. Jan van Leeuwen, Jirí Wiedermann
2015	B	`conf`	What is Computation: An Epistemic Approach. SOFSEM Jirí Wiedermann, Jan van Leeuwen
2014	—	`conf`	A Robust Universal Flying Amorphous Computer. Computing with New Resources Lukás Petru, Jirí Wiedermann
2014	B	`conf`	Deterministic Verification of Integer Matrix Multiplication in Quadratic Time. SOFSEM Ivan Korec, Jirí Wiedermann
2014	—	`conf`	Fast Nondeterministic Matrix Multiplication via Derandomization of Freivalds' Algorithm. IFIP TCS Jirí Wiedermann
2013	—	`conf`	The creativity mechanisms in embodied agents: An explanatory model. CIHLI Jirí Wiedermann
2012	J	`jnl`	A Computability Argument Against Superintelligence. Cogn. Comput. Jirí Wiedermann
2012	J	`jnl`	Amorphous computing: a research agenda for the near future. Nat. Comput. Jirí Wiedermann
2012	—	`conf`	Computability and Non-computability Issues in Amorphous Computing. IFIP TCS Jirí Wiedermann
2012	J	`jnl`	Computation as an unbounded process. Theor. Comput. Sci. Jan van Leeuwen, Jirí Wiedermann
2012	C	`conf`	On the Road to Thinking Machines: Insights and Ideas. CiE Jirí Wiedermann
2012	J	`jnl`	Thirty Years of Collaboration with Jan van Leeuwen: In Search of Understanding Computation. Bull. EATCS Jirí Wiedermann
2012	B	`conf`	Towards Computational Models of Artificial Cognitive Systems That Can, in Principle, Pass the Turing Test. SOFSEM Jirí Wiedermann
2011	C	`conf`	A Universal Flying Amorphous Computer. UC Lukás Petru, Jirí Wiedermann
2011	—	`conf`	Complexity of Nondeterministic Multitape Computations Based on Crossing Sequences. DCFS Jirí Wiedermann
2011	—	`conf`	Name Resolution by Rewriting in Dynamic Networks of Mobile Entities. Rainbow of Computer Science Jan van Leeuwen, Jirí Wiedermann
2011	—	`conf`	Nanomachine Computing by Quorum Sensing. Computation, Cooperation, and Life Jirí Wiedermann
2010	J	`jnl`	A High Level Model of a Conscious Embodied Agent. Int. J. Softw. Sci. Comput. Intell. Jirí Wiedermann
2009	—	`conf`	A high level model of a conscious embodied agent. IEEE ICCI Jirí Wiedermann
2009	J	`jnl`	On the Universal Computing Power of Amorphous Computing Systems. Theory Comput. Syst. Jirí Wiedermann, Lukás Petru
2008	—	`conf`	Communicating Mobile Nano-Machines and Their Computational Power. NanoNet Jirí Wiedermann, Lukás Petru
2008	C	`conf`	How We Think of Computing Today. CiE Jirí Wiedermann, Jan van Leeuwen
2008	J	`jnl`	Wireless Mobile Computing and its Links to Descriptive Complexity. Int. J. Found. Comput. Sci. Jirí Wiedermann, Dana Pardubská
2007	—	`conf`	A Model of an Amorphous Computer and Its Communication Protocol. SOFSEM (1) Lukás Petru, Jirí Wiedermann
2007	J	`jnl`	Autopoietic automata: Complexity issues in offspring-producing evolving processes. Theor. Comput. Sci. Jirí Wiedermann
2007	C	`conf`	Computability in Amorphous Structures. CiE Jirí Wiedermann, Lukás Petru
2007	—	`conf`	Wireless Parallel Computing and its Links to Descriptive Complexity. DCFS Jirí Wiedermann, Dana Pardubská
2006	B	`ed.`	SOFSEM 2006: Theory and Practice of Computer Science, 32nd Conference on Current Trends in Theory and Practice of Computer Science, Merín, Czech Republic, January 21-27, 2006, Proceedings SOFSEM Jirí Wiedermann, Gerard Tel, Jaroslav Pokorný, Mária Bieliková, Julius Stuller
2005	C	`conf`	Computing by Self-reproduction: Autopoietic Automata. UC Jirí Wiedermann
2005	—	`conf`	Globular Universe and Autopoietic Automata: A Framework for Artificial Life. ECAL Jirí Wiedermann
2004	B	`conf`	Building a Bridge between Mirror Neurons and Theory of Embodied Cognition. SOFSEM Jirí Wiedermann
2004	J	`jnl`	Characterizing the super-Turing computing power and efficiency of classical fuzzy Turing machines. Theor. Comput. Sci. Jirí Wiedermann
2004	—	`conf`	Complexity of Evolving Interactive Systems. Theory Is Forever Peter Verbaan, Jan van Leeuwen, Jirí Wiedermann
2003	J	`jnl`	Mirror Neurons, Embodied Cognitive Agents and Imitation Learning. Comput. Artif. Intell. Jirí Wiedermann
2003	J	`jnl`	The computational limits to the cognitive power of the neuroidal tabula rasa. J. Exp. Theor. Artif. Intell. Jirí Wiedermann
2002	J	`jnl`	Fuzzy Turing Machines Revised. Comput. Artif. Intell. Jirí Wiedermann
2002	—	`conf`	Relativistic Computers and Non-uniform Complexity Theory. UMC Jirí Wiedermann, Jan van Leeuwen
2002	J	`jnl`	The emergent computational potential of evolving artificial living systems. AI Commun. Jirí Wiedermann, Jan van Leeuwen
2001	B	`conf`	Beyond the Turing Limit: Evolving Interactive Systems. SOFSEM Jan van Leeuwen, Jirí Wiedermann
2001	—	`conf`	Emergence of a Super-Turing Computational Potential in Artificial Living Systems. ECAL Jirí Wiedermann, Jan van Leeuwen
2000	B	`conf`	On Algorithms and Interaction. MFCS Jan van Leeuwen, Jirí Wiedermann
2000	—	`conf`	On the Power of Interactive Computing. IFIP TCS Jan van Leeuwen, Jirí Wiedermann
2000	B	`ed.`	SOFSEM 2000: Theory and Practice of Informatics, 27th Conference on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 25 - December 2, 2000, Proceedings SOFSEM Václav Hlavác, Keith G. Jeffery, Jirí Wiedermann
2000	—	`conf`	Towards a Computational Theory of Everything. IFIP TCS Jirí Wiedermann
1999	A*	`ed.`	Automata, Languages and Programming, 26th International Colloquium, ICALP'99, Prague, Czech Republic, July 11-15, 1999, Proceedings Jirí Wiedermann, Peter van Emde Boas, Mogens Nielsen
1999	B	`conf`	Computational Power of Neuroidal Nets. SOFSEM Jirí Wiedermann
1999	J	`jnl`	Simulating the Mind: A Gaunlet Thrown to Computer Science. ACM Comput. Surv. Jirí Wiedermann
1999	B	`conf`	The Computational Limits to the Cognitive Power of the Neuroidal Tabula Rasa. ALT Jirí Wiedermann
1998	B	`conf`	Speeding-Up Nondeterministic Single-Tape Off-Line Computations by One Alternation. MFCS Jirí Wiedermann
1998	J	`jnl`	Theory of Neuromata. J. ACM Jirí Síma, Jirí Wiedermann
1998	B	`conf`	Towards Algorithmic Explanation of Mind Evolution and Functioning. MFCS Jirí Wiedermann
1997	B	`conf`	Towards Machines That Can Think. SOFSEM Jirí Wiedermann
1996	A*	`conf`	Speeding-up Single-Tape Nondeterministic Computations by Single Alternation, with Separation Results. ICALP Jirí Wiedermann
1995	B	`ed.`	Mathematical Foundations of Computer Science 1995, 20th International Symposium, MFCS'95, Prague, Czech Republic, August 28 - September 1, 1995, Proceedings MFCS Jirí Wiedermann, Petr Hájek
1995	C	`conf`	Neural Language Acceptors. Developments in Language Theory Jirí Síma, Jirí Wiedermann
1995	B	`conf`	Parallel Machine Models: How They Are and Where Are They Going. SOFSEM Jirí Wiedermann
1995	—	`ch.`	Quo Vadetis, Parallel Machine Models? Computer Science Today Jirí Wiedermann
1995	B	`ed.`	SOFSEM '95, 22nd Seminar on Current Trends in Theory and Practice of Informatics, Milovy, Czech Republic, November 23 - December 1, 1995, Proceedings SOFSEM Miroslav Bartosek, Jan Staudek, Jirí Wiedermann
1987	J	`jnl`	Array Processing Machines: An Abstract Model. BIT Jan van Leeuwen, Jirí Wiedermann
1985	B	`conf`	Array processing machines. FCT Jan van Leeuwen, Jirí Wiedermann