ask others

13. DCFS 2011: Gießen/Limburg, Germany

> Home > Conferences and Workshops > DCFS

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/dcfs/2011
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/dcfs/2011
Markus Holzer, Martin Kutrib, Giovanni Pighizzini:
Descriptional Complexity of Formal Systems - 13th International Workshop, DCFS 2011, Gießen/Limburg, Germany, July 25-27, 2011. Proceedings. Lecture Notes in Computer Science 6808, Springer 2011, ISBN 978-3-642-22599-4

Invited Papers

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/dcfs/Kari11
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/dcfs/Kari11
Jarkko Kari:
Linear Algebra Based Bounds for One-Dimensional Cellular Automata. 1-7
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/dcfs/Otto11
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/dcfs/Otto11
Friedrich Otto:
On Restarting Automata with Window Size One. 8-33
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/dcfs/SchwoonR11
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/dcfs/SchwoonR11
Stefan Schwoon, César Rodríguez:
Construction and SAT-Based Verification of Contextual Unfoldings. 34-42
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/dcfs/Therien11
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/dcfs/Therien11
Denis Thérien:
The Power of Diversity. 43-54

Regular Papers

- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/dcfs/AlpogeASS11
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/dcfs/AlpogeASS11
Levent Alpoge, Thomas Ang, Luke Schaeffer, Jeffrey Shallit:
Decidability and Shortest Strings in Formal Languages. 55-67
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/dcfs/ArroyoCM11
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/dcfs/ArroyoCM11
Fernando Arroyo, Juan Castellanos, Victor Mitrana:
On the Degree of Team Cooperation in CD Grammar Systems. 68-79
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/dcfs/BednarovaGMP11
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/dcfs/BednarovaGMP11
Zuzana Bednárová, Viliam Geffert, Carlo Mereghetti, Beatrice Palano:
The Size-Cost of Boolean Operations on Constant Height Deterministic Pushdown Automata. 80-92
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/dcfs/BrzozowskiLY11
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/dcfs/BrzozowskiLY11
Janusz A. Brzozowski, Baiyu Li, Yuli Ye:
Syntactic Complexity of Prefix-, Suffix-, and Bifix-Free Regular Languages. 93-106
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/dcfs/ChamparnaudDGJ11
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/dcfs/ChamparnaudDGJ11
Jean-Marc Champarnaud, Jean-Philippe Dubernard, Franck Guingne, Hadrien Jeanne:
Geometrical Regular Languages and Linear Diophantine Equations. 107-120
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/dcfs/Csuhaj-VarjuV11
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/dcfs/Csuhaj-VarjuV11
Erzsébet Csuhaj-Varjú, György Vaszil:
On the Number of Components and Clusters of Non-returning Parallel Communicating Grammar Systems. 121-134
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/dcfs/DassowMT11
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/dcfs/DassowMT11
Jürgen Dassow, Florin Manea, Bianca Truthe:
On Contextual Grammars with Subregular Selection Languages. 135-146
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/dcfs/DemaineESW11
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/dcfs/DemaineESW11
Erik D. Demaine, Sarah Eisenstat, Jeffrey Shallit, David A. Wilson:
Remarks on Separating Words. 147-157
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/dcfs/GaoY11
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/dcfs/GaoY11
Yuan Gao, Sheng Yu:
State Complexity of Four Combined Operations Composed of Union, Intersection, Star and Reversal. 158-171
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/dcfs/GramatoviciM11
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/dcfs/GramatoviciM11
Radu Gramatovici, Florin Manea:
k-Local Internal Contextual Grammars. 172-183
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/dcfs/IbarraT11
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/dcfs/IbarraT11
Oscar H. Ibarra, Nicholas Q. Trân:
On Synchronized Multitape and Multihead Automata. 184-197
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/dcfs/JiraskovaM11
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/dcfs/JiraskovaM11
Galina Jirásková, Tomás Masopust:
State Complexity of Projected Languages. 198-211
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/dcfs/JiraskovaS11
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/dcfs/JiraskovaS11
Galina Jirásková, Juraj Sebej:
Note on Reversal of Binary Regular Languages. 212-221
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/dcfs/KuncO11
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/dcfs/KuncO11
Michal Kunc, Alexander Okhotin:
State Complexity of Operations on Two-Way Deterministic Finite Automata over a Unary Alphabet. 222-234
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/dcfs/LodayaMP11
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/dcfs/LodayaMP11
Kamal Lodaya, Madhavan Mukund, Ramchandra Phawade:
Kleene Theorems for Product Systems. 235-247
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/dcfs/MalcherMP11
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/dcfs/MalcherMP11
Andreas Malcher, Carlo Mereghetti, Beatrice Palano:
Descriptional Complexity of Two-Way Pushdown Automata with Restricted Head Reversals. 248-260
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/dcfs/PiaoS11
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/dcfs/PiaoS11
Xiaoxue Piao, Kai Salomaa:
State Trade-Offs in Unranked Tree Automata. 261-274
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/dcfs/KrishnaC11
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/dcfs/KrishnaC11
Shankara Narayanan Krishna, Gabriel Ciobanu:
A S₂^P ÈP₂^P\Sigma_2^P \cup \Pi_2^P Lower Bound Using Mobile Membranes. 275-288
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/dcfs/TuraevDS11
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/dcfs/TuraevDS11
Sherzod Turaev, Jürgen Dassow, Mohd Hasan Selamat:
Language Classes Generated by Tree Controlled Grammars with Bounded Nonterminal Complexity. 289-300
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/dcfs/Valdats11
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/dcfs/Valdats11
Maris Valdats:
Transition Function Complexity of Finite Automata. 301-313
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/dcfs/Wiedermann11
- ask others
- share record
  short URL:
  - http://dblp.org/rec/conf/dcfs/Wiedermann11
Jirí Wiedermann:
Complexity of Nondeterministic Multitape Computations Based on Crossing Sequences. 314-327