Search - IFIP - Lecture Notes in Computer Science Access content directly

Filter your results

9 results
hal_authIdPerson_i : 1011781
Image document

On the State Complexity of the Shuffle of Regular Languages

Janusz Brzozowski , Galina Jirásková , Bo Liu , Aayush Rajasekaran , Marek Szykuła
18th International Workshop on Descriptional Complexity of Formal Systems (DCFS), Jul 2016, Bucharest, Romania. pp.73-86, ⟨10.1007/978-3-319-41114-9_6⟩
Conference papers hal-01633943v1
Image document

Square on Deterministic, Alternating, and Boolean Finite Automata

Ivana Krajňáková , Galina Jirásková
19th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2017, Milano, Italy. pp.214-225, ⟨10.1007/978-3-319-60252-3_17⟩
Conference papers hal-01657005v1
Image document

The Complexity of Languages Resulting from the Concatenation Operation

Galina Jirásková , Alexander Szabari , Juraj Šebej
18th International Workshop on Descriptional Complexity of Formal Systems (DCFS), Jul 2016, Bucharest, Romania. pp.153-167, ⟨10.1007/978-3-319-41114-9_12⟩
Conference papers hal-01633946v1
Image document

Descriptional Complexity of Formal Systems

Michal Hospodár , Galina Jirásková , Stavros Konstantinidis
Springer International Publishing, LNCS-11612, 2019, Lecture Notes in Computer Science, 978-3-030-23246-7. ⟨10.1007/978-3-030-23247-4⟩
Books hal-02387282v1
Image document

On Properties and State Complexity of Deterministic State-Partition Automata

Galina Jirásková , Tomáš Masopust
7th International Conference on Theoretical Computer Science (TCS), Sep 2012, Amsterdam, Netherlands. pp.164-178, ⟨10.1007/978-3-642-33475-7_12⟩
Conference papers hal-01556220v1
Image document

State Complexity of Unambiguous Operations on Deterministic Finite Automata

Galina Jirásková , Alexander Okhotin
20th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2018, Halifax, NS, Canada. pp.188-199, ⟨10.1007/978-3-319-94631-3_16⟩
Conference papers hal-01905641v1
Image document

Self-Verifying Finite Automata and Descriptional Complexity

Galina Jirásková
18th International Workshop on Descriptional Complexity of Formal Systems (DCFS), Jul 2016, Bucharest, Romania. pp.29-44, ⟨10.1007/978-3-319-41114-9_3⟩
Conference papers hal-01633958v1
Image document

On Union-Free and Deterministic Union-Free Languages

Galina Jirásková , Benedek Nagy
7th International Conference on Theoretical Computer Science (TCS), Sep 2012, Amsterdam, Netherlands. pp.179-192, ⟨10.1007/978-3-642-33475-7_13⟩
Conference papers hal-01556208v1
Image document

NFA-to-DFA Trade-Off for Regular Operations

Galina Jirásková , Ivana Krajňáková
21th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2019, Košice, Slovakia. pp.184-196, ⟨10.1007/978-3-030-23247-4_14⟩
Conference papers hal-02387289v1