Found 234 Documents (Results 1–100)
Non-expansive matrix number systems with bases similar to certain Jordan blocks. (English) Zbl 1535.15013
Reviewer: John D. Dixon (Ottawa)
Indistinguishability obfuscation, range avoidance, and bounded arithmetic. (English) Zbl 07844655
Saha, Barna (ed.) et al., Proceedings of the 55th annual ACM SIGACT symposium on theory of computing, STOC ’23, Orlando, FL, USA, June 20–23, 2023. New York, NY: Association for Computing Machinery (ACM). 1076-1089 (2023).
MSC:
68Qxx
Cops and robbers on multi-layer graphs. (English) Zbl 07842221
Paulusma, Daniël (ed.) et al., Graph-theoretic concepts in computer science. 49th international workshop, WG 2023, Fribourg, Switzerland, June 28–30, 2023. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 14093, 319-333 (2023).
MSC:
68R10
Recognition and complexity results for projection languages of two-dimensional automata. (English) Zbl 07770057
MSC:
68Q45
Weak inverse neighborhoods of languages. (English) Zbl 07766934
Drewes, Frank (ed.) et al., Developments in language theory. 27th international conference, DLT 2023, Umeå, Sweden, June 12–16, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13911, 61-73 (2023).
MSC:
68Q45
A characterization of functions over the integers computable in polynomial time using discrete ordinary differential equations. (English) Zbl 07727625
Reviewer: Arne Meier (Hannover)
Synchronous Boolean finite dynamical systems on directed graphs over XOR functions. (English) Zbl 07719398
Parameterized complexity of logic-based argumentation in Schaefer’s framework. (English) Zbl 07713587
Variable ansatz applied to spectral operator decomposition in a physical superconducting quantum device. (English) Zbl 1542.81193
MSC:
81P68
Computability models: algebraic, topological and geometric algorithms. (English) Zbl 1511.20193
Detinko, Alla (ed.) et al., Computational aspects of discrete subgroups of Lie groups. Virtual conference, Institute for Computational and Experimental Research in Mathematics, ICERM, Providence, Rhode Island, USA June 14–18, 2021. Providence, RI: American Mathematical Society (AMS). Contemp. Math. 783, 57-68 (2023).
Universality of SN P systems with stochastic application of rules. (English) Zbl 1518.68113
MSC:
68Q07
A more complete analysis of the signal double ratchet algorithm. (English) Zbl 1516.94023
Dodis, Yevgeniy (ed.) et al., Advances in cryptology – CRYPTO 2022. 42nd annual international cryptology conference, CRYPTO 2022, Santa Barbara, CA, USA, August 15–18, 2022. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 13507, 784-813 (2022).
MSC:
94A60
Regular model checking revisited. (English) Zbl 1522.68332
Olderog, Ernst-Rüdiger (ed.) et al., Model checking, synthesis, and learning. Essays dedicated to Bengt Jonsson on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 13030, 97-114 (2022).
MSC:
68Q60
String abstract domains and their combination. (English) Zbl 1521.68036
De Angelis, Emanuele (ed.) et al., Logic-based program synthesis and transformation. 31st international symposium, LOPSTR 2021, Tallinn, Estonia, September 7–8, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13290, 1-15 (2022).
MSC:
68N30
General decidability results for asynchronous shared-memory programs: higher-order and beyond. (English) Zbl 07639910
MSC:
68-XX
On the decidability of infix inclusion problem. (English) Zbl 1533.68128
Diekert, Volker (ed.) et al., Developments in language theory. 26th international conference, DLT 2022, Tampa, FL, USA, May 9–13, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13257, 115-126 (2022).
A modal view on resource-bounded propositional logics. (English) Zbl 07562024
Stud. Log. 110, No. 4, 1035-1080 (2022); correction ibid. 110, No. 6, 1537-1538 (2022).
MSC:
03-XX
Equivalence classes and conditional hardness in massively parallel computations. (English) Zbl 1483.68032
Fixed points in generalized parallel and sequential dynamical systems induced by a minterm or maxterm Boolean functions. (English) Zbl 1484.94036
Automata equipped with auxiliary data structures and regular realizability problems. (English) Zbl 07614749
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, 150-162 (2021).
MSC:
68Qxx
Shannon’s information measure: entropy. (A medida de informação de Shannon: entropia.) (Portuguese. English summary) Zbl 1490.01032
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
Quadratic word equations with length constraints, counter systems, and Presburger arithmetic with divisibility. (English) Zbl 1517.68319
Incompleteness and the halting problem. (English) Zbl 1539.03191
MSC:
03F40
A unified method to decentralized state detection and fault diagnosis/prediction of discrete-event systems. (English) Zbl 1519.68127
Succinct representations for (non)deterministic finite automata. (English) Zbl 07405977
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, 55-67 (2021).
MSC:
68Q45
General decidability results for asynchronous shared-memory programs: higher-order and beyond. (English) Zbl 1467.68040
Groote, Jan Friso (ed.) et al., Tools and algorithms for the construction and analysis of systems. 27th international conference, TACAS 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. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12651, 449-467 (2021).
Decision problems and projection languages for restricted variants of two-dimensional automata. (English) Zbl 1504.68116
MSC:
68Q45
On the complexity of conversion between classic real number representations. (English) Zbl 07633498
Anselmo, Marcella (ed.) et al., Beyond the horizon of computability. 16th conference on computability in Europe, CiE 2020, Fisciano, Italy, June 29 – July 3, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12098, 75-86 (2020).
MSC:
68Qxx
Liouville numbers and the computational complexity of changing bases. (English) Zbl 07633496
Anselmo, Marcella (ed.) et al., Beyond the horizon of computability. 16th conference on computability in Europe, CiE 2020, Fisciano, Italy, June 29 – July 3, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12098, 50-62 (2020).
MSC:
68Qxx
From parallelism to nonuniversality: an unconventional trajectory. (English) Zbl 1486.68006
Adamatzky, Andrew (ed.) et al., From astrophysics to unconventional computation. Essays presented to Susan Stepney on the occasion of her 60th birthday. Cham: Springer. Emerg. Complex. Comput. 35, 123-156 (2020).
Fitness landscape analysis of automated machine learning search spaces. (English) Zbl 1484.68193
Paquete, Luís (ed.) et al., Evolutionary computation in combinatorial optimization. 20th European conference, EvoCOP 2020, held as part of EvoStar 2020, Seville, Spain, April 15–17, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12102, 114-130 (2020).
Agent-based modeling, mathematical formalism for. (English) Zbl 1458.93017
Sotomayor, Marilda (ed.) et al., Complex social and behavioral systems. Game theory and agent-based models. New York, NY: Springer. Encycl. Complex. Syst. Sci. Ser., 683-703 (2020).
Linear automata with translucent letters and linear context-free trace languages. (English) Zbl 1451.68157
MSC:
68Q45
Square on deterministic, alternating, and Boolean finite automata. (English) Zbl 1427.68147
MSC:
68Q45
Kuratowski algebras generated by prefix-, suffix-, factor-, and subword-free languages under star and complementation. (English) Zbl 1427.68146
Reasoning about knowledge and messages in asynchronous multi-agent systems. (English) Zbl 1407.68471
Finding short synchronizing words for prefix codes. (English) Zbl 1510.68041
Potapov, Igor (ed.) et al., 43rd international symposium on mathematical foundations of computer science. MFCS 2018, Liverpool, United Kingdom, August 27–31, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 117, Article 21, 14 p. (2018).
Polynomial kernels for vertex cover parameterized by small degree modulators. (English) Zbl 1419.05179
The complexity of concatenation on deterministic and alternating finite automata. (English) Zbl 1486.68096
MSC:
68Q45
Inverse subsemigroups of finite index in finitely generated inverse semigroups. (English) Zbl 1447.20026
Reviewer: Mykola Khrypchenko (Florianópolis)
Characterizing polynomial and exponential complexity classes in elementary lambda-calculus. (English) Zbl 1395.68135
On the complexity of bounded time and precision reachability for piecewise affine systems. (English) Zbl 1393.68066
Average-energy games. (English) Zbl 1390.68115
Algorithmic economics: incomputability, undecidability and unsolvability in economics. (English) Zbl 07907766
Cooper, S. Barry (ed.) et al., The incomputable. Journeys beyond the Turing barrier. Cham: Springer. Theory Appl. Comput., 105-120 (2017).
On computable numbers, nonuniversality, and the genuine power of parallelism. (English) Zbl 1396.68043
Adamatzky, Andrew (ed.), Emergent computation. A Festschrift for Selim G. Akl. Cham: Springer (ISBN 978-3-319-46375-9/hbk; 978-3-319-46376-6/ebook). Emergence, Complexity and Computation 24, 57-69 (2017).
MSC:
68Q05
68Q10
Nondeterministic complexity of operations on free and convex languages. (English) Zbl 1429.68117
Carayol, Arnaud (ed.) et al., Implementation and application of automata. 22nd international conference, CIAA 2017, Marne-la-Vallée, France, June 27–30, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10329, 138-150 (2017).
MSC:
68Q45
On the complexity of determinizing monitors. (English) Zbl 1489.68149
Carayol, Arnaud (ed.) et al., Implementation and application of automata. 22nd international conference, CIAA 2017, Marne-la-Vallée, France, June 27–30, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10329, 1-13 (2017).
A deterministic algorithm for testing the equivalence of read-once branching programs with small discrepancy. (English) Zbl 1489.68398
Kari, Jarkko (ed.) et al., Unveiling dynamics and complexity. 13th conference on computability in Europe, CiE 2017, Turku, Finland, June 12–16, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10307, 119-128 (2017).
On the computational power of affine automata. (English) Zbl 1485.68096
Drewes, Frank (ed.) et al., Language and automata theory and applications. 11th international conference, LATA 2017, Umeå, Sweden, March 6–9, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10168, 405-417 (2017).
First-cycle games. (English) Zbl 1371.91019
Remarks on the computational power of some restricted variants of P systems with active membranes. (English) Zbl 1483.68117
Leporati, Alberto (ed.) et al., Membrane computing. 17th international conference, CMC 2016, Milan, Italy, July 25–29, 2016. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 10105, 209-232 (2017).
P versus NP: more than just a prize problem. (English) Zbl 1538.68011
MSC:
68Q15
The Hoare logic of deterministic and nondeterministic monadic recursion schemes. (English) Zbl 1367.68069
Poly-time computability of the Feigenbaum Julia set. (English) Zbl 1372.37094
Reviewer: Mohammad Sajid (Buraidah)
Kleene closure and state complexity. (English) Zbl 1357.68107
MSC:
68Q45
Distinguishing two probability ensembles with one sample from each ensemble. (English) Zbl 1401.68237
Kuratowski algebras generated by prefix-free languages. (English) Zbl 1475.68157
Han, Yo-Sub (ed.) et al., Implementation and application of automata. 21st international conference, CIAA 2016, Seoul, South Korea, July 19–22, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9705, 150-162 (2016).
Nondeterministic complexity of operations on closed and ideal languages. (English) Zbl 1475.68155
Han, Yo-Sub (ed.) et al., Implementation and application of automata. 21st international conference, CIAA 2016, Seoul, South Korea, July 19–22, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9705, 125-137 (2016).
MSC:
68Q45
The complexity of languages resulting from the concatenation operation. (English) Zbl 1476.68132
Câmpeanu, Cezar (ed.) et al., Descriptional complexity of formal systems. 18th IFIP WG 1.2 international conference, DCFS 2016, Bucharest, Romania, July 5–8, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9777, 153-167 (2016).
MSC:
68Q45
Self-verifying finite automata and descriptional complexity. (English) Zbl 1476.68131
Câmpeanu, Cezar (ed.) et al., Descriptional complexity of formal systems. 18th IFIP WG 1.2 international conference, DCFS 2016, Bucharest, Romania, July 5–8, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9777, 29-44 (2016).
MSC:
68Q45
String solving with word equations and transducers: towards a logic for analysing mutation XSS. (English) Zbl 1347.03060
Bodik, Rastislav (ed.) et al., Proceedings of the 43rd annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’16, St. Petersburg, FL, USA, January 20–22, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3549-2). 123-136 (2016).
On the formalization of some results of context-free language theory. (English) Zbl 1478.68133
Väänänen, Jouko (ed.) et al., Logic, language, information, and computation. 23rd international workshop, WoLLIC 2016, Puebla, Mexico, August 16–19th, 2016. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9803, 338-357 (2016).
Operations on unambiguous finite automata. (English) Zbl 1436.68176
Brlek, Srečko (ed.) et al., Developments in language theory. 20th international conference, DLT 2016, Montréal, Canada, July 25–28, 2016. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9840, 243-255 (2016).
MSC:
68Q45
Non-regular maximal prefix-free subsets of regular languages. (English) Zbl 1436.68175
Brlek, Srečko (ed.) et al., Developments in language theory. 20th international conference, DLT 2016, Montréal, Canada, July 25–28, 2016. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9840, 229-242 (2016).
MSC:
68Q45
Regular programming for quantitative properties of data streams. (English) Zbl 1335.68041
Thiemann, Peter (ed.), Programming languages and systems. 25th European symposium on programming, ESOP 2016, held as part of the European joint conferences on theory and practice of software, ETAPS 2016, Eindhoven, The Netherlands, April 2–8, 2016. Proceedings. Berlin: Springer (ISBN 978-3-662-49497-4/pbk; 978-3-662-49498-1/ebook). Lecture Notes in Computer Science 9632, 15-40 (2016).
Prefix-free languages: left and right quotient and reversal. (English) Zbl 1338.68151
Reviewer: Andreas Maletti (Stuttgart)
MSC:
68Q45
Parallel dynamical systems over graphs and related topics: a survey. (English) Zbl 1435.37024
MSC:
37B15
Supervisory control of discrete-event systems. (English) Zbl 1403.93127
van Schuppen, Jan H. (ed.) et al., Coordination control of distributed systems. Cham: Springer (ISBN 978-3-319-10406-5/pbk; 978-3-319-10407-2/ebook). Lecture Notes in Control and Information Sciences 456, 129-136 (2015).
On regular realizability problems for context-free languages. (English. Russian original) Zbl 1386.68098
Probl. Inf. Transm. 51, No. 4, 349-360 (2015); translation from Probl. Peredachi Inf. 51, No. 4, 47-59 (2015).
Reverse complexity. (English) Zbl 1356.03052
Filter Results by …
Document Type
- Journal Articles (171)
- Collection Articles (63)
all
top 5
Author
- Jirásková, Galina (24)
- Šebej, Juraj (9)
- Graça, Daniel Silva (6)
- Masopust, Tomáš (5)
- Buescu, Jorge (4)
- Jirásek, Jozef jun. (4)
- Mlynárčik, Peter (4)
- Zhong, Ning (4)
- Aceto, Luca (3)
- Bournez, Olivier (3)
- Brun, Yuriy (3)
- Gamarnik, David (3)
- Hospodár, Michal (3)
- Ingólfsdóttir, Anna (3)
- Komenda, Jan (3)
- Lin, Anthony Widjaja (3)
- Majumdar, Rupak (3)
- Palmovský, Matúš (3)
- Salomaa, Kai T. (3)
- Simonsen, Jakob Grue (3)
- Szabari, Alexander (3)
- van Schuppen, Jan H. (3)
- van Zijl, Lynette (3)
- Vyalyĭ, Mikhail Nikolaevich (3)
- Zhang, Kuize (3)
- Achilleos, Antonis (2)
- Akl, Selim G. (2)
- Aledo, Juan Ángel (2)
- Asperti, Andrea (2)
- Bimbó, Katalin (2)
- Blakey, Ed (2)
- Buhrman, Harry (2)
- Calude, Cristian S. (2)
- Campagnolo, Manuel Lameiras (2)
- Chakraborty, Sankardeep (2)
- Cheon, Hyunjoon (2)
- de Weerdt, Mathijs M. (2)
- Dudko, Artem (2)
- Elder, Murray J. (2)
- Fomin, Fedor V. (2)
- Francalanza, Adrian (2)
- Grossi, Roberto (2)
- Han, Yo-Sub (2)
- Ivanyos, Gábor (2)
- Jakobsen, Sune Kristian (2)
- Kapoutsis, Christos A. (2)
- Katz, Dmitry (2)
- Kjartansson, Sævar Örn (2)
- Kontorovich, Leonid Aryeh (2)
- Larsen, Kim Guldstrand (2)
- Meier, Arne (2)
- Pouly, Amaury (2)
- Rubtsov, Alexander A. (2)
- Sadakane, Kunihiko (2)
- Santha, Miklos (2)
- Satti, Srinivasa Rao (2)
- Shen, Zhizhang (2)
- Smith, Taylor J. (2)
- Thinniyam, Ramanathan S. (2)
- Trevisan, Luca (2)
- Tsai, Shi-Chun (2)
- Valverde, Jose C. (2)
- Venegas-Andraca, Salvador Elías (2)
- Verwer, Sicco (2)
- Wang, Qin (2)
- Williams, Richard Ryan (2)
- Witteveen, Cees (2)
- Xi, Lifeng (2)
- Yampolsky, Michael (2)
- Zetzsche, Georg (2)
- Adcock, Mark R. A. (1)
- Al-Ali, Amal S. (1)
- Albino, Anton Simen (1)
- Alexeev, Boris V. (1)
- Alur, Rajeev (1)
- Ambrossio, Diego Agustín (1)
- Aminof, Benjamin (1)
- Annila, Arto (1)
- Antonik, Adam (1)
- Antunes, Luis (1)
- Armas-Cervantes, Abel (1)
- Arnold, Stefan (1)
- Aspuru-Guzik, Alán (1)
- Bacelar Almeida, José (1)
- Badr, Andrew (1)
- Baillot, Patrick (1)
- Bansal, Nikhil (1)
- Barceló, Pablo (1)
- Barros, Antônio César da Costa (1)
- Barzanouni, Ali (1)
- Bazille, Hugo (1)
- Bergman, Clifford (1)
- Betterton, M. D. (1)
- Beyersdorff, Olaf (1)
- Bienstock, Alexander (1)
- Bienvenu, Laurent (1)
- Bloot, Rodrigo (1)
- Bolotin, Arkady (1)
- Bouyer, Patricia (1)
- Braverman, Mark (1)
- and 290 more Authors
all
top 5
Serial
- Theor. Comput. Sci. (27)
- Int. J. Found. Comput. Sci. (9)
- Theory Comput. Syst. (9)
- J. Comput. Syst. Sci. (7)
- Quantum Inf. Process. (5)
- Inf. Comput. (4)
- Discrete Event Dyn. Syst. (4)
- RAIRO, Theor. Inform. Appl. (4)
- Acta Inf. (3)
- Appl. Math. Comput. (3)
- Stud. Log. (3)
- Log. Methods Comput. Sci. (3)
- Probl. Inf. Transm. (2)
- Notre Dame J. Formal Logic (2)
- Ann. Pure Appl. Logic (2)
- Algorithmica (2)
- Math. Struct. Comput. Sci. (2)
- Bull. Am. Math. Soc., New Ser. (2)
- Comput. Complexity (2)
- Ann. Math. Artif. Intell. (2)
- Soft Comput. (2)
- Theor. Inform. Appl. (2)
- Nat. Comput. (2)
- ACM Trans. Comput. Log. (2)
- Commun. Pure Appl. Math. (1)
- Discrete Appl. Math. (1)
- J. Franklin Inst. (1)
- J. Math. Biol. (1)
- J. Math. Phys. (1)
- Chaos Solitons Fractals (1)
- Bull. Lond. Math. Soc. (1)
- Gaṇita (1)
- J. Algebra (1)
- J. Comb. Theory, Ser. A (1)
- J. Comput. Appl. Math. (1)
- J. Econom. (1)
- Math. Oper. Res. (1)
- Proc. Am. Math. Soc. (1)
- Semigroup Forum (1)
- SIAM J. Comput. (1)
- Trans. Am. Math. Soc. (1)
- Ergodic Theory Dyn. Syst. (1)
- Syst. Control Lett. (1)
- Math. Soc. Sci. (1)
- Int. J. Prod. Res. (1)
- Physica D (1)
- New Generation Comput. (1)
- Discrete Comput. Geom. (1)
- J. Autom. Reasoning (1)
- J. Am. Math. Soc. (1)
- Queueing Syst. (1)
- Formal Asp. Comput. (1)
- Real-Time Syst. (1)
- Mach. Learn. (1)
- Ann. Appl. Probab. (1)
- Des. Codes Cryptography (1)
- Elem. Math. (1)
- Distrib. Comput. (1)
- Arch. Math. Logic (1)
- Fractals (1)
- Econ. Theory (1)
- Electron. J. Comb. (1)
- Top (1)
- J. Artif. Intell. Res. (JAIR) (1)
- Discrete Contin. Dyn. Syst. (1)
- J. Autom. Lang. Comb. (1)
- Optim. Methods Softw. (1)
- Chaos (1)
- Interdiscip. Inf. Sci. (1)
- Fundam. Inform. (1)
- Integers (1)
- Int. J. Mod. Phys. C (1)
- Misc. Mat. (1)
- J. Syst. Sci. Complex. (1)
- J. Appl. Math. (1)
- J. Appl. Math. Comput. (1)
- J. Discrete Algorithms (1)
- J. Math. Music (1)
- Rev. Bras. Hist. Mat. (1)
- Groups Complex. Cryptol. (1)
- Rev. Symb. Log. (1)
- Sci. China, Math. (1)
- Stat. Comput. (1)
- ISRN Comput. Math. (1)
- Front. Comput. Sci. (1)
- Comput. Sci. Rev. (1)
- ACM Trans. Comput. Theory (1)
- J. Log. Algebr. Methods Program. (1)
- J. Membr. Comput. (1)
- Prikl. Diskretn. Mat. (1)
all
top 3
Main Field
- 68-XX (190)
- 03-XX (35)
- 05-XX (18)
- 94-XX (15)
- 90-XX (12)
- 91-XX (11)
- 20-XX (10)
- 37-XX (9)
- 93-XX (9)
- 81-XX (7)
- 65-XX (5)
- 11-XX (4)
- 60-XX (4)
- 01-XX (3)
- 00-XX (2)
- 08-XX (2)
- 12-XX (2)
- 15-XX (2)
- 28-XX (2)
- 34-XX (2)
- 57-XX (2)
- 82-XX (2)
- 06-XX (1)
- 32-XX (1)
- 39-XX (1)
- 46-XX (1)
- 52-XX (1)
- 53-XX (1)
- 58-XX (1)
- 62-XX (1)
- 74-XX (1)
- 92-XX (1)
Biographic Reference
- Karp, Richard Manning (1)
- Stepney, Susan (1)
all
top 3
Software
- UMDES (9)
- Isabelle/HOL (3)
- Concorde (2)
- Matita (2)
- PRMLT (2)
- Uppaal (2)
- XPath (2)
- AProVE (1)
- Antichains (1)
- Apache Spark (1)
- Auto-WEKA (1)
- BerkMin (1)
- CDuce (1)
- Chaff (1)
- Coq (1)
- Coq/SSReflect (1)
- DART (1)
- DBpedia (1)
- Dafny (1)
- Dryad (1)
- EVC (1)
- Easychair (1)
- FAST (1)
- GAMUT (1)
- GenRGenS (1)
- Geno (1)
- GitHub (1)
- Hadoop (1)
- HermiT (1)
- JSAI (1)
- Java-MOP (1)
- JavaScript (1)
- MOP (1)
- MapReduce (1)
- NetKAT (1)
- OCaml (1)
- OpenML (1)
- Pellet (1)
- Pesca (1)
- PicoSAT (1)
- PoplMark (1)
- Python (1)
- QBFFam (1)
- QML (1)
- QPL (1)
- QWalk (1)
- Quaffle (1)
- RSEARCH (1)
- Racer (1)
- RacerPro (1)
- Regexpcount (1)
- Rfam (1)
- S3 (1)
- STOCKS (1)
- Scikit (1)
- SoftRegex (1)
- SpecExplorer (1)
- TASTY (1)
- TPOT (1)
- TRX (1)
- UCI-ml (1)
- UNITY (1)
- UnQL (1)
- Wikipedia Miner (1)
- XDuce (1)
- Z3str3 (1)
- auto-sklearn (1)
- avida (1)
- fastDNAml (1)
- libFAUDES (1)
- mCRL (1)
- mCRL2 (1)
- nnU-Net (1)
- tts (1)