Formal Languages and Automata Theory

Latest research

1. Pragmatic specification of software behavior, configuration, and orchestration: the precision and usability of domain-specific modeling

   • Marsha Chechik
   • Benoit Combemale
   • Bernhard Rumpe

   in Software and Systems Modeling

   Article Open access 07 November 2025

2. Model checking for distributed reaction systems with temporal-epistemic properties

   • Artur Meski
   • Maciej Koutny
   • Marcin Piatkowski

   in Natural Computing

   Article Open access 05 November 2025

   

3. Leveraging large language models for efficient scheduling in Human–Robot collaborative flexible manufacturing systems

   • Jin Huang
   • Yue Teng
   • Guoqing Xu

   in npj Advanced Manufacturing

   Article Open access 05 November 2025

   

4. Reachability Problems

   • Pierre Ganty
   • Alessio Mansutti

   in Lecture Notes in Computer Science

   Conference proceedings 2025

   

5. A Vector Logic for Extensional Formal Semantics

   • Daniel Quigley

   in Journal of Logic, Language and Information

   Article Open access 03 November 2025

   

6. On the expressive power of categorial grammars with unique category assignment

   • Maxim Vishnikin
   • Alexander Okhotin

   in Journal of Logic, Language and Information

   Article 01 November 2025

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

   

8. Preface

   • Natasha Jonoska
   • Ion Petre
   • Grzegorz Rozenberg

   in Natural Computing

   Article 29 October 2025

9. Automata Theory and Logic

   • Martin Hofmann
   • Martin Lange

   Textbook 2025

   

10. Assessing the effectiveness of recent closed-source large language models in fault localization and automated program repair

    • Bo Wang
    • Ming Deng
    • Jie M. Zhang

    in Automated Software Engineering

    Article 28 October 2025

    

11. Two interesting \(\delta\)-cores in a dynamic Cournot game

    • Lei Wang
    • Hongwei Gao

    in Annals of Operations Research

    Article 27 October 2025

    

12. Automated detection of contradictions in 5G network specifications using reinforcement learning-trained small LLM

    • Wenbin Zhang
    • Qiang Wei
    • Yunfeng Wang

    in EURASIP Journal on Wireless Communications and Networking

    Article Open access 27 October 2025

    

13. Logika: the Sireum verification framework

    • Robby
    • John Hatcliff
    • Jason Belt

    in International Journal on Software Tools for Technology Transfer

    Article 27 October 2025

14. Automated construction of predicate abstractions for smart contract validation

    • Javier Godoy
    • Eden Torres
    • Sebastian Uchitel

    in Software and Systems Modeling

    Article 27 October 2025

    

15. Watson-Crick finite automata of small size and variants of string assembling systems

    • András Murvai
    • György Vaszil

    in Acta Informatica

    Article Open access 24 October 2025

16. A Novel Multi-Attribute Decision-Making Approach Based on DEMATEL and Power Aggregation Operator Under Hesitant Fuzzy Linguistic Contexts

    • Weiming Wang
    • Zhou Lu
    • Faming Zhang

    in International Journal of Fuzzy Systems

    Article 23 October 2025

    

17. Formalising and analysing SMMT models using the mCRL2 toolset

    • J. E. P. M. van Laarhoven
    • O. Bunte
    • T. A. C. Willemse

    in International Journal on Software Tools for Technology Transfer

    Article Open access 22 October 2025

18. The Family of Scattering Suboperators, Corresponding to a K-Automorphism, or to a K-Flow in the Metric Theory of Dynamical Systems

    • Damir Arov

    in Complex Analysis and Operator Theory

    Article 21 October 2025

19. Correspondence Problems for Classes of Postlinear Orders

    • Grigor Kolev
    • Tinko Tinchev

    in Logica Universalis

    Article 19 October 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

  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

  Formal Methods in System Design

  The focus of this journal is on formal methods for designing, implementing, and validating the correctness of hardware (VLSI) and software systems....

  Publishing model

  Hybrid

  Journal Impact Factor

  0.8 (2024)

  Downloads

  66,332 (2024)

  Submission to first decision(median)

  25 days

• 

  Journal

  International Journal on Software Tools for Technology Transfer

  The International Journal on Software Tools for Technology Transfer(STTT) has provided since 1997 a forum for research and experience papers on...

  Publishing model

  Hybrid

  Journal Impact Factor

  1.4 (2024)

  Downloads

  106,006 (2024)