Filter your results
- 7
- 7
- 7
- 1
- 1
- 3
- 1
- 2
- 7
- 1
- 1
- 1
- 4
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
7 results
|
|
|
sorted by
|
|
|
State Complexity of GF(2)-Concatenation and GF(2)-Inverse on Unary Languages21th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2019, Košice, Slovakia. pp.248-259, ⟨10.1007/978-3-030-23247-4_19⟩
Conference papers
hal-02387287v1
|
||
|
|
Refactoring the Documentation of Software Product Lines3rd Central and East European Conference on Software Engineering Techniques (CEESET), Oct 2008, Brno, Czech Republic. pp.158-170, ⟨10.1007/978-3-642-22386-0_12⟩
Conference papers
hal-01572537v1
|
||
|
|
Topological Characteristics of Digital Models of Geological Core2nd International Cross-Domain Conference for Machine Learning and Knowledge Extraction (CD-MAKE), Aug 2018, Hamburg, Germany. pp.273-281, ⟨10.1007/978-3-319-99740-7_19⟩
Conference papers
hal-02060056v1
|
||
|
|
The Quotient Operation on Input-Driven Pushdown Automata19th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2017, Milano, Italy. pp.299-310, ⟨10.1007/978-3-319-60252-3_24⟩
Conference papers
hal-01657008v1
|
||
|
|
A Nash Bargaining Solution for Cooperative Network Formation Games10th IFIP Networking Conference (NETWORKING), May 2011, Valencia, Spain. pp.307-318, ⟨10.1007/978-3-642-20757-0_24⟩
Conference papers
hal-00648190v2
|
||
|
|
Further Closure Properties of Input-Driven Pushdown Automata20th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2018, Halifax, NS, Canada. pp.224-236, ⟨10.1007/978-3-319-94631-3_19⟩
Conference papers
hal-01905626v1
|
||
|
|
State Complexity of Unambiguous Operations on Deterministic Finite Automata20th 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
|