Found 45,850 Documents (Results 1–100)
Regular \(\mathcal{D}\)-length: a tool for improved prefix-stable forward Ramsey factorisations. (English) Zbl 07910933
Admissible (Rees) exact sequences and flat acts. (English) Zbl 1527.18001
Reviewer: Hirokazu Nishimura (Tsukuba)
Period-doubling continued fractions are algebraic in characteristic 2. (Les fractions continues de doublement de période sont algébriques en caractéristique 2.) (English. French summary) Zbl 07928996
Linear independence of series related to the Thue-Morse sequence along powers. (English) Zbl 07926153
The impact of state merging on predictive accuracy in probabilistic tree automata: Dietze’s conjecture revisited. (English) Zbl 07923055
MSC:
68-XX
Quantum temporal logic and reachability problems of matrix semigroups. (English) Zbl 07922687
MSC:
68Qxx
Subgroup membership in \(\mathrm{GL}(2, \mathrm{Z})\). (English) Zbl 07922401
Reviewer: Egle Bettio (Venezia)
Reachability in two-parametric timed automata with one parameter is EXPSPACE-complete. (English) Zbl 07922397
Equation satisfiability in solvable groups. (English) Zbl 07922390
Reviewer: Enrico Jabara (Venezia)
Decidability of the Brinkmann problems for endomorphisms of the free group. (English) Zbl 07921910
Reviewer: Enrico Jabara (Venezia)
Binary distinguishability operation. (English) Zbl 07921854
MSC:
68Qxx
Intrinsic universality in automata networks. II: Glueing and gadgets. (English) Zbl 07921852
MSC:
68Qxx
Cellular automata and discrete complex systems. 30th IFIP WG 1.5 International workshop, AUTOMATA 2024, Durham, UK, July 22–24, 2024. Proceedings. (English) Zbl 07921796
Lecture Notes in Computer Science 14782. Cham: Springer (ISBN 978-3-031-65886-0/pbk; 978-3-031-65887-7/ebook). ix, 159 p. (2024).
Cellular automata. 16th international conference on cellular automata for research and industry, ACRI 2024, Florence, Italy, September 9–11, 2024. Proceedings. (English) Zbl 07921785
Lecture Notes in Computer Science 14978. Cham: Springer (ISBN 978-3-031-71551-8/pbk; 978-3-031-71552-5/ebook). xix, 278 p. (2024).
Cascade products and Wheeler automata. (English) Zbl 07920461
MSC:
68Qxx
Plactic-like monoids arising from meets and joins of stalactic and taiga congruences. (English) Zbl 07920073
Bounded cohomology of finitely presented groups: vanishing, non-vanishing, and computability. (English) Zbl 07917524
Dead ends and rationality of complete growth series. (English) Zbl 07916609
Reviewer: Andrea Caranti (Trento)
Heterogeneous traffic flow of expressway with level 2 autonomous vehicles considering moving bottlenecks. (English) Zbl 07916084
MSC:
82-XX
On the Dehn functions of a class of monadic one-relation monoids. (Sur les fonctions de Dehn d’une classe de monoïdes monadiques à une relation.) (English. French summary) Zbl 07915246
Reviewer: Egle Bettio (Venezia)
Introduction to the theory of formal languages. (English) Zbl 07912304
Singapore: World Scientific (ISBN 978-981-12-9401-3/hbk; 978-981-12-9403-7/ebook). (2024).
Constrained inhomogeneous spherical equations: average-case hardness. (English) Zbl 07910111
Reviewer: Egle Bettio (Venezia)
Conciseness on normal subgroups and new concise words from outer commutator words. (English) Zbl 07904067
Reviewer: Enrico Jabara (Venezia)
Minimal cellular automaton model with heterogeneous cell sizes predicts epithelial colony growth. (English) Zbl 07902694
Quantum Büchi automata. (English) Zbl 07902300
MSC:
68Qxx
Decision algorithms for reversibility of 1D cellular automata under reflective boundary conditions. (English) Zbl 07902298
MSC:
68Qxx
A short note on the mutually beneficial relationship between information extraction in database theory and classical formal language theory. (English) Zbl 1543.68102
Modular automata. (English) Zbl 07898786
Supervisory control of networked discrete event systems to achieve a required language. (English) Zbl 07898200
Secret protections with costs and disruptiveness in discrete-event systems using centralities. (English) Zbl 07898195
Correction to: “Current-state opacity formulations in probabilistic finite automata”. (English) Zbl 1543.68179
Constructing deterministic parity automata from positive and negative examples. (English) Zbl 07896324
\(p\)-linear schemes for sequences modulo \(p^{r}\). (English) Zbl 07894511
Reviewer: Takao Komatsu (Hangzhou)
Social dilemmas in a mixed traffic flow of buses and personal vehicles in transport mode choice. (English) Zbl 07893022
MSC:
82-XX
Rational index of languages defined by grammars with bounded dimension of parse trees. (English) Zbl 07888054
The power word problem in graph products. (English) Zbl 07888052
Reviewer: Egle Bettio (Venezia)
Characterization of ordered semigroups generating well quasi-orders of words. (English) Zbl 07888051
Joint learning of reward machines and policies in environments with partially known semantics. (English) Zbl 1543.68320
Verification of pattern-pattern diagnosability in partially observed discrete event systems. (English) Zbl 07884372
On decidability of existence of fortified supervisors against covert actuator attackers. (English) Zbl 07884353
On the cardinality computation problem for regular languages over symmetric groups. (English. Russian original) Zbl 07881447
Mosc. Univ. Comput. Math. Cybern. 48, No. 2, 130-136 (2024); translation from Vestn. Mosk. Univ., Ser. XV 2024, No. 2, 73-79 (2024).
Using hybrid automata to model mitigation of global disease spread via travel restriction. (English) Zbl 07880889
Holography and nucleation processes from the primeval Wheeler-DeWitt equation in a de Sitter universe. (English) Zbl 07880116
Amenability of bounded automata groups on infinite alphabets. (English) Zbl 1543.20030
Reviewer: Egle Bettio (Venezia)
An automata theoretic approach to observer design for switched linear systems. (English) Zbl 07875745
A uniform approach to compare architectures in decentralized discrete-event systems. (English) Zbl 07875740
From Muller to parity and Rabin qutomata: optimal transformations preserving (history) determinism. (English) Zbl 07875516
MSC:
68-XX
Intuitive trust transitive model based on learning automata and nearest neighbor analysis. (English) Zbl 07874950
The algebraic entropy of one-dimensional finitary linear cellular automata. (English) Zbl 07874820
Reviewer: Egle Bettio (Venezia)
Bounded-memory runtime enforcement with probabilistic and performance analysis. (English) Zbl 07873309
MSC:
68-XX
Unambiguously coded shifts. (English) Zbl 07873134
Minimum lethal sets in grids and tori under 3-neighbour bootstrap percolation. (English) Zbl 1542.05167
Singly exponential translation of alternating weak Büchi automata to unambiguous Büchi automata. (English) Zbl 07871734
MSC:
68Qxx
A delay analogue of the box and ball system arising from the ultra-discretization of the delay discrete Lotka-Volterra equation. (English) Zbl 07871194
Regular planar monoidal languages. (English) Zbl 07870768
MSC:
68-XX
Modelling reliability of reversible circuits with 2D second-order cellular automata. (English) Zbl 07868583
Incremental NFA minimization. (English) Zbl 07868368
MSC:
68Qxx
Filter Results by …
Document Type
- Journal Articles (29,354)
- Collection Articles (13,994)
- Books (2,144)
- arXiv Preprints (358)
all
top 5
Author
- Rozenberg, Grzegorz (303)
- Salomaa, Arto Kustaa (256)
- Kutrib, Martin (251)
- Păun, Gheorghe (248)
- Salomaa, Kai T. (227)
- Ibarra, Oscar H. (224)
- Holzer, Markus (185)
- Otto, Friedrich (181)
- Ésik, Zoltán (178)
- Shallit, Jeffrey Outlaw (174)
- Dassow, Jürgen (164)
- Karhumaki, Juhani (150)
- Okhotin, Alexander (146)
- Pin, Jean-Eric (139)
- Culik, Karel II (138)
- Yu, Sheng (131)
- Kupferman, Orna (126)
- Malcher, Andreas (124)
- Fernau, Henning (118)
- Wood, Derick (118)
- Engelfriet, Joost (117)
- Perrin, Dominique (113)
- Kari, Lila (109)
- Mitrana, Victor (109)
- Allouche, Jean-Paul Simon (107)
- Droste, Manfred (107)
- Honkala, Juha (107)
- Pighizzini, Giovanni (107)
- Ehrenfeucht, Andrzej (105)
- Han, Yo-Sub (105)
- Diekert, Volker (104)
- Myasnikov, Alexei G. (104)
- Kari, Jarkko (103)
- Vardi, Moshe Ya’akov (103)
- Ito, Masami (98)
- Restivo, Antonio (97)
- Kuich, Werner (93)
- Larsen, Kim Guldstrand (91)
- Lohrey, Markus (91)
- Brzozowski, Janusz Antoni (90)
- Choffrut, Christian (90)
- Martín-Vide, Carlos (89)
- Jirásková, Galina (86)
- Thierrin, Gabriel (86)
- Jain, Sanjay (85)
- Carton, Olivier (84)
- Goles Chacc, Eric (84)
- Staiger, Ludwig (84)
- Sakarovitch, Jacques (82)
- Shyr, Huei-Jan (82)
- Formenti, Enrico (81)
- Henzinger, Thomas A. (81)
- Adamatzky, Andrew I. (80)
- Kuske, Dietrich (80)
- Vogler, Heiko (80)
- Latteux, Michel (79)
- Dömösi, Pál (78)
- Maletti, Andreas (77)
- Reutenauer, Christophe (77)
- Bouyer, Patricia (76)
- Rytter, Wojciech (76)
- Thérien, Denis (76)
- Berstel, Jean (75)
- Courcelle, Bruno (74)
- Fülöp, Zoltán (74)
- Gastin, Paul (74)
- Moreira, Nelma (74)
- Champarnaud, Jean-Marc (72)
- Gécseg, Ferenc (72)
- Morita, Kenichi (72)
- Reis, Rogério (72)
- Jürgensen, Helmut (71)
- Bojańczyk, Mikołaj (70)
- Almeida, Jorge (69)
- Csuhaj-Varjú, Erzsébet (69)
- Margenstern, Maurice (69)
- Stephan, Frank (69)
- Boasson, Luc (68)
- Finkel, Olivier (68)
- Harju, Tero (68)
- Ginsburg, Seymour (67)
- Hromkovič, Juraj (67)
- Meduna, Alexander (67)
- Rigo, Michel (67)
- Maurer, Hermann A. (66)
- Steinberg, Benjamin (66)
- Mateescu, Alexandru (65)
- Thomas, Wolfgang (65)
- Kreowski, Hans-Jörg (64)
- Mereghetti, Carlo (64)
- Raskin, Jean-François (64)
- Bordihn, Henning (63)
- Freivalds, Rūsiņš Mārtiņš (63)
- Straubing, Howard (63)
- Ehrig, Hartmut (62)
- Mráz, František (62)
- Alur, Rajeev (61)
- Chatterjee, Krishnendu (61)
- Nivat, Maurice (61)
- Silva, Pedro V. (61)
- and 26,817 more Authors
all
top 5
Serial
- Theor. Comput. Sci. (2,615)
- IEEE Trans. Comput. (643)
- J. Comput. Syst. Sci. (640)
- Inf. Process. Lett. (636)
- Int. J. Found. Comput. Sci. (636)
- Inf. Comput. (602)
- Inf. Control (522)
- Fundam. Inform. (487)
- Acta Inf. (398)
- J. Autom. Lang. Comb. (371)
- Int. J. Algebra Comput. (353)
- J. Cell. Autom. (324)
- Elektron. Informationsverarbeitung Kybernetik (312)
- Autom. Remote Control (302)
- Kibernetika (301)
- Acta Cybern. (296)
- Int. J. Comput. Math. (292)
- Inf. Sci. (264)
- Complex Syst. (260)
- Log. Methods Comput. Sci. (257)
- J. Assoc. Comput. Mach. (241)
- J. Algebra (226)
- SIAM J. Comput. (210)
- Theory Comput. Syst. (198)
- Math. Syst. Theory (195)
- Discrete Appl. Math. (182)
- Avtom. Vychisl. Tekh. (Riga) (181)
- Semigroup Forum (181)
- Physica D (169)
- Lect. Notes Comput. Sci. (166)
- J. Stat. Phys. (158)
- RAIRO, Inform. Théor. Appl. (155)
- IEEE Trans. Autom. Control (150)
- Theor. Inform. Appl. (148)
- Cybern. Syst. Anal. (147)
- Commun. ACM (146)
- Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. (144)
- Nat. Comput. (144)
- Int. J. Bifurcation Chaos Appl. Sci. Eng. (138)
- Bull. EATCS (135)
- Izv. Akad. Nauk SSSR, Tekh. Kibern. (126)
- Discrete Math. (124)
- RAIRO, Theor. Inform. Appl. (120)
- Int. J. Mod. Phys. C (116)
- Stud. Cercet. Mat. (114)
- Program. Comput. Softw. (112)
- RAIRO, Inf. Théor. (112)
- Discrete Math. Appl. (112)
- J. Pure Appl. Algebra (107)
- J. Phys. A, Math. Gen. (105)
- Kybernetika (101)
- Physica A (100)
- Bull. Acad. Pol. Sci., Sér. Sci. Math. Astron. Phys. (98)
- Comput. J. (97)
- Rev. Roum. Math. Pures Appl. (95)
- Form. Methods Syst. Des. (95)
- Fuzzy Sets Syst. (93)
- RIMS Kokyuroku (93)
- Cybernetics (92)
- Commun. Algebra (91)
- Bull. Eur. Assoc. Theor. Comput. Sci. EATCS (87)
- Proc. Am. Math. Soc. (86)
- Discrete Math. Theor. Comput. Sci. (83)
- Formal Asp. Comput. (82)
- Probl. Kibern. (82)
- Int. J. Theor. Phys. (81)
- Discrete Event Dyn. Syst. (80)
- Prace Centr. oblicz. Polsk. Akad. Nauk (80)
- Trans. Am. Math. Soc. (79)
- Computing (77)
- IEEE Trans. Syst. Man Cybern. (76)
- Publ. Math. Debr. (75)
- J. Group Theory (75)
- Sov. Math., Dokl. (73)
- Found. Control Eng. (72)
- Prikl. Diskretn. Mat. (72)
- ACM Trans. Comput. Log. (71)
- Probl. Peredachi Inf. (68)
- Appl. Math. Comput. (67)
- Math. Struct. Comput. Sci. (67)
- J. Theor. Biol. (67)
- Autom. Control Comput. Sci. (66)
- Automatica (66)
- Adv. Appl. Math. (64)
- Math. Notes (63)
- Isr. J. Math. (62)
- Int. J. Comput. Inform. Sci. (61)
- Groups Geom. Dyn. (61)
- Soobshch. Akad. Nauk Gruz. SSR (59)
- Bull. Math. Soc. Sci. Math. Répub. Soc. Roum., Nouv. Sér. (57)
- Podstawy Sterowania (57)
- C. R. Acad. Sci., Paris, Sér. A (55)
- Int. J. Syst. Sci. (54)
- Kybernetes (54)
- Z. Math. Logik Grundlagen Math. (53)
- J. Inf. Process. Cybern. (53)
- J. UCS (53)
- Chaos Solitons Fractals (52)
- IBM J. Res. Dev. (52)
- J. Phys. A, Math. Theor. (52)
- and 1,857 more Serials
all
top 5
Year of Publication
- 2025 (4)
- 2024 (286)
- 2023 (561)
- 2022 (779)
- 2021 (826)
- 2020 (800)
- 2019 (904)
- 2018 (1,080)
- 2017 (1,007)
- 2016 (1,030)
- 2015 (1,096)
- 2014 (1,086)
- 2013 (1,083)
- 2012 (1,243)
- 2011 (1,165)
- 2010 (1,178)
- 2009 (1,139)
- 2008 (1,139)
- 2007 (1,002)
- 2006 (1,104)
- 2005 (947)
- 2004 (959)
- 2003 (965)
- 2002 (887)
- 2001 (864)
- 2000 (769)
- 1999 (690)
- 1998 (556)
- 1997 (616)
- 1996 (663)
- 1995 (620)
- 1994 (611)
- 1993 (563)
- 1992 (596)
- 1991 (521)
- 1990 (570)
- 1989 (538)
- 1988 (608)
- 1987 (583)
- 1986 (635)
- 1985 (572)
- 1984 (519)
- 1983 (574)
- 1982 (568)
- 1981 (658)
- 1980 (607)
- 1979 (699)
- 1978 (808)
- 1977 (1,006)
- 1976 (976)
- 1975 (1,160)
- 1974 (1,003)
- 1973 (869)
- 1972 (618)
- 1971 (542)
- 1970 (610)
- 1969 (617)
- 1968 (405)
- 1967 (250)
- 1966 (142)
- 1965 (134)
- 1964 (73)
- 1963 (67)
- 1962 (43)
- 1961 (21)
- 1960 (20)
- 1959 (5)
- 1958 (2)
- 1956 (2)
- 1955 (1)
- 1954 (2)
- 1950 (1)
- 1947 (1)
- 1946 (1)
- 1911 (1)
all
top 3
Main Field
- 68-XX (38,801)
- 20-XX (5,603)
- 03-XX (4,993)
- 94-XX (2,598)
- 37-XX (2,546)
- 11-XX (1,481)
- 93-XX (1,451)
- 05-XX (1,431)
- 92-XX (1,188)
- 91-XX (990)
- 18-XX (924)
- 90-XX (780)
- 00-XX (762)
- 82-XX (701)
- 60-XX (651)
- 08-XX (546)
- 81-XX (474)
- 65-XX (395)
- 06-XX (386)
- 16-XX (349)
- 57-XX (333)
- 28-XX (235)
- 54-XX (209)
- 15-XX (191)
- 62-XX (180)
- 35-XX (128)
- 76-XX (126)
- 13-XX (112)
- 52-XX (108)
- 34-XX (98)
- 22-XX (93)
- 14-XX (89)
- 39-XX (83)
- 17-XX (82)
- 01-XX (78)
- 74-XX (68)
- 55-XX (67)
- 51-XX (62)
- 49-XX (60)
- 43-XX (54)
- 70-XX (50)
- 46-XX (49)
- 30-XX (47)
- 12-XX (46)
- 47-XX (45)
- 26-XX (42)
- 53-XX (38)
- 80-XX (34)
- 33-XX (30)
- 86-XX (30)
- 42-XX (26)
- 58-XX (26)
- 41-XX (23)
- 83-XX (20)
- 40-XX (16)
- 31-XX (15)
- 78-XX (14)
- 97-XX (12)
- 32-XX (8)
- 44-XX (7)
- 19-XX (4)
- 45-XX (4)
- 85-XX (4)
all
top 3
Biographic Reference
- von Neumann, John (4)
- Dassow, Jürgen (2)
- Glushkov, Viktor Mikhaĭlovich (2)
- Goles Chacc, Eric (2)
- Salomaa, Arto Kustaa (2)
- Adyan, Sergeĭ Ivanovich (1)
- Akl, Selim G. (1)
- Boole, George (1)
- Bozapalidis, Symeon (1)
- Butler, Samuel (1)
- Chua, Leon Ong (1)
- Chupona, Ǵorǵi (1)
- Dehn, Max (1)
- Ésik, Zoltán (1)
- Finkelstein, David Ritz (1)
- Francez, Nissim (1)
- Gécseg, Ferenc (1)
- Gelenbe, Sami Erol (1)
- Gelenbe, Erol (1)
- Hobbes, Thomas (1)
- Hotz, Günter (1)
- Ito, Masami (1)
- Ito, Masami (1)
- Jevons, William Stanley (1)
- Jonsson, Bengt (1)
- Kac, Mark (1)
- Karatsuba, Anatoliĭ Alekseevich (1)
- Kintala, Chandra (1)
- Larsen, Kim Guldstrand (1)
- Marcus, Solomon (1)
- Margenstern, Maurice (1)
- McAlister, Donald B. (1)
- Morita, Kenichi (1)
- Păun, Gheorghe (1)
- Pnueli, Amir (1)
- Rozenberg, Grzegorz (1)
- Rudeanu, Sergiu (1)
- Schützenberger, Marcel-Paul (1)
- Shankar, Priti (1)
- Stepney, Susan (1)
- Thierrin, Gabriel (1)
- Thomas, Wolfgang (1)
- Turing, Alan Mathison (1)
- von Kempelen, Wolfgang (1)
all
top 3
Software
- Uppaal (277)
- ALGOL 60 (184)
- OEIS (159)
- Kronos (145)
- HyTech (130)
- UMDES (112)
- PRISM (111)
- SPIN (94)
- GAP (91)
- GitHub (87)
- MONA (66)
- Isabelle/HOL (65)
- LTL2BA (65)
- ALGOL 68 (58)
- z3 (55)
- Coq (54)
- XPath (52)
- PHAVer (50)
- SPOT (46)
- LANGAGE (43)
- SpaceEx (41)
- Matlab (37)
- Walnut (37)
- Mathematica (32)
- Reo (32)
- Magma (31)
- Timbuk (31)
- CESAR (28)
- Isabelle (28)
- UPPAAL TIGA (28)
- Antichains (27)
- LearnLib (26)
- NuSMV (26)
- Archive Formal Proofs (24)
- Python (23)
- Haskell (22)
- QCADesigner (22)
- PPL (21)
- Uppaal2k (21)
- Bebop (20)
- CMC (20)
- FAdo (20)
- IMITATOR (20)
- SageMath (20)
- HOL (19)
- PVS (19)
- Rabbit (19)
- TESTAS (19)
- PERL (18)
- CADP (17)
- IF-2.0 (17)
- MoDeST (17)
- PL/I (17)
- RSOLVER (17)
- TREX (17)
- Euler (16)
- FAST (16)
- Grail (16)
- MIO Workbench (16)
- CUDD (15)
- HSolver (15)
- LASH (15)
- Maude (15)
- PEPS (15)
- Regular Sets (15)
- SLAM (15)
- automata (15)
- Gurobi (14)
- KeYmaera (14)
- MiniSat (14)
- OpenFst (14)
- RFSA (14)
- Tiburon (14)
- YALMIP (14)
- AutomGrp (13)
- CVC4 (13)
- Chaff (13)
- GUItar (13)
- MathOverflow (13)
- PRMLT (13)
- Rabinizer (13)
- Vaucanson (13)
- XDuce (13)
- Z (13)
- LOTOS (12)
- MATISSE (12)
- Maple (12)
- Sigma* (12)
- libalf (12)
- BLAST (11)
- CORA (11)
- CPLEX (11)
- FR (11)
- MAGIC (11)
- Myhill-Nerode (11)
- Owl (11)
- QCAPro (11)
- TINA (11)
- UCFL (11)
- d/dt (11)
- and 1,645 more Software Packages