Search dblp for Publications

export results for "toc:db/series/eptcs/eptcs386.bht:"

 download as .bib file

@inproceedings{DBLP:journals/corr/abs-2204-09365,
  author       = {Elena Barcucci and
                  Antonio Bernini and
                  Stefano Bilotta and
                  Renzo Pinzani},
  editor       = {Zsolt Gazdag and
                  Szabolcs Iv{\'{a}}n and
                  Gergely Kov{\'{a}}sznai},
  title        = {A Construction for Variable Dimension Strong Non-Overlapping Matrices},
  booktitle    = {Proceedings of the 16th International Conference on Automata and Formal
                  Languages, {AFL} 2023, Eger, Hungary, September 5-7, 2023},
  series       = {{EPTCS}},
  volume       = {386},
  pages        = {25--34},
  year         = {2023},
  url          = {https://doi.org/10.4204/EPTCS.386.4},
  doi          = {10.4204/EPTCS.386.4},
  timestamp    = {Wed, 25 Oct 2023 16:09:20 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2204-09365.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2304-12868,
  author       = {Mansur Ziiatdinov and
                  Aliya Khadieva and
                  Abuzer Yakaryilmaz},
  editor       = {Zsolt Gazdag and
                  Szabolcs Iv{\'{a}}n and
                  Gergely Kov{\'{a}}sznai},
  title        = {GAPs for Shallow Implementation of Quantum Finite Automata},
  booktitle    = {Proceedings of the 16th International Conference on Automata and Formal
                  Languages, {AFL} 2023, Eger, Hungary, September 5-7, 2023},
  series       = {{EPTCS}},
  volume       = {386},
  pages        = {269--280},
  year         = {2023},
  url          = {https://doi.org/10.4204/EPTCS.386.21},
  doi          = {10.4204/EPTCS.386.21},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2304-12868.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2306-02491,
  author       = {Jason P. Bell and
                  Daniel Smertnig and
                  Hellis Tamm},
  editor       = {Zsolt Gazdag and
                  Szabolcs Iv{\'{a}}n and
                  Gergely Kov{\'{a}}sznai},
  title        = {Duality of lattices associated to left and right quotients},
  booktitle    = {Proceedings of the 16th International Conference on Automata and Formal
                  Languages, {AFL} 2023, Eger, Hungary, September 5-7, 2023},
  series       = {{EPTCS}},
  volume       = {386},
  pages        = {35--50},
  year         = {2023},
  url          = {https://doi.org/10.4204/EPTCS.386.5},
  doi          = {10.4204/EPTCS.386.5},
  timestamp    = {Wed, 25 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2306-02491.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2309-02747,
  author       = {Martin Kutrib and
                  Andreas Malcher},
  editor       = {Zsolt Gazdag and
                  Szabolcs Iv{\'{a}}n and
                  Gergely Kov{\'{a}}sznai},
  title        = {Reversible Two-Party Computations},
  booktitle    = {Proceedings of the 16th International Conference on Automata and Formal
                  Languages, {AFL} 2023, Eger, Hungary, September 5-7, 2023},
  series       = {{EPTCS}},
  volume       = {386},
  pages        = {142--154},
  year         = {2023},
  url          = {https://doi.org/10.4204/EPTCS.386.12},
  doi          = {10.4204/EPTCS.386.12},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2309-02747.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2309-02748,
  author       = {Galina Jir{\'{a}}skov{\'{a}}},
  editor       = {Zsolt Gazdag and
                  Szabolcs Iv{\'{a}}n and
                  Gergely Kov{\'{a}}sznai},
  title        = {Operations on Boolean and Alternating Finite Automata},
  booktitle    = {Proceedings of the 16th International Conference on Automata and Formal
                  Languages, {AFL} 2023, Eger, Hungary, September 5-7, 2023},
  series       = {{EPTCS}},
  volume       = {386},
  pages        = {3--10},
  year         = {2023},
  url          = {https://doi.org/10.4204/EPTCS.386.1},
  doi          = {10.4204/EPTCS.386.1},
  timestamp    = {Wed, 25 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2309-02748.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2309-02749,
  author       = {Victor Mitrana and
                  Mihaela Paun},
  editor       = {Zsolt Gazdag and
                  Szabolcs Iv{\'{a}}n and
                  Gergely Kov{\'{a}}sznai},
  title        = {On the Degree of Extension of Some Models Defining Non-Regular Languages},
  booktitle    = {Proceedings of the 16th International Conference on Automata and Formal
                  Languages, {AFL} 2023, Eger, Hungary, September 5-7, 2023},
  series       = {{EPTCS}},
  volume       = {386},
  pages        = {12--24},
  year         = {2023},
  url          = {https://doi.org/10.4204/EPTCS.386.3},
  doi          = {10.4204/EPTCS.386.3},
  timestamp    = {Wed, 25 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2309-02749.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2309-02750,
  author       = {Miroslav Ciric and
                  Ivana Micic and
                  Stefan Stanimirovic and
                  Linh Anh Nguyen},
  editor       = {Zsolt Gazdag and
                  Szabolcs Iv{\'{a}}n and
                  Gergely Kov{\'{a}}sznai},
  title        = {Approximate State Reduction of Fuzzy Finite Automata},
  booktitle    = {Proceedings of the 16th International Conference on Automata and Formal
                  Languages, {AFL} 2023, Eger, Hungary, September 5-7, 2023},
  series       = {{EPTCS}},
  volume       = {386},
  pages        = {51--66},
  year         = {2023},
  url          = {https://doi.org/10.4204/EPTCS.386.6},
  doi          = {10.4204/EPTCS.386.6},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2309-02750.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2309-02751,
  author       = {Nada Damljanovic and
                  Miroslav Ciric and
                  Jelena Ignjatovic},
  editor       = {Zsolt Gazdag and
                  Szabolcs Iv{\'{a}}n and
                  Gergely Kov{\'{a}}sznai},
  title        = {Weighted Automata over Vector Spaces},
  booktitle    = {Proceedings of the 16th International Conference on Automata and Formal
                  Languages, {AFL} 2023, Eger, Hungary, September 5-7, 2023},
  series       = {{EPTCS}},
  volume       = {386},
  pages        = {67--81},
  year         = {2023},
  url          = {https://doi.org/10.4204/EPTCS.386.7},
  doi          = {10.4204/EPTCS.386.7},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2309-02751.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2309-02753,
  author       = {Szil{\'{a}}rd Zsolt Fazekas and
                  Shinnosuke Seki},
  editor       = {Zsolt Gazdag and
                  Szabolcs Iv{\'{a}}n and
                  Gergely Kov{\'{a}}sznai},
  title        = {Freezing 1-Tag Systems with States},
  booktitle    = {Proceedings of the 16th International Conference on Automata and Formal
                  Languages, {AFL} 2023, Eger, Hungary, September 5-7, 2023},
  series       = {{EPTCS}},
  volume       = {386},
  pages        = {82--95},
  year         = {2023},
  url          = {https://doi.org/10.4204/EPTCS.386.8},
  doi          = {10.4204/EPTCS.386.8},
  timestamp    = {Wed, 25 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2309-02753.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2309-02755,
  author       = {Henning Fernau and
                  Lakshmanan Kuppusamy and
                  Indhumathi Raman},
  editor       = {Zsolt Gazdag and
                  Szabolcs Iv{\'{a}}n and
                  Gergely Kov{\'{a}}sznai},
  title        = {When Stars Control a Grammar's Work},
  booktitle    = {Proceedings of the 16th International Conference on Automata and Formal
                  Languages, {AFL} 2023, Eger, Hungary, September 5-7, 2023},
  series       = {{EPTCS}},
  volume       = {386},
  pages        = {96--111},
  year         = {2023},
  url          = {https://doi.org/10.4204/EPTCS.386.9},
  doi          = {10.4204/EPTCS.386.9},
  timestamp    = {Wed, 25 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2309-02755.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2309-02756,
  author       = {Nataliya Gribovskaya and
                  Irina B. Virbitskaite},
  editor       = {Zsolt Gazdag and
                  Szabolcs Iv{\'{a}}n and
                  Gergely Kov{\'{a}}sznai},
  title        = {Comparative Transition System Semantics for Cause-Respecting Reversible
                  Prime Event Structures},
  booktitle    = {Proceedings of the 16th International Conference on Automata and Formal
                  Languages, {AFL} 2023, Eger, Hungary, September 5-7, 2023},
  series       = {{EPTCS}},
  volume       = {386},
  pages        = {112--126},
  year         = {2023},
  url          = {https://doi.org/10.4204/EPTCS.386.10},
  doi          = {10.4204/EPTCS.386.10},
  timestamp    = {Wed, 25 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2309-02756.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2309-02757,
  author       = {Markus Holzer and
                  Christian Rauch},
  editor       = {Zsolt Gazdag and
                  Szabolcs Iv{\'{a}}n and
                  Gergely Kov{\'{a}}sznai},
  title        = {On Minimal Pumping Constants for Regular Languages},
  booktitle    = {Proceedings of the 16th International Conference on Automata and Formal
                  Languages, {AFL} 2023, Eger, Hungary, September 5-7, 2023},
  series       = {{EPTCS}},
  volume       = {386},
  pages        = {127--141},
  year         = {2023},
  url          = {https://doi.org/10.4204/EPTCS.386.11},
  doi          = {10.4204/EPTCS.386.11},
  timestamp    = {Wed, 25 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2309-02757.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2309-02758,
  author       = {Andreas Maletti and
                  Nils Oskar Nuernbergk},
  editor       = {Zsolt Gazdag and
                  Szabolcs Iv{\'{a}}n and
                  Gergely Kov{\'{a}}sznai},
  title        = {Pumping Lemmata for Recognizable Weighted Languages over Artinian
                  Semirings},
  booktitle    = {Proceedings of the 16th International Conference on Automata and Formal
                  Languages, {AFL} 2023, Eger, Hungary, September 5-7, 2023},
  series       = {{EPTCS}},
  volume       = {386},
  pages        = {155--169},
  year         = {2023},
  url          = {https://doi.org/10.4204/EPTCS.386.13},
  doi          = {10.4204/EPTCS.386.13},
  timestamp    = {Wed, 25 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2309-02758.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2309-02759,
  author       = {Benedek Nagy},
  editor       = {Zsolt Gazdag and
                  Szabolcs Iv{\'{a}}n and
                  Gergely Kov{\'{a}}sznai},
  title        = {State-deterministic Finite Automata with Translucent Letters and Finite
                  Automata with Nondeterministically Translucent Letters},
  booktitle    = {Proceedings of the 16th International Conference on Automata and Formal
                  Languages, {AFL} 2023, Eger, Hungary, September 5-7, 2023},
  series       = {{EPTCS}},
  volume       = {386},
  pages        = {170--184},
  year         = {2023},
  url          = {https://doi.org/10.4204/EPTCS.386.14},
  doi          = {10.4204/EPTCS.386.14},
  timestamp    = {Wed, 25 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2309-02759.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2309-02760,
  author       = {Yoshiki Nakamura and
                  Ryoma Sin'ya},
  editor       = {Zsolt Gazdag and
                  Szabolcs Iv{\'{a}}n and
                  Gergely Kov{\'{a}}sznai},
  title        = {Words-to-Letters Valuations for Language Kleene Algebras with Variable
                  Complements},
  booktitle    = {Proceedings of the 16th International Conference on Automata and Formal
                  Languages, {AFL} 2023, Eger, Hungary, September 5-7, 2023},
  series       = {{EPTCS}},
  volume       = {386},
  pages        = {185--199},
  year         = {2023},
  url          = {https://doi.org/10.4204/EPTCS.386.15},
  doi          = {10.4204/EPTCS.386.15},
  timestamp    = {Sun, 04 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2309-02760.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2309-02761,
  author       = {Andreea{-}Teodora N{\'{a}}sz},
  editor       = {Zsolt Gazdag and
                  Szabolcs Iv{\'{a}}n and
                  Gergely Kov{\'{a}}sznai},
  title        = {Solving the Weighted HOM-Problem With the Help of Unambiguity},
  booktitle    = {Proceedings of the 16th International Conference on Automata and Formal
                  Languages, {AFL} 2023, Eger, Hungary, September 5-7, 2023},
  series       = {{EPTCS}},
  volume       = {386},
  pages        = {200--214},
  year         = {2023},
  url          = {https://doi.org/10.4204/EPTCS.386.16},
  doi          = {10.4204/EPTCS.386.16},
  timestamp    = {Wed, 25 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2309-02761.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2309-02763,
  author       = {Giovanni Pighizzini and
                  Luca Prigioniero},
  editor       = {Zsolt Gazdag and
                  Szabolcs Iv{\'{a}}n and
                  Gergely Kov{\'{a}}sznai},
  title        = {Once-Marking and Always-Marking 1-Limited Automata},
  booktitle    = {Proceedings of the 16th International Conference on Automata and Formal
                  Languages, {AFL} 2023, Eger, Hungary, September 5-7, 2023},
  series       = {{EPTCS}},
  volume       = {386},
  pages        = {215--227},
  year         = {2023},
  url          = {https://doi.org/10.4204/EPTCS.386.17},
  doi          = {10.4204/EPTCS.386.17},
  timestamp    = {Wed, 25 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2309-02763.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2309-02765,
  author       = {Jeffrey O. Shallit and
                  Sonja Linghui Shan},
  editor       = {Zsolt Gazdag and
                  Szabolcs Iv{\'{a}}n and
                  Gergely Kov{\'{a}}sznai},
  title        = {A General Approach to Proving Properties of Fibonacci Representations
                  via Automata Theory},
  booktitle    = {Proceedings of the 16th International Conference on Automata and Formal
                  Languages, {AFL} 2023, Eger, Hungary, September 5-7, 2023},
  series       = {{EPTCS}},
  volume       = {386},
  pages        = {228--242},
  year         = {2023},
  url          = {https://doi.org/10.4204/EPTCS.386.18},
  doi          = {10.4204/EPTCS.386.18},
  timestamp    = {Wed, 25 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2309-02765.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2309-02766,
  author       = {Nicholas Tran},
  editor       = {Zsolt Gazdag and
                  Szabolcs Iv{\'{a}}n and
                  Gergely Kov{\'{a}}sznai},
  title        = {Separating Words from Every Start State with Horner Automata},
  booktitle    = {Proceedings of the 16th International Conference on Automata and Formal
                  Languages, {AFL} 2023, Eger, Hungary, September 5-7, 2023},
  series       = {{EPTCS}},
  volume       = {386},
  pages        = {243--252},
  year         = {2023},
  url          = {https://doi.org/10.4204/EPTCS.386.19},
  doi          = {10.4204/EPTCS.386.19},
  timestamp    = {Fri, 19 Jul 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2309-02766.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2309-02768,
  author       = {Bianca Truthe},
  editor       = {Zsolt Gazdag and
                  Szabolcs Iv{\'{a}}n and
                  Gergely Kov{\'{a}}sznai},
  title        = {Strictly Locally Testable and Resources Restricted Control Languages
                  in Tree-Controlled Grammars},
  booktitle    = {Proceedings of the 16th International Conference on Automata and Formal
                  Languages, {AFL} 2023, Eger, Hungary, September 5-7, 2023},
  series       = {{EPTCS}},
  volume       = {386},
  pages        = {253--268},
  year         = {2023},
  url          = {https://doi.org/10.4204/EPTCS.386.20},
  doi          = {10.4204/EPTCS.386.20},
  timestamp    = {Wed, 25 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2309-02768.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-2309-01126,
  editor       = {Zsolt Gazdag and
                  Szabolcs Iv{\'{a}}n and
                  Gergely Kov{\'{a}}sznai},
  title        = {Proceedings of the 16th International Conference on Automata and Formal
                  Languages, {AFL} 2023, Eger, Hungary, September 5-7, 2023},
  series       = {{EPTCS}},
  volume       = {386},
  year         = {2023},
  url          = {https://doi.org/10.4204/EPTCS.386},
  doi          = {10.4204/EPTCS.386},
  timestamp    = {Wed, 25 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2309-01126.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics