×

zbMATH — the first resource for mathematics

Found 725 Documents (Results 1–100)

Hits per Page
100
Display Format
MathJax
Result Sorting
Newest 1st
Tian, Cong; Wang, Wensheng; Duan, Zhenhua
Making Streett determinization tight. (English) Zbl 07299518
Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7104-9). 859-872 (2020).
MSC:  68
PDF BibTeX XML Cite
\textit{C. Tian} et al., in: Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8--11, 2020. New York, NY: Association for Computing Machinery (ACM). 859--872 (2020; Zbl 07299518)
Full Text: DOI
Kutrib, Martin; Malcher, Andreas; Mereghetti, Carlo; Palano, Beatrice
Descriptional complexity of iterated uniform finite-state transducers. (English) Zbl 1434.68272
Hospodár, Michal (ed.) et al., Descriptional complexity of formal systems. 21st IFIP WG 1.02 international conference, DCFS 2019, Košice, Slovakia, July 17–19, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11612, 223-234 (2019).
MSC:  68Q45
PDF BibTeX XML Cite
\textit{M. Kutrib} et al., Lect. Notes Comput. Sci. 11612, 223--234 (2019; Zbl 1434.68272)
Full Text: DOI
Brzozowski, Janusz A.; Davies, Sylvie; Madan, Abhishek
State complexity of single-word pattern matching in regular languages. (English) Zbl 1434.68238
Hospodár, Michal (ed.) et al., Descriptional complexity of formal systems. 21st IFIP WG 1.02 international conference, DCFS 2019, Košice, Slovakia, July 17–19, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11612, 86-97 (2019).
MSC:  68Q45
PDF BibTeX XML Cite
\textit{J. A. Brzozowski} et al., Lect. Notes Comput. Sci. 11612, 86--97 (2019; Zbl 1434.68238)
Full Text: DOI
Kozachinskiy, Alexander; Shen, Alexander
Two characterizations of finite-state dimension. (English) Zbl 07160828
Gąsieniec, Leszek Antoni (ed.) et al., Fundamentals of computation theory. 22nd international symposium, FCT 2019, Copenhagen, Denmark, August 12–14, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-25026-3/pbk; 978-3-030-25027-0/ebook). Lecture Notes in Computer Science 11651, 80-94 (2019).
MSC:  68Qxx
PDF BibTeX XML Cite
\textit{A. Kozachinskiy} and \textit{A. Shen}, Lect. Notes Comput. Sci. 11651, 80--94 (2019; Zbl 07160828)
Full Text: DOI
Aaronson, Scott; Rothblum, Guy N.
Gentle measurement of quantum states and differential privacy. (English) Zbl 1433.68124
Charikar, Moses (ed.) et al., Proceedings of the 51st annual ACM SIGACT symposium on theory of computing, STOC ’19, Phoenix, AZ, USA, June 23–26, 2019. New York, NY: Association for Computing Machinery (ACM). 322-333 (2019).
MSC:  68P27 68Q12 81P15 81P45
PDF BibTeX XML Cite
\textit{S. Aaronson} and \textit{G. N. Rothblum}, in: Proceedings of the 51st annual ACM SIGACT symposium on theory of computing, STOC '19, Phoenix, AZ, USA, June 23--26, 2019. New York, NY: Association for Computing Machinery (ACM). 322--333 (2019; Zbl 1433.68124)
Full Text: DOI
Yamakami, Tomoyuki
Nonuniform families of polynomial-size quantum finite automata and quantum logarithmic-space computation with polynomial-size advice. (English) Zbl 1425.68238
Martín-Vide, Carlos (ed.) et al., Language and automata theory and applications. 13th international conference, LATA 2019, St. Petersburg, Russia, March 26–29, 2019, Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11417, 134-145 (2019).
MSC:  68Q45 68Q12 81P68
PDF BibTeX XML Cite
\textit{T. Yamakami}, Lect. Notes Comput. Sci. 11417, 134--145 (2019; Zbl 1425.68238)
Full Text: DOI
Yamakami, Tomoyuki
Relativizations of nonuniform quantum finite automata families. (English) Zbl 07116042
McQuillan, Ian (ed.) et al., Unconventional computation and natural computation. 18th international conference, UCNC 2019, Tokyo, Japan, June 3–7, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-19310-2/pbk; 978-3-030-19311-9/ebook). Lecture Notes in Computer Science 11493, 257-271 (2019).
MSC:  68Q05 68Q10
PDF BibTeX XML Cite
\textit{T. Yamakami}, Lect. Notes Comput. Sci. 11493, 257--271 (2019; Zbl 07116042)
Full Text: DOI
Dale, Matthew; Dewhirst, Jack; O’Keefe, Simon; Sebald, Angelika; Stepney, Susan; Trefzer, Martin A.
The role of structure and complexity on reservoir computing quality. (English) Zbl 07116028
McQuillan, Ian (ed.) et al., Unconventional computation and natural computation. 18th international conference, UCNC 2019, Tokyo, Japan, June 3–7, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-19310-2/pbk; 978-3-030-19311-9/ebook). Lecture Notes in Computer Science 11493, 52-64 (2019).
MSC:  68Q05 68Q10
PDF BibTeX XML Cite
\textit{M. Dale} et al., Lect. Notes Comput. Sci. 11493, 52--64 (2019; Zbl 07116028)
Full Text: DOI
Fijalkow, Nathanaël
The state complexity of alternating automata. (English) Zbl 07298766
Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9–12, 2018. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-5583-4). 414-421 (2018).
MSC:  68Q45
PDF BibTeX XML Cite
\textit{N. Fijalkow}, in: Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9--12, 2018. New York, NY: Association for Computing Machinery (ACM). 414--421 (2018; Zbl 07298766)
Full Text: DOI
Brzozowski, Janusz A.; Davies, Sylvie
Most complex deterministic union-free regular languages. (English) Zbl 1435.68150
Konstantinidis, Stavros (ed.) et al., Descriptional complexity of formal systems. 20th IFIP WG 1.02 international conference, DCFS 2018, Halifax, NS, Canada, July 25–27, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10952, 37-48 (2018).
MSC:  68Q45 20M35
PDF BibTeX XML Cite
\textit{J. A. Brzozowski} and \textit{S. Davies}, Lect. Notes Comput. Sci. 10952, 37--48 (2018; Zbl 1435.68150)
Full Text: DOI
Aaronson, Scott
Shadow tomography of quantum states. (English) Zbl 1427.81018
Diakonikolas, Ilias (ed.) et al., Proceedings of the 50th annual ACM SIGACT symposium on theory of computing, STOC ’18, Los Angeles, CA, USA, June 25–29, 2018. New York, NY: Association for Computing Machinery (ACM). 325-338 (2018).
MSC:  81P68 68Q12 81P45
PDF BibTeX XML Cite
\textit{S. Aaronson}, in: Proceedings of the 50th annual ACM SIGACT symposium on theory of computing, STOC '18, Los Angeles, CA, USA, June 25--29, 2018. New York, NY: Association for Computing Machinery (ACM). 325--338 (2018; Zbl 1427.81018)
Full Text: DOI
Sinnamon, Corwin
Complexity of proper suffix-convex regular languages. (English) Zbl 06974644
Câmpeanu, Cezar (ed.), Implementation and application of automata. 23rd international conference, CIAA 2018, Charlottetown, PE, Canada, July 30 – August 2, 2018. Proceedings. Cham: Springer (ISBN 978-3-319-94811-9/pbk; 978-3-319-94812-6/ebook). Lecture Notes in Computer Science 10977, 324-338 (2018).
MSC:  68Q45
PDF BibTeX XML Cite
\textit{C. Sinnamon}, Lect. Notes Comput. Sci. 10977, 324--338 (2018; Zbl 06974644)
Full Text: DOI
Brzozowski, Janusz A.; Kari, Lila; Li, Bai; Szykuła, Marek
State complexity of overlap assembly. (English) Zbl 06974627
Câmpeanu, Cezar (ed.), Implementation and application of automata. 23rd international conference, CIAA 2018, Charlottetown, PE, Canada, July 30 – August 2, 2018. Proceedings. Cham: Springer (ISBN 978-3-319-94811-9/pbk; 978-3-319-94812-6/ebook). Lecture Notes in Computer Science 10977, 109-120 (2018).
MSC:  68Q45
PDF BibTeX XML Cite
\textit{J. A. Brzozowski} et al., Lect. Notes Comput. Sci. 10977, 109--120 (2018; Zbl 06974627)
Full Text: DOI
Gharibian, Sevag; Yirka, Justin
The complexity of simulating local measurements on quantum systems. (English) Zbl 1427.81009
Wilde, Mark M. (ed.), 12th conference on the theory of quantum computation, communication and cryptography, TQC 2017, June 14–16, 2017, Paris, France. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 73, Article 2, 17 p. (2018).
MSC:  81P15 68Q12 81Q80
PDF BibTeX XML Cite
\textit{S. Gharibian} and \textit{J. Yirka}, LIPIcs -- Leibniz Int. Proc. Inform. 73, Article 2, 17 p. (2018; Zbl 1427.81009)
Full Text: DOI
Kiefer, Stefan; Mayr, Richard; Shirmohammadi, Mahsa; Wojtczak, Dominik
On strong determinacy of countable stochastic games. (English) Zbl 1452.91028
Proceedings of the 2017 32nd annual ACM/IEEE symposium on logic in computer science, LICS 2017, Reykjavík University, Reykjavík, Iceland, June 20–23, 2017. Piscataway, NJ: IEEE Press. Article No. 74, 12 p. (2017).
MSC:  91A15 91A05 91A44 68Q45 91A68
PDF BibTeX XML Cite
\textit{S. Kiefer} et al., in: Proceedings of the 2017 32nd annual ACM/IEEE symposium on logic in computer science, LICS 2017, Reykjavík University, Reykjavík, Iceland, June 20--23, 2017. Piscataway, NJ: IEEE Press. Article No. 74, 12 p. (2017; Zbl 1452.91028)
Full Text: Link
Baier, Christel; Klein, Joachim; Klüppelholz, Sascha; Wunderlich, Sascha
Maximizing the conditional expected reward for reaching the goal. (English) Zbl 1453.90180
Legay, Axel (ed.) et al., Tools and algorithms for the construction and analysis of systems. 23rd international conference, TACAS 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Part II. Berlin: Springer. Lect. Notes Comput. Sci. 10206, 269-285 (2017).
MSC:  90C40 68Q25 68W40
PDF BibTeX XML Cite
\textit{C. Baier} et al., Lect. Notes Comput. Sci. 10206, 269--285 (2017; Zbl 1453.90180)
Full Text: DOI
Bouyer, Patricia; Haddad, Serge; Jugé, Vincent
Unbounded product-form Petri nets. (English) Zbl 1442.68127
Meyer, Roland (ed.) et al., 28th international conference on concurrency theory. CONCUR 2017, Berlin, Germany, September 5–8, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 85, Article 31, 16 p. (2017).
MSC:  68Q85 60K30 68Q25 68Q87
PDF BibTeX XML Cite
\textit{P. Bouyer} et al., LIPIcs -- Leibniz Int. Proc. Inform. 85, Article 31, 16 p. (2017; Zbl 1442.68127)
Full Text: DOI
Bacci, Giovanni; Bacci, Giorgio; Larsen, Kim G.; Mardare, Radu
On the metric-based approximate minimization of Markov chains. (English) Zbl 1442.68079
Chatzigiannakis, Ioannis (ed.) et al., 44th international colloquium on automata, languages, and programming, ICALP 2017, Warsaw, Poland July 10–14, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 80, Article 104, 14 p. (2017).
MSC:  68Q45 60J10 68Q17 68Q25 68Q87
PDF BibTeX XML Cite
\textit{G. Bacci} et al., LIPIcs -- Leibniz Int. Proc. Inform. 80, Article 104, 14 p. (2017; Zbl 1442.68079)
Full Text: DOI
Hosoyamada, Akinori; Sasaki, Yu; Xagawa, Keita
Quantum multicollision-finding algorithm. (English) Zbl 1380.81087
Takagi, Tsuyoshi (ed.) et al., Advances in cryptology – ASIACRYPT 2017. 23rd international conference on the theory and applications of cryptology and information security, Hong Kong, China, December 3–7, 2017. Proceedings. Part II. Cham: Springer (ISBN 978-3-319-70696-2/pbk; 978-3-319-70697-9/ebook). Lecture Notes in Computer Science 10625, 179-210 (2017).
MSC:  81P68 81P94 94A60
PDF BibTeX XML Cite
\textit{A. Hosoyamada} et al., Lect. Notes Comput. Sci. 10625, 179--210 (2017; Zbl 1380.81087)
Full Text: DOI

Filter Results by …

Document Type
Reviewing State
all top 5
Author
all top 5
Serial
all top 5
Year of Publication
all top 3
Classification
all top 3
Software