Computer Science Logic and Foundations of Programming

Latest research

1. Developing a Logic Model Framework for Community-Dwelling, Non-Familial Intergenerational Programmes

   • Ludwig Grillich
   • Karolina Seidl
   • Anton-Rupert Laireiter

   in Journal of Prevention

   Article Open access 06 December 2025

   

2. LegiCode: A blockchain-legal LLM framework for real-time compliance in smart contract generation

   • Linkai Zhu
   • Xueyan Zhang
   • Longxiang Gao

   in Empirical Software Engineering

   Article 05 December 2025

   

3. AProVer Front-End Modelling Language for Designing Security Protocols

   • Chiara Braghin
   • Mario Lilli
   • Elvinia Riccobene

   in SN Computer Science

   Article Open access 02 December 2025

   

4. Lightweight authentication and key agreement scheme for dew computing-enabled IoT environment

   • Upendra Verma
   • Divya Midhunchakkaravarthy
   • Pawan Kumar Chaurasia

   in Discover Computing

   Article Open access 02 December 2025

   

5. Splitting Property for Epistemic Equilibrium Logics

   • Ezgi Iraz Su

   in Logica Universalis

   Article 26 November 2025

6. Literature Review on the Integration of Generative AI in Programming Education

   • Jemimah Nathaniel
   • Solomon Sunday Oyelere
   • Matti Tedre

   in International Journal of Artificial Intelligence in Education

   Article Open access 24 November 2025

   

7. Logic-based Approach and Visualization for the Nuclear Medicine Rescheduling Problem

   • Cinzia Marte
   • Marco Mochi
   • Marco Maratea

   in Journal of Medical Systems

   Article Open access 22 November 2025

   

8. Theoretical Aspects of Computing – ICTAC 2025

   • Zhiming Liu
   • Adnane Saoud
   • Heike Wehrheim

   in Lecture Notes in Computer Science

   Conference proceedings 2025

   

9. Adapting a Youth Sexual Violence Prevention Logic Model and Evaluation to Asian American and Pacific Islander Youth in Iowa: a Case Study

   • M. Yusef
   • K. Bailly
   • R. A. Afifi

   in Prevention Science

   Article Open access 20 November 2025

   

10. Learning and Reasoning

    • Wang-Zhou Dai

    in Lecture Notes in Computer Science

    Conference proceedings 2025

    

11. Social Sustainability Practice: The Interplay between State and Community Logics

    • Sithabile Chindondondo
    • Colin David Reddy

    in Journal of Business Ethics

    Article Open access 19 November 2025

    

12. Choquet Capacities and Fuzzy Integrals

    • Gleb Beliakov
    • Simon James
    • Jian-Zhang Wu

    in Theory and Applications of Computability

    Book 2025

    

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

    

14. Reachability Problems

    • Pierre Ganty
    • Alessio Mansutti

    in Lecture Notes in Computer Science

    Conference proceedings 2025

    

15. ATM: a Logic for Quantitative Security Properties on Attack Trees

    • Stefano M. Nicoletti
    • Milan Lopuhaä-Zwakenberg
    • Mariëlle Stoelinga

    in Software and Systems Modeling

    Article Open access 31 October 2025

    

16. Solo or Pair Programming for K-12 Students? Learning Outcomes and In-game Behaviors in a Game-Based Learning Environment

    • Hunhui Na
    • Secil Caskurlu
    • Bung-Woo Jun

    in TechTrends

    Article 29 October 2025

    

17. Automata Theory and Logic

    • Martin Hofmann
    • Martin Lange

    Textbook 2025

    

18. Informatik für alle

    • Irene Rothe

    Textbook 2025

    

19. Causal Discovery

    • Luis Enrique Sucar

    in Computer Science Foundations and Applied Logic

    Textbook 2025

    

20. Vernacular computing as encoded aesthetics for decolonial code intervention

    • Koundinya Dhulipalla

    in AI & SOCIETY

    Article Open access 19 October 2025

    

Related journals

• 

  Journal

  Journal of Automated Reasoning

  The Journal of Automated Reasoningis dedicated to the theory, implementation, and applications of logical reasoning by computer. The topics of...

  Publishing model

  Hybrid

  Journal Impact Factor

  0.8 (2024)

  Downloads

  93,096 (2024)

  Submission to first decision(median)

  3 days

• 

  Journal

  New Generation Computing

  The journal is specially intended to support the development of new computational and cognitive paradigms stemming from the cross-fertilization of...

  Publishing model

  Hybrid

  Journal Impact Factor

  2.8 (2024)

  Downloads

  93,674 (2024)

  Submission to first decision(median)

  58 days

• 

  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