Theory of Computation

Latest research

1. Computational Collective Intelligence

   • Ngoc Thanh Nguyen
   • Vu Dinh Duc Anh
   • Gottfried Vossen

   in Lecture Notes in Computer Science

   Conference proceedings 2025

   

2. Computational Collective Intelligence

   • Ngoc Thanh Nguyen
   • Vu Dinh Duc Anh
   • Gottfried Vossen

   in Lecture Notes in Computer Science

   Conference proceedings 2025

   

3. A compact hardware STBCS design by using stochastic computation

   • Junxiu Liu
   • Zhewei Liang
   • Junjie Liu

   in Cybersecurity

   Article Open access 05 November 2025

   

4. Integrated protocol for verifiable confidential cloud computing and data integrity auditing

   • Ruifeng Li
   • Tanping Zhou
   • Xiaoyuan Yang

   in Journal of King Saud University Computer and Information Sciences

   Article Open access 05 November 2025

   

5. Public-Coin Three-Round Zero-Knowledge from Learning with Errors and Keyless Multi-Collision-Resistant Hash

   • Susumu Kiyoshima

   in Journal of Cryptology

   Article 05 November 2025

   

6. Is there computational creativity?

   • Veronica Cibotaru

   in AI & SOCIETY

   Article Open access 04 November 2025

   

7. The Semantic Web – ISWC 2025

   • Daniel Garijo
   • Sabrina Kirrane
   • Anna Lisa Gentile

   in Lecture Notes in Computer Science

   Conference proceedings 2025

   

8. Programming Languages and Systems

   • Alex Potanin

   in Lecture Notes in Computer Science

   Conference proceedings 2025

   

9. Preface

   • Natasha Jonoska
   • Ion Petre
   • Grzegorz Rozenberg

   in Natural Computing

   Article 29 October 2025

10. Automata Theory and Logic

    • Martin Hofmann
    • Martin Lange

    Textbook 2025

    

11. The Semantic Web – ISWC 2025

    • Daniel Garijo
    • Sabrina Kirrane
    • Anna Lisa Gentile

    in Lecture Notes in Computer Science

    Conference proceedings 2025

    

12. Quantum Automating TC⁰-Frege Is LWE-Hard

    • Noel Arteche
    • Gaia Carenini
    • Matthew Gray

    in computational complexity

    Article Open access 27 October 2025

13. Automated Technology for Verification and Analysis

    • Meenakshi D´Souza
    • Raghavan Komondoor
    • B. Srivathsan

    in Lecture Notes in Computer Science

    Conference proceedings 2025

    

14. Introduction to Quantum Computing

    • Ray LaPierre

    in The Materials Research Society Series

    Textbook 2025

    

15. Rules and Reasoning

    • Aidan Hogan
    • Ken Satoh
    • Ahmet Soylu

    in Lecture Notes in Computer Science

    Conference proceedings 2025

    

16. ICSA: An Improved Carry Speculative Adder for Multimedia Applications

    • Hardik Sarraf
    • Garima Gupta
    • Manu Bansal

    in National Academy Science Letters

    Article 23 October 2025

    

17. Knowledge Discovery, Knowledge Engineering and Knowledge Management

    • Jorge Bernardino
    • Ana Fred
    • David Aveiro

    in Communications in Computer and Information Science

    Conference proceedings 2025

    

18. Theoretical Computer Science

    • Minming Li
    • Jialin Zhang
    • Zhiping Cai

    in Communications in Computer and Information Science

    Conference proceedings 2025

    

19. Distributed Information and Computation in Generic Quantum Systems

    • Chris Fields
    • James Glazebrook

    in Synthesis Lectures on Engineering, Science, and Technology

    Book 2025

    

20. Asymptotically Free Broadcast in Constant Expected Time via Packed VSS

    • Ittai Abraham
    • Gilad Asharov
    • Arpita Patra

    in Journal of Cryptology

    Article 15 October 2025

    

Related journals

• 

  Journal

  Acta Informatica

  Acta Informatica is publishing original papers in all areas covering the mathematical foundations of Computer Science. We solicit both research...

  Publishing model

  Hybrid

  Journal Impact Factor

  0.5 (2024)

  Downloads

  61,075 (2024)

  Submission to first decision(median)

  12 days

• 

  Journal

  Minds and Machines

  Minds & Machines publishes on the relation between human beings and technologies. This is a philosophy journal that aims to provide a forum to...

  Publishing model

  Hybrid

  Journal Impact Factor

  3.4 (2024)

  Downloads

  550,334 (2024)

  Submission to first decision(median)

  49 days

• 

  Journal

  Natural Computing

  Natural Computing is a general term referring to computing going on in nature and computing inspired by nature. When complex phenomena going on in...

  Publishing model

  Hybrid

  Journal Impact Factor

  1.6 (2024)

  Downloads

  111,031 (2024)

  Submission to first decision(median)

  15 days