Search dblp for Publications

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

 download as .bib file

@inproceedings{DBLP:conf/dcfs/AlaevS21,
  author       = {Pavel Alaev and
                  Victor L. Selivanov},
  editor       = {Yo{-}Sub Han and
                  Sang{-}Ki Ko},
  title        = {Complexity Issues for the Iterated h-Preorders},
  booktitle    = {Descriptional Complexity of Formal Systems - 23rd {IFIP} {WG} 1.02
                  International Conference, {DCFS} 2021, Virtual Event, September 5,
                  2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13037},
  pages        = {1--12},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-93489-7\_1},
  doi          = {10.1007/978-3-030-93489-7\_1},
  timestamp    = {Fri, 21 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dcfs/AlaevS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dcfs/BrodaMMR21,
  author       = {Sabine Broda and
                  Ant{\'{o}}nio Machiavelo and
                  Nelma Moreira and
                  Rog{\'{e}}rio Reis},
  editor       = {Yo{-}Sub Han and
                  Sang{-}Ki Ko},
  title        = {On the Uniform Distribution of Regular Expressions},
  booktitle    = {Descriptional Complexity of Formal Systems - 23rd {IFIP} {WG} 1.02
                  International Conference, {DCFS} 2021, Virtual Event, September 5,
                  2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13037},
  pages        = {13--25},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-93489-7\_2},
  doi          = {10.1007/978-3-030-93489-7\_2},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dcfs/BrodaMMR21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dcfs/GeffertO21,
  author       = {Viliam Geffert and
                  Alexander Okhotin},
  editor       = {Yo{-}Sub Han and
                  Sang{-}Ki Ko},
  title        = {Deterministic One-Way Simulation of Two-Way Deterministic Finite Automata
                  over Small Alphabets},
  booktitle    = {Descriptional Complexity of Formal Systems - 23rd {IFIP} {WG} 1.02
                  International Conference, {DCFS} 2021, Virtual Event, September 5,
                  2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13037},
  pages        = {26--37},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-93489-7\_3},
  doi          = {10.1007/978-3-030-93489-7\_3},
  timestamp    = {Fri, 14 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dcfs/GeffertO21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dcfs/Hoffmann21,
  author       = {Stefan Hoffmann},
  editor       = {Yo{-}Sub Han and
                  Sang{-}Ki Ko},
  title        = {Sync-Maximal Permutation Groups Equal Primitive Permutation Groups},
  booktitle    = {Descriptional Complexity of Formal Systems - 23rd {IFIP} {WG} 1.02
                  International Conference, {DCFS} 2021, Virtual Event, September 5,
                  2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13037},
  pages        = {38--50},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-93489-7\_4},
  doi          = {10.1007/978-3-030-93489-7\_4},
  timestamp    = {Fri, 21 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dcfs/Hoffmann21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dcfs/Hoffmann21a,
  author       = {Stefan Hoffmann},
  editor       = {Yo{-}Sub Han and
                  Sang{-}Ki Ko},
  title        = {Commutative Regular Languages with Product-Form Minimal Automata},
  booktitle    = {Descriptional Complexity of Formal Systems - 23rd {IFIP} {WG} 1.02
                  International Conference, {DCFS} 2021, Virtual Event, September 5,
                  2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13037},
  pages        = {51--63},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-93489-7\_5},
  doi          = {10.1007/978-3-030-93489-7\_5},
  timestamp    = {Fri, 21 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dcfs/Hoffmann21a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dcfs/Hoffmann21b,
  author       = {Stefan Hoffmann},
  editor       = {Yo{-}Sub Han and
                  Sang{-}Ki Ko},
  title        = {State Complexity Investigations on Commutative Languages - the Upward
                  and Downward Closure, Commutative Aperiodic and Commutative Group
                  Languages},
  booktitle    = {Descriptional Complexity of Formal Systems - 23rd {IFIP} {WG} 1.02
                  International Conference, {DCFS} 2021, Virtual Event, September 5,
                  2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13037},
  pages        = {64--75},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-93489-7\_6},
  doi          = {10.1007/978-3-030-93489-7\_6},
  timestamp    = {Fri, 21 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dcfs/Hoffmann21b.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dcfs/HolzerR21,
  author       = {Markus Holzer and
                  Christian Rauch},
  editor       = {Yo{-}Sub Han and
                  Sang{-}Ki Ko},
  title        = {More on the Descriptional Complexity of Products of Finite Automata},
  booktitle    = {Descriptional Complexity of Formal Systems - 23rd {IFIP} {WG} 1.02
                  International Conference, {DCFS} 2021, Virtual Event, September 5,
                  2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13037},
  pages        = {76--87},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-93489-7\_7},
  doi          = {10.1007/978-3-030-93489-7\_7},
  timestamp    = {Fri, 01 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dcfs/HolzerR21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dcfs/KeelerS21,
  author       = {Chris Keeler and
                  Kai Salomaa},
  editor       = {Yo{-}Sub Han and
                  Sang{-}Ki Ko},
  title        = {Width Measures of Alternating Finite Automata},
  booktitle    = {Descriptional Complexity of Formal Systems - 23rd {IFIP} {WG} 1.02
                  International Conference, {DCFS} 2021, Virtual Event, September 5,
                  2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13037},
  pages        = {88--99},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-93489-7\_8},
  doi          = {10.1007/978-3-030-93489-7\_8},
  timestamp    = {Fri, 14 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dcfs/KeelerS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dcfs/KieferW21,
  author       = {Stefan Kiefer and
                  Cas Widdershoven},
  editor       = {Yo{-}Sub Han and
                  Sang{-}Ki Ko},
  title        = {Image-Binary Automata},
  booktitle    = {Descriptional Complexity of Formal Systems - 23rd {IFIP} {WG} 1.02
                  International Conference, {DCFS} 2021, Virtual Event, September 5,
                  2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13037},
  pages        = {176--187},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-93489-7\_15},
  doi          = {10.1007/978-3-030-93489-7\_15},
  timestamp    = {Fri, 14 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dcfs/KieferW21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dcfs/KonstantinidisM21,
  author       = {Stavros Konstantinidis and
                  Ant{\'{o}}nio Machiavelo and
                  Nelma Moreira and
                  Rog{\'{e}}rio Reis},
  editor       = {Yo{-}Sub Han and
                  Sang{-}Ki Ko},
  title        = {Partial Derivative Automaton by Compressing Regular Expressions},
  booktitle    = {Descriptional Complexity of Formal Systems - 23rd {IFIP} {WG} 1.02
                  International Conference, {DCFS} 2021, Virtual Event, September 5,
                  2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13037},
  pages        = {100--112},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-93489-7\_9},
  doi          = {10.1007/978-3-030-93489-7\_9},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dcfs/KonstantinidisM21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dcfs/KutribW21,
  author       = {Martin Kutrib and
                  Matthias Wendlandt},
  editor       = {Yo{-}Sub Han and
                  Sang{-}Ki Ko},
  title        = {State Complexity of Partial Word Finite Automata},
  booktitle    = {Descriptional Complexity of Formal Systems - 23rd {IFIP} {WG} 1.02
                  International Conference, {DCFS} 2021, Virtual Event, September 5,
                  2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13037},
  pages        = {113--124},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-93489-7\_10},
  doi          = {10.1007/978-3-030-93489-7\_10},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dcfs/KutribW21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dcfs/MartynovaO21,
  author       = {Olga Martynova and
                  Alexander Okhotin},
  editor       = {Yo{-}Sub Han and
                  Sang{-}Ki Ko},
  title        = {State Complexity of Union and Intersection on Graph-Walking Automata},
  booktitle    = {Descriptional Complexity of Formal Systems - 23rd {IFIP} {WG} 1.02
                  International Conference, {DCFS} 2021, Virtual Event, September 5,
                  2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13037},
  pages        = {125--136},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-93489-7\_11},
  doi          = {10.1007/978-3-030-93489-7\_11},
  timestamp    = {Fri, 21 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dcfs/MartynovaO21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dcfs/Neraud21,
  author       = {Jean N{\'{e}}raud},
  editor       = {Yo{-}Sub Han and
                  Sang{-}Ki Ko},
  title        = {Gray Cycles of Maximum Length Related to k-Character Substitutions},
  booktitle    = {Descriptional Complexity of Formal Systems - 23rd {IFIP} {WG} 1.02
                  International Conference, {DCFS} 2021, Virtual Event, September 5,
                  2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13037},
  pages        = {137--149},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-93489-7\_12},
  doi          = {10.1007/978-3-030-93489-7\_12},
  timestamp    = {Fri, 21 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dcfs/Neraud21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dcfs/RubtsovV21,
  author       = {Alexander A. Rubtsov and
                  Mikhail N. Vyalyi},
  editor       = {Yo{-}Sub Han and
                  Sang{-}Ki Ko},
  title        = {Automata Equipped with Auxiliary Data Structures and Regular Realizability
                  Problems},
  booktitle    = {Descriptional Complexity of Formal Systems - 23rd {IFIP} {WG} 1.02
                  International Conference, {DCFS} 2021, Virtual Event, September 5,
                  2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13037},
  pages        = {150--162},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-93489-7\_13},
  doi          = {10.1007/978-3-030-93489-7\_13},
  timestamp    = {Fri, 21 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dcfs/RubtsovV21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dcfs/StierU21,
  author       = {Kevin Stier and
                  Markus Ulbricht},
  editor       = {Yo{-}Sub Han and
                  Sang{-}Ki Ko},
  title        = {Disambiguation of Weighted Tree Automata},
  booktitle    = {Descriptional Complexity of Formal Systems - 23rd {IFIP} {WG} 1.02
                  International Conference, {DCFS} 2021, Virtual Event, September 5,
                  2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13037},
  pages        = {163--175},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-93489-7\_14},
  doi          = {10.1007/978-3-030-93489-7\_14},
  timestamp    = {Fri, 14 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dcfs/StierU21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/dcfs/Yakaryilmaz21,
  author       = {Abuzer Yakaryilmaz},
  editor       = {Yo{-}Sub Han and
                  Sang{-}Ki Ko},
  title        = {Improved Constructions for Succinct Affine Automata},
  booktitle    = {Descriptional Complexity of Formal Systems - 23rd {IFIP} {WG} 1.02
                  International Conference, {DCFS} 2021, Virtual Event, September 5,
                  2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13037},
  pages        = {188--199},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-93489-7\_16},
  doi          = {10.1007/978-3-030-93489-7\_16},
  timestamp    = {Fri, 21 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dcfs/Yakaryilmaz21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/dcfs/2021,
  editor       = {Yo{-}Sub Han and
                  Sang{-}Ki Ko},
  title        = {Descriptional Complexity of Formal Systems - 23rd {IFIP} {WG} 1.02
                  International Conference, {DCFS} 2021, Virtual Event, September 5,
                  2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13037},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-93489-7},
  doi          = {10.1007/978-3-030-93489-7},
  isbn         = {978-3-030-93488-0},
  timestamp    = {Fri, 14 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/dcfs/2021.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.