Login / Signup
MCU
2001
2006
2016
2022
2001
2022
Keyphrases
Publications
2022
Aleksandr S. Tvardovskii
,
Nina Yevtushenko
Adaptive Experiments for State Identification in Finite State Machines with Timeouts.
MCU
(2022)
Erik D. Demaine
,
Robert A. Hearn
,
Dylan H. Hendrickson
,
Jayson Lynch
PSPACE-Completeness of Reversible Deterministic Systems.
MCU
(2022)
Benedek Nagy
From Finite Automata to Fractal Automata - The Power of Recursion.
MCU
(2022)
Manon Blanc
,
Olivier Bournez
A Characterization of Polynomial Time Computable Functions from the Integers to the Reals Using Discrete Ordinary Differential Equations.
MCU
(2022)
David Orellana-Martín
,
Luis Valencia-Cabrera
,
Mario J. Pérez-Jiménez
P Systems with Evolutional Communication and Separation Rules.
MCU
(2022)
Lucie Ciencialová
,
Ludek Cienciala
,
Erzsébet Csuhaj-Varjú
Languages of Distributed Reaction Systems.
MCU
(2022)
Bogdan Aman
From Networks of Reaction Systems to Communicating Reaction Systems and Back.
MCU
(2022)
Petr Sosík
,
Jan Drastík
Computational Universality and Efficiency in Morphogenetic Systems.
MCU
(2022)
Enrico Formenti
Complexity of Local, Global and Universality Properties in Finite Dynamical Systems.
MCU
(2022)
Bianca Truthe
A Survey on Computationally Complete Accepting and Generating Networks of Evolutionary Processors.
MCU
(2022)
Artiom Alhazov
,
Rudolf Freund
,
Sergiu Ivanov
,
Sergey Verlan
Prescribed Teams of Rules Working on Several Objects.
MCU
(2022)
Viktor Olejar
,
Alexander Szabari
Closure Properties of Subregular Languages Under Operations.
MCU
(2022)
volume 13419, 2022
Machines, Computations, and Universality - 9th International Conference, MCU 2022, Debrecen, Hungary, August 31 - September 2, 2022, Proceedings
MCU
13419 (2022)
2018
Cosmin Bonchis
,
Gabriel Istrate
,
Vlad Rochian
The Language (and Series) of Hammersley-Type Processes.
MCU
(2018)
Artiom Alhazov
,
Rudolf Freund
,
Sergiu Ivanov
Sequential Grammars with Activation and Blocking of Rules.
MCU
(2018)
Kévin Perrot
,
Pacôme Perrotin
,
Sylvain Sené
A Framework for (De)composing with Boolean Automata Networks.
MCU
(2018)
Rudolf Freund
Control Mechanisms for Array Grammars on Cayley Grids.
MCU
(2018)
Viliam Geffert
,
Zuzana Bednárová
Minimal Useful Size of Counters for (Real-Time) Multicounter Automata.
MCU
(2018)
Benedek Nagy
,
Sándor Vályi
An Extension of Interval-Valued Computing Equivalent to Red-Green Turing Machines.
MCU
(2018)
Henning Fernau
,
Lakshmanan Kuppusamy
,
Rufus O. Oladele
,
Indhumathi Raman
Minimizing Rules and Nonterminals in Semi-conditional Grammars: Non-trivial for the Simple Case.
MCU
(2018)
Richard Whyman
Physical Computation and First-Order Logic.
MCU
(2018)
Michel Raynal
,
Jiannong Cao
A Pleasant Stroll Through the Land of Distributed Machines, Computation, and Universality.
MCU
(2018)
volume 10881, 2018
Machines, Computations, and Universality - 8th International Conference, MCU 2018, Fontainebleau, France, June 28-30, 2018, Proceedings
MCU
10881 (2018)
2015
Erzsébet Csuhaj-Varjú
,
Rudolf Freund
,
György Vaszil
A Connection Between Red-Green Turing Machines and Watson-Crick T0L Systems.
MCU
(2015)
Simon Martiel
,
Bruno Martin
An Intrinsically Universal Family of Causal Graph Dynamics.
MCU
(2015)
Timo Jolivet
,
Anne Siegel
Decidability Problems for Self-induced Systems Generated by a Substitution.
MCU
(2015)
Martin Kutrib
,
Matthias Wendlandt
Reversible Limited Automata.
MCU
(2015)
Jacob Hendricks
,
Matthew J. Patitz
,
Trent A. Rogers
The Simulation Powers and Limitations of Hierarchical Self-Assembly Systems.
MCU
(2015)
Benedek Nagy
,
Sándor Vályi
A Characterization of NP Within Interval-Valued Computing.
MCU
(2015)
Mike Stannett
Towards Formal Verification of Computations and Hypercomputations in Relativistic Physics.
MCU
(2015)
Henning Fernau
,
Rudolf Freund
,
Rani Siromoney
,
K. G. Subramanian
Non-isometric Contextual Array Grammars with Regular Control and Local Selectors.
MCU
(2015)
Sergiu Ivanov
,
Sergey Verlan
Universality of Graph-controlled Leftist Insertion-deletion Systems with Two States.
MCU
(2015)
Dmitry A. Zaitsev
Universality in Infinite Petri Nets.
MCU
(2015)
Frank Drewes
,
Markus Holzer
,
Sebastian Jakobi
,
Brink van der Merwe
Tight Bounds for Cut-Operations on Deterministic Finite Automata.
MCU
(2015)
Martin Kutrib
,
Andreas Malcher
,
Matthias Wendlandt
Tinput-Driven Pushdown Automata.
MCU
(2015)
volume 9288, 2015
Machines, Computations, and Universality - 7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015, Proceedings
MCU
9288 (2015)
2013
Nathalie Aubrun
,
Jarkko Kari
Tiling Problems on Baumslag-Solitar groups.
MCU
(2013)
Rudolf Freund
,
Sergiu Ivanov
,
Marion Oswald
,
K. G. Subramanian
One-dimensional Array Grammars and P Systems with Array Insertion and Deletion Rules.
MCU
(2013)
Anthony Gasperin
Topology and Non-Deterministic Polynomial Time Computation : Avoidance of The Misbehaviour of Hub-Free Diagrams and Consequences.
MCU
(2013)
Jacob Hendricks
,
Matthew J. Patitz
On the Equivalence of Cellular Automata and the Tile Assembly Model.
MCU
(2013)
Christian Herrmann
,
Johanna Sokoli
,
Martin Ziegler
Satisfiability of cross product terms is complete for real nondeterministic polytime Blum-Shub-Smale machines.
MCU
(2013)
Maurice Margenstern
About Strongly Universal Cellular Automata
MCU
(2013)
Niall Murphy
,
Damien Woods
AND and/or OR: Uniform Polynomial-Size Circuits
MCU
(2013)
Dmitry A. Zaitsev
A Small Universal Petri Net.
MCU
(2013)
Damien Woods
Intrinsic universality and the computational power of self-assembly.
MCU
(2013)
Rudolf Freund
,
Gheorghe Paun
How to Obtain Computational Completeness in P Systems with One Catalyst.
MCU
(2013)
Simon Martiel
,
Bruno Martin
Intrinsic Universality of Causal Graph Dynamics.
MCU
(2013)
Kenichi Morita
Reversible Logic Elements with Memory and Their Universality.
MCU
(2013)
Maurice Margenstern
,
K. G. Subramanian
Hyperbolic tilings and formal language theory.
MCU
(2013)
volume 128, 2013
Proceedings Machines, Computations and Universality 2013, MCU 2013, Zürich, Switzerland, September 9-11, 2013.
MCU
128 (2013)