Filter your results
- 14
- 1
- 14
- 1
- 15
- 1
- 4
- 5
- 2
- 1
- 1
- 1
- 15
- 3
- 11
- 5
- 5
- 4
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
15 results
|
|
|
sorted by
|
|
|
Descriptional Complexity of Bounded Regular Languages18th 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
|
||
|
|
One-Time Nondeterministic Computations19th 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
|
||
|
|
Properties of Right One-Way Jumping Finite Automata20th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2018, Halifax, NS, Canada. pp.11-23, ⟨10.1007/978-3-319-94631-3_2⟩
Conference papers
hal-01905638v1
|
||
|
|
Descriptional Complexity of Iterated Uniform Finite-State Transducers21th 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
|
||
|
|
Iterative Arrays with Self-verifying Communication Cell25th 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
|
||
|
|
Cellular String Generators26th 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
|
||
|
|
Nondeterministic Right One-Way Jumping Finite Automata (Extended Abstract)21th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2019, Košice, Slovakia. pp.74-85, ⟨10.1007/978-3-030-23247-4_5⟩
Conference papers
hal-02387300v1
|
||
|
|
Hierarchies and Undecidability Results for Iterative Arrays with Sparse Communication24th 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
|
||
|
|
On the Grammatical Complexity of Finite Languages20th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2018, Halifax, NS, Canada. pp.151-162, ⟨10.1007/978-3-319-94631-3_13⟩
Conference papers
hal-01905630v1
|
||
|
|
Input-Driven Stack Automata7th 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
|
||
|
|
Shrinking One-Way Cellular Automata21st 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
|
||
|
|
Cellular Automata and Discrete Complex SystemsSpringer 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
|
||
|
|
Finite Automata with Undirected State Graphs20th 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
|
||
|
|
Fast One-Way Cellular Automata with Reversible Mealy Cells23th 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
|
||
|
|
Iterative Arrays with Finite Inter-cell Communication25th 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
|