×

Found 2,135 Documents (Results 1–100)

First-order separation over countable ordinals. (English) Zbl 07793033

Bouyer, Patricia (ed.) et al., Foundations of software science and computation structures. 25th international conference, FOSSACS 2022, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2–7, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13242, 264-284 (2022).
MSC:  68Nxx 68Qxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

Representing regular languages of infinite words using mod 2 multiplicity automata. (English) Zbl 07793020

Bouyer, Patricia (ed.) et al., Foundations of software science and computation structures. 25th international conference, FOSSACS 2022, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2–7, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13242, 1-20 (2022).
MSC:  68Nxx 68Qxx
PDFBibTeX XMLCite
Full Text: DOI

Characterizing level one in group-based concatenation hierarchies. (English) Zbl 07615746

Kulikov, Alexander S. (ed.) et al., Computer science – theory and applications. 17th international computer science symposium in Russia, CSR 2022, virtual event, June 29 – July 1, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13296, 320-337 (2022).
MSC:  68Qxx
PDFBibTeX XMLCite
Full Text: DOI arXiv

Layered memory automata: recognizers for quasi-regular languages with unbounded memory. (English) Zbl 1499.68167

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, 43-63 (2022).
MSC:  68Q45
PDFBibTeX XMLCite
Full Text: DOI

How to settle the ReDoS problem: back to the classical automata theory. (English) Zbl 07572310

Caron, Pascal (ed.) et al., Implementation and application of automata. 26th international conference, CIAA 2022, Rouen, France, June 28 – July 1, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13266, 34-49 (2022).
MSC:  68Q45
PDFBibTeX XMLCite
Full Text: DOI

OmegaThreads: symbolic controller design for \(\omega\)-regular objectives. (English) Zbl 07807706

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. New York, NY: Association for Computing Machinery (ACM). Paper No. 33, 2 p. (2021).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI

OmegaThreads: symbolic controller design for \(\omega\)-regular objectives. (English) Zbl 07807698

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. New York, NY: Association for Computing Machinery (ACM). Paper No. 25, 7 p. (2021).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI

A polynomial-time approximation algorithm for counting words accepted by an NFA. (English) Zbl 07765139

Khuller, Samir (ed.) et al., Proceedings of the 53rd annual ACM SIGACT symposium on theory of computing, STOC ’21, virtual, Italy, June 21–25, 2021. New York, NY: Association for Computing Machinery (ACM). 4 (2021).
MSC:  68Qxx
PDFBibTeX XMLCite
Full Text: DOI

Decomposing permutation automata. (English) Zbl 07730620

Haddad, Serge (ed.) et al., 32nd international conference on concurrency theory, CONCUR 2021, August 24–27, 2021, virtual conference. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 203, Article 18, 19 p. (2021).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI arXiv

Balanced-by-construction regular and \(\omega \)-regular languages. (English) Zbl 1518.68168

Moreira, Nelma (ed.) et al., Developments in language theory. 25th international conference, DLT 2021, Porto, Portugal, August 16–20, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12811, 130-142 (2021).
MSC:  68Q45
PDFBibTeX XMLCite
Full Text: DOI

An SMT solver for regular expressions and linear arithmetic over string length. (English) Zbl 1493.68182

Silva, Alexandra (ed.) et al., Computer aided verification. 33rd international conference, CAV 2021, virtual event, July 20–23, 2021. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12760, 289-312 (2021).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Efficient enumeration of regular expressions for faster regular expression synthesis. (English) Zbl 07495105

Maneth, Sebastian (ed.), Implementation and application of automata. 25th international conference, CIAA 2021, virtual event, July 19–22, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12803, 65-76 (2021).
MSC:  68Q45
PDFBibTeX XMLCite
Full Text: DOI

Enumerating regular expressions and their languages. (English) Zbl 1517.68190

Pin, Jean-Éric (ed.), Handbook of automata theory. Volume I. Theoretical foundations. Berlin: European Mathematical Society (EMS). 459-491 (2021).
MSC:  68Q45 05A16
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