×

zbMATH — the first resource for mathematics

Found 938 Documents (Results 1–100)

Hits per Page
100
Display Format
MathJax
Result Sorting
Newest 1st
Sickert, Salomon; Esparza, Javier
An efficient normalisation procedure for linear temporal logic and very weak alternating automata. (English) Zbl 07299516
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). 831-844 (2020).
MSC:  68 03B44
PDF BibTeX XML Cite
\textit{S. Sickert} and \textit{J. Esparza}, 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). 831--844 (2020; Zbl 07299516)
Full Text: DOI
Ji, Jing; Heinz, Jeffrey
Input strictly local tree transducers. (English) Zbl 1448.68267
Leporati, Alberto (ed.) et al., Language and automata theory and applications. 14th international conference, LATA 2020, Milan, Italy, March 4–6, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12038, 369-381 (2020).
Reviewer: Andreas Maletti (Leipzig)
MSC:  68Q45
PDF BibTeX XML Cite
\textit{J. Ji} and \textit{J. Heinz}, Lect. Notes Comput. Sci. 12038, 369--381 (2020; Zbl 1448.68267)
Full Text: DOI
Yamakami, Tomoyuki
Intersection and union hierarchies of deterministic context-free languages and pumping lemmas. (English) Zbl 1437.68108
Leporati, Alberto (ed.) et al., Language and automata theory and applications. 14th international conference, LATA 2020, Milan, Italy, March 4–6, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12038, 341-353 (2020).
MSC:  68Q45
PDF BibTeX XML Cite
\textit{T. Yamakami}, Lect. Notes Comput. Sci. 12038, 341--353 (2020; Zbl 1437.68108)
Full Text: DOI
Wolf, Petra
On the decidability of finding a positive ILP-instance in a regular set of ILP-instances. (English) Zbl 1434.68291
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, 272-284 (2019).
MSC:  68Q45 03B25 90C10
PDF BibTeX XML Cite
\textit{P. Wolf}, Lect. Notes Comput. Sci. 11612, 272--284 (2019; Zbl 1434.68291)
Full Text: DOI
Parker, Austin J.; Yancey, Kelly B.; Yancey, Matthew P.
Definitions and properties of entropy and distance for regular languages. (English) Zbl 07154763
Hawkins, Jane (ed.) et al., Dynamical systems and random processes, 16th Carolina dynamics symposium, Agnes Scott College, Decatur, Georgia, April 13–15, 2018. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-4831-8/pbk; 978-1-4704-5446-3/ebook). Contemporary Mathematics 736, 139-169 (2019).
MSC:  37B10 68Q45 37B40 68Q70
PDF BibTeX XML Cite
\textit{A. J. Parker} et al., Contemp. Math. 736, 139--169 (2019; Zbl 07154763)
Full Text: DOI
D’Acci, Luca (ed.)
The mathematics of urban morphology. With a foreword by Michael Batty. (English) Zbl 1410.91008
Modeling and Simulation in Science, Engineering and Technology. Cham: Birkhäuser (ISBN 978-3-030-12380-2/hbk; 978-3-030-12381-9/ebook). xiii, 564 p. (2019).
Reviewer: Yilun Shang (Newcastle)
MSC:  91-06 91D10 90B10 28A80 60G50 68Q80
PDF BibTeX XML Cite
\textit{L. D'Acci} (ed.), The mathematics of urban morphology. With a foreword by Michael Batty. Cham: Birkhäuser (2019; Zbl 1410.91008)
Full Text: DOI
Esparza, Javier; Křetínský, Jan; Sickert, Salomon
One theorem to rule them all: a unified translation of LTL into \(\omega \)-automata. (English) Zbl 07298763
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). 384-393 (2018).
MSC:  68Q45 03B44
PDF BibTeX XML Cite
\textit{J. Esparza} et al., 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). 384--393 (2018; Zbl 07298763)
Full Text: DOI
Kuperberg, Denis; Majumdar, Anirban
Width of non-deterministic automata. (English) Zbl 07228438
Niedermeier, Rolf (ed.) et al., 35th symposium on theoretical aspects of computer science, STACS 2018, Caen, France, February 28 – March 3, 2018. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-062-0). LIPIcs – Leibniz International Proceedings in Informatics 96, Article 47, 14 p. (2018).
MSC:  68Qxx
PDF BibTeX XML Cite
\textit{D. Kuperberg} and \textit{A. Majumdar}, LIPIcs -- Leibniz Int. Proc. Inform. 96, Article 47, 14 p. (2018; Zbl 07228438)
Full Text: DOI
Bondar, E. A.; Volkov, M. V.
A characterization of completely reachable automata. (English) Zbl 06983374
Hoshi, Mizuho (ed.) et al., Developments in language theory. 22nd international conference, DLT 2018, Tokyo, Japan, September 10–14, 2018. Proceedings. Cham: Springer (ISBN 978-3-319-98653-1/pbk; 978-3-319-98654-8/ebook). Lecture Notes in Computer Science 11088, 145-155 (2018).
MSC:  68Q45
PDF BibTeX XML Cite
\textit{E. A. Bondar} and \textit{M. V. Volkov}, Lect. Notes Comput. Sci. 11088, 145--155 (2018; Zbl 06983374)
Full Text: DOI
Parchami, Shaghayegh; Nagy, Benedek
Deterministic sensing \(5'\rightarrow 3'\) Watson-Crick automata without sensing parameter. (English) Zbl 06958394
Stepney, Susan (ed.) et al., Unconventional computation and natural computation. 17th international conference, UCNC 2018, Fontainebleau, France, June 25–29, 2018. Proceedings. Cham: Springer (ISBN 978-3-319-92434-2/pbk; 978-3-319-92435-9/ebook). Lecture Notes in Computer Science 10867, 173-187 (2018).
MSC:  68Q05 68Q10
PDF BibTeX XML Cite
\textit{S. Parchami} and \textit{B. Nagy}, Lect. Notes Comput. Sci. 10867, 173--187 (2018; Zbl 06958394)
Full Text: DOI
D’Antoni, Loris; Veanes, Margus
Forward bisimulations for nondeterministic symbolic finite automata. (English) Zbl 1452.68103
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 I. Berlin: Springer. Lect. Notes Comput. Sci. 10205, 518-534 (2017).
MSC:  68Q45
PDF BibTeX XML Cite
\textit{L. D'Antoni} and \textit{M. Veanes}, Lect. Notes Comput. Sci. 10205, 518--534 (2017; Zbl 1452.68103)
Full Text: DOI
Li, Yong; Chen, Yu-Fang; Zhang, Lijun; Liu, Depeng
A novel learning algorithm for Büchi automata based on family of DFAs and classification trees. (English) Zbl 1453.68098
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 I. Berlin: Springer. Lect. Notes Comput. Sci. 10205, 208-226 (2017).
MSC:  68Q32 68Q45
PDF BibTeX XML Cite
\textit{Y. Li} et al., Lect. Notes Comput. Sci. 10205, 208--226 (2017; Zbl 1453.68098)
Full Text: DOI
Agrawal, Shweta; Singh, Ishaan Preet
Reusable garbled deterministic finite automata from learning with errors. (English) Zbl 1441.68116
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 36, 13 p. (2017).
MSC:  68Q45 68P25 68Q04
PDF BibTeX XML Cite
\textit{S. Agrawal} and \textit{I. P. Singh}, LIPIcs -- Leibniz Int. Proc. Inform. 80, Article 36, 13 p. (2017; Zbl 1441.68116)
Full Text: DOI
Freydenberger, Dominik D.; Schmid, Markus L.
Deterministic regular expressions with back-references. (English) Zbl 1402.68115
Vollmer, Heribert (ed.) et al., 34th symposium on theoretical aspects of computer science (STACS 2017), Hannover, Germany, March 8–11, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-028-6). LIPIcs – Leibniz International Proceedings in Informatics 66, Article 33, 14 p. (2017).
MSC:  68Q45
PDF BibTeX XML Cite
\textit{D. D. Freydenberger} and \textit{M. L. Schmid}, LIPIcs -- Leibniz Int. Proc. Inform. 66, Article 33, 14 p. (2017; Zbl 1402.68115)
Full Text: DOI
Böhm, Stanislav; Göller, Stefan; Halfon, Simon; Hofman, Piotr
On Büchi one-counter automata. (English) Zbl 1402.68114
Vollmer, Heribert (ed.) et al., 34th symposium on theoretical aspects of computer science (STACS 2017), Hannover, Germany, March 8–11, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-028-6). LIPIcs – Leibniz International Proceedings in Informatics 66, Article 14, 13 p. (2017).
MSC:  68Q45 03D05
PDF BibTeX XML Cite
\textit{S. Böhm} et al., LIPIcs -- Leibniz Int. Proc. Inform. 66, Article 14, 13 p. (2017; Zbl 1402.68114)
Full Text: DOI
Moerman, Joshua; Sammartino, Matteo; Silva, Alexandra; Klin, Bartek; Szynwelski, Michał
Learning nominal automata. (English) Zbl 1380.68243
Castagna, Giuseppe (ed.) et al., Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL ’17, Paris, France, January 15–21, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4660-3). 613-625 (2017).
MSC:  68Q32 68N18 68Q45
PDF BibTeX XML Cite
\textit{J. Moerman} et al., in: Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL '17, Paris, France, January 15--21, 2017. New York, NY: Association for Computing Machinery (ACM). 613--625 (2017; Zbl 1380.68243)
Full Text: DOI
Al Khatib, Mohammad; Girard, Antoine; Dang, Thao
Scheduling of embedded controllers under timing contracts. (English) Zbl 1369.93359
Proceedings of the 20th ACM international conference on hybrid systems: computation and control, HSCC 2017, Pittsburgh, PA, USA, April 18–20, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4590-3). 131-140 (2017).
MSC:  93C57 68Q45 90B35
PDF BibTeX XML Cite
\textit{M. Al Khatib} et al., in: Proceedings of the 20th ACM international conference on hybrid systems: computation and control, HSCC 2017, Pittsburgh, PA, USA, April 18--20, 2017. New York, NY: Association for Computing Machinery (ACM). 131--140 (2017; Zbl 1369.93359)
Full Text: DOI
Wilke, Thomas
Past, present, and infinite future. (English) Zbl 1388.03040
Chatzigiannakis, Ioannis (ed.) et al., 43rd international colloquium on automata, languages, and programming, ICALP 2016, Rome, Italy, July 12–15, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-013-2). LIPIcs – Leibniz International Proceedings in Informatics 55, Article 95, 14 p. (2016).
MSC:  03D05 03B44
PDF BibTeX XML Cite
\textit{T. Wilke}, LIPIcs -- Leibniz Int. Proc. Inform. 55, Article 95, 14 p. (2016; Zbl 1388.03040)
Full Text: DOI
Ponomareva, A. Yu.
Behavior of finite-nonstationary deterministic automata in a fuzzy environment. (English. Russian original) Zbl 1420.68110
Vestn. St. Petersbg. Univ., Math. 49, No. 1, 23-33 (2016); translation from Vestn. St-Peterbg. Univ., Ser. I, Mat. Mekh. Astron. 3(61), No. 1, 32-43 (2016).
MSC:  68Q45 93C42
PDF BibTeX XML Cite
\textit{A. Yu. Ponomareva}, Vestn. St. Petersbg. Univ., Math. 49, No. 1, 23--33 (2016; Zbl 1420.68110); translation from Vestn. St-Peterbg. Univ., Ser. I, Mat. Mekh. Astron. 3(61), No. 1, 32--43 (2016)
Full Text: DOI
Lerner, Emil
On synchronizing automata and uniform distribution. (English) Zbl 06650034
Han, Yo-Sub (ed.) et al., Implementation and application of automata. 21st international conference, CIAA 2016, Seoul, South Korea, July 19–22, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-40945-0/pbk; 978-3-319-40946-7/ebook). Lecture Notes in Computer Science 9705, 202-212 (2016).
MSC:  68Q45
PDF BibTeX XML Cite
\textit{E. Lerner}, Lect. Notes Comput. Sci. 9705, 202--212 (2016; Zbl 06650034)
Full Text: DOI
Nuel, G.; Delos, V.
Counting regular expressions in degenerated sequences through lazy Markov chain embedding. (English) Zbl 1332.92007
Chen, Ke (ed.) et al., Forging connections between computational mathematics and computational geometry. Papers from the 3rd international conference on computational mathematics and computational geometry, CMCGS 2014, Singapore, February 3–4, 2014. Cham: Springer (ISBN 978-3-319-16138-9/hbk; 978-3-319-16139-6/ebook). Springer Proceedings in Mathematics & Statistics 124, 235-246 (2016).
MSC:  92B15 92D10 68Q80
PDF BibTeX XML Cite
\textit{G. Nuel} and \textit{V. Delos}, in: Forging connections between computational mathematics and computational geometry. Papers from the 3rd international conference on computational mathematics and computational geometry, CMCGS 2014, Singapore, February 3--4, 2014. Cham: Springer. 235--246 (2016; Zbl 1332.92007)
Full Text: DOI
Fiedor, Tomáš; Holík, Lukáš; Lengál, Ondřej; Vojnar, Tomáš
Nested antichains for WS1S. (English) Zbl 1420.68186
Baier, Christel (ed.) et al., Tools and algorithms for the construction and analysis of systems. 21st international conference, TACAS 2015, held as part of the European joint conferences on theory and practice of software, ETAPS 2015, London, UK, April 11–18, 2015. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9035, 658-674 (2015).
MSC:  68T15 03B25 03B35 03D05
PDF BibTeX XML Cite
\textit{T. Fiedor} et al., Lect. Notes Comput. Sci. 9035, 658--674 (2015; Zbl 1420.68186)
Full Text: DOI
Priez, Jean-Baptiste
Enumeration of minimal acyclic automata via generalized parking functions. (English. French summary) Zbl 1356.68135
Proceedings of the 27th international conference on formal power series and algebraic combinatorics, FPSAC 2015, Daejeon, South Korea, July 6–10, 2015. Nancy: The Association. Discrete Mathematics & Theoretical Computer Science (DMTCS). Discrete Mathematics and Theoretical Computer Science. Proceedings, 697-708 (2015).
MSC:  68Q45 05C30
PDF BibTeX XML Cite
\textit{J.-B. Priez}, in: Proceedings of the 27th international conference on formal power series and algebraic combinatorics, FPSAC 2015, Daejeon, South Korea, July 6--10, 2015. Nancy: The Association. Discrete Mathematics \& Theoretical Computer Science (DMTCS). 697--708 (2015; Zbl 1356.68135)
Full Text: Link arXiv
Nayak, Ananda Chandra; Kapoor, Kalpesh
On the language of primitive partial words. (English) Zbl 1451.68219
Dediu, Adrian-Horia (ed.) et al., Language and automata theory and applications. 9th international conference, LATA 2015, Nice, France, March 2–6, 2015. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8977, 436-445 (2015).
MSC:  68R15 68Q45
PDF BibTeX XML Cite
\textit{A. C. Nayak} and \textit{K. Kapoor}, Lect. Notes Comput. Sci. 8977, 436--445 (2015; Zbl 1451.68219)
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