Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch 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}
}
a service of 
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.
retrieved on 2024-08-22 23:43 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
