Search dblp for Publications

export results for "toc:db/conf/wia/ciaa2022.bht:"

 download as .bib file

@inproceedings{DBLP:conf/wia/BruseHL22,
  author       = {Florian Bruse and
                  Maurice Herwig and
                  Martin Lange},
  editor       = {Pascal Caron and
                  Ludovic Mignot},
  title        = {A Similarity Measure for Formal Languages Based on Convergent Geometric
                  Series},
  booktitle    = {Implementation and Application of Automata - 26th International Conference,
                  {CIAA} 2022, Rouen, France, June 28 - July 1, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13266},
  pages        = {80--92},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-07469-1\_6},
  doi          = {10.1007/978-3-031-07469-1\_6},
  timestamp    = {Fri, 03 Jun 2022 16:42:29 +0200},
  biburl       = {https://dblp.org/rec/conf/wia/BruseHL22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/DoluEGS22,
  author       = {{\"{O}}zdeniz Dolu and
                  Nevzat Ersoy and
                  M. Utkan Gezer and
                  A. C. Cem Say},
  editor       = {Pascal Caron and
                  Ludovic Mignot},
  title        = {Real-Time, Constant-Space, Constant-Randomness Verifiers},
  booktitle    = {Implementation and Application of Automata - 26th International Conference,
                  {CIAA} 2022, Rouen, France, June 28 - July 1, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13266},
  pages        = {212--224},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-07469-1\_17},
  doi          = {10.1007/978-3-031-07469-1\_17},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wia/DoluEGS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/DrewesMV22,
  author       = {Frank Drewes and
                  Richard M{\"{o}}rbitz and
                  Heiko Vogler},
  editor       = {Pascal Caron and
                  Ludovic Mignot},
  title        = {Hybrid Tree Automata and the Yield Theorem for Constituent Tree Automata},
  booktitle    = {Implementation and Application of Automata - 26th International Conference,
                  {CIAA} 2022, Rouen, France, June 28 - July 1, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13266},
  pages        = {93--105},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-07469-1\_7},
  doi          = {10.1007/978-3-031-07469-1\_7},
  timestamp    = {Fri, 03 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wia/DrewesMV22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/GruberHR22,
  author       = {Hermann Gruber and
                  Markus Holzer and
                  Christian Rauch},
  editor       = {Pascal Caron and
                  Ludovic Mignot},
  title        = {On 25 Years of {CIAA} Through the Lens of Data Science},
  booktitle    = {Implementation and Application of Automata - 26th International Conference,
                  {CIAA} 2022, Rouen, France, June 28 - July 1, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13266},
  pages        = {3--18},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-07469-1\_1},
  doi          = {10.1007/978-3-031-07469-1\_1},
  timestamp    = {Fri, 01 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wia/GruberHR22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/Hoffmann22,
  author       = {Stefan Hoffmann},
  editor       = {Pascal Caron and
                  Ludovic Mignot},
  title        = {Constrained Synchronization for Monotonic and Solvable Automata and
                  Automata with Simple Idempotents},
  booktitle    = {Implementation and Application of Automata - 26th International Conference,
                  {CIAA} 2022, Rouen, France, June 28 - July 1, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13266},
  pages        = {225--237},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-07469-1\_18},
  doi          = {10.1007/978-3-031-07469-1\_18},
  timestamp    = {Mon, 13 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wia/Hoffmann22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/HospodarO22,
  author       = {Michal Hospod{\'{a}}r and
                  Viktor Olej{\'{a}}r},
  editor       = {Pascal Caron and
                  Ludovic Mignot},
  title        = {The Cut Operation in Subclasses of Convex Languages (Extended Abstract)},
  booktitle    = {Implementation and Application of Automata - 26th International Conference,
                  {CIAA} 2022, Rouen, France, June 28 - July 1, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13266},
  pages        = {152--164},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-07469-1\_12},
  doi          = {10.1007/978-3-031-07469-1\_12},
  timestamp    = {Thu, 07 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wia/HospodarO22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/HutchinsonMR22,
  author       = {Laura K. Hutchinson and
                  Robert Mercas and
                  Daniel Reidenbach},
  editor       = {Pascal Caron and
                  Ludovic Mignot},
  title        = {A Toolkit for Parikh Matrices},
  booktitle    = {Implementation and Application of Automata - 26th International Conference,
                  {CIAA} 2022, Rouen, France, June 28 - July 1, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13266},
  pages        = {116--127},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-07469-1\_9},
  doi          = {10.1007/978-3-031-07469-1\_9},
  timestamp    = {Mon, 13 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wia/HutchinsonMR22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/InoueHS22,
  author       = {Yusuke Inoue and
                  Kenji Hashimoto and
                  Hiroyuki Seki},
  editor       = {Pascal Caron and
                  Ludovic Mignot},
  title        = {An Ambiguity Hierarchy of Weighted Context-Free Grammars},
  booktitle    = {Implementation and Application of Automata - 26th International Conference,
                  {CIAA} 2022, Rouen, France, June 28 - July 1, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13266},
  pages        = {238--250},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-07469-1\_19},
  doi          = {10.1007/978-3-031-07469-1\_19},
  timestamp    = {Fri, 03 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wia/InoueHS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/JacquemardN22,
  author       = {Florent Jacquemard and
                  Lydia Rodriguez de la Nava},
  editor       = {Pascal Caron and
                  Ludovic Mignot},
  title        = {Symbolic Weighted Language Models, Quantitative Parsing and Automated
                  Music Transcription},
  booktitle    = {Implementation and Application of Automata - 26th International Conference,
                  {CIAA} 2022, Rouen, France, June 28 - July 1, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13266},
  pages        = {67--79},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-07469-1\_5},
  doi          = {10.1007/978-3-031-07469-1\_5},
  timestamp    = {Fri, 03 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wia/JacquemardN22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/KutribM22,
  author       = {Martin Kutrib and
                  Uwe Meyer},
  editor       = {Pascal Caron and
                  Ludovic Mignot},
  title        = {Syntax Checking Either Way},
  booktitle    = {Implementation and Application of Automata - 26th International Conference,
                  {CIAA} 2022, Rouen, France, June 28 - July 1, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13266},
  pages        = {128--139},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-07469-1\_10},
  doi          = {10.1007/978-3-031-07469-1\_10},
  timestamp    = {Mon, 13 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wia/KutribM22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/KutribMW22,
  author       = {Martin Kutrib and
                  Andreas Malcher and
                  Matthias Wendlandt},
  editor       = {Pascal Caron and
                  Ludovic Mignot},
  title        = {On the Power of Pushing or Stationary Moves for Input-Driven Pushdown
                  Automata},
  booktitle    = {Implementation and Application of Automata - 26th International Conference,
                  {CIAA} 2022, Rouen, France, June 28 - July 1, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13266},
  pages        = {140--151},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-07469-1\_11},
  doi          = {10.1007/978-3-031-07469-1\_11},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wia/KutribMW22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/LyonS22,
  author       = {Oliver A. S. Lyon and
                  Kai Salomaa},
  editor       = {Pascal Caron and
                  Ludovic Mignot},
  title        = {Nondeterministic State Complexity of Site-Directed Deletion},
  booktitle    = {Implementation and Application of Automata - 26th International Conference,
                  {CIAA} 2022, Rouen, France, June 28 - July 1, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13266},
  pages        = {189--199},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-07469-1\_15},
  doi          = {10.1007/978-3-031-07469-1\_15},
  timestamp    = {Fri, 03 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wia/LyonS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/MartynovaO22,
  author       = {Olga Martynova and
                  Alexander Okhotin},
  editor       = {Pascal Caron and
                  Ludovic Mignot},
  title        = {Homomorphisms on Graph-Walking Automata},
  booktitle    = {Implementation and Application of Automata - 26th International Conference,
                  {CIAA} 2022, Rouen, France, June 28 - July 1, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13266},
  pages        = {177--188},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-07469-1\_14},
  doi          = {10.1007/978-3-031-07469-1\_14},
  timestamp    = {Mon, 13 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wia/MartynovaO22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/MerweB22,
  author       = {Brink van der Merwe and
                  Martin Berglund},
  editor       = {Pascal Caron and
                  Ludovic Mignot},
  title        = {Ordered Context-Free Grammars},
  booktitle    = {Implementation and Application of Automata - 26th International Conference,
                  {CIAA} 2022, Rouen, France, June 28 - July 1, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13266},
  pages        = {53--66},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-07469-1\_4},
  doi          = {10.1007/978-3-031-07469-1\_4},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wia/MerweB22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/MoreiraR22,
  author       = {Nelma Moreira and
                  Rog{\'{e}}rio Reis},
  editor       = {Pascal Caron and
                  Ludovic Mignot},
  title        = {Manipulation of Regular Expressions Using Derivatives: An Overview},
  booktitle    = {Implementation and Application of Automata - 26th International Conference,
                  {CIAA} 2022, Rouen, France, June 28 - July 1, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13266},
  pages        = {19--33},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-07469-1\_2},
  doi          = {10.1007/978-3-031-07469-1\_2},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wia/MoreiraR22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/Ruszil22,
  author       = {Jakub Ruszil},
  editor       = {Pascal Caron and
                  Ludovic Mignot},
  title        = {Some Results Concerning Careful Synchronization of Partial Automata
                  and Subset Synchronization of DFA's},
  booktitle    = {Implementation and Application of Automata - 26th International Conference,
                  {CIAA} 2022, Rouen, France, June 28 - July 1, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13266},
  pages        = {106--115},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-07469-1\_8},
  doi          = {10.1007/978-3-031-07469-1\_8},
  timestamp    = {Mon, 13 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wia/Ruszil22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/SungCH22,
  author       = {Sicheol Sung and
                  Hyunjoon Cheon and
                  Yo{-}Sub Han},
  editor       = {Pascal Caron and
                  Ludovic Mignot},
  title        = {How to Settle the ReDoS Problem: Back to the Classical Automata Theory},
  booktitle    = {Implementation and Application of Automata - 26th International Conference,
                  {CIAA} 2022, Rouen, France, June 28 - July 1, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13266},
  pages        = {34--49},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-07469-1\_3},
  doi          = {10.1007/978-3-031-07469-1\_3},
  timestamp    = {Fri, 03 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wia/SungCH22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/Tran22,
  author       = {Nicholas Q. Tran},
  editor       = {Pascal Caron and
                  Ludovic Mignot},
  title        = {Variations of the Separating Words Problem},
  booktitle    = {Implementation and Application of Automata - 26th International Conference,
                  {CIAA} 2022, Rouen, France, June 28 - July 1, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13266},
  pages        = {165--176},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-07469-1\_13},
  doi          = {10.1007/978-3-031-07469-1\_13},
  timestamp    = {Sun, 21 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wia/Tran22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wia/YilmazKUS22,
  author       = {{\"{O}}yk{\"{u}} Yilmaz and
                  Firat Kiyak and
                  Meri{\c{c}} {\"{U}}ng{\"{o}}r and
                  A. C. Cem Say},
  editor       = {Pascal Caron and
                  Ludovic Mignot},
  title        = {Energy Complexity of Regular Language Recognition},
  booktitle    = {Implementation and Application of Automata - 26th International Conference,
                  {CIAA} 2022, Rouen, France, June 28 - July 1, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13266},
  pages        = {200--211},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-07469-1\_16},
  doi          = {10.1007/978-3-031-07469-1\_16},
  timestamp    = {Fri, 03 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wia/YilmazKUS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wia/2022,
  editor       = {Pascal Caron and
                  Ludovic Mignot},
  title        = {Implementation and Application of Automata - 26th International Conference,
                  {CIAA} 2022, Rouen, France, June 28 - July 1, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13266},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-07469-1},
  doi          = {10.1007/978-3-031-07469-1},
  isbn         = {978-3-031-07468-4},
  timestamp    = {Fri, 03 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wia/2022.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics