Found 971 Documents (Results 1–100)
Descriptional complexity of finite automata – selected highlights. (English) Zbl 07922323
MSC:
68-XX
Orbit-finite-dimensional vector spaces and weighted register automata. (English) Zbl 07875517
MSC:
68-XX
Reset thresholds of transformation monoids. (English) Zbl 1541.68232
Cybern. Syst. Anal. 60, No. 2, 189-197 (2024) and Kibern. Sist. Anal. 60, No. 2, 28-37 (2024).
Synchronization of primitive automata. (English) Zbl 07833148
MSC:
68Q45
Converting finite width AFAs to nondeterministic and universal finite automata. (English) Zbl 07827499
MSC:
68Q45
A survey on automata with translucent letters. (English) Zbl 07810922
Nagy, Benedek (ed.), Implementation and application of automata. 27th international conference, CIAA 2023, Famagusta, North Cyprus, September 19–22, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14151, 21-50 (2023).
MSC:
68Q45
Opacity enforcement in discrete event systems using extended insertion functions under inserted language constraints. (English) Zbl 07808175
Non-returning deterministic and nondeterministic finite automata with translucent letters. (English) Zbl 07799054
MSC:
68Q45
Binary and circular automata having maximal state complexity for the set of synchronizing words. (English) Zbl 07798812
MSC:
68Qxx
Minimal generating sets in groups of \(p\)-automata. (English) Zbl 1531.20039
Reviewer: Egle Bettio (Venezia)
On exponentiation, \(p\)-automata and HNN extensions of free abelian groups. (English) Zbl 1531.20042
Reviewer: Egle Bettio (Venezia)
Free groups defined by finite \(p\)-automata. (English) Zbl 1542.20135
Reviewer: Vincent Guirardel (Rennes)
On preset homing and synchronizing sequences for observable input/output automata. (English. Russian original) Zbl 1525.93426
Autom. Remote Control 84, No. 6, 606-611 (2023); translation from Avtom. Telemekh. 2023, No. 6, 67-78 (2023).
MSC:
93E03
Completely reachable automata: an interplay between automata, graphs, and trees. (English) Zbl 07749893
Decidability boundaries for the finite-image property of weighted finite automata. (English) Zbl 07749892
Polynomial-time verification and enforcement of delayed strong detectability for discrete-event systems. (English) Zbl 1541.93228
Existential and universal width of alternating finite automata. (English) Zbl 07729457
Bordihn, Henning (ed.) et al., Descriptional complexity of formal systems. 25th IFIP WG 1.02 international conference, DCFS 2023, Potsdam, Germany, July 4–6, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13918, 51-64 (2023).
MSC:
68Qxx
The nondeterministic state complexity of the site-directed deletion language operation. (English) Zbl 07715624
MSC:
68Qxx
Properties of a ternary infinite word. (English) Zbl 1527.11021
Reviewer: Jean-Paul Allouche (Paris)
On integers whose sum is the reverse of their product. (English) Zbl 1522.11007
Reviewer: Clemens Heuberger (Klagenfurt)
Topology automaton of self-similar sets and its applications to metrical classifications. (English) Zbl 07672510
The Gelfand-Kirillov dimension of Hecke-Kiselman algebras. (English) Zbl 1529.16017
Reviewer: Victor Petrogradsky (Brasília)
Inexact tree pattern matching with 1-degree edit distance using finite automata. (English) Zbl 1506.68085
Moore machines duality. (English) Zbl 07661892
MSC:
68Q45
Automata theory and formal languages. (English) Zbl 1532.68001
Amsterdam: Elsevier/Academic Press (ISBN 978-0-323-91784-1/pbk; 978-0-323-97217-8/ebook). xxii, 209 p. (2023).
Reviewer: Andreas Maletti (Leipzig)
Extended insertion functions for opacity enforcement in discrete-event systems. (English) Zbl 1537.93476
MSC:
93C65
Synchronization of finite automata. (English. Russian original) Zbl 07733482
Russ. Math. Surv. 77, No. 5, 819-891 (2022); translation from Usp. Mat. Nauk 77, No. 5, 53-130 (2022).
Binary completely reachable automata. (English) Zbl 07719354
Castañeda, Armando (ed.) et al., Latin 2022: theoretical informatics. 15th Latin American symposium, Guanajuato, Mexico, November 7–11, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13568, 345-358 (2022).
Automatic logarithm and associated measures. (English) Zbl 1523.68038
Reviewer: Enrico Jabara (Venezia)
Bounds on orders of linear automata. (English. Russian original) Zbl 07676573
Mosc. Univ. Math. Bull. 77, No. 6, 262-268 (2022); translation from Vestn. Mosk. Univ., Ser. I 77, No. 6, 8-14 (2022).
The development of the theory of automatic groups. (English) Zbl 1540.20057
Ohshika, Ken’ichi (ed.) et al., In the tradition of Thurston II. Geometry and groups. Cham: Springer. 449-473 (2022).
Synchronizing words and monoid factorization, yielding a new parameterized complexity class? (English) Zbl 07618926
Reverting and combining soliton bursts. (English) Zbl 07584601
MSC:
68Q45
Multi-wave soliton automata. (English) Zbl 07584598
MSC:
68Q45
Nondeterministic state complexity of site-directed deletion. (English) Zbl 07572322
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, 189-199 (2022).
MSC:
68Q45
Finite-image property of weighted tree automata over past-finite monotonic strong bimonoids. (English) Zbl 1535.68126
MSC:
68Q45
Space-bounded OTMs and \(\mathrm{REG}^\infty \). (English) Zbl 1526.03004
Reviewer: Gregory Loren McColm (Tampa)
Discrete event dynamic modeling and analysis of the democratic progress in a society controlled by networked agents. (English) Zbl 1537.93480
On linear shifts of finite type and their endomorphisms. (English) Zbl 1489.37018
Reviewer: Laurent Bartholdi (Göttingen)
From decidability to undecidability by considering regular sets of instances. (English) Zbl 1515.68169
Commutative regular languages with product-form minimal automata. (English) Zbl 07614741
Han, Yo-Sub (ed.) et al., Descriptional complexity of formal systems. 23rd IFIP WG 1.02 international conference, DCFS 2021, virtual event, September 5, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13037, 51-63 (2021).
MSC:
68Qxx
Introduction: advancing non-Archimedean mathematics. (English) Zbl 1504.30066
Zúñiga-Galindo, W. A. (ed.) et al., Advances in non-Archimedean analysis and applications. The \(p\)-adic methodology in STEAM-H. Cham: Springer. STEAM-H, Sci. Technol. Eng. Agric. Math. Health, 1-7 (2021).
MSC:
30G06
Automata model for verifying attibuted-based access control policy in systems with a finite number of objects. (English. Russian original) Zbl 1487.68069
Mosc. Univ. Math. Bull. 76, No. 5, 230-233 (2021); translation from Vestn. Mosk. Univ., Ser. I 76, No. 5, 57-60 (2021).
Words separation and positive identities in symmetric groups. (English) Zbl 1521.20005
Reviewer: Enrico Jabara (Venezia)
Finite automata. (English) Zbl 1517.68213
Pin, Jean-Éric (ed.), Handbook of automata theory. Volume I. Theoretical foundations. Berlin: European Mathematical Society (EMS). 3-38 (2021).
Reviewer: Andreas Maletti (Leipzig)
Robotic system design methodology utilising embodied agents. (English) Zbl 1481.93094
Kulczycki, Piotr (ed.) et al., Automatic control, robotics, and information processing. Cham: Springer. Stud. Syst. Decis. Control 296, 523-561 (2021).
Automata and finite model theory. (English) Zbl 1542.03050
Pin, Jean-Éric (ed.), Handbook of automata theory. Volume II. Automata in mathematics and selected applications. Berlin: European Mathematical Society (EMS). 1071-1103 (2021).
Reviewer: Gregory Loren McColm (Tampa)
Groups defined by automata. (English) Zbl 1520.20075
Pin, Jean-Éric (ed.), Handbook of automata theory. Volume II. Automata in mathematics and selected applications. Berlin: European Mathematical Society (EMS). 871-911 (2021).
Reviewer: Antolin Yago (Madrid)
A unified method to decentralized state detection and fault diagnosis/prediction of discrete-event systems. (English) Zbl 1519.68127
Automata for solid codes. (English) Zbl 1514.68105
Usefulness of information and unary languages. (English) Zbl 07405983
Leporati, Alberto (ed.) et al., Language and automata theory and applications. 15th international conference, LATA 2021, Milan, Italy, March 1–5, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12638, 131-142 (2021).
MSC:
68Q45
Equivariant Hilbert series for hierarchical models. (English) Zbl 1465.13025
Reviewer: Amir Hashemi (Isfahan)
Two-dimensional pattern matching against local and regular-like picture languages. (English) Zbl 1504.68109
MSC:
68Q45
A general architecture of oritatami systems for simulating arbitrary finite automata. (English) Zbl 1504.68066
Subword complexity of the Fibonacci-Thue-Morse sequence: the proof of Dekking’s conjecture. (English) Zbl 1489.11046
Reviewer: Thomas B. Ward (Newcastle)
Rational elements of summation semirings. (English) Zbl 1484.68108
Reviewer: Roger Villemaire (Montréal)
Nondeterministic finite automata based on quantum logic: language equivalence relation and robustness. (English) Zbl 1509.68142
Generation of amalgamated free products of cyclic groups by finite automata over minimal alphabet. (English) Zbl 1535.20163
Specification of agent based robotic systems using hierarchical finite state automatons. (English) Zbl 1541.93247
Bartoszewicz, Andrzej (ed.) et al., Advanced, contemporary control. Proceedings of the KKA 2020 – the 20th Polish control conference (PCC 2020), Łódź, Poland, October 14–29, 2020. Cham: Springer. Adv. Intell. Syst. Comput. 1196, 465-476 (2020).
Computational fun with sturdy and flimsy numbers. (English) Zbl 1515.68160
Farach-Colton, Martin (ed.) et al., 10th international conference on fun with algorithms. FUN 2021, May 30 – June 1, 2021, Favignana Island, Sicily, Italy. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 157, Article 10, 21 p. (2020).
Synchronizing words and monoid factorization: a parameterized perspective. (English) Zbl 1517.68142
Chen, Jianer (ed.) et al., Theory and applications of models of computation. 16th international conference, TAMC 2020, Changsha, China, October 18–20, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12337, 352-364 (2020).
Synchronizing deterministic push-down automata can be really hard. (English) Zbl 07559404
Esparza, Javier (ed.) et al., 45th international symposium on mathematical foundations of computer science, MFCS 2020, August 25–26, 2020, Prague, Czech Republic. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 170, Article 33, 15 p. (2020).
MSC:
68Qxx
Invariants for time-series constraints. (English) Zbl 1479.90114
MSC:
90B50
Descriptive set theory and \(\omega\)-powers of finitary languages. (English) Zbl 1505.03097
Rezuş, Adrian (ed.), Contemporary logic and computing. London: College Publications. Landsc. Log. 1, 518-541 (2020).
Additive number theory via approximation by regular languages. (English) Zbl 1467.11011
Reviewer: Jean-Paul Allouche (Paris)
Maximum subclasses in classes of linear automata over finite fields. (English. Russian original) Zbl 1499.68206
Discrete Math. Appl. 30, No. 6, 365-374 (2020); translation from Diskretn. Mat. 31, No. 4, 88-101 (2019).
MSC:
68Q70
From combinatorial games to shape-symmetric morphisms. (English) Zbl 1457.91116
Akiyama, Shigeki (ed.) et al., Substitution and tiling dynamics: introduction to self-inducing structures. Lecture notes from the research school on tiling dynamical systems, CIRM Jean-Morlet Chair, Marseille, France, Fall 2017. Cham: Springer. Lect. Notes Math. 2273, 227-291 (2020).
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).
Reviewer: Peter Kostolányi (Bratislava)
Lengths of words accepted by nondeterministic finite automata. (English) Zbl 1461.68104
Reviewer: Ludwig Staiger (Halle)
Complexity of automatic sequences. (English) Zbl 1482.68129
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, 260-271 (2020).
Reviewer: Jean-Paul Allouche (Paris)
Achieving a global objective with competing networked agents in the framework of discrete event systems. (English) Zbl 1436.93086
Spherical and geodesic growth rates of right-angled Coxeter and Artin groups are Perron numbers. (English) Zbl 1485.20100
Minimal auxiliary Markov chains through sequential elimination of states. (English) Zbl 07551041
MSC:
62-XX
Building a nest by an automaton. (English) Zbl 07525472
Bender, Michael A. (ed.) et al., 27th annual European symposium on algorithms, ESA 2019, Munich/Garching, Germany, September 9–11, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 144, Article 35, 14 p. (2019).
MSC:
68Wxx
Amendable automaton for the language of finite strings of rectangular Hilbert curve. (English) Zbl 1496.68182
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).
Filter Results by …
Document Type
- Journal Articles (755)
- Collection Articles (196)
- Books (20)
all
top 5
Author
- Shallit, Jeffrey Outlaw (21)
- Brzozowski, Janusz Antoni (18)
- Ibarra, Oscar H. (17)
- Salomaa, Kai T. (12)
- Champarnaud, Jean-Marc (9)
- Melnikov, Boris F. (9)
- Volkov, Mikhail Vladimirovich (9)
- Yamakami, Tomoyuki (9)
- Zhang, Kuize (9)
- Li, Baiyu (8)
- Perrin, Dominique (8)
- Trahtman, Avraham Naumovich (8)
- Li, Yongming (7)
- Yu, Sheng (7)
- Ádám, András (6)
- Frougny, Christiane (6)
- Grunskij, I. S. (6)
- Hansel, Georges (6)
- Ravikumar, Bala (6)
- Rystsov, I. K. (6)
- Ziadi, Djelloul (6)
- Birget, Jean-Camille (5)
- Ceccherini-Silberstein, Tullio G. (5)
- Coornaert, Michel (5)
- Culik, Karel II (5)
- Jirásková, Galina (5)
- Klimann, Ines (5)
- Maletti, Andreas (5)
- Pighizzini, Giovanni (5)
- Pin, Jean-Eric (5)
- Seiferas, Joel I. (5)
- Skobelev, Volodymyr V. (5)
- Droste, Manfred (4)
- Fülöp, Zoltán (4)
- Galil, Zvi (4)
- Ilcinkas, David (4)
- Jiang, Tao (4)
- Jürgensen, Helmut (4)
- Merdan, Ziya (4)
- Mitrana, Victor (4)
- Oliynyk, A. S. (4)
- Otto, Friedrich (4)
- Rampersad, Narad (4)
- Salomaa, Arto Kustaa (4)
- Shur, Arseny M. (4)
- Skobelev, Vladimir G. (4)
- Tao, Renji (4)
- Zavads’kyĭ, Igor O. (4)
- Zhang, Lijun (4)
- Allouche, Jean-Paul Simon (3)
- Ananichev, Dmitry S. (3)
- Beauquier, Danièle (3)
- Bell, Jason P. (3)
- Bondar, Eugenija A. (3)
- Bruyère, Véronique (3)
- Chasovskikh, Anatoliy A. (3)
- Chen, Shihua (3)
- Choffrut, Christian (3)
- Dai, Zong-Duo (3)
- Davies, Sylvie (3)
- Dočev, Dočo Tr. (3)
- Dolgov, V. N. (3)
- Dubernard, Jean-Philippe (3)
- Fernau, Henning (3)
- Finkel, Olivier (3)
- Fraigniaud, Pierre (3)
- Freivalds, Rūsiņš Mārtiņš (3)
- Havel, Ivan M. (3)
- He, Pei (3)
- Imreh, Balázs (3)
- Jeanne, Hadrien (3)
- Kari, Jarkko (3)
- Kim, Sam Myo (3)
- Kontorovich, Leonid Aryeh (3)
- Koubek, Vaclav (3)
- Kutlu, Bülent (3)
- Lidbetter, Thomas F. (3)
- Lyon, Oliver A. S. (3)
- Martin, Donald E. K. (3)
- Mauduit, Christian (3)
- Meinel, Christoph (3)
- Mendès France, Michel (3)
- Nishimura, Harumichi (3)
- Pelc, Andrzej (3)
- Petrov, Ilja V. (3)
- Remmel, Jeffrey Brian (3)
- Restivo, Antonio (3)
- Sabadini, Nicoletta (3)
- Schwentick, Thomas (3)
- Seidl, Helmut (3)
- Seki, Shinnosuke (3)
- Su, Rong (3)
- Ufnarovski, Victor Anatol’evich (3)
- Vorobets, Yaroslav (3)
- Wang, Hui (3)
- Watson, Bruce William (3)
- Wolf, Petra (3)
- Wotschke, Detlef (3)
- Zahedi, Mohammad Mehdi (3)
- Zaidenberg, Mikhail G. (3)
- and 1,135 more Authors
all
top 5
Serial
- Theor. Comput. Sci. (88)
- Int. J. Found. Comput. Sci. (26)
- Cybern. Syst. Anal. (20)
- Inf. Process. Lett. (19)
- Inf. Comput. (18)
- J. Comput. Syst. Sci. (17)
- Autom. Remote Control (15)
- J. Autom. Lang. Comb. (15)
- Acta Cybern. (14)
- Inf. Sci. (11)
- Int. J. Comput. Math. (11)
- Fundam. Inform. (11)
- Discrete Appl. Math. (10)
- Int. J. Algebra Comput. (8)
- Discrete Math. Appl. (8)
- Acta Inf. (7)
- Discrete Math. (6)
- IEEE Trans. Autom. Control (6)
- SIAM J. Comput. (6)
- Cybernetics (6)
- Soft Comput. (6)
- Theor. Inform. Appl. (6)
- Prikl. Diskretn. Mat. (6)
- Autom. Control Comput. Sci. (5)
- Fuzzy Sets Syst. (5)
- Ergodic Theory Dyn. Syst. (5)
- Complex Syst. (5)
- Bull. EATCS (5)
- Russ. Math. (5)
- Visn., Ser. Fiz.-Mat. Nauky, Kyïv. Univ. Im. Tarasa Shevchenka (5)
- Int. J. Theor. Phys. (4)
- J. Assoc. Comput. Mach. (4)
- Sov. Math., Dokl. (4)
- J. Comput. Sci. Technol. (4)
- Electron. J. Comb. (4)
- Theory Comput. Syst. (4)
- Int. J. Mod. Phys. C (4)
- Vestn. Voronezh. Gos. Univ., Ser. Fiz. Mat. (4)
- Algebra Discrete Math. (4)
- J. Comput. Math. Optim. (4)
- Nonlinear Anal., Hybrid Syst. (4)
- J. Algebra Discrete Struct. (4)
- RAIRO, Theor. Inform. Appl. (4)
- God. Vissh. Uchebn. Zaved., Prilozh. Mat. (3)
- IEEE Trans. Inf. Theory (3)
- Int. J. Gen. Syst. (3)
- Math. Notes (3)
- Mosc. Univ. Math. Bull. (3)
- Automatica (3)
- Found. Control Eng. (3)
- Inf. Control (3)
- Int. J. Comput. Inform. Sci. (3)
- J. Pure Appl. Algebra (3)
- Math. Syst. Theory (3)
- Stud. Sci. Math. Hung. (3)
- Adv. Appl. Math. (3)
- Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. (3)
- Diskretn. Mat. (3)
- Appl. Math. Modelling (3)
- J. Phys. A, Math. Gen. (3)
- RAIRO, Inform. Théor. Appl. (3)
- Groups Geom. Dyn. (3)
- Log. Methods Comput. Sci. (3)
- J. Algebra Appl. Math. (3)
- Biol. Cybern. (2)
- Commun. Algebra (2)
- Isr. J. Math. (2)
- J. Comput. Phys. (2)
- Nonlinearity (2)
- Appl. Math. Comput. (2)
- Ars Comb. (2)
- Bull. Soc. Math. Fr. (2)
- Computing (2)
- J. Appl. Probab. (2)
- Kibernetika (2)
- Kybernetika (2)
- RAIRO, Inf. Théor. (2)
- Eng. Cybern. (2)
- J. Math., Wuhan Univ. (2)
- Ann. Pure Appl. Logic (2)
- Physica D (2)
- Order (2)
- J. Syst. Sci. Math. Sci. (2)
- J. Symb. Comput. (2)
- Algorithmica (2)
- Int. J. Approx. Reasoning (2)
- Math. Struct. Comput. Sci. (2)
- Discrete Event Dyn. Syst. (2)
- Games Econ. Behav. (2)
- Elektron. Informationsverarbeitung Kybernetik (2)
- Izv. Akad. Nauk BSSR, Ser. Fiz.-Mat. Nauk (2)
- Linear Algebra Appl. (2)
- IEEE Trans. Pattern Anal. Mach. Intell. (2)
- Kexue Tongbao, Sci. Bull. (2)
- Vestn. St. Petersbg. Univ., Math. (2)
- Bull. Belg. Math. Soc. - Simon Stevin (2)
- Congr. Numerantium (2)
- Veroyatn. Metody Kibern. (2)
- Bull. Symb. Log. (2)
- Discrete Math. Theor. Comput. Sci. (2)
- and 183 more Serials
all
top 5
Year of Publication
- 2025 (1)
- 2024 (5)
- 2023 (25)
- 2022 (21)
- 2021 (25)
- 2020 (19)
- 2019 (19)
- 2018 (20)
- 2017 (27)
- 2016 (26)
- 2015 (22)
- 2014 (25)
- 2013 (33)
- 2012 (26)
- 2011 (27)
- 2010 (26)
- 2009 (34)
- 2008 (32)
- 2007 (27)
- 2006 (19)
- 2005 (23)
- 2004 (16)
- 2003 (15)
- 2002 (15)
- 2001 (10)
- 2000 (14)
- 1999 (11)
- 1998 (9)
- 1997 (13)
- 1996 (17)
- 1995 (24)
- 1994 (25)
- 1993 (16)
- 1992 (25)
- 1991 (20)
- 1990 (18)
- 1989 (20)
- 1988 (27)
- 1987 (27)
- 1986 (24)
- 1985 (16)
- 1984 (11)
- 1983 (12)
- 1982 (20)
- 1981 (16)
- 1980 (22)
- 1979 (13)
- 1978 (22)
- 1977 (6)
- 1976 (2)
- 1975 (1)
- 1969 (1)
- 1961 (1)
all
top 3
Main Field
- 68-XX (830)
- 20-XX (102)
- 03-XX (80)
- 94-XX (67)
- 11-XX (54)
- 05-XX (53)
- 93-XX (53)
- 37-XX (37)
- 92-XX (22)
- 60-XX (18)
- 16-XX (17)
- 82-XX (17)
- 90-XX (14)
- 91-XX (14)
- 06-XX (11)
- 81-XX (11)
- 65-XX (10)
- 13-XX (9)
- 18-XX (8)
- 62-XX (8)
- 28-XX (6)
- 57-XX (6)
- 08-XX (5)
- 43-XX (5)
- 15-XX (4)
- 31-XX (4)
- 35-XX (4)
- 49-XX (4)
- 00-XX (2)
- 14-XX (2)
- 26-XX (2)
- 39-XX (2)
- 51-XX (2)
- 52-XX (2)
- 53-XX (2)
- 54-XX (2)
- 74-XX (2)
- 12-XX (1)
- 22-XX (1)
- 30-XX (1)
- 41-XX (1)
- 42-XX (1)
- 47-XX (1)
- 78-XX (1)
Biographic Reference
all
top 3
Software
- OEIS (10)
- GAP (5)
- Walnut (5)
- TESTAS (4)
- UMDES (4)
- ALGOL 60 (3)
- PATRICIA (3)
- AUTOMATE (2)
- GitHub (2)
- Grail (2)
- LANGAGE (2)
- Magma (2)
- OpenFst (2)
- PROSITE (2)
- PatternHunter (2)
- AG (1)
- AMoRE (1)
- AUTOMATA (1)
- AWK (1)
- Algolib (1)
- Antichains (1)
- AutoSquared (1)
- AutomGrp (1)
- BERT (1)
- COMSOL (1)
- CatalanCC (1)
- DRAGON (1)
- DelannoyLS (1)
- ESPRESSO (1)
- Essence (1)
- Esterel (1)
- FSA (1)
- GloVe (1)
- Grain (1)
- HIP (1)
- IDP (1)
- IDP3 (1)
- JASPAR (1)
- LearnLib (1)
- Lua (1)
- MICKEY (1)
- ML (1)
- MONA (1)
- MRC (1)
- Maple (1)
- McEliece (1)
- MiniSat (1)
- Modula (1)
- MotzkinCC (1)
- MuSiC (1)
- NEURON (1)
- NISPOC (1)
- Penn Treebank (1)
- QUB (1)
- RFSA (1)
- Regexpcount (1)
- SAPPORO BDD (1)
- SNOW (1)
- SPIN (1)
- SPatt (1)
- SageMath (1)
- Simula 67 (1)
- Slide (1)
- Smalltalk (1)
- Smodels (1)
- Symbolic automata (1)
- Tiburon (1)
- Trivium (1)
- WordNet (1)
- XSB (1)
- Zinc (1)
- automata (1)
- clasp (1)
- countmotif (1)
- fsaLib (1)
- gdev (1)
- kbmag (1)
- libalf (1)
- word2vec (1)
