| 2005 | Machines, Computations, and Universality, 4th International Conference, MCU 2004, Saint Petersburg, Russia, September 21-24, 2004, Revised Selected Papers Maurice Margenstern |
| 2004 | Abstract Geometrical Computation for Black Hole Computation. Jérôme Durand-Lose |
| 2004 | Algorithmic Randomness, Quantum Physics, and Incompleteness. Cristian Calude |
| 2004 | Attacking the Common Algorithmic Problem by Recognizer P Systems. Mario J. Pérez-Jiménez, Francisco José Romero-Campero |
| 2004 | Classification and Universality of Reversible Logic Elements with One-Bit Memory. Kenichi Morita, Tsuyoshi Ogiro, Keiji Tanaka, Hiroko Kato |
| 2004 | Completing a Code in a Regular Submonoid of the Free Monoid. Jean Néraud |
| 2004 | Computational Completeness of P Systems with Active Membranes and Two Polarizations. Artiom Alhazov, Rudolf Freund, Gheorghe Paun |
| 2004 | Computational Universality in Symbolic Dynamical Systems. Jean-Charles Delvenne, Petr Kurka, Vincent D. Blondel |
| 2004 | Computing with a Distributed Reaction-Diffusion Model. Stefania Bandini, Giancarlo Mauri, Giulio Pavesi, Carla Simone |
| 2004 | Evolution and Observation: A Non-standard Way to Accept Formal Languages. Matteo Cavaliere, Peter Leupold |
| 2004 | Finite Sets of Words and Computing. Juhani Karhumäki |
| 2004 | Hierarchies of DLOGTIME-Uniform Circuits. Chuzo Iwamoto, Naoki Hatayama, Kenichi Morita, Katsunobu Imai, Daisuke Wakamatsu |
| 2004 | Is Bosco's Rule Universal? Kellie Michele Evans |
| 2004 | Leaf Language Classes. Klaus W. Wagner |
| 2004 | On Computational Universality in Language Equations. Alexander Okhotin |
| 2004 | On the Complexity of Universal Programs. Alain Colmerauer |
| 2004 | On the Minimal Automaton of the Shuffle of Words and Araucarias. René Schott, Jean-Claude Spehner |
| 2004 | Ordering and Convex Polyominoes. Giusi Castiglione, Antonio Restivo |
| 2004 | Real Recursive Functions and Real Extensions of Recursive Functions. Olivier Bournez, Emmanuel Hainry |
| 2004 | Register Complexity of LOOP-, WHILE-, and GOTO-Programs. Markus Holzer, Martin Kutrib |
| 2004 | Sequential P Systems with Unit Rules and Energy Assigned to Membranes. Rudolf Freund, Alberto Leporati, Marion Oswald, Claudio Zandron |
| 2004 | Several New Generalized Linear- and Optimum-Time Synchronization Algorithms for Two-Dimensional Rectangular Arrays. Hiroshi Umeo, Masaya Hisaoka, Masato Teraoka, Masashi Maeda |
| 2004 | Solving 3CNF-SAT and HPP in Linear Time Using WWW. Florin Manea, Carlos Martín-Vide, Victor Mitrana |
| 2004 | Subshifts Behavior of Cellular Automata. Topological Properties and Related Languages. Gianpiero Cattaneo, Alberto Dennunzio |
| 2004 | The Computational Power of Continuous Dynamic Systems. Jerzy Mycka, José Félix Costa |
| 2004 | Universal Families of Reversible P Systems. Alberto Leporati, Claudio Zandron, Giancarlo Mauri |
| 2004 | Universality and Cellular Automata. Klaus Sutner |