More Web Proxy on the site http://driver.im/

default search action

combined dblp search
author search
venue search
publication search

ask others

20th DCFS 2018: Halifax, NS, Canada

> Home > Conferences and Workshops > DCFS

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/dcfs/2018
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dcfs/2018
Stavros Konstantinidis, Giovanni Pighizzini:
Descriptional Complexity of Formal Systems - 20th IFIP WG 1.02 International Conference, DCFS 2018, Halifax, NS, Canada, July 25-27, 2018, Proceedings. Lecture Notes in Computer Science 10952, Springer 2018, ISBN 978-3-319-94630-6
- view
  authority control:
- export record
  dblp key:
  - conf/dcfs/Staiger18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dcfs/Staiger18
Ludwig Staiger:
Finite Automata and Randomness. 1-10
- view
  authority control:
- export record
  dblp key:
  - conf/dcfs/Beier018
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dcfs/Beier018
Simon Beier, Markus Holzer:
Properties of Right One-Way Jumping Finite Automata. 11-23
- view
  authority control:
- export record
  dblp key:
  - conf/dcfs/Brough18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dcfs/Brough18
Tara Brough:
Word Problem Languages for Free Inverse Monoids. 24-36
- view
  authority control:
- export record
  dblp key:
  - conf/dcfs/BrzozowskiD18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dcfs/BrzozowskiD18
Janusz A. Brzozowski, Sylvie Davies:
Most Complex Deterministic Union-Free Regular Languages. 37-48
- view
  authority control:
- export record
  dblp key:
  - conf/dcfs/ChoHSS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dcfs/ChoHSS18
Da-Jung Cho, Yo-Sub Han, Kai Salomaa, Taylor J. Smith:
Site-Directed Insertion: Decision Problems, Maximality and Minimality. 49-61
- view
  authority control:
- export record
  dblp key:
  - conf/dcfs/DandoL18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dcfs/DandoL18
Louis-Marie Dando, Sylvain Lombardy:
Two-Way Automata over Locally Finite Semirings. 62-74
- view
  authority control:
- export record
  dblp key:
  - conf/dcfs/Davies18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dcfs/Davies18
Sylvie Davies:
A New Technique for Reachability of States in Concatenation Automata. 75-87
- view
  authority control:
- export record
  dblp key:
  - conf/dcfs/FerreiraMR18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dcfs/FerreiraMR18
Miguel Ferreira, Nelma Moreira, Rogério Reis:
Forward Injective Finite Automata: Exact and Random Generation of Nonisomorphic NFAs. 88-100
- view
  authority control:
- export record
  dblp key:
  - conf/dcfs/FormentiM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dcfs/FormentiM18
Enrico Formenti, Paolo Massazza:
On the Generation of 2-Polyominoes. 101-113
- view
  authority control:
- export record
  dblp key:
  - conf/dcfs/GoldwurmLV18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dcfs/GoldwurmLV18
Massimiliano Goldwurm, Jianyi Lin, Marco Vignati:
A Local Limit Property for Pattern Statistics in Bicomponent Stochastic Models. 114-125
- view
  authority control:
- export record
  dblp key:
  - conf/dcfs/GuillonP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dcfs/GuillonP18
Bruno Guillon, Luca Prigioniero:
Linear-Time Limited Automata. 126-138
- view
  authority control:
- export record
  dblp key:
  - conf/dcfs/HetzlW18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dcfs/HetzlW18
Stefan Hetzl, Simon Wolfsteiner:
Cover Complexity of Finite Languages. 139-150
- view
  authority control:
- export record
  dblp key:
  - conf/dcfs/HolzerW18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dcfs/HolzerW18
Markus Holzer, Simon Wolfsteiner:
On the Grammatical Complexity of Finite Languages. 151-162
- view
  authority control:
- export record
  dblp key:
  - conf/dcfs/IbarraM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dcfs/IbarraM18
Oscar H. Ibarra, Ian McQuillan:
State Grammars with Stores. 163-174
- view
  authority control:
- export record
  dblp key:
  - conf/dcfs/IbrahimovKPY18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dcfs/IbrahimovKPY18
Rishat Ibrahimov, Kamil Khadiev, Krisjanis Prusis, Abuzer Yakaryilmaz:
Error-Free Affine, Unitary, and Probabilistic OBDDs. 175-187
- view
  authority control:
- export record
  dblp key:
  - conf/dcfs/JiraskovaO18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dcfs/JiraskovaO18
Galina Jirásková, Alexander Okhotin:
State Complexity of Unambiguous Operations on Deterministic Finite Automata. 188-199
- view
  authority control:
- export record
  dblp key:
  - conf/dcfs/KeelerS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dcfs/KeelerS18
Chris Keeler, Kai Salomaa:
Cycle Height of Finite Automata. 200-211
- view
  authority control:
- export record
  dblp key:
  - conf/dcfs/KutribMS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dcfs/KutribMS18
Martin Kutrib, Andreas Malcher, Christian Schneider:
Finite Automata with Undirected State Graphs. 212-223
- view
  authority control:
- export record
  dblp key:
  - conf/dcfs/OkhotinS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dcfs/OkhotinS18
Alexander Okhotin, Kai Salomaa:
Further Closure Properties of Input-Driven Pushdown Automata. 224-236
- view
  authority control:
- export record
  dblp key:
  - conf/dcfs/Yamakami18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dcfs/Yamakami18
Tomoyuki Yamakami:
State Complexity Characterizations of Parameterized Degree-Bounded Graph Connectivity, Sub-Linear Space Computation, and the Linear Space Hypothesis. 237-249

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.