Search dblp for Publications

export results for "toc:db/conf/dcfs/dcfs2014.bht:"

 download as .bib file

@inproceedings{DBLP:conf/dcfs/0001PV14,
  author       = {Sergiu Ivanov and
                  Elisabeth Pelz and
                  Sergey Verlan},
  editor       = {Helmut J{\"{u}}rgensen and
                  Juhani Karhum{\"{a}}ki and
                  Alexander Okhotin},
  title        = {Small Universal Non-deterministic Petri Nets with Inhibitor Arcs},
  booktitle    = {Descriptional Complexity of Formal Systems - 16th International Workshop,
                  {DCFS} 2014, Turku, Finland, August 5-8, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8614},
  pages        = {186--197},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-09704-6\_17},
  doi          = {10.1007/978-3-319-09704-6\_17},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dcfs/0001PV14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dcfs/AblayevA14,
  author       = {Farid M. Ablayev and
                  Marat Ablayev},
  editor       = {Helmut J{\"{u}}rgensen and
                  Juhani Karhum{\"{a}}ki and
                  Alexander Okhotin},
  title        = {Quantum Hashing via {\(\epsilon\)}-Universal Hashing Constructions
                  and Freivalds' Fingerprinting Schemas},
  booktitle    = {Descriptional Complexity of Formal Systems - 16th International Workshop,
                  {DCFS} 2014, Turku, Finland, August 5-8, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8614},
  pages        = {42--52},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-09704-6\_5},
  doi          = {10.1007/978-3-319-09704-6\_5},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dcfs/AblayevA14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dcfs/AblayevGKY14,
  author       = {Farid M. Ablayev and
                  Aida Gainutdinova and
                  Kamil Khadiev and
                  Abuzer Yakaryilmaz},
  editor       = {Helmut J{\"{u}}rgensen and
                  Juhani Karhum{\"{a}}ki and
                  Alexander Okhotin},
  title        = {Very Narrow Quantum OBDDs and Width Hierarchies for Classical OBDDs},
  booktitle    = {Descriptional Complexity of Formal Systems - 16th International Workshop,
                  {DCFS} 2014, Turku, Finland, August 5-8, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8614},
  pages        = {53--64},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-09704-6\_6},
  doi          = {10.1007/978-3-319-09704-6\_6},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dcfs/AblayevGKY14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dcfs/AlhazovAFP14,
  author       = {Artiom Alhazov and
                  Bogdan Aman and
                  Rudolf Freund and
                  Gheorghe Paun},
  editor       = {Helmut J{\"{u}}rgensen and
                  Juhani Karhum{\"{a}}ki and
                  Alexander Okhotin},
  title        = {Matter and Anti-Matter in Membrane Systems},
  booktitle    = {Descriptional Complexity of Formal Systems - 16th International Workshop,
                  {DCFS} 2014, Turku, Finland, August 5-8, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8614},
  pages        = {65--76},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-09704-6\_7},
  doi          = {10.1007/978-3-319-09704-6\_7},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dcfs/AlhazovAFP14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dcfs/Ambainis14,
  author       = {Andris Ambainis},
  editor       = {Helmut J{\"{u}}rgensen and
                  Juhani Karhum{\"{a}}ki and
                  Alexander Okhotin},
  title        = {Recent Developments in Quantum Algorithms and Complexity},
  booktitle    = {Descriptional Complexity of Formal Systems - 16th International Workshop,
                  {DCFS} 2014, Turku, Finland, August 5-8, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8614},
  pages        = {1--4},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-09704-6\_1},
  doi          = {10.1007/978-3-319-09704-6\_1},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dcfs/Ambainis14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dcfs/BorsottiBCM14,
  author       = {Angelo Borsotti and
                  Luca Breveglieri and
                  Stefano Crespi{-}Reghizzi and
                  Angelo Morzenti},
  editor       = {Helmut J{\"{u}}rgensen and
                  Juhani Karhum{\"{a}}ki and
                  Alexander Okhotin},
  title        = {Complexity of Extended vs. Classic {LR} Parsers},
  booktitle    = {Descriptional Complexity of Formal Systems - 16th International Workshop,
                  {DCFS} 2014, Turku, Finland, August 5-8, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8614},
  pages        = {77--89},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-09704-6\_8},
  doi          = {10.1007/978-3-319-09704-6\_8},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dcfs/BorsottiBCM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dcfs/BrzozowskiD14,
  author       = {Janusz A. Brzozowski and
                  Gareth Davies},
  editor       = {Helmut J{\"{u}}rgensen and
                  Juhani Karhum{\"{a}}ki and
                  Alexander Okhotin},
  title        = {Most Complex Regular Right-Ideal Languages},
  booktitle    = {Descriptional Complexity of Formal Systems - 16th International Workshop,
                  {DCFS} 2014, Turku, Finland, August 5-8, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8614},
  pages        = {90--101},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-09704-6\_9},
  doi          = {10.1007/978-3-319-09704-6\_9},
  timestamp    = {Fri, 05 Apr 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dcfs/BrzozowskiD14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dcfs/ChoHKS14,
  author       = {Da{-}Jung Cho and
                  Yo{-}Sub Han and
                  Sang{-}Ki Ko and
                  Kai Salomaa},
  editor       = {Helmut J{\"{u}}rgensen and
                  Juhani Karhum{\"{a}}ki and
                  Alexander Okhotin},
  title        = {State Complexity of Inversion Operations},
  booktitle    = {Descriptional Complexity of Formal Systems - 16th International Workshop,
                  {DCFS} 2014, Turku, Finland, August 5-8, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8614},
  pages        = {102--113},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-09704-6\_10},
  doi          = {10.1007/978-3-319-09704-6\_10},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dcfs/ChoHKS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dcfs/DorzweilerFKL14,
  author       = {Olga Dorzweiler and
                  Thomas Flamm and
                  Andreas Krebs and
                  Michael Ludwig},
  editor       = {Helmut J{\"{u}}rgensen and
                  Juhani Karhum{\"{a}}ki and
                  Alexander Okhotin},
  title        = {Positive and Negative Proofs for Circuits and Branching Programs},
  booktitle    = {Descriptional Complexity of Formal Systems - 16th International Workshop,
                  {DCFS} 2014, Turku, Finland, August 5-8, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8614},
  pages        = {270--281},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-09704-6\_24},
  doi          = {10.1007/978-3-319-09704-6\_24},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dcfs/DorzweilerFKL14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dcfs/FormentiMP14,
  author       = {Enrico Formenti and
                  Luca Manzoni and
                  Antonio E. Porreca},
  editor       = {Helmut J{\"{u}}rgensen and
                  Juhani Karhum{\"{a}}ki and
                  Alexander Okhotin},
  title        = {Cycles and Global Attractors of Reaction Systems},
  booktitle    = {Descriptional Complexity of Formal Systems - 16th International Workshop,
                  {DCFS} 2014, Turku, Finland, August 5-8, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8614},
  pages        = {114--125},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-09704-6\_11},
  doi          = {10.1007/978-3-319-09704-6\_11},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dcfs/FormentiMP14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dcfs/GeffertY14,
  author       = {Viliam Geffert and
                  Abuzer Yakaryilmaz},
  editor       = {Helmut J{\"{u}}rgensen and
                  Juhani Karhum{\"{a}}ki and
                  Alexander Okhotin},
  title        = {Classical Automata on Promise Problems},
  booktitle    = {Descriptional Complexity of Formal Systems - 16th International Workshop,
                  {DCFS} 2014, Turku, Finland, August 5-8, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8614},
  pages        = {126--137},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-09704-6\_12},
  doi          = {10.1007/978-3-319-09704-6\_12},
  timestamp    = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dcfs/GeffertY14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dcfs/GehrkeKP14,
  author       = {Mai Gehrke and
                  Andreas Krebs and
                  Jean{-}{\'{E}}ric Pin},
  editor       = {Helmut J{\"{u}}rgensen and
                  Juhani Karhum{\"{a}}ki and
                  Alexander Okhotin},
  title        = {From Ultrafilters on Words to the Expressive Power of a Fragment of
                  Logic},
  booktitle    = {Descriptional Complexity of Formal Systems - 16th International Workshop,
                  {DCFS} 2014, Turku, Finland, August 5-8, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8614},
  pages        = {138--149},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-09704-6\_13},
  doi          = {10.1007/978-3-319-09704-6\_13},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dcfs/GehrkeKP14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dcfs/GocS14,
  author       = {Daniel Goc and
                  Kai Salomaa},
  editor       = {Helmut J{\"{u}}rgensen and
                  Juhani Karhum{\"{a}}ki and
                  Alexander Okhotin},
  title        = {Computation Width and Deviation Number},
  booktitle    = {Descriptional Complexity of Formal Systems - 16th International Workshop,
                  {DCFS} 2014, Turku, Finland, August 5-8, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8614},
  pages        = {150--161},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-09704-6\_14},
  doi          = {10.1007/978-3-319-09704-6\_14},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dcfs/GocS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dcfs/HolzerJ14,
  author       = {Markus Holzer and
                  Sebastian Jakobi},
  editor       = {Helmut J{\"{u}}rgensen and
                  Juhani Karhum{\"{a}}ki and
                  Alexander Okhotin},
  title        = {Boundary Sets of Regular and Context-Free Languages},
  booktitle    = {Descriptional Complexity of Formal Systems - 16th International Workshop,
                  {DCFS} 2014, Turku, Finland, August 5-8, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8614},
  pages        = {162--173},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-09704-6\_15},
  doi          = {10.1007/978-3-319-09704-6\_15},
  timestamp    = {Mon, 26 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dcfs/HolzerJ14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dcfs/Ibarra14,
  author       = {Oscar H. Ibarra},
  editor       = {Helmut J{\"{u}}rgensen and
                  Juhani Karhum{\"{a}}ki and
                  Alexander Okhotin},
  title        = {Automata with Reversal-Bounded Counters: {A} Survey},
  booktitle    = {Descriptional Complexity of Formal Systems - 16th International Workshop,
                  {DCFS} 2014, Turku, Finland, August 5-8, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8614},
  pages        = {5--22},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-09704-6\_2},
  doi          = {10.1007/978-3-319-09704-6\_2},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dcfs/Ibarra14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dcfs/IvanLNST14,
  author       = {Szabolcs Iv{\'{a}}n and
                  {\'{A}}d{\'{a}}m D{\'{a}}niel Lelkes and
                  Judit Nagy{-}Gy{\"{o}}rgy and
                  Bal{\'{a}}zs Sz{\"{o}}r{\'{e}}nyi and
                  Gy{\"{o}}rgy Tur{\'{a}}n},
  editor       = {Helmut J{\"{u}}rgensen and
                  Juhani Karhum{\"{a}}ki and
                  Alexander Okhotin},
  title        = {Biclique Coverings, Rectifier Networks and the Cost of {\(\epsilon\)}-Removal},
  booktitle    = {Descriptional Complexity of Formal Systems - 16th International Workshop,
                  {DCFS} 2014, Turku, Finland, August 5-8, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8614},
  pages        = {174--185},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-09704-6\_16},
  doi          = {10.1007/978-3-319-09704-6\_16},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dcfs/IvanLNST14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dcfs/JanousekMPPT14,
  author       = {Jan Janousek and
                  Borivoj Melichar and
                  Radom{\'{\i}}r Pol{\'{a}}ch and
                  Martin Poliak and
                  Jan Tr{\'{a}}vn{\'{\i}}cek},
  editor       = {Helmut J{\"{u}}rgensen and
                  Juhani Karhum{\"{a}}ki and
                  Alexander Okhotin},
  title        = {A Full and Linear Index of a Tree for Tree Patterns},
  booktitle    = {Descriptional Complexity of Formal Systems - 16th International Workshop,
                  {DCFS} 2014, Turku, Finland, August 5-8, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8614},
  pages        = {198--209},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-09704-6\_18},
  doi          = {10.1007/978-3-319-09704-6\_18},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dcfs/JanousekMPPT14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dcfs/JirasekJKMS14,
  author       = {Jozef Jir{\'{a}}sek and
                  Galina Jir{\'{a}}skov{\'{a}} and
                  Monika Krausov{\'{a}} and
                  Peter Mlyn{\'{a}}rcik and
                  Juraj Sebej},
  editor       = {Helmut J{\"{u}}rgensen and
                  Juhani Karhum{\"{a}}ki and
                  Alexander Okhotin},
  title        = {Prefix-Free Languages: Right Quotient and Reversal},
  booktitle    = {Descriptional Complexity of Formal Systems - 16th International Workshop,
                  {DCFS} 2014, Turku, Finland, August 5-8, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8614},
  pages        = {210--221},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-09704-6\_19},
  doi          = {10.1007/978-3-319-09704-6\_19},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dcfs/JirasekJKMS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dcfs/JiraskovaM14,
  author       = {Galina Jir{\'{a}}skov{\'{a}} and
                  Peter Mlyn{\'{a}}rcik},
  editor       = {Helmut J{\"{u}}rgensen and
                  Juhani Karhum{\"{a}}ki and
                  Alexander Okhotin},
  title        = {Complement on Prefix-Free, Suffix-Free, and Non-Returning {NFA} Languages},
  booktitle    = {Descriptional Complexity of Formal Systems - 16th International Workshop,
                  {DCFS} 2014, Turku, Finland, August 5-8, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8614},
  pages        = {222--233},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-09704-6\_20},
  doi          = {10.1007/978-3-319-09704-6\_20},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dcfs/JiraskovaM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dcfs/KarandikarS14,
  author       = {Prateek Karandikar and
                  Philippe Schnoebelen},
  editor       = {Helmut J{\"{u}}rgensen and
                  Juhani Karhum{\"{a}}ki and
                  Alexander Okhotin},
  title        = {On the State Complexity of Closures and Interiors of Regular Languages
                  with Subwords},
  booktitle    = {Descriptional Complexity of Formal Systems - 16th International Workshop,
                  {DCFS} 2014, Turku, Finland, August 5-8, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8614},
  pages        = {234--245},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-09704-6\_21},
  doi          = {10.1007/978-3-319-09704-6\_21},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dcfs/KarandikarS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dcfs/KoLH14,
  author       = {Sang{-}Ki Ko and
                  Ha{-}Rim Lee and
                  Yo{-}Sub Han},
  editor       = {Helmut J{\"{u}}rgensen and
                  Juhani Karhum{\"{a}}ki and
                  Alexander Okhotin},
  title        = {State Complexity of Regular Tree Languages for Tree Pattern Matching},
  booktitle    = {Descriptional Complexity of Formal Systems - 16th International Workshop,
                  {DCFS} 2014, Turku, Finland, August 5-8, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8614},
  pages        = {246--257},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-09704-6\_22},
  doi          = {10.1007/978-3-319-09704-6\_22},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dcfs/KoLH14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dcfs/KomarathSS14,
  author       = {Balagopal Komarath and
                  Jayalal Sarma and
                  K. S. Sunil},
  editor       = {Helmut J{\"{u}}rgensen and
                  Juhani Karhum{\"{a}}ki and
                  Alexander Okhotin},
  title        = {On the Complexity of L-reachability},
  booktitle    = {Descriptional Complexity of Formal Systems - 16th International Workshop,
                  {DCFS} 2014, Turku, Finland, August 5-8, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8614},
  pages        = {258--269},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-09704-6\_23},
  doi          = {10.1007/978-3-319-09704-6\_23},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dcfs/KomarathSS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dcfs/Kufleitner14,
  author       = {Manfred Kufleitner},
  editor       = {Helmut J{\"{u}}rgensen and
                  Juhani Karhum{\"{a}}ki and
                  Alexander Okhotin},
  title        = {Star-Free Languages and Local Divisors},
  booktitle    = {Descriptional Complexity of Formal Systems - 16th International Workshop,
                  {DCFS} 2014, Turku, Finland, August 5-8, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8614},
  pages        = {23--28},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-09704-6\_3},
  doi          = {10.1007/978-3-319-09704-6\_3},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dcfs/Kufleitner14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dcfs/KutribMW14,
  author       = {Martin Kutrib and
                  Andreas Malcher and
                  Matthias Wendlandt},
  editor       = {Helmut J{\"{u}}rgensen and
                  Juhani Karhum{\"{a}}ki and
                  Alexander Okhotin},
  title        = {Regularity and Size of Set Automata},
  booktitle    = {Descriptional Complexity of Formal Systems - 16th International Workshop,
                  {DCFS} 2014, Turku, Finland, August 5-8, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8614},
  pages        = {282--293},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-09704-6\_25},
  doi          = {10.1007/978-3-319-09704-6\_25},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dcfs/KutribMW14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dcfs/LavadoPS14,
  author       = {Giovanna J. Lavado and
                  Giovanni Pighizzini and
                  Shinnosuke Seki},
  editor       = {Helmut J{\"{u}}rgensen and
                  Juhani Karhum{\"{a}}ki and
                  Alexander Okhotin},
  title        = {Operational State Complexity under Parikh Equivalence},
  booktitle    = {Descriptional Complexity of Formal Systems - 16th International Workshop,
                  {DCFS} 2014, Turku, Finland, August 5-8, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8614},
  pages        = {294--305},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-09704-6\_26},
  doi          = {10.1007/978-3-319-09704-6\_26},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dcfs/LavadoPS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dcfs/Maslennikova14,
  author       = {Marina I. Maslennikova},
  editor       = {Helmut J{\"{u}}rgensen and
                  Juhani Karhum{\"{a}}ki and
                  Alexander Okhotin},
  title        = {Complexity of Checking Whether Two Automata Are Synchronized by the
                  Same Language},
  booktitle    = {Descriptional Complexity of Formal Systems - 16th International Workshop,
                  {DCFS} 2014, Turku, Finland, August 5-8, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8614},
  pages        = {306--317},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-09704-6\_27},
  doi          = {10.1007/978-3-319-09704-6\_27},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dcfs/Maslennikova14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dcfs/Otto14,
  author       = {Friedrich Otto},
  editor       = {Helmut J{\"{u}}rgensen and
                  Juhani Karhum{\"{a}}ki and
                  Alexander Okhotin},
  title        = {On the Descriptional Complexity of Deterministic Ordered Restarting
                  Automata},
  booktitle    = {Descriptional Complexity of Formal Systems - 16th International Workshop,
                  {DCFS} 2014, Turku, Finland, August 5-8, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8614},
  pages        = {318--329},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-09704-6\_28},
  doi          = {10.1007/978-3-319-09704-6\_28},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dcfs/Otto14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dcfs/PalioudakisSA14,
  author       = {Alexandros Palioudakis and
                  Kai Salomaa and
                  Selim G. Akl},
  editor       = {Helmut J{\"{u}}rgensen and
                  Juhani Karhum{\"{a}}ki and
                  Alexander Okhotin},
  title        = {State Complexity of Unary Language Operations for NFAs with Limited
                  Nondeterminism},
  booktitle    = {Descriptional Complexity of Formal Systems - 16th International Workshop,
                  {DCFS} 2014, Turku, Finland, August 5-8, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8614},
  pages        = {330--341},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-09704-6\_29},
  doi          = {10.1007/978-3-319-09704-6\_29},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dcfs/PalioudakisSA14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dcfs/Petersen14,
  author       = {Holger Petersen},
  editor       = {Helmut J{\"{u}}rgensen and
                  Juhani Karhum{\"{a}}ki and
                  Alexander Okhotin},
  title        = {A Note on Pushdown Automata Systems},
  booktitle    = {Descriptional Complexity of Formal Systems - 16th International Workshop,
                  {DCFS} 2014, Turku, Finland, August 5-8, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8614},
  pages        = {342--351},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-09704-6\_30},
  doi          = {10.1007/978-3-319-09704-6\_30},
  timestamp    = {Fri, 15 Mar 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dcfs/Petersen14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dcfs/Prusa14,
  author       = {Daniel Prr{u}v{s}a},
  editor       = {Helmut J{\"{u}}rgensen and
                  Juhani Karhum{\"{a}}ki and
                  Alexander Okhotin},
  title        = {Non-recursive Trade-offs between Two-Dimensional Automata and Grammars},
  booktitle    = {Descriptional Complexity of Formal Systems - 16th International Workshop,
                  {DCFS} 2014, Turku, Finland, August 5-8, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8614},
  pages        = {352--363},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-09704-6\_31},
  doi          = {10.1007/978-3-319-09704-6\_31},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dcfs/Prusa14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dcfs/Vereshchagin14,
  author       = {Nikolay K. Vereshchagin},
  editor       = {Helmut J{\"{u}}rgensen and
                  Juhani Karhum{\"{a}}ki and
                  Alexander Okhotin},
  title        = {Aperiodic Tilings by Right Triangles},
  booktitle    = {Descriptional Complexity of Formal Systems - 16th International Workshop,
                  {DCFS} 2014, Turku, Finland, August 5-8, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8614},
  pages        = {29--41},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-09704-6\_4},
  doi          = {10.1007/978-3-319-09704-6\_4},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dcfs/Vereshchagin14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/dcfs/2014,
  editor       = {Helmut J{\"{u}}rgensen and
                  Juhani Karhum{\"{a}}ki and
                  Alexander Okhotin},
  title        = {Descriptional Complexity of Formal Systems - 16th International Workshop,
                  {DCFS} 2014, Turku, Finland, August 5-8, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8614},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-09704-6},
  doi          = {10.1007/978-3-319-09704-6},
  isbn         = {978-3-319-09703-9},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dcfs/2014.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.