Found 1,010 Documents (Results 1–100)
Synchronization of primitive automata. (English) Zbl 07833148
MSC:
68Q45
On the power of pushing or stationary moves for input-driven pushdown automata. (English) Zbl 07827497
MSC:
68Q45
Checking in polynomial time whether or not a regular tree language is deterministic top-down. (English) Zbl 07824709
MSC:
68Qxx
Compositional synthesis of control barrier certificates for networks of stochastic systems against \(\omega\)-regular specifications. (English) Zbl 1533.93195
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
Sweep complexity revisited. (English) Zbl 07810928
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, 116-127 (2023).
MSC:
68Q45
Synchronizing deterministic push-down automata can be really hard. (English) Zbl 07798816
MSC:
68Qxx
Solvable cellular automata. Methods and applications. (English) Zbl 07781926
Understanding Complex Systems; Springer: Complexity.. Cham: Springer (ISBN 978-3-031-38699-2/hbk; 978-3-031-38702-9/pbk; 978-3-031-38700-5/ebook). xix, 296 p. (2023).
On pseudo-deterministic virtual finite automaton (PDVFA) of order \((s, t)\). (English) Zbl 07723593
A Myhill-Nerode theorem for finite state matrix automata and finite matrix languages. (English) Zbl 1528.68190
Barneva, Reneta P. (ed.) et al., Combinatorial image analysis. 21st international workshop, IWCIA 2022, Messina, Italy, July 13–15, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13348, 154-170 (2023).
MSC:
68Q45
Formulation of \(\beta\)-language from the semi-deterministic pushdown automata (SDPDA) of order \(n\). (English) Zbl 1516.68044
State complexity of finite partial languages. (English) Zbl 07699969
MSC:
68Qxx
Syntax checking either way. (English) Zbl 07699968
MSC:
68Qxx
On integers whose sum is the reverse of their product. (English) Zbl 1522.11007
Reviewer: Clemens Heuberger (Klagenfurt)
Passive learning of deterministic Büchi automata by combinations of DFAs. (English) Zbl 07870324
Bojańczyk, Mikołaj (ed.) et al., 49th EATCS international conference on automata, languages, and programming, ICALP 2022, Paris, France, July 4–8, 2022. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 229, Article 114, 20 p. (2022).
Adaptive strategies for route selection en-route in transportation networks. (English) Zbl 1540.90054
Poster abstract: Controller synthesis for nonlinear stochastic games via approximate probabilistic relations. (English) Zbl 07807733
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. New York, NY: Association for Computing Machinery (ACM). Paper No. 25, 2 p. (2022).
On minimization and learning of deterministic \(\omega\)-automata in the presence of don’t care words. (English) Zbl 1532.68026
Monte Carlo tree search for priced timed automata. (English) Zbl 1522.68273
Ábrahám, Erika (ed.) et al., Quantitative evaluation of systems. 19th international conference, QEST 2022, Warsaw, Poland, September 12–16, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13479, 381-398 (2022).
State complexity of finite partial languages. (English) Zbl 07643471
Han, Yo-Sub (ed.) et al., Descriptional complexity of formal systems. 24th IFIP WG 1.02 international conference, DCFS 2022, Debrecen, Hungary, August 29–31, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13439, 170-183 (2022).
MSC:
68Qxx
Synchronizing words and monoid factorization, yielding a new parameterized complexity class? (English) Zbl 07618926
Construction of \(\alpha\)-language from the language of a QDPDA of order “\(n\)”. (English) Zbl 1515.68163
Deterministic top-down tree automata with Boolean deterministic look-ahead. (English) Zbl 1537.68084
MSC:
68Q45
Determinisability of register and timed automata. (English) Zbl 07566065
MSC:
68Q45
Space-bounded OTMs and \(\mathrm{REG}^\infty \). (English) Zbl 1526.03004
Reviewer: Gregory Loren McColm (Tampa)
From decidability to undecidability by considering regular sets of instances. (English) Zbl 1515.68169
Determinisability of unary weighted automata over the rational numbers. (English) Zbl 1490.68127
Reviewer: Andreas Maletti (Leipzig)
MSC:
68Q45
Characterisation of the elementary cellular automata with neighbourhood priority based deterministic updates. (English) Zbl 1484.37018
MSC:
37B15
Finitely generated subgroups of free groups as formal languages and their cogrowth. (English) Zbl 07875712
Reviewer: Egle Bettio (Venezia)
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
Fuzzy \(\epsilon\)-approximate regular languages and minimal deterministic fuzzy automata \(\epsilon\)-accepting them. (English) Zbl 1522.68289
MSC:
68Q45
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
Constructing deterministic \(\omega\)-automata from examples by an extension of the RPNI algorithm. (English) Zbl 07724193
Bonchi, Filippo (ed.) et al., 46th international symposium on mathematical foundations of computer science, MFCS 2021, August 23–27, 2021, Tallinn, Estonia. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 202, Article 20, 18 p. (2021).
MSC:
68Qxx
Between SC and LOGDCFL: families of languages accepted by polynomial-time logarithmic-space deterministic auxiliary depth-\(k\) storage automata. (English) Zbl 07670460
Chen, Chi-Yeh (ed.) et al., Computing and combinatorics. 27th international conference, COCOON 2021, Tainan, Taiwan, October 24–26, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13025, 164-175 (2021).
MSC:
68Rxx
Deciding top-down determinism of regular tree languages. (English) Zbl 07530244
Bampis, Evripidis (ed.) et al., Fundamentals of computation theory. 23rd international symposium, FCT 2021, Athens, Greece, September 12–15, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12867, 341-353 (2021).
MSC:
68Qxx
Obfuscating finite automata. (English) Zbl 1485.94087
Dunkelman, Orr (ed.) et al., Selected areas in cryptography. 27th international conference, Halifax, NS, Canada (virtual event), October 21–23, 2020. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12804, 90-114 (2021).
Nondeterministic and co-nondeterministic implies deterministic, for data languages. (English) Zbl 07410434
Kiefer, Stefan (ed.) et al., Foundations of software science and computation structures. 24th international conference, FOSSACS 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12650, 365-384 (2021).
Sequentiality of group-weighted tree automata. (English) Zbl 07405993
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, 267-278 (2021).
MSC:
68Q45
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
Embedding parallelohedra into primitive cubic networks and structural automata description. (English) Zbl 1543.74020
State space reduction for parity automata. (English) Zbl 07650840
Fernández, Maribel (ed.) et al., 28th EACSL annual conference on computer science logic, CSL 2020, Barcelona, Spain, January 13–16, 2020. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 152, Article 27, 16 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).
Determinisability of one-clock timed automata. (English) Zbl 07559498
Konnov, Igor (ed.) et al., 31st international conference on concurrency theory. CONCUR 2020, September 1–4, 2020, Vienna, Austria, virtual conference. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 171, Article 42, 17 p. (2020).
MSC:
68Q85
Unary prime languages. (English) Zbl 07559422
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 51, 12 p. (2020).
MSC:
68Qxx
Lattice structures of automata. (English) Zbl 1489.68144
MSC:
68Q70
An asynchronous solution to the synchronisation problem for binary one-dimensional cellular automata. (English) Zbl 1508.68238
Analog neuron hierarchy. (English) Zbl 1468.68099
Forbidden patterns for ordered automata. (English) Zbl 1462.68116
MSC:
68Q70
The ranges of accepting state complexities of languages resulting from some operations. (English) Zbl 1482.68126
Reviewer: Andreas Maletti (Leipzig)
MSC:
68Q45
\(\alpha\)-grammar and quasi-deterministic pushdown automata (QDPDA) of order “\(n\)”. (English) Zbl 1462.68106
An efficient normalisation procedure for linear temporal logic and very weak alternating automata. (English) Zbl 07299516
Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM). 831-844 (2020).
Polynomial algorithm for equivalence problem of deterministic multitape finite automata. (English) Zbl 1451.68149
Input strictly local tree transducers. (English) Zbl 1448.68267
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, 369-381 (2020).
Reviewer: Andreas Maletti (Leipzig)
MSC:
68Q45
Intersection and union hierarchies of deterministic context-free languages and pumping lemmas. (English) Zbl 1437.68108
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, 341-353 (2020).
MSC:
68Q45
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)
A verified and compositional translation of LTL to deterministic Rabin automata. (English) Zbl 07649960
Harrison, John (ed.) et al., 10th international conference on interactive theorem proving, ITP 2019, September 9–12, 2019, Portland, OR, USA. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 141, Article 11, 19 p. (2019).
MSC:
68Q45
Minimizing GFG transition-based automata. (English) Zbl 1527.68120
Baier, Christel (ed.) et al., 46th international colloquium on automata, languages, and programming, ICALP 2019, Patras, Greece, July 9–12, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 132, Article 100, 16 p. (2019).
Markov chains approach for regional controllability of deterministic cellular automata, via boundary actions. (English) Zbl 1470.93023
Deterministic fuzzy automaton on subclasses of fuzzy regular \(\omega\)-languages. (English) Zbl 1455.68082
MSC:
68Q45
A perfect solution to the parity problem with elementary cellular automaton 150 under asynchronous update. (English) Zbl 1451.68187
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).
Definitions and properties of entropy and distance for regular languages. (English) Zbl 1478.37019
Hawkins, Jane (ed.) et al., Dynamical systems and random processes, 16th Carolina dynamics symposium, Agnes Scott College, Decatur, Georgia, April 13–15, 2018. Providence, RI: American Mathematical Society (AMS). Contemp. Math. 736, 139-169 (2019).
Canonization of max-min fuzzy automata. (English) Zbl 1423.68253
MSC:
68Q45
\((k,l)\)-unambiguity and quasi-deterministic structures. (English) Zbl 1439.68012
Reviewer: Andreas Maletti (Leipzig)
MSC:
68Q45
Descriptional complexity of the forever operator. (English) Zbl 1415.68130
MSC:
68Q45
The mathematics of urban morphology. With a foreword by Michael Batty. (English) Zbl 1410.91008
Modeling and Simulation in Science, Engineering and Technology. Cham: Birkhäuser (ISBN 978-3-030-12380-2/hbk; 978-3-030-12381-9/ebook). xiii, 564 p. (2019).
Reviewer: Yilun Shang (Newcastle)
On automata recognizing birecurrent sets. (English) Zbl 1412.68135
Reviewer: Andreas Maletti (Leipzig)
One theorem to rule them all: a unified translation of LTL into \(\omega \)-automata. (English) Zbl 1497.68259
Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9–12, 2018. New York, NY: Association for Computing Machinery (ACM). 384-393 (2018).
Determinization of fuzzy automata by factorizations of fuzzy states and right invariant fuzzy quasi-orders. (English) Zbl 1441.68130
MSC:
68Q45
Minimal fuzzy realization for fuzzy behaviour: a bicategory-theoretic approach. (English) Zbl 1429.18002
On primeness of non-deterministic automata associated with input semigroup \(S\). (English) Zbl 1512.20220
MSC:
20M35
A characterization of completely reachable automata. (English) Zbl 1517.68175
Hoshi, Mizuho (ed.) et al., Developments in language theory. 22nd international conference, DLT 2018, Tokyo, Japan, September 10–14, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11088, 145-155 (2018).
MSC:
68Q45
New size hierarchies for two way automata. (English) Zbl 1403.68114
MSC:
68Q45
Deterministic sensing \(5'\rightarrow 3'\) Watson-Crick automata without sensing parameter. (English) Zbl 1508.68106
Stepney, Susan (ed.) et al., Unconventional computation and natural computation. 17th international conference, UCNC 2018, Fontainebleau, France, June 25–29, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10867, 173-187 (2018).
Fundamentals of network biology. (English) Zbl 1405.92001
Hackensack, NJ: World Scientific (ISBN 978-1-78634-508-0/hbk; 978-1-78634-510-3/ebook). xix, 547 p. (2018).
Reviewer: Dieter Erle (Dortmund)
Filter Results by …
Document Type
- Journal Articles (718)
- Collection Articles (270)
- Books (21)
- arXiv Preprints (1)
all
top 5
Author
- Sénizergues, Géraud (13)
- Ibarra, Oscar H. (12)
- Jirásková, Galina (11)
- Yu, Sheng (11)
- Kutrib, Martin (10)
- Tiwari, S. P. (10)
- Culik, Karel II (9)
- Oyamaguchi, Michio (9)
- Salomaa, Kai T. (9)
- Tomita, Etsuji (8)
- Trahtman, Avraham Naumovich (8)
- Freivalds, Rūsiņš Mārtiņš (7)
- Holzer, Markus (7)
- Rytter, Wojciech (7)
- Sakarovitch, Jacques (7)
- Vágvölgyi, Sándor (7)
- Yehudai, Amiram (7)
- Câmpeanu, Cezar (6)
- Ćirić, Miroslav D. (6)
- Larsen, Kim Guldstrand (6)
- Maletti, Andreas (6)
- Mereghetti, Carlo (6)
- Petalcorin, Gaudencio C. jun. (6)
- Ravikumar, Bala (6)
- Volkov, Mikhail Vladimirovich (6)
- Wendlandt, Matthias (6)
- Zahedi, Mohammad Mehdi (6)
- Arnold, André (5)
- Courcelle, Bruno (5)
- Daciuk, Jan (5)
- Fernau, Henning (5)
- Fülöp, Zoltán (5)
- Garey, Michael Randolph (5)
- Harrison, Michael A. (5)
- Honda, Namio (5)
- Ignjatović, Jelena (5)
- Inagaki, Yasuyoshi (5)
- Johnson, David Stifler (5)
- Kupferman, Orna (5)
- Löding, Christof (5)
- Malcher, Andreas (5)
- Mandrioli, Dino (5)
- Nijholt, Anton (5)
- Păun, Andrei (5)
- Pighizzini, Giovanni (5)
- Yadav, Vijay Kumar (5)
- Alur, Rajeev (4)
- Birget, Jean-Camille (4)
- Boasson, Luc (4)
- Bunimovich, Leonid Abramovich (4)
- Carrasco, Rafael C. (4)
- Crespi Reghizzi, Stefano (4)
- Dassow, Jürgen (4)
- Diekert, Volker (4)
- Friedman, Emily P. (4)
- Gallier, Jean H. (4)
- Hromkovič, Juraj (4)
- Inoue, Katsushi (4)
- Latteux, Michel (4)
- Nivat, Maurice (4)
- Palano, Beatrice (4)
- Sickert, Salomon (4)
- Watson, Bruce William (4)
- Wolf, Petra (4)
- Ananichev, Dmitry S. (3)
- Arulprakasam, R. (3)
- Balcázar, José Luis (3)
- Bohn, León (3)
- Champarnaud, Jean-Marc (3)
- Chebotarev, Anatoli N. (3)
- Chen, Haiming (3)
- Chmiel, Krzysztof (3)
- Chrobak, Marek (3)
- Dare, Vincent Rajkumar (3)
- de la Higuera, Colin (3)
- Ďuriš, Pavol (3)
- Ehrenfeucht, Andrzej (3)
- Engelfriet, Joost (3)
- Esparza, Javier (3)
- Forcada, Mikel L. (3)
- Friede, Dietmar (3)
- Gabbasov, N. Z. (3)
- Ganesan, M. S. (3)
- Gautam, Vinay (3)
- Goldstine, Jonathan (3)
- Greibach, Sheila A. (3)
- Han, Yo-Sub (3)
- Hospodár, Michal (3)
- Itzhaik, Yair (3)
- Jiang, Tao (3)
- Kalandarishvili, N. G. (3)
- Karhumaki, Juhani (3)
- Kasangian, Stefano (3)
- Kim, Sam Myo (3)
- Lasota, Sławomir (3)
- Li, Ming (3)
- Li, Yongming (3)
- Linna, Matti (3)
- Lohrey, Markus (3)
- Lu, Ping (3)
- and 1,138 more Authors
all
top 5
Serial
- Theor. Comput. Sci. (112)
- J. Comput. Syst. Sci. (37)
- Inf. Process. Lett. (25)
- Int. J. Found. Comput. Sci. (25)
- Inf. Comput. (23)
- Acta Inf. (18)
- Inf. Control (15)
- J. Autom. Lang. Comb. (13)
- Inf. Sci. (12)
- J. Assoc. Comput. Mach. (12)
- SIAM J. Comput. (12)
- Elektron. Informationsverarbeitung Kybernetik (12)
- Int. J. Comput. Math. (9)
- Fundam. Inform. (9)
- Fuzzy Sets Syst. (8)
- Math. Syst. Theory (8)
- Cybernetics (8)
- Int. J. Algebra Comput. (8)
- Acta Cybern. (7)
- Program. Comput. Softw. (7)
- Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. (7)
- Physica D (7)
- J. Algebra Appl. Math. (6)
- Autom. Remote Control (5)
- RAIRO, Inform. Théor. Appl. (5)
- Cybern. Syst. Anal. (5)
- Autom. Control Comput. Sci. (4)
- Discrete Appl. Math. (4)
- IEEE Trans. Autom. Control (4)
- Kybernetika (4)
- Sov. Math. (4)
- Mach. Learn. (4)
- Theor. Inform. Appl. (4)
- J. Appl. Math. Comput. (4)
- J. Comput. Math. Optim. (4)
- Log. Methods Comput. Sci. (4)
- J. Algebra Discrete Struct. (4)
- J. Stat. Phys. (3)
- Appl. Math. Comput. (3)
- IEEE Trans. Comput. (3)
- RAIRO, Inf. Théor. (3)
- Bull. EATCS (3)
- Ital. J. Pure Appl. Math. (3)
- Comput. Linguist. (3)
- J. Discrete Algorithms (3)
- Vychisl. Tekh. Vopr. Kibern. (3)
- J. Cell. Autom. (3)
- RAIRO, Theor. Inform. Appl. (3)
- Iran. J. Math. Sci. Inform. (3)
- Commun. Math. Phys. (2)
- Int. J. Control (2)
- Int. J. Theor. Phys. (2)
- Izv. Vyssh. Uchebn. Zaved., Mat. (2)
- Math. Notes (2)
- Probl. Inf. Transm. (2)
- Chaos Solitons Fractals (2)
- Ars Comb. (2)
- Automatica (2)
- Cah. Topologie Géom. Différ. Catégoriques (2)
- Int. J. Comput. Inform. Sci. (2)
- J. Math. Sociol. (2)
- Rostocker Math. Kolloq. (2)
- Stud. Cercet. Mat. (2)
- Trans. Am. Math. Soc. (2)
- Large Scale Syst. (2)
- Adv. Appl. Math. (2)
- Ann. Pure Appl. Logic (2)
- SIAM J. Discrete Math. (2)
- Diskretn. Mat. (2)
- Math. Struct. Comput. Sci. (2)
- Discrete Event Dyn. Syst. (2)
- IBM J. Res. Dev. (2)
- IEEE Trans. Softw. Eng. (2)
- Serdica (2)
- Vestn. St. Petersbg. Univ., Math. (2)
- Form. Methods Syst. Des. (2)
- J. Fuzzy Math. (2)
- Veroyatn. Metody Kibern. (2)
- Ann. Math. Artif. Intell. (2)
- Theory Comput. Syst. (2)
- J. ACM (2)
- J. Mach. Learn. Res. (2)
- Nat. Comput. (2)
- J. Anal. Appl. (2)
- J. Intell. Fuzzy Syst. (2)
- Iran. J. Fuzzy Syst. (2)
- Methods Oper. Res. (2)
- Int. J. Mod. Phys. B (1)
- Biol. Cybern. (1)
- Comput. Math. Appl. (1)
- Discrete Math. (1)
- God. Vissh. Uchebn. Zaved., Prilozh. Mat. (1)
- Int. J. Gen. Syst. (1)
- J. Inst. Math. Appl. (1)
- Latv. Mat. Ezheg. (1)
- Math. Biosci. (1)
- Nonlinearity (1)
- Avtom. Vychisl. Tekh. (Riga) (1)
- Math. Intell. (1)
- BIT (1)
- and 134 more Serials
all
top 5
Year of Publication
- 2024 (8)
- 2023 (14)
- 2022 (15)
- 2021 (12)
- 2020 (24)
- 2019 (17)
- 2018 (13)
- 2017 (22)
- 2016 (27)
- 2015 (33)
- 2014 (18)
- 2013 (30)
- 2012 (27)
- 2011 (24)
- 2010 (17)
- 2009 (17)
- 2008 (29)
- 2007 (20)
- 2006 (15)
- 2005 (14)
- 2004 (16)
- 2003 (23)
- 2002 (13)
- 2001 (17)
- 2000 (12)
- 1999 (11)
- 1998 (14)
- 1997 (17)
- 1996 (11)
- 1995 (15)
- 1994 (11)
- 1993 (17)
- 1992 (23)
- 1991 (8)
- 1990 (20)
- 1989 (15)
- 1988 (21)
- 1987 (25)
- 1986 (28)
- 1985 (25)
- 1984 (29)
- 1983 (30)
- 1982 (44)
- 1981 (35)
- 1980 (40)
- 1979 (34)
- 1978 (28)
- 1977 (10)
- 1976 (13)
- 1975 (3)
- 1974 (4)
- 1972 (1)
- 1971 (1)
all
top 3
Main Field
- 68-XX (964)
- 90-XX (87)
- 03-XX (77)
- 20-XX (42)
- 93-XX (34)
- 37-XX (32)
- 94-XX (30)
- 05-XX (29)
- 18-XX (23)
- 60-XX (19)
- 91-XX (15)
- 92-XX (13)
- 11-XX (12)
- 82-XX (12)
- 81-XX (10)
- 06-XX (6)
- 15-XX (5)
- 65-XX (4)
- 28-XX (3)
- 34-XX (3)
- 00-XX (2)
- 08-XX (2)
- 16-XX (2)
- 62-XX (2)
- 76-XX (2)
- 83-XX (2)
- 14-XX (1)
- 35-XX (1)
- 39-XX (1)
- 42-XX (1)
- 43-XX (1)
- 45-XX (1)
- 51-XX (1)
- 52-XX (1)
- 54-XX (1)
- 58-XX (1)
- 74-XX (1)
all
top 3
Software
- Uppaal (7)
- ALGOL 60 (6)
- OEIS (4)
- PRISM (4)
- TESTAS (4)
- UMDES (4)
- Isabelle/HOL (3)
- LANGAGE (3)
- AMoRE (2)
- Archive Formal Proofs (2)
- Euler (2)
- GitHub (2)
- Haskell (2)
- Kronos (2)
- LTL2BA (2)
- LearnLib (2)
- Modula (2)
- Owl (2)
- PERL (2)
- Rabinizer (2)
- SPOT (2)
- Strix (2)
- UPPAAL CORA (2)
- XPath (2)
- ALGOL 68 (1)
- ALT (1)
- AWK (1)
- Ada95 (1)
- Autoref (1)
- BKZ (1)
- Bio-PEPA (1)
- Bio-PEPAd (1)
- Boolean_Expression_Checkers (1)
- CAVA (1)
- CAVA Automata Library (1)
- CAVA LTL Modelchecker (1)
- CIRC (1)
- COMPAS (1)
- CuSNP (1)
- Desco (1)
- FFTW (1)
- FHEW (1)
- Flex (1)
- FlexFringe (1)
- Gabow SCC (1)
- Grain (1)
- HElib (1)
- IF-2.0 (1)
- IMITATOR (1)
- INA (1)
- JASPAR (1)
- JOBSHOP (1)
- LALBLC (1)
- LOIS (1)
- LTL_to_DRA (1)
- Lifting (1)
- Locales (1)
- MRMC (1)
- Matlab (1)
- Miranda (1)
- NLambda (1)
- NetworkX (1)
- OBJ3 (1)
- ORA (1)
- PATRICIA (1)
- PROSITE (1)
- Paxos (1)
- Penn Treebank (1)
- Program-Conflict-Analysis (1)
- Python (1)
- REGAL (1)
- Refinement Monadic (1)
- Regex_Equivalence (1)
- Regexpcount (1)
- Regular Sets (1)
- Robotics (1)
- SAPPORO BDD (1)
- SNOW (1)
- SPIN (1)
- Seminator 2 (1)
- Sigma* (1)
- Simula 67 (1)
- Symbolic automata (1)
- TFHE (1)
- Transfer (1)
- Transition_Systems_and_Automata (1)
- VPAlib (1)
- XMark (1)
- XQuery (1)
- YALMIP (1)
- countmotif (1)
- fsaLib (1)
- fsm2 (1)
- libFAUDES (1)
- libalf (1)
- ltl2dstar (1)
- nncontroller (1)
- z3 (1)