ACM Transactions on Computation Theory (ACM ToCT) is a quarterly peer-reviewed scientific journal devoted to the study of computational complexity theory...
3 KB (189 words) - 11:18, 25 July 2024
Theoretical computer science (redirect from Computer science theory)
focuses on the abstract and mathematical foundations of computation. It is difficult to circumscribe the theoretical areas precisely. The ACM's Special...
42 KB (4,803 words) - 23:57, 1 June 2025
Automata theory is the study of abstract machines and automata, as well as the computational problems that can be solved using them. It is a theory in theoretical...
32 KB (3,851 words) - 10:11, 30 June 2025
"Pebbles and Branching Programs for Tree Evaluation". ACM Transactions on Computation Theory. 3 (2): 1–43. arXiv:1005.2642. doi:10.1145/2077336.2077337...
6 KB (679 words) - 08:47, 25 June 2025
theoretical computer science and mathematics, computational complexity theory focuses on classifying computational problems according to their resource usage...
50 KB (6,704 words) - 04:30, 7 July 2025
contributions from computational mathematics include ACM Transactions on Mathematical Software Mathematics of Computation SIAM Journal on Scientific Computing...
7 KB (577 words) - 08:03, 1 June 2025
founding editor-in-chief of the journal ACM Transactions on Computation Theory in 2009. He was the chair of ACM SIGACT and succeeded by Paul Beame. He...
10 KB (1,054 words) - 18:14, 2 July 2025
(ASPLOS). Notable journals that publish PLT research include the ACM Transactions on Programming Languages and Systems (TOPLAS), Journal of Functional...
15 KB (1,613 words) - 05:07, 21 April 2025
and Evolutionary Computation (founded 2012, Walsh Medical Media) The main conferences in the evolutionary computation area include ACM Genetic and Evolutionary...
27 KB (2,970 words) - 00:26, 29 May 2025
Algorithm (redirect from Computational algorithms)
Sequential Abstract State Machines Capture Sequential Algorithms, ACM Transactions on Computational Logic, Vol 1, no 1 (July 2000), pp. 77–111. Includes bibliography...
61 KB (7,016 words) - 18:37, 15 July 2025
ACM SIGLOG or SIGLOG is the Association for Computing Machinery Special Interest Group on Logic and Computation. It publishes a news magazine (SIGLOG...
5 KB (558 words) - 17:13, 23 June 2025
scientific journals Information and Computation, SIAM Journal on Computing, Theoretical Computer Science, ACM Transactions on Database Systems, Journal of Logic...
54 KB (3,747 words) - 22:05, 4 January 2025
"People, Ideas, Milestones: A Scientometric Study of Computational Thinking". ACM Transactions on Computing Education. 21 (3): 20:1–20:17. doi:10.1145/3445984...
31 KB (3,221 words) - 02:07, 24 June 2025
Computing Surveys ACM Transactions on Graphics Acta Informatica Advances in Geometry Algorithmica Ars Combinatoria Computational Geometry: Theory and Applications...
15 KB (2,116 words) - 18:43, 23 June 2025
graph separation: new incompressibility results" (PDF), ACM Transactions on Computation Theory, 6 (2): 6:1–6:19, doi:10.1145/2594439, S2CID 6887887 Bodlaender...
35 KB (4,363 words) - 13:40, 25 February 2025
cloud ACM Transactions on Economics and Computation (TEAC) SIGEcom Exchanges Algorithmic Game Theory papers are often also published in Game Theory journals...
14 KB (1,514 words) - 07:32, 11 May 2025
Square-root sum problem (category Computational problems)
Chandan (2012-11-01). "On the Sum of Square Roots of Polynomials and Related Problems". ACM Transactions on Computation Theory. 4 (4): 9:1–9:15. doi:10...
10 KB (1,436 words) - 22:41, 23 June 2025
Association for Computing Machinery (redirect from ACM Press)
(TECS) ACM Transactions on Computer Systems (TOCS) IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB) ACM Transactions on Computational...
42 KB (4,061 words) - 20:39, 19 June 2025
journal ACM Transactions on Computation Theory from 2019 to 2023 and was an editor of the SIAM Journal on Discrete Mathematics from 2012 to 2017. He is on the...
8 KB (687 words) - 00:56, 21 May 2025
Paris Kanellakis Award (redirect from Paris Kanellakis Theory and Practice Award)
The Paris Kanellakis Theory and Practice Award is granted yearly by the Association for Computing Machinery (ACM) to honor "specific theoretical accomplishments...
21 KB (770 words) - 12:26, 11 May 2025
when he founded the ACM Transactions on Computational Logic in 2000 and became its first Editor-in-Chief. The term “computational logic” came to prominence...
3 KB (375 words) - 04:16, 7 April 2024
Fast Fourier transform (section Computational issues)
multivariate linear functions". Proceedings of the twenty-seventh annual ACM symposium on Theory of computing - STOC '95. Kyoto, Japan. pp. 407–416. doi:10.1145/225058...
67 KB (7,809 words) - 05:39, 1 July 2025
Finite-state machine (section Finite-state machines (automata theory) in theoretical computer science)
Abstract State Machines Capture Sequential Algorithms" (PDF). ACM Transactions on Computational Logic. 1 (1): 77–111. CiteSeerX 10.1.1.146.3017. doi:10.1145/343369...
40 KB (4,529 words) - 09:20, 27 May 2025
many theories it is undecidable. Researchers study which theories or subsets of theories lead to a decidable SMT problem and the computational complexity...
46 KB (4,371 words) - 23:30, 22 May 2025
Machinery (ACM), has been a two-term Editor-in-Chief of the ACM Transactions on Computational Logic from 2009 to 2015 and holds an editorial appointment on the...
13 KB (1,356 words) - 07:04, 8 June 2025
computer science, in particular, computational geometry and computational complexity theory. A primary concern of algorithmic topology, as its name suggests...
14 KB (1,567 words) - 13:09, 24 June 2025
Informatics (category Computational fields of study)
Informatics is the study of computational systems. According to the ACM Europe Council and Informatics Europe, informatics is synonymous with computer...
34 KB (2,867 words) - 16:49, 24 June 2025
Turing Award (redirect from ACM Turing Award)
The ACM A. M. Turing Award is an annual prize given by the Association for Computing Machinery (ACM) for contributions of lasting and major technical...
80 KB (3,581 words) - 00:11, 20 June 2025
List of IEEE publications (redirect from IEEE Transactions on Circuit Theory)
IEEE Transactions on Components and Packaging Technologies, IEEE Transactions on Computational Biology and Bioinformatics, IEEE/ACM Transactions on Computational...
19 KB (1,197 words) - 05:44, 13 July 2025
Non-interactive zero-knowledge proof (category Theory of cryptography)
Zero-Knowledge and Its Applications. Proceedings of the twentieth annual ACM symposium on Theory of computing (STOC 1988). 103–112. 1988 Oded Goldreich and Yair...
28 KB (2,884 words) - 15:45, 2 July 2025