Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/conf/dcfs/dcfs2017.bht:"
@inproceedings{DBLP:conf/dcfs/0001K17, author = {Markus Holzer and Martin Kutrib}, editor = {Giovanni Pighizzini and Cezar C{\^{a}}mpeanu}, title = {One-Time Nondeterministic Computations}, booktitle = {Descriptional Complexity of Formal Systems - 19th {IFIP} {WG} 1.02 International Conference, {DCFS} 2017, Milano, Italy, July 3-5, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10316}, pages = {177--188}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-60252-3\_14}, doi = {10.1007/978-3-319-60252-3\_14}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dcfs/0001K17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dcfs/0001RS17, author = {Timothy Ng and David Rappaport and Kai Salomaa}, editor = {Giovanni Pighizzini and Cezar C{\^{a}}mpeanu}, title = {State Complexity of Suffix Distance}, booktitle = {Descriptional Complexity of Formal Systems - 19th {IFIP} {WG} 1.02 International Conference, {DCFS} 2017, Milano, Italy, July 3-5, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10316}, pages = {287--298}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-60252-3\_23}, doi = {10.1007/978-3-319-60252-3\_23}, timestamp = {Sun, 25 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dcfs/0001RS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dcfs/AlmagorKK17, author = {Shaull Almagor and Denis Kuperberg and Orna Kupferman}, editor = {Giovanni Pighizzini and Cezar C{\^{a}}mpeanu}, title = {Sensing as a Complexity Measure}, booktitle = {Descriptional Complexity of Formal Systems - 19th {IFIP} {WG} 1.02 International Conference, {DCFS} 2017, Milano, Italy, July 3-5, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10316}, pages = {3--15}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-60252-3\_1}, doi = {10.1007/978-3-319-60252-3\_1}, timestamp = {Fri, 02 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dcfs/AlmagorKK17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dcfs/AnselmoGM17, author = {Marcella Anselmo and Dora Giammarresi and Maria Madonia}, editor = {Giovanni Pighizzini and Cezar C{\^{a}}mpeanu}, title = {Avoiding Overlaps in Pictures}, booktitle = {Descriptional Complexity of Formal Systems - 19th {IFIP} {WG} 1.02 International Conference, {DCFS} 2017, Milano, Italy, July 3-5, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10316}, pages = {16--32}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-60252-3\_2}, doi = {10.1007/978-3-319-60252-3\_2}, timestamp = {Thu, 22 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dcfs/AnselmoGM17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dcfs/BenschH17, author = {Suna Bensch and Maia Hoeberechts}, editor = {Giovanni Pighizzini and Cezar C{\^{a}}mpeanu}, title = {On the Degree of Nondeterminism of Tree Adjoining Languages and Head Grammar Languages}, booktitle = {Descriptional Complexity of Formal Systems - 19th {IFIP} {WG} 1.02 International Conference, {DCFS} 2017, Milano, Italy, July 3-5, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10316}, pages = {65--76}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-60252-3\_5}, doi = {10.1007/978-3-319-60252-3\_5}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dcfs/BenschH17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dcfs/BrodaMMR17, author = {Sabine Broda and Ant{\'{o}}nio Machiavelo and Nelma Moreira and Rog{\'{e}}rio Reis}, editor = {Giovanni Pighizzini and Cezar C{\^{a}}mpeanu}, title = {On the Average Complexity of Strong Star Normal Form}, booktitle = {Descriptional Complexity of Formal Systems - 19th {IFIP} {WG} 1.02 International Conference, {DCFS} 2017, Milano, Italy, July 3-5, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10316}, pages = {77--88}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-60252-3\_6}, doi = {10.1007/978-3-319-60252-3\_6}, timestamp = {Fri, 27 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dcfs/BrodaMMR17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dcfs/BrzozowskiD17, author = {Janusz A. Brzozowski and Sylvie Davies}, editor = {Giovanni Pighizzini and Cezar C{\^{a}}mpeanu}, title = {Most Complex Non-returning Regular Languages}, booktitle = {Descriptional Complexity of Formal Systems - 19th {IFIP} {WG} 1.02 International Conference, {DCFS} 2017, Milano, Italy, July 3-5, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10316}, pages = {89--101}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-60252-3\_7}, doi = {10.1007/978-3-319-60252-3\_7}, timestamp = {Thu, 22 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dcfs/BrzozowskiD17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dcfs/Dassow17, author = {J{\"{u}}rgen Dassow}, editor = {Giovanni Pighizzini and Cezar C{\^{a}}mpeanu}, title = {Descriptional Complexity and Operations - Two Non-classical Cases}, booktitle = {Descriptional Complexity of Formal Systems - 19th {IFIP} {WG} 1.02 International Conference, {DCFS} 2017, Milano, Italy, July 3-5, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10316}, pages = {33--44}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-60252-3\_3}, doi = {10.1007/978-3-319-60252-3\_3}, timestamp = {Thu, 22 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dcfs/Dassow17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dcfs/DimitrijevsY17, author = {Maksims Dimitrijevs and Abuzer Yakaryilmaz}, editor = {Giovanni Pighizzini and Cezar C{\^{a}}mpeanu}, title = {Uncountable Realtime Probabilistic Classes}, booktitle = {Descriptional Complexity of Formal Systems - 19th {IFIP} {WG} 1.02 International Conference, {DCFS} 2017, Milano, Italy, July 3-5, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10316}, pages = {102--113}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-60252-3\_8}, doi = {10.1007/978-3-319-60252-3\_8}, timestamp = {Sat, 16 Sep 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dcfs/DimitrijevsY17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dcfs/FaranK17, author = {Rachel Faran and Orna Kupferman}, editor = {Giovanni Pighizzini and Cezar C{\^{a}}mpeanu}, title = {A Parametrized Analysis of Algorithms on Hierarchical Graphs}, booktitle = {Descriptional Complexity of Formal Systems - 19th {IFIP} {WG} 1.02 International Conference, {DCFS} 2017, Milano, Italy, July 3-5, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10316}, pages = {114--127}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-60252-3\_9}, doi = {10.1007/978-3-319-60252-3\_9}, timestamp = {Thu, 22 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dcfs/FaranK17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dcfs/FernauKR17, author = {Henning Fernau and Lakshmanan Kuppusamy and Indhumathi Raman}, editor = {Giovanni Pighizzini and Cezar C{\^{a}}mpeanu}, title = {Graph-Controlled Insertion-Deletion Systems Generating Language Classes Beyond Linearity}, booktitle = {Descriptional Complexity of Formal Systems - 19th {IFIP} {WG} 1.02 International Conference, {DCFS} 2017, Milano, Italy, July 3-5, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10316}, pages = {128--139}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-60252-3\_10}, doi = {10.1007/978-3-319-60252-3\_10}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dcfs/FernauKR17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dcfs/FreundRV17, author = {Rudolf Freund and Vladimir Rogojin and Sergey Verlan}, editor = {Giovanni Pighizzini and Cezar C{\^{a}}mpeanu}, title = {Computational Completeness of Networks of Evolutionary Processors with Elementary Polarizations and a Small Number of Processors}, booktitle = {Descriptional Complexity of Formal Systems - 19th {IFIP} {WG} 1.02 International Conference, {DCFS} 2017, Milano, Italy, July 3-5, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10316}, pages = {140--151}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-60252-3\_11}, doi = {10.1007/978-3-319-60252-3\_11}, timestamp = {Sun, 25 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dcfs/FreundRV17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dcfs/GelleI17, author = {Kitti Gelle and Szabolcs Iv{\'{a}}n}, editor = {Giovanni Pighizzini and Cezar C{\^{a}}mpeanu}, title = {Recognizing Union-Find Trees Built Up Using Union-By-Rank Strategy is NP-Complete}, booktitle = {Descriptional Complexity of Formal Systems - 19th {IFIP} {WG} 1.02 International Conference, {DCFS} 2017, Milano, Italy, July 3-5, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10316}, pages = {152--163}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-60252-3\_12}, doi = {10.1007/978-3-319-60252-3\_12}, timestamp = {Fri, 02 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dcfs/GelleI17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dcfs/HanKRS17, author = {Yo{-}Sub Han and Hwee Kim and Trent A. Rogers and Shinnosuke Seki}, editor = {Giovanni Pighizzini and Cezar C{\^{a}}mpeanu}, title = {Self-attraction Removal from Oritatami Systems}, booktitle = {Descriptional Complexity of Formal Systems - 19th {IFIP} {WG} 1.02 International Conference, {DCFS} 2017, Milano, Italy, July 3-5, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10316}, pages = {164--176}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-60252-3\_13}, doi = {10.1007/978-3-319-60252-3\_13}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dcfs/HanKRS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dcfs/JirasekPS17, author = {Jozef Jir{\'{a}}sek Jr. and Mat{\'{u}}s Palmovsk{\'{y}} and Juraj Sebej}, editor = {Giovanni Pighizzini and Cezar C{\^{a}}mpeanu}, title = {Kuratowski Algebras Generated by Factor-, Subword-, and Suffix-Free Languages}, booktitle = {Descriptional Complexity of Formal Systems - 19th {IFIP} {WG} 1.02 International Conference, {DCFS} 2017, Milano, Italy, July 3-5, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10316}, pages = {189--201}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-60252-3\_15}, doi = {10.1007/978-3-319-60252-3\_15}, timestamp = {Fri, 02 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dcfs/JirasekPS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dcfs/KeelerS17, author = {Chris Keeler and Kai Salomaa}, editor = {Giovanni Pighizzini and Cezar C{\^{a}}mpeanu}, title = {Branching Measures and Nearly Acyclic NFAs}, booktitle = {Descriptional Complexity of Formal Systems - 19th {IFIP} {WG} 1.02 International Conference, {DCFS} 2017, Milano, Italy, July 3-5, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10316}, pages = {202--213}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-60252-3\_16}, doi = {10.1007/978-3-319-60252-3\_16}, timestamp = {Thu, 22 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dcfs/KeelerS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dcfs/Konstantinidis17, author = {Stavros Konstantinidis}, editor = {Giovanni Pighizzini and Cezar C{\^{a}}mpeanu}, title = {Applications of Transducers in Independent Languages, Word Distances, Codes}, booktitle = {Descriptional Complexity of Formal Systems - 19th {IFIP} {WG} 1.02 International Conference, {DCFS} 2017, Milano, Italy, July 3-5, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10316}, pages = {45--62}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-60252-3\_4}, doi = {10.1007/978-3-319-60252-3\_4}, timestamp = {Fri, 02 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dcfs/Konstantinidis17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dcfs/KrajnakovaJ17, author = {Ivana Krajn{\'{a}}kov{\'{a}} and Galina Jir{\'{a}}skov{\'{a}}}, editor = {Giovanni Pighizzini and Cezar C{\^{a}}mpeanu}, title = {Square on Deterministic, Alternating, and Boolean Finite Automata}, booktitle = {Descriptional Complexity of Formal Systems - 19th {IFIP} {WG} 1.02 International Conference, {DCFS} 2017, Milano, Italy, July 3-5, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10316}, pages = {214--225}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-60252-3\_17}, doi = {10.1007/978-3-319-60252-3\_17}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dcfs/KrajnakovaJ17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dcfs/KweeO17, author = {Kent Kwee and Friedrich Otto}, editor = {Giovanni Pighizzini and Cezar C{\^{a}}mpeanu}, title = {A Pumping Lemma for Ordered Restarting Automata}, booktitle = {Descriptional Complexity of Formal Systems - 19th {IFIP} {WG} 1.02 International Conference, {DCFS} 2017, Milano, Italy, July 3-5, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10316}, pages = {226--237}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-60252-3\_18}, doi = {10.1007/978-3-319-60252-3\_18}, timestamp = {Thu, 22 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dcfs/KweeO17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dcfs/LavadoP17, author = {Giovanna J. Lavado and Luca Prigioniero}, editor = {Giovanni Pighizzini and Cezar C{\^{a}}mpeanu}, title = {Concise Representations of Reversible Automata}, booktitle = {Descriptional Complexity of Formal Systems - 19th {IFIP} {WG} 1.02 International Conference, {DCFS} 2017, Milano, Italy, July 3-5, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10316}, pages = {238--249}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-60252-3\_19}, doi = {10.1007/978-3-319-60252-3\_19}, timestamp = {Wed, 25 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dcfs/LavadoP17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dcfs/MaraisZ17, author = {Laurette Marais and Lynette van Zijl}, editor = {Giovanni Pighizzini and Cezar C{\^{a}}mpeanu}, title = {State Complexity of Unary {SV-XNFA} with Different Acceptance Conditions}, booktitle = {Descriptional Complexity of Formal Systems - 19th {IFIP} {WG} 1.02 International Conference, {DCFS} 2017, Milano, Italy, July 3-5, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10316}, pages = {250--261}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-60252-3\_20}, doi = {10.1007/978-3-319-60252-3\_20}, timestamp = {Thu, 22 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dcfs/MaraisZ17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dcfs/Maslennikova17, author = {Marina I. Maslennikova}, editor = {Giovanni Pighizzini and Cezar C{\^{a}}mpeanu}, title = {Reset Complexity of Ideal Languages Over a Binary Alphabet}, booktitle = {Descriptional Complexity of Formal Systems - 19th {IFIP} {WG} 1.02 International Conference, {DCFS} 2017, Milano, Italy, July 3-5, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10316}, pages = {262--273}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-60252-3\_21}, doi = {10.1007/978-3-319-60252-3\_21}, timestamp = {Thu, 22 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dcfs/Maslennikova17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dcfs/Neary17, author = {Turlough Neary}, editor = {Giovanni Pighizzini and Cezar C{\^{a}}mpeanu}, title = {2-State 2-Symbol Turing Machines with Periodic Support Produce Regular Sets}, booktitle = {Descriptional Complexity of Formal Systems - 19th {IFIP} {WG} 1.02 International Conference, {DCFS} 2017, Milano, Italy, July 3-5, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10316}, pages = {274--286}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-60252-3\_22}, doi = {10.1007/978-3-319-60252-3\_22}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dcfs/Neary17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dcfs/OkhotinS17, author = {Alexander Okhotin and Kai Salomaa}, editor = {Giovanni Pighizzini and Cezar C{\^{a}}mpeanu}, title = {The Quotient Operation on Input-Driven Pushdown Automata}, booktitle = {Descriptional Complexity of Formal Systems - 19th {IFIP} {WG} 1.02 International Conference, {DCFS} 2017, Milano, Italy, July 3-5, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10316}, pages = {299--310}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-60252-3\_24}, doi = {10.1007/978-3-319-60252-3\_24}, timestamp = {Wed, 25 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dcfs/OkhotinS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/dcfs/2017, editor = {Giovanni Pighizzini and Cezar C{\^{a}}mpeanu}, title = {Descriptional Complexity of Formal Systems - 19th {IFIP} {WG} 1.02 International Conference, {DCFS} 2017, Milano, Italy, July 3-5, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10316}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-60252-3}, doi = {10.1007/978-3-319-60252-3}, isbn = {978-3-319-60251-6}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dcfs/2017.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
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.