Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/conf/fct/fct2023.bht:"
@inproceedings{DBLP:conf/fct/Abbes23, author = {Samy Abbes}, editor = {Henning Fernau and Klaus Jansen}, title = {Convergence of Distributions on Paths}, booktitle = {Fundamentals of Computation Theory - 24th International Symposium, {FCT} 2023, Trier, Germany, September 18-21, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14292}, pages = {1--15}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-43587-4\_1}, doi = {10.1007/978-3-031-43587-4\_1}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fct/Abbes23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fct/AlegriaDPS23, author = {Carlos Alegr{\'{\i}}a and Justin Dallant and Pablo P{\'{e}}rez{-}Lantero and Carlos Seara}, editor = {Henning Fernau and Klaus Jansen}, title = {The Rectilinear Convex Hull of Line Segments}, booktitle = {Fundamentals of Computation Theory - 24th International Symposium, {FCT} 2023, Trier, Germany, September 18-21, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14292}, pages = {32--45}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-43587-4\_3}, doi = {10.1007/978-3-031-43587-4\_3}, timestamp = {Mon, 25 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fct/AlegriaDPS23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fct/AubrunB23, author = {Nathalie Aubrun and Nicolas Bitar}, editor = {Henning Fernau and Klaus Jansen}, title = {Domino Snake Problems on Groups}, booktitle = {Fundamentals of Computation Theory - 24th International Symposium, {FCT} 2023, Trier, Germany, September 18-21, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14292}, pages = {46--59}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-43587-4\_4}, doi = {10.1007/978-3-031-43587-4\_4}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fct/AubrunB23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fct/BerglundBB23, author = {Martin Berglund and Henrik Bj{\"{o}}rklund and Johanna Bj{\"{o}}rklund}, editor = {Henning Fernau and Klaus Jansen}, title = {Parsing Unranked Tree Languages, Folded Once}, booktitle = {Fundamentals of Computation Theory - 24th International Symposium, {FCT} 2023, Trier, Germany, September 18-21, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14292}, pages = {60--73}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-43587-4\_5}, doi = {10.1007/978-3-031-43587-4\_5}, timestamp = {Sat, 14 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fct/BerglundBB23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fct/Bjorklund23, author = {Johanna Bj{\"{o}}rklund}, editor = {Henning Fernau and Klaus Jansen}, title = {The Impact of State Merging on Predictive Accuracy in Probabilistic Tree Automata: Dietze's Conjecture Revisited}, booktitle = {Fundamentals of Computation Theory - 24th International Symposium, {FCT} 2023, Trier, Germany, September 18-21, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14292}, pages = {74--87}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-43587-4\_6}, doi = {10.1007/978-3-031-43587-4\_6}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fct/Bjorklund23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fct/BrettellOPPL23, author = {Nick Brettell and Jelle J. Oostveen and Sukanya Pandey and Dani{\"{e}}l Paulusma and Erik Jan van Leeuwen}, editor = {Henning Fernau and Klaus Jansen}, title = {Computing Subset Vertex Covers in H-Free Graphs}, booktitle = {Fundamentals of Computation Theory - 24th International Symposium, {FCT} 2023, Trier, Germany, September 18-21, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14292}, pages = {88--102}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-43587-4\_7}, doi = {10.1007/978-3-031-43587-4\_7}, timestamp = {Fri, 27 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fct/BrettellOPPL23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fct/BubboloniCMS23, author = {Daniela Bubboloni and Costanza Catalano and Andrea Marino and Ana Silva}, editor = {Henning Fernau and Klaus Jansen}, title = {On Computing Optimal Temporal Branchings}, booktitle = {Fundamentals of Computation Theory - 24th International Symposium, {FCT} 2023, Trier, Germany, September 18-21, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14292}, pages = {103--117}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-43587-4\_8}, doi = {10.1007/978-3-031-43587-4\_8}, timestamp = {Sun, 12 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fct/BubboloniCMS23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fct/ChakrabortyFH23, author = {Dibyayan Chakraborty and Florent Foucaud and Anni Hakanen}, editor = {Henning Fernau and Klaus Jansen}, title = {Distance-Based Covering Problems for Graphs of Given Cyclomatic Number}, booktitle = {Fundamentals of Computation Theory - 24th International Symposium, {FCT} 2023, Trier, Germany, September 18-21, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14292}, pages = {132--146}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-43587-4\_10}, doi = {10.1007/978-3-031-43587-4\_10}, timestamp = {Sat, 14 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fct/ChakrabortyFH23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fct/ChakrabortyS23, author = {Dipayan Chakraborty and R. B. Sandeep}, editor = {Henning Fernau and Klaus Jansen}, title = {Contracting Edges to Destroy a Pattern: {A} Complexity Study}, booktitle = {Fundamentals of Computation Theory - 24th International Symposium, {FCT} 2023, Trier, Germany, September 18-21, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14292}, pages = {118--131}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-43587-4\_9}, doi = {10.1007/978-3-031-43587-4\_9}, timestamp = {Sun, 12 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fct/ChakrabortyS23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fct/ChidiacGHY23, author = {Lamar Chidiac and Santiago Guzm{\'{a}}n{-}Pro and Winfried Hochst{\"{a}}ttler and Anthony Youssef}, editor = {Henning Fernau and Klaus Jansen}, title = {An Efficient Computation of the Rank Function of a Positroid}, booktitle = {Fundamentals of Computation Theory - 24th International Symposium, {FCT} 2023, Trier, Germany, September 18-21, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14292}, pages = {147--161}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-43587-4\_11}, doi = {10.1007/978-3-031-43587-4\_11}, timestamp = {Sat, 14 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fct/ChidiacGHY23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fct/EvansK23, author = {William S. Evans and David G. Kirkpatrick}, editor = {Henning Fernau and Klaus Jansen}, title = {Minimizing Query Frequency to Bound Congestion Potential for Moving Entities at a Fixed Target Time}, booktitle = {Fundamentals of Computation Theory - 24th International Symposium, {FCT} 2023, Trier, Germany, September 18-21, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14292}, pages = {162--175}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-43587-4\_12}, doi = {10.1007/978-3-031-43587-4\_12}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fct/EvansK23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fct/FitzsimmonsH23, author = {Zack Fitzsimmons and Edith Hemaspaandra}, editor = {Henning Fernau and Klaus Jansen}, title = {Complexity of Conformant Election Manipulation}, booktitle = {Fundamentals of Computation Theory - 24th International Symposium, {FCT} 2023, Trier, Germany, September 18-21, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14292}, pages = {176--189}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-43587-4\_13}, doi = {10.1007/978-3-031-43587-4\_13}, timestamp = {Mon, 25 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fct/FitzsimmonsH23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fct/FleischmannHHN23, author = {Pamela Fleischmann and Jonas H{\"{o}}fer and Annika Huch and Dirk Nowotka}, editor = {Henning Fernau and Klaus Jansen}, title = {{\(\alpha\)}-{\(\beta\)}-Factorization and the Binary Case of Simon's Congruence}, booktitle = {Fundamentals of Computation Theory - 24th International Symposium, {FCT} 2023, Trier, Germany, September 18-21, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14292}, pages = {190--204}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-43587-4\_14}, doi = {10.1007/978-3-031-43587-4\_14}, timestamp = {Mon, 25 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fct/FleischmannHHN23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fct/FreiW23, author = {Fabian Frei and David Wehner}, editor = {Henning Fernau and Klaus Jansen}, title = {Bounds for c-Ideal Hashing}, booktitle = {Fundamentals of Computation Theory - 24th International Symposium, {FCT} 2023, Trier, Germany, September 18-21, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14292}, pages = {205--220}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-43587-4\_15}, doi = {10.1007/978-3-031-43587-4\_15}, timestamp = {Mon, 25 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fct/FreiW23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fct/GaikwadM23, author = {Ajinkya Gaikwad and Soumen Maity}, editor = {Henning Fernau and Klaus Jansen}, title = {Parameterized Complexity of the \emph{T}\({}_{\mbox{h+1}}\)-Free Edge Deletion Problem}, booktitle = {Fundamentals of Computation Theory - 24th International Symposium, {FCT} 2023, Trier, Germany, September 18-21, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14292}, pages = {221--233}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-43587-4\_16}, doi = {10.1007/978-3-031-43587-4\_16}, timestamp = {Mon, 25 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fct/GaikwadM23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fct/GrochowL23, author = {Joshua A. Grochow and Michael Levet}, editor = {Henning Fernau and Klaus Jansen}, title = {On the Parallel Complexity of Group Isomorphism via Weisfeiler-Leman}, booktitle = {Fundamentals of Computation Theory - 24th International Symposium, {FCT} 2023, Trier, Germany, September 18-21, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14292}, pages = {234--247}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-43587-4\_17}, doi = {10.1007/978-3-031-43587-4\_17}, timestamp = {Mon, 25 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fct/GrochowL23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fct/HassanHR23, author = {Zohair Raza Hassan and Edith Hemaspaandra and Stanislaw P. Radziszowski}, editor = {Henning Fernau and Klaus Jansen}, title = {The Complexity of (P\({}_{\mbox{k,}}\) P\({}_{\mbox{{\(\mathscr{l}\)}}}\) )-Arrowing}, booktitle = {Fundamentals of Computation Theory - 24th International Symposium, {FCT} 2023, Trier, Germany, September 18-21, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14292}, pages = {248--261}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-43587-4\_18}, doi = {10.1007/978-3-031-43587-4\_18}, timestamp = {Mon, 25 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fct/HassanHR23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fct/HigashikawaKLMTTZ23, author = {Yuya Higashikawa and Naoki Katoh and Guohui Lin and Eiji Miyano and Suguru Tamaki and Junichi Teruyama and Binhai Zhu}, editor = {Henning Fernau and Klaus Jansen}, title = {On Computing a Center Persistence Diagram}, booktitle = {Fundamentals of Computation Theory - 24th International Symposium, {FCT} 2023, Trier, Germany, September 18-21, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14292}, pages = {262--275}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-43587-4\_19}, doi = {10.1007/978-3-031-43587-4\_19}, timestamp = {Sat, 14 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fct/HigashikawaKLMTTZ23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fct/KaelblingLH23, author = {Philip Kaelbling and Dakotah Lambert and Jeffrey Heinz}, editor = {Henning Fernau and Klaus Jansen}, title = {Robust Identification in the Limit from Incomplete Positive Data}, booktitle = {Fundamentals of Computation Theory - 24th International Symposium, {FCT} 2023, Trier, Germany, September 18-21, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14292}, pages = {276--290}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-43587-4\_20}, doi = {10.1007/978-3-031-43587-4\_20}, timestamp = {Mon, 25 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fct/KaelblingLH23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fct/KastratiMPW23, author = {Feston Kastrati and Wendy J. Myrvold and Lucas D. Panjer and Aaron Williams}, editor = {Henning Fernau and Klaus Jansen}, title = {Cordial Forests}, booktitle = {Fundamentals of Computation Theory - 24th International Symposium, {FCT} 2023, Trier, Germany, September 18-21, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14292}, pages = {291--303}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-43587-4\_21}, doi = {10.1007/978-3-031-43587-4\_21}, timestamp = {Mon, 25 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fct/KastratiMPW23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fct/KinneRRS23, author = {Jeff Kinne and Akbar Rafiey and Arash Rafiey and Mohammad Sorkhpar}, editor = {Henning Fernau and Klaus Jansen}, title = {Vertex Ordering with Precedence Constraints}, booktitle = {Fundamentals of Computation Theory - 24th International Symposium, {FCT} 2023, Trier, Germany, September 18-21, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14292}, pages = {304--317}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-43587-4\_22}, doi = {10.1007/978-3-031-43587-4\_22}, timestamp = {Mon, 25 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fct/KinneRRS23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fct/KocherK23, author = {Chris K{\"{o}}cher and Dietrich Kuske}, editor = {Henning Fernau and Klaus Jansen}, title = {Forwards- and Backwards-Reachability for Cooperating Multi-pushdown Systems}, booktitle = {Fundamentals of Computation Theory - 24th International Symposium, {FCT} 2023, Trier, Germany, September 18-21, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14292}, pages = {318--332}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-43587-4\_23}, doi = {10.1007/978-3-031-43587-4\_23}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fct/KocherK23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fct/KristanS23, author = {Jan Maty{\'{a}}s Kristan and Jakub Svoboda}, editor = {Henning Fernau and Klaus Jansen}, title = {Shortest Dominating Set Reconfiguration Under Token Sliding}, booktitle = {Fundamentals of Computation Theory - 24th International Symposium, {FCT} 2023, Trier, Germany, September 18-21, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14292}, pages = {333--347}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-43587-4\_24}, doi = {10.1007/978-3-031-43587-4\_24}, timestamp = {Sat, 14 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fct/KristanS23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fct/LeR23, author = {Van Bang Le and Christian Rosenke}, editor = {Henning Fernau and Klaus Jansen}, title = {Computing Optimal Leaf Roots of Chordal Cographs in Linear Time}, booktitle = {Fundamentals of Computation Theory - 24th International Symposium, {FCT} 2023, Trier, Germany, September 18-21, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14292}, pages = {348--362}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-43587-4\_25}, doi = {10.1007/978-3-031-43587-4\_25}, timestamp = {Fri, 27 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fct/LeR23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fct/Park23, author = {Sewon Park}, editor = {Henning Fernau and Klaus Jansen}, title = {Verified Exact Real Computation with Nondeterministic Functions and Limits}, booktitle = {Fundamentals of Computation Theory - 24th International Symposium, {FCT} 2023, Trier, Germany, September 18-21, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14292}, pages = {363--377}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-43587-4\_26}, doi = {10.1007/978-3-031-43587-4\_26}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fct/Park23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fct/RauchRS23, author = {Johannes Rauch and Dieter Rautenbach and U{\'{e}}verton S. Souza}, editor = {Henning Fernau and Klaus Jansen}, title = {Exact and Parameterized Algorithms for the Independent Cutset Problem}, booktitle = {Fundamentals of Computation Theory - 24th International Symposium, {FCT} 2023, Trier, Germany, September 18-21, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14292}, pages = {378--391}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-43587-4\_27}, doi = {10.1007/978-3-031-43587-4\_27}, timestamp = {Mon, 25 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fct/RauchRS23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fct/SamBGB23, author = {Emmanuel Sam and Benjamin Bergougnoux and Petr A. Golovach and Nello Blaser}, editor = {Henning Fernau and Klaus Jansen}, title = {Kernelization for Finding Lineal Topologies (Depth-First Spanning Trees) with Many or Few Leaves}, booktitle = {Fundamentals of Computation Theory - 24th International Symposium, {FCT} 2023, Trier, Germany, September 18-21, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14292}, pages = {392--405}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-43587-4\_28}, doi = {10.1007/978-3-031-43587-4\_28}, timestamp = {Wed, 18 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fct/SamBGB23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fct/SerhaliN23, author = {Antonio Al Serhali and Joachim Niehren}, editor = {Henning Fernau and Klaus Jansen}, title = {Subhedge Projection for Stepwise Hedge Automata}, booktitle = {Fundamentals of Computation Theory - 24th International Symposium, {FCT} 2023, Trier, Germany, September 18-21, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14292}, pages = {16--31}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-43587-4\_2}, doi = {10.1007/978-3-031-43587-4\_2}, timestamp = {Mon, 25 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fct/SerhaliN23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fct/TanakaM23, author = {Kodai Tanaka and Takaaki Mizuki}, editor = {Henning Fernau and Klaus Jansen}, title = {Two {UNO} Decks Efficiently Perform Zero-Knowledge Proof for Sudoku}, booktitle = {Fundamentals of Computation Theory - 24th International Symposium, {FCT} 2023, Trier, Germany, September 18-21, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14292}, pages = {406--420}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-43587-4\_29}, doi = {10.1007/978-3-031-43587-4\_29}, timestamp = {Fri, 27 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fct/TanakaM23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fct/Yamakami23, author = {Tomoyuki Yamakami}, editor = {Henning Fernau and Klaus Jansen}, title = {Power of Counting by Nonuniform Families of Polynomial-Size Finite Automata}, booktitle = {Fundamentals of Computation Theory - 24th International Symposium, {FCT} 2023, Trier, Germany, September 18-21, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14292}, pages = {421--435}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-43587-4\_30}, doi = {10.1007/978-3-031-43587-4\_30}, timestamp = {Mon, 25 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fct/Yamakami23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/fct/2023, editor = {Henning Fernau and Klaus Jansen}, title = {Fundamentals of Computation Theory - 24th International Symposium, {FCT} 2023, Trier, Germany, September 18-21, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14292}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-43587-4}, doi = {10.1007/978-3-031-43587-4}, isbn = {978-3-031-43586-7}, timestamp = {Mon, 25 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fct/2023.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.