Search - IFIP Open Digital Library Access content directly

Filter your results

12 results
Author: personID (integer) : 884118
Page :
sorted by

Cellular Automata and Discrete Complex Systems

 Jan M. Baetens , Martin Kutrib
Springer International Publishing, LNCS-10875, 2018, Lecture Notes in Computer Science, 978-3-319-92674-2. ⟨10.1007/978-3-319-92675-9⟩
Books hal-01824871v1
Image document

Finite Automata with Undirected State Graphs

 Martin Kutrib , Andreas Malcher , Christian Schneider
20th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2018, Halifax, NS, Canada. pp.212-223, ⟨10.1007/978-3-319-94631-3_18⟩
Conference papers hal-01905634v1
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

Iterative Arrays with Finite Inter-cell Communication

 Martin Kutrib , Andreas Malcher
25th International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Jun 2019, Guadalajara, Mexico. pp.35-47, ⟨10.1007/978-3-030-20981-0_3⟩
Conference papers hal-02312607v1
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

Descriptional Complexity of Iterated Uniform Finite-State Transducers

 Martin Kutrib , Andreas Malcher , Carlo Mereghetti , Beatrice Palano
21th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2019, Košice, Slovakia. pp.223-234, ⟨10.1007/978-3-030-23247-4_17⟩
Conference papers hal-02387284v1
Image document

Iterative Arrays with Self-verifying Communication Cell

 Martin Kutrib , Thomas Worsch
25th International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Jun 2019, Guadalajara, Mexico. pp.77-90, ⟨10.1007/978-3-030-20981-0_6⟩
Conference papers hal-02312617v1
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
Image document

One-Time Nondeterministic Computations

 Markus Holzer , Martin Kutrib
19th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2017, Milano, Italy. pp.177-188, ⟨10.1007/978-3-319-60252-3_14⟩
Conference papers hal-01657018v1
Image document

Cellular String Generators

 Martin Kutrib , Andreas Malcher
26th International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), Aug 2020, Stockholm, Sweden. pp.59-70, ⟨10.1007/978-3-030-61588-8_5⟩
Conference papers hal-03659467v1
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

Hot Current Topics of Descriptional Complexity

 Martin Kutrib , Nelma Moreira , Giovanni Pighizzini , Rogério Reis
Advancing Research in Information and Communication Technology, AICT-600, pp.3-28, 2021, ⟨10.1007/978-3-030-81701-5_1⟩
Book sections hal-03325981v1
Page :