default search action

combined dblp search
author search
venue search
publication search

ask others

14th AFL 2014, Szeged, Hungary

> Home > Series

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:
  - journals/corr/EsikF14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/EsikF14
Zoltán Ésik, Zoltán Fülöp:
Proceedings 14th International Conference on Automata and Formal Languages, AFL 2014, Szeged, Hungary, May 27-29, 2014. EPTCS 151, 2014
- view
  authority control:
- export record
  dblp key:
  - journals/corr/CarayolH14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/CarayolH14
Arnaud Carayol, Matthew Hague:
Saturation algorithms for model-checking pushdown systems. 1-24
- view
  authority control:
- export record
  dblp key:
  - journals/corr/GruberH14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/GruberH14
Hermann Gruber, Markus Holzer:
From Finite Automata to Regular Expressions and Back-A Summary on Descriptional Complexity. 25-48
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Klima14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Klima14
Ondrej Klíma:
On Varieties of Automata Enriched with an Algebraic Structure (Extended Abstract). 49-54
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Loding14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Loding14
Christof Löding:
Decision Problems for Deterministic Pushdown Automata on Infinite Words. 55-73
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Maneth14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Maneth14
Sebastian Maneth:
Equivalence Problems for Tree Transducers: A Brief Survey. 74-93
- view
  authority control:
- export record
  dblp key:
  - journals/corr/BarashO14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BarashO14
Mikhail Barash, Alexander Okhotin:
Grammars with two-sided contexts. 94-108
- view
  authority control:
- export record
  dblp key:
  - journals/corr/BerglundDM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BerglundDM14
Martin Berglund, Frank Drewes, Brink van der Merwe:
Analyzing Catastrophic Backtracking Behavior in Practical Regular Expression Matching. 109-123
- view
  authority control:
- export record
  dblp key:
  - journals/corr/BordihnKM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BordihnKM14
Henning Bordihn, Martin Kutrib, Andreas Malcher:
Measuring Communication in Parallel Communicating Finite Automata. 124-138
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Brinda14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Brinda14
Karel Brinda:
Languages of lossless seeds. 139-150
- view
  authority control:
- export record
  dblp key:
  - journals/corr/BrzozowskiD13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BrzozowskiD13
Janusz A. Brzozowski, Gareth Davies:
Maximally Atomic Languages. 151-161
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Campeanu14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Campeanu14
Cezar Câmpeanu:
Simplifying Nondeterministic Finite Cover Automata. 162-173
- view
  authority control:
- export record
  dblp key:
  - journals/corr/CarapelleFGQ13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/CarapelleFGQ13
Claudia Carapelle, Shiguang Feng, Oliver Fernandez Gil, Karin Quaas:
Ehrenfeucht-Fraisse Games for TPTL and MTL over Non-monotonic Data Words. 174-187
- view
  authority control:
- export record
  dblp key:
  - journals/corr/CarninoL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/CarninoL14
Vincent Carnino, Sylvain Lombardy:
On Determinism and Unambiguity of Weighted Two-way Automata. 188-200
- view
  authority control:
- export record
  dblp key:
  - journals/corr/CevorovaJMPS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/CevorovaJMPS14
Kristína Cevorová, Galina Jirásková, Peter Mlynárcik, Matús Palmovský, Juraj Sebej:
Operations on Automata with All States Final. 201-215
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Crespi-ReghizziP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Crespi-ReghizziP14
Stefano Crespi-Reghizzi, Pierluigi San Pietro:
Commutative Languages and their Composition by Consensual Methods. 216-230
- view
  authority control:
- export record
  dblp key:
  - journals/corr/DuS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/DuS14
Chen Fei Du, Jeffrey O. Shallit:
Similarity density of the Thue-Morse word with overlap-free infinite binary words. 231-245
- view
  authority control:
- export record
  dblp key:
  - journals/corr/FernauFH14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/FernauFH14
Henning Fernau, Rudolf Freund, Markus Holzer:
Cooperating Distributed Grammar Systems of Finite Index Working in Hybrid Modes. 246-260
- view
  authority control:
- export record
  dblp key:
  - journals/corr/HegedusN14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/HegedusN14
László Hegedüs, Benedek Nagy:
Representations of Circular Words. 261-270
- view
  authority control:
- export record
  dblp key:
  - journals/corr/HolzerJ14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/HolzerJ14
Markus Holzer, Sebastian Jakobi:
More Structural Characterizations of Some Subregular Language Families by Biautomata. 271-285
- view
  authority control:
- export record
  dblp key:
  - journals/corr/HutagalungLL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/HutagalungLL14
Milka Hutagalung, Martin Lange, Étienne Lozes:
Buffered Simulation Games for Büchi Automata. 286-300
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Ivan14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Ivan14
Szabolcs Iván:
Synchronizing weighted automata. 301-313
- view
  authority control:
- export record
  dblp key:
  - journals/corr/MalettiQ14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/MalettiQ14
Andreas Maletti, Daniel Quernheim:
Hyper-Minimization for Deterministic Weighted Tree Automata. 314-326
- view
  authority control:
- export record
  dblp key:
  - journals/corr/MignotSZ14a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/MignotSZ14a
Ludovic Mignot, Nadia Ouali Sebti, Djelloul Ziadi:
$k$-Position, Follow, Equation and $k$-C-Continuation Tree Automata Constructions. 327-341
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Valdats14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Valdats14
Maris Valdats:
Boolean Circuit Complexity of Regular Languages. 342-354
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Valmari14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Valmari14
Antti Valmari:
Character Strings and Gödel's Incompleteness Proof. 355-369
- view
  authority control:
- export record
  dblp key:
  - journals/corr/Vorel14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Vorel14
Vojtech Vorel:
Subset Synchronization of Transitive Automata. 370-381

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.