×

Found 4,544 Documents (Results 1–100)

100
MathJax

The logical approach to automatic sequences. Exploring combinatorics on words with Walnut. (English) Zbl 07565707

London Mathematical Society Lecture Note Series 482. Cambridge: Cambridge University Press (ISBN 978-1-108-74524-6/pbk; 978-1-108-77526-7/ebook). xvi, 358 p. (2023).
PDF BibTeX XML Cite
Full Text: DOI

Weighted automata, formal power series and weighted logic. (English) Zbl 07613429

BestMasters. Wiesbaden: Springer Spektrum; Konstanz: Univ. of Konstanz (Master Thesis) (ISBN 978-3-658-39322-9/pbk; 978-3-658-39323-6/ebook). xi, 190 p. (2022).
PDF BibTeX XML Cite
Full Text: DOI

Synchronizing words for real-time deterministic pushdown automata (extended abstract). (English) Zbl 07597664

Giri, Debasis (ed.) et al., Proceedings of the seventh international conference on mathematics and computing, ICMC 2021, Shibpur, India, March 2–5, 2021. Singapore: Springer. Adv. Intell. Syst. Comput. 1412, 551-562 (2022).
MSC:  68-XX 03-XX
PDF BibTeX XML Cite
Full Text: DOI

Collected works of William P. Thurston with commentary: III. Dynamics, computer science and general interest. Edited by Benson Farb, David Gabai and Steven P. Kerckhoff. (English) Zbl 07581722

Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-6390-8/hbk; 978-1-4704-6835-4/ebook; 978-1-4704-5164-6/ebook). xxi, 604 p. (2022).
PDF BibTeX XML Cite

Proceedings of the 25th ACM international conference on hybrid systems: computation and control, HSCC 2022, part of CPS-IoT week, Milan, Italy and virtual, May 4–6, 2022. (English) Zbl 1492.68007

New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-9196-2). xii, 30 articles, not consecutively paged (2022).
PDF BibTeX XML Cite
Full Text: DOI

Implementation and application of automata. 26th international conference, CIAA 2022, Rouen, France, June 28 – July 1, 2022. Proceedings. (English) Zbl 1492.68013

Lecture Notes in Computer Science 13266. Cham: Springer (ISBN 978-3-031-07468-4/pbk; 978-3-031-07469-1/ebook). x, 251 p. (2022).
MSC:  68-06 68Q45 00B25
PDF BibTeX XML Cite
Full Text: DOI

Developments in language theory. 26th international conference, DLT 2022, Tampa, FL, USA, May 9–13, 2022. Proceedings. (English) Zbl 1492.68017

Lecture Notes in Computer Science 13257. Cham: Springer (ISBN 978-3-031-05577-5/pbk; 978-3-031-05578-2/ebook). xviii, 325 p. (2022).
MSC:  68-06 68Q45 00B25
PDF BibTeX XML Cite
Full Text: DOI

Methods and applications of algorithmic complexity. Beyond statistical lossless compression. (English) Zbl 07503605

Emergence, Complexity and Computation 44. Berlin: Springer (ISBN 978-3-662-64983-1/hbk; 978-3-662-64985-5/ebook). ix, 267 p. (2022).
MSC:  68-02 68P30 68Q30
PDF BibTeX XML Cite
Full Text: DOI

Model checking, synthesis, and learning. Essays dedicated to Bengt Jonsson on the occasion of his 60th birthday. (English) Zbl 07497120

Lecture Notes in Computer Science 13030. Cham: Springer (ISBN 978-3-030-91383-0/pbk; 978-3-030-91384-7/ebook). viii, 219 p. (2022).
PDF BibTeX XML Cite
Full Text: DOI

Linear temporal logic – from infinite to finite horizon. (English) Zbl 07546591

Hou, Zhe (ed.) et al., Automated technology for verification and analysis. 19th international symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12971, 3-12 (2021).
MSC:  03B44 03B70 68Q45
PDF BibTeX XML Cite
Full Text: DOI

Proceedings of the 12th international symposium on games, automata, logics, and formal verification, GandALF, Padua, Italy, September 20–22, 2021. (English) Zbl 1489.68014

Electronic Proceedings in Theoretical Computer Science (EPTCS) 346. Waterloo: Open Publishing Association (OPA). 307 p., electronic only, open access (2021).
PDF BibTeX XML Cite
Full Text: DOI Link

Optimizing reachability probabilities for a restricted class of stochastic hybrid automata via flowpipe-construction. (English) Zbl 1491.68102

Abate, Alessandro (ed.) et al., Quantitative evaluation of systems. 18th international conference, QEST 2021, Paris, France, August 23–27, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12846, 435-456 (2021).
MSC:  68Q45 68Q87
PDF BibTeX XML Cite
Full Text: DOI

Tweaking the odds in probabilistic timed automata. (English) Zbl 1491.68098

Abate, Alessandro (ed.) et al., Quantitative evaluation of systems. 18th international conference, QEST 2021, Paris, France, August 23–27, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12846, 39-58 (2021).
PDF BibTeX XML Cite
Full Text: DOI

The applications of object migration automaton (OMA)-memetic algorithm for solving NP-hard problems. (English) Zbl 1485.68221

Kordestani, Javidan Kazemi (ed.) et al., Advances in learning automata and intelligent optimization. Cham: Springer. Intell. Syst. Ref. Libr. 208, 195-252 (2021).
PDF BibTeX XML Cite
Full Text: DOI

Handbook of automata theory. Volume II. Automata in mathematics and selected applications. (English) Zbl 1470.68002

Berlin: European Mathematical Society (EMS) (ISBN 978-3-98547-003-7/hbk; 978-3-98547-006-8/set; 978-3-98547-506-3/ebook-set). xxii, 840-1493, xxiii-lv (2021).
MSC:  68-00 68Q45 00B15
PDF BibTeX XML Cite
Full Text: DOI

Developments in language theory. 25th international conference, DLT 2021, Porto, Portugal, August 16–20, 2021. Proceedings. (English) Zbl 1482.68035

Lecture Notes in Computer Science 12811. Cham: Springer (ISBN 978-3-030-81507-3/pbk; 978-3-030-81508-0/ebook). xvii, 381 p. (2021).
MSC:  68-06 68Q45 00B25
PDF BibTeX XML Cite
Full Text: DOI

Iterative bounded synthesis for efficient cycle detection in parametric timed automata. (English) Zbl 1467.68078

Groote, Jan Friso (ed.) et al., Tools and algorithms for the construction and analysis of systems. 27th international conference, TACAS 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12651, 311-329 (2021).
MSC:  68Q45 68R10 68W05
PDF BibTeX XML Cite
Full Text: DOI

Multi-objective optimization of long-run average and total rewards. (English) Zbl 1467.68094

Groote, Jan Friso (ed.) et al., Tools and algorithms for the construction and analysis of systems. 27th international conference, TACAS 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12651, 230-249 (2021).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Proceedings of the 24th ACM international conference on hybrid systems: computation and control, HSCC 2021, part of CPS-IoT week, Nashville, TN, USA, May 19–21, 2021. (English) Zbl 1466.68005

New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-8339-4). 27 articles, not consecutively paged (2021).
PDF BibTeX XML Cite
Full Text: DOI

Introduction to computation. Haskell, logic and automata. (English) Zbl 07374630

Undergraduate Topics in Computer Science. Cham: Springer (ISBN 978-3-030-76907-9/pbk; 978-3-030-76908-6/ebook). xvi, 366 p. (2021).
PDF BibTeX XML Cite
Full Text: DOI

Language and automata theory and applications. 15th international conference, LATA 2021, Milan, Italy, March 1–5, 2021. Proceedings. (English) Zbl 1470.68022

Lecture Notes in Computer Science 12638. Cham: Springer (ISBN 978-3-030-68194-4/pbk; 978-3-030-68195-1/ebook). xi, 342 p. (2021).
MSC:  68-06 68Q45 00B25
PDF BibTeX XML Cite
Full Text: DOI

Implementation and application of automata. 25th international conference, CIAA 2021, virtual event, July 19–22, 2021. Proceedings. (English) Zbl 1482.68034

Lecture Notes in Computer Science 12803. Cham: Springer (ISBN 978-3-030-79120-9/pbk; 978-3-030-79121-6/ebook). xiii, 191 p. (2021).
MSC:  68-06 68Q45 00B25
PDF BibTeX XML Cite
Full Text: DOI

27th IFIP WG 1.5 international workshop on cellular automata and discrete complex systems, AUTOMATA 2021, Aix-Marseille University, France, July 12–14, 2021. (English) Zbl 1465.68015

OASIcs – OpenAccess Series in Informatics 90. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik (ISBN 978-3-95977-189-4). ix, 12 articles, not consecutively paged, electronic only, open access (2021).
PDF BibTeX XML Cite
Full Text: DOI Link

Advances in learning automata and intelligent optimization. (English) Zbl 1470.68021

Intelligent Systems Reference Library 208. Cham: Springer (ISBN 978-3-030-76290-2/hbk; 978-3-030-76291-9/ebook). xx, 340 p. (2021).
PDF BibTeX XML Cite
Full Text: DOI

New methods and paradigms for modeling dynamic processes based on cellular automata. (English) Zbl 1448.68020

Advances in Computer and Electrical Engineering. Hershey, PA: IGI Global (ISBN 978-1-7998-2649-1; 978-1-7998-2650-7/pbk; 978-1-7998-2651-4/ebook). x, 322 p. (2021).
PDF BibTeX XML Cite
Full Text: DOI

Typestates to automata and back: a tool. (English) Zbl 1477.68073

Lange, Julien (ed.) et al., Proceedings of the 13th interaction and concurrency experience workshop, ICE’20, online, June 19, 2020. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 324, 25-42 (2020).
PDF BibTeX XML Cite
Full Text: arXiv Link

A glimpse into Thurston’s work. (English) Zbl 1479.57040

Ohshika, Ken’ichi (ed.) et al., In the tradition of Thurston. Geometry and topology. Cham: Springer. 1-58 (2020).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Formalized proofs of the infinity and normal form predicates in the first-order theory of rewriting. (English) Zbl 1483.68149

Biere, Armin (ed.) et al., Tools and algorithms for the construction and analysis of systems. 26th international conference, TACAS 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12079, 178-194 (2020).
PDF BibTeX XML Cite
Full Text: DOI

Developments in language theory. 24th international conference, DLT 2020, Tampa, FL, USA, May 11–15, 2020. Proceedings. (English) Zbl 1496.68024

Lecture Notes in Computer Science 12086. Cham: Springer (ISBN 978-3-030-48515-3/pbk; 978-3-030-48516-0/ebook). x, 333 p. (2020).
MSC:  68-06 68Q45 00B25
PDF BibTeX XML Cite
Full Text: DOI

Proceedings of the 11th international symposium on games, automata, logics, and formal verification, GandALF 2020, Brussels, Belgium, September 21–22, 2020. (English) Zbl 1466.68026

Electronic Proceedings in Theoretical Computer Science (EPTCS) 326. Waterloo: Open Publishing Association (OPA). 233 p., electronic only, open access (2020).
PDF BibTeX XML Cite
Full Text: DOI arXiv Link

Combining machine and automata learning for network traffic classification. (English) Zbl 07316480

Barbosa, Luís Soares (ed.) et al., Topics in theoretical computer science. Third IFIP WG 1.8 international conference, TTCS 2020, Tehran, Iran, July 1–2, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12281, 17-31 (2020).
MSC:  68Qxx 68R10 68U05
PDF BibTeX XML Cite
Full Text: DOI

Seminator 2 can complement generalized Büchi automata via improved semi-determinization. (English) Zbl 1478.68120

Lahiri, Shuvendu Kumar (ed.) et al., Computer aided verification. 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12225, 15-27 (2020).
MSC:  68Q45 68-04
PDF BibTeX XML Cite
Full Text: DOI

Automata Tutor v3. (English) Zbl 1478.97002

Lahiri, Shuvendu Kumar (ed.) et al., Computer aided verification. 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12225, 3-14 (2020).
PDF BibTeX XML Cite
Full Text: DOI arXiv

First-order tree-to-tree functions. (English) Zbl 07299473

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). 252-265 (2020).
PDF BibTeX XML Cite
Full Text: DOI arXiv HAL

New results on semilinear sets and variants of jumping finite automata. (English) Zbl 1471.68003

Berlin: Logos Verlag; Gießen: Univ. Gießen, Fachbereich Mathematik und Informatik, Physik, Geographie (Diss.) (ISBN 978-3-8325-5210-7/pbk). xi, 232 p. (2020).
MSC:  68-02 68Q45 68Q70
PDF BibTeX XML Cite

Quantum-dot cellular automata based digital logic circuits: a design perspective. (English) Zbl 1448.68013

Studies in Computational Intelligence 879. Singapore: Springer (ISBN 978-981-15-1822-5/hbk; 978-981-15-1823-2/ebook). xiv, 178 p. (2020).
PDF BibTeX XML Cite
Full Text: DOI

Pebble-intervals automata and \(\text{FO}^2\) with two orders. (English) Zbl 1437.68100

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, 208-221 (2020).
PDF BibTeX XML Cite
Full Text: DOI arXiv

Boolean monadic recursive schemes as a logical characterization of the subsequential functions. (English) Zbl 1437.68042

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, 157-169 (2020).
PDF BibTeX XML Cite
Full Text: DOI

A new model in firefighting theory. (English) Zbl 1453.68207

Changat, Manoj (ed.) et al., Algorithms and discrete applied mathematics. 6th international conference, CALDAM 2020, Hyderabad, India, February 13–15, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12016, 371-383 (2020).
PDF BibTeX XML Cite
Full Text: DOI arXiv

On synchronizing tree automata and their work-optimal parallel run, usable for parallel tree pattern matching. (English) Zbl 1440.68162

Chatzigeorgiou, Alexander (ed.) et al., SOFSEM 2020: theory and practice of computer science. 46th international conference on current trends in theory and practice of informatics, SOFSEM 2020, Limassol, Cyprus, January 20–24, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12011, 576-586 (2020).
MSC:  68Q45 68W10
PDF BibTeX XML Cite
Full Text: DOI

Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21–24, 2020. (English) Zbl 1434.93002

New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7018-9). 33 articles, not consecutively paged (2020).
PDF BibTeX XML Cite
Full Text: DOI

Language and automata theory and applications. 14th international conference, LATA 2020, Milan, Italy, March 4–6, 2020. Proceedings. (English) Zbl 1435.68034

Lecture Notes in Computer Science 12038. Cham: Springer (ISBN 978-3-030-40607-3/pbk; 978-3-030-40608-0/ebook). xi, 449 p. (2020).
MSC:  68-06 68Q45 00B25
PDF BibTeX XML Cite
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