ACM Transactions on Computation Theory (ACM ToCT) is a quarterly peer-reviewed scientific journal devoted to the study of computational complexity theory...

focuses on the abstract and mathematical foundations of computation. It is difficult to circumscribe the theoretical areas precisely. The ACM's Special...

contributions from computational mathematics include ACM Transactions on Mathematical Software Mathematics of Computation SIAM Journal on Scientific Computing...

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...

theoretical computer science and mathematics, computational complexity theory focuses on classifying computational problems according to their resource usage...

(ASPLOS). Notable journals that publish PLT research include the ACM Transactions on Programming Languages and Systems (TOPLAS), Journal of Functional...

Nash equilibrium (NE) computation is a class of computational problems in the intersection of game theory and computer science. The input to this problem...

and Evolutionary Computation (founded 2012, Walsh Medical Media) The main conferences in the evolutionary computation area include ACM Genetic and Evolutionary...

"People, Ideas, Milestones: A Scientometric Study of Computational Thinking". ACM Transactions on Computing Education. 21 (3): 20:1–20:17. doi:10.1145/3445984...

graph separation: new incompressibility results" (PDF), ACM Transactions on Computation Theory, 6 (2): 6:1–6:19, doi:10.1145/2594439, S2CID 6887887 Bodlaender...

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...

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...

ACM SIGLOG or SIGLOG is the Association for Computing Machinery Special Interest Group on Logic and Computation. It publishes a news magazine (SIGLOG...

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...

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...

cloud ACM Transactions on Economics and Computation (TEAC) SIGEcom Exchanges Algorithmic Game Theory papers are often also published in Game Theory journals...

Sequential Abstract State Machines Capture Sequential Algorithms, ACM Transactions on Computational Logic, Vol 1, no 1 (July 2000), pp. 77–111. Includes bibliography...

(TECS) ACM Transactions on Computer Systems (TOCS) IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB) ACM Transactions on Computational...

Computing Surveys ACM Transactions on Graphics Acta Informatica Advances in Geometry Algorithmica Ars Combinatoria Computational Geometry: Theory and Applications...

many theories it is undecidable. Researchers study which theories or subsets of theories lead to a decidable SMT problem and the computational complexity...

problems and is therefore a classical NP-complete problem in computational complexity theory. Furthermore, the vertex cover problem is fixed-parameter tractable...

"Pebbles and Branching Programs for Tree Evaluation". ACM Transactions on Computation Theory. 3 (2): 1–43. arXiv:1005.2642. doi:10.1145/2077336.2077337...

computer science, in particular, computational geometry and computational complexity theory. A primary concern of algorithmic topology, as its name suggests...

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...

Informatics is the study of computational systems. According to the ACM Europe Council and Informatics Europe, informatics is synonymous with computer...

IEEE Transactions on Autonomous Mental Development IEEE/ACM Transactions on Computational Biology and Bioinformatics IEEE Transactions on Computational Intelligence...

mathematical model of concurrent computation that treats an actor as the basic building block of concurrent computation. In response to a message it receives...

supervised by Robert W. Floyd. At MIT, Rivest is a member of the Theory of Computation Group, and founder of MIT CSAIL's Cryptography and Information Security...

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...

science as a "fourth paradigm" of science (empirical, theoretical, computational, and now data-driven) and asserted that "everything about science is...