Filter your results
- 4
- 4
- 4
- 2
- 1
- 1
- 4
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
State Complexity of Single-Word Pattern Matching in Regular Languages21th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2019, Košice, Slovakia. pp.86-97, ⟨10.1007/978-3-030-23247-4_6⟩
Conference papers
hal-02387297v1
|
||
|
An Approach to Information Security Policy Modeling for Enterprise Networks15th IFIP International Conference on Communications and Multimedia Security (CMS), Sep 2014, Aveiro, Portugal. pp.118-127, ⟨10.1007/978-3-662-44885-4_10⟩
Conference papers
hal-01404201v1
|
||
|
On the Decidability of Finding a Positive ILP-Instance in a Regular Set of ILP-Instances21th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2019, Košice, Slovakia. pp.272-284, ⟨10.1007/978-3-030-23247-4_21⟩
Conference papers
hal-02387299v1
|
||
|
Completely Reachable Automata18th International Workshop on Descriptional Complexity of Formal Systems (DCFS), Jul 2016, Bucharest, Romania. pp.1-17, ⟨10.1007/978-3-319-41114-9_1⟩
Conference papers
hal-01633948v1
|