Search - IFIP Open Digital Library Access content directly

Filter your results

5 results
Author: personID (integer) : 884119
Image document

Descriptional Complexity of Bounded Regular Languages

Andrea Herrmann , Martin Kutrib , Andreas Malcher , Matthias Wendlandt
18th International Workshop on Descriptional Complexity of Formal Systems (DCFS), Jul 2016, Bucharest, Romania. pp.138-152, ⟨10.1007/978-3-319-41114-9_11⟩
Conference papers hal-01633949v1
Image document

Fast One-Way Cellular Automata with Reversible Mealy Cells

Martin Kutrib , Andreas Malcher , Matthias Wendlandt
23th International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Jun 2017, Milan, Italy. pp.139-150, ⟨10.1007/978-3-319-58631-1_11⟩
Conference papers hal-01656358v1
Image document

Shrinking One-Way Cellular Automata

Martin Kutrib , Andreas Malcher , Matthias Wendlandt
21st Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Jun 2015, Turku, Finland. pp.141-154, ⟨10.1007/978-3-662-47221-7_11⟩
Conference papers hal-01442469v1
Image document

Hierarchies and Undecidability Results for Iterative Arrays with Sparse Communication

Andreas Malcher
24th International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Jun 2018, Ghent, Belgium. pp.100-112, ⟨10.1007/978-3-319-92675-9_8⟩
Conference papers hal-01824868v1
Image document

Input-Driven Stack Automata

Suna Bensch , Markus Holzer , Martin Kutrib , Andreas Malcher
7th International Conference on Theoretical Computer Science (TCS), Sep 2012, Amsterdam, Netherlands. pp.28-42, ⟨10.1007/978-3-642-33475-7_3⟩
Conference papers hal-01556210v1