×

Found 4,678 Documents (Results 1–100)

Programming-based formal languages and automata theory. Design, implement, validate, and prove. (English) Zbl 1531.68006

Texts in Computer Science. Cham: Springer (ISBN 978-3-031-43972-8/hbk; 978-3-031-43975-9/pbk; 978-3-031-43973-5/ebook). xxiii, 524 p. (2024).
MSC:  68-01 68N30 68Q45
PDFBibTeX XMLCite
Full Text: DOI

Cellular automata and discrete complex systems. 29th IFIP WG 1.5 international workshop, AUTOMATA 2023, Trieste, Italy, August 30 – September 1, 2023. Proceedings. (English) Zbl 07768476

Lecture Notes in Computer Science 14152. Cham: Springer (ISBN 978-3-031-42249-2/pbk; 978-3-031-42250-8/ebook). xiv, 165 p. (2023).
PDFBibTeX XMLCite
Full Text: DOI

Implementation and application of automata. 27th international conference, CIAA 2023, Famagusta, North Cyprus, September 19–22, 2023. Proceedings. (English) Zbl 1531.68024

Lecture Notes in Computer Science 14151. Cham: Springer (ISBN 978-3-031-40246-3/pbk; 978-3-031-40247-0/ebook). xii, 304 p. (2023).
MSC:  68-06 68Q45 00B25
PDFBibTeX XMLCite
Full Text: DOI

Quantum annealing-based routing in UAV network. (English) Zbl 07767097

Yadav, Satya Prakash (ed.) et al., Quantum-safe cryptography algorithms and approaches. Impacts of quantum computing on cybersecurity. Quantum Computing. Berlin: De Gruyter. 13-24 (2023).
PDFBibTeX XMLCite
Full Text: DOI

Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9–12, 2023. (English) Zbl 1530.68008

New York, NY: Association for Computing Machinery (ACM) (ISBN 979-8-4007-0033-0). xi, 30 articles, not consecutively paged (2023).
PDFBibTeX XMLCite
Full Text: DOI

Proceedings of the 16th international conference on automata and formal languages, AFL, Eger, Hungary, September 5–7, 2023. (English) Zbl 1522.68029

Electronic Proceedings in Theoretical Computer Science (EPTCS) 386. Waterloo: Open Publishing Association (OPA). 280 p., electronic only, open access (2023).
MSC:  68-06 68Q45 00B25
PDFBibTeX XMLCite
Full Text: DOI arXiv Link

Can we communicate? Using dynamic logic to verify team automata. (English) Zbl 1529.68165

Chechik, Marsha (ed.) et al., Formal methods. 25th international symposium, FM 2023, Lübeck, Germany, March 6–10, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14000, 122-141 (2023).
PDFBibTeX XMLCite
Full Text: DOI

Developments in language theory. 27th international conference, DLT 2023, Umeå, Sweden, June 12–16, 2023. Proceedings. (English) Zbl 1524.68002

Lecture Notes in Computer Science 13911. Cham: Springer (ISBN 978-3-031-33263-0/pbk; 978-3-031-33264-7/ebook). xx, 259 p. (2023).
MSC:  68-06 68Q45 00B25
PDFBibTeX XMLCite
Full Text: DOI

The man from the future. The visionary life of John von Neumann. Translated from the English by Anatole Muchnik. (John von Neumann. L’homme qui venait du futur. L’histoire de l’un des plus grands génies du siècle.) (French) Zbl 1519.01002

Lausanne: Presses Polytechniques et Universitaires Romandes (PPUR)/Quanto (ISBN 978-2-88915-507-1). 392 p. (2023).
PDFBibTeX XMLCite

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). xv, 358 p. (2023).
PDFBibTeX XMLCite
Full Text: DOI

Weighted automata and expressions over pre-rational monoids. (English) Zbl 07830362

Manea, Florin (ed.) et al., 30th EACSL annual conference on computer science logic, CSL 2022, Göttingen, Germany, virtual conference, February 14–19, 2022. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 216, Article 6, 16 p. (2022).
MSC:  03B70
PDFBibTeX XMLCite
Full Text: DOI arXiv

Proceedings of the 13th international symposium on games, automata, logics, and formal verification, GandALF 2022, Madrid, Spain, September 21–23, 2022. (English) Zbl 1522.68028

Electronic Proceedings in Theoretical Computer Science (EPTCS) 370. Waterloo: Open Publishing Association (OPA). 228 p., electronic only, open access (2022).
PDFBibTeX XMLCite
Full Text: DOI arXiv Link

Proceedings of the 12th international workshop on non-classical models of automata and applications, NCMA 2022, Debrecen, Hungary, August 26–27, 2022. (English) Zbl 1522.68019

Electronic Proceedings in Theoretical Computer Science (EPTCS) 367. Waterloo: Open Publishing Association (OPA). 189 p., electronic only, open access (2022).
MSC:  68-06 68Q45 00B25
PDFBibTeX XMLCite
Full Text: DOI arXiv Link

Formal methods for NFA equivalence: QBFs, witness extraction, and encoding verification. (English) Zbl 07691303

Buzzard, Kevin (ed.) et al., Intelligent computer mathematics. 15th international conference, CICM 2022, Tbilisi, Georgia, September 19–23, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13467, 241-255 (2022).
MSC:  68Vxx
PDFBibTeX XMLCite
Full Text: DOI

Automata theory and formal languages. Fundamental notions, theorems, and techniques. (English) Zbl 1527.68002

Undergraduate Topics in Computer Science. Cham: Springer (ISBN 978-3-031-11964-4/pbk; 978-3-031-11965-1/ebook). viii, 280 p. (2022).
MSC:  68-01 68Q45
PDFBibTeX XMLCite
Full Text: DOI

Oblivious online monitoring for safety LTL specification via fully homomorphic encryption. (English) Zbl 1514.68118

Shoham, Sharon (ed.) et al., Computer aided verification. 34th international conference, CAV 2022, Haifa, Israel, August 7–10, 2022. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 13371, 447-468 (2022).
PDFBibTeX XMLCite
Full Text: DOI arXiv

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

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).
PDFBibTeX XMLCite
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
PDFBibTeX XMLCite
Full Text: DOI

Logic synthesis for VLSI-based combined finite state machines. Synthesis targeting ASICs, CPLDs and FPGAs. (English) Zbl 1502.68007

Lecture Notes in Electrical Engineering 922. Cham: Springer (ISBN 978-3-031-16026-4/hbk; 978-3-031-16029-5/pbk; 978-3-031-16027-1/ebook). xv, 291 p. (2022).
MSC:  68-02 68Q45 94C11
PDFBibTeX XMLCite
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 1512.57001

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).
PDFBibTeX XMLCite

Avoiding exponential explosion in Petri net models of control flows. (English) Zbl 1499.68227

Bernardinello, Luca (ed.) et al., Application and theory of Petri nets and concurrency. 43rd international conference, PETRI NETS 2022, Bergen, Norway, June 19–24, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13288, 261-277 (2022).
PDFBibTeX XMLCite
Full Text: DOI Link

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).
PDFBibTeX XMLCite
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
PDFBibTeX XMLCite
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
PDFBibTeX XMLCite
Full Text: DOI

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

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
PDFBibTeX XMLCite
Full Text: DOI

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

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).
PDFBibTeX XMLCite
Full Text: DOI

Dynamic data structures for timed automata acceptance. (English) Zbl 07803598

Golovach, Petr A. (ed.) et al., 16th international symposium on parameterized and exact computation, IPEC 2021, Lisbon, Portugal, September 8–10, 2021. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 214, Article 20, 18 p. (2021).
MSC:  68Q25 68Q27 68Wxx
PDFBibTeX XMLCite
Full Text: DOI

Active model learning of stochastic reactive systems. (English) Zbl 1522.68348

Calinescu, Radu (ed.) et al., Software engineering and formal methods. 19th international conference, SEFM 2021, virtual event, December 6–10, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13085, 481-500 (2021).
PDFBibTeX XMLCite
Full Text: DOI

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

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
PDFBibTeX XMLCite
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).
PDFBibTeX XMLCite
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
PDFBibTeX XMLCite
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).
PDFBibTeX XMLCite
Full Text: DOI Link

Covering the space with sensor tiles. (English) Zbl 1530.68167

Gwizdałła, Tomasz M. (ed.) et al., Cellular automata. 14th international conference on cellular automata for research and industry, ACRI 2020, Lodz, Poland, December 2–4, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12599, 156-168 (2021).
PDFBibTeX XMLCite
Full Text: DOI

On the impact of treewidth in the computational complexity of freezing dynamics. (English) Zbl 1530.68147

De Mol, Liesbeth (ed.) et al., Connecting with computability. 17th conference on computability in Europe, CiE 2021, virtual event, Ghent, Belgium, July 5–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12813, 260-272 (2021).
PDFBibTeX XMLCite
Full Text: DOI arXiv HAL

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).
PDFBibTeX XMLCite
Full Text: DOI

Profinite topologies. (English) Zbl 1511.68176

Pin, Jean-Éric (ed.), Handbook of automata theory. Volume I. Theoretical foundations. Berlin: European Mathematical Society (EMS). 615-652 (2021).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software