×

Found 4,980 Documents (Results 1–100)

Complexity of spherical equations in finite groups. (English) Zbl 07871845

Fernau, Henning (ed.) et al., SOFSEM 2024: theory and practice of computer science. 49th international conference on current trends in theory and practice of computer science, SOFSEM 2024, Cochem, Germany, February 19–23, 2024. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14519, 383-397 (2024).
MSC:  20F10 68Q17 68W30

Shortest characteristic factors of a deterministic finite automaton and computing its positive position run by pattern set matching. (English) Zbl 07871841

Fernau, Henning (ed.) et al., SOFSEM 2024: theory and practice of computer science. 49th international conference on current trends in theory and practice of computer science, SOFSEM 2024, Cochem, Germany, February 19–23, 2024. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14519, 326-339 (2024).
MSC:  68Q45 68W32
Full Text: DOI

Speed me up if you can: conditional lower bounds on opacity verification. (English) Zbl 07953265

Leroux, Jérôme (ed.) et al., 48th international symposium on mathematical foundations of computer science, MFCS 2023, Bordeaux, France, August 28 – September 1, 2023. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 272, Article 16, 15 p. (2023).
MSC:  68Qxx

Faster prefix-sorting algorithms for deterministic finite automata. (English) Zbl 07929279

Bulteau, Laurent (ed.) et al., 34th annual symposium on combinatorial pattern matching, CPM 2023, Marne-la-Vallée, France, June 26–28, 2023. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 259, Article 16, 16 p. (2023).
MSC:  68W32

Catalan numbers recurrence as a stationary state equation of the probabilistic cellular automaton. (English) Zbl 1540.37030

Elaydi, Saber (ed.) et al., Advances in discrete dynamical systems, difference equations and applications. ICDEA 26, Sarajevo, Bosnia and Herzegovina, July 26–30, 2021. Proceedings of the 26th international conference on difference equations and applications. Cham: Springer. Springer Proc. Math. Stat. 416, 155-165 (2023).
Full Text: DOI

Filter Results by …

Access

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