Formal Languages and Automata Theory

Latest research

1. Formal methods in industrial critical systems

   • Alessandro Cimatti
   • Laura Titolo

   in International Journal on Software Tools for Technology Transfer

   Article 06 June 2025

2. Decentralized Proof-of-Location systems for trust, scalability, and privacy in digital societies

   • Eduardo Brito
   • Amnir Hadachi
   • Ulrich Norbisrath

   in Scientific Reports

   Article Open access 05 June 2025

   

3. An inductive construction of a model for probabilities of complex conditionals

   • Krzysztof Wójtowicz
   • Anna Wójtowicz

   in Synthese

   Article Open access 04 June 2025

   

4. IvoryOS: an interoperable web interface for orchestrating Python-based self-driving laboratories

   • Wenyu Zhang
   • Lucy Hao
   • Jason E. Hein

   in Nature Communications

   Article Open access 04 June 2025

   

5. Is it vacuous to check redundancy, or is it redundant to check vacuity?

   • Elisabeth Henkel
   • Nico Hauff
   • Andreas Podelski

   in Requirements Engineering

   Article Open access 03 June 2025

   

6. Scientific laws, Dalton’s postulates, chemical reactions and Wolfram’s NKS

   • Mark R. Leach

   in Foundations of Chemistry

   Article 01 June 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.4 (2023)

  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.7 (2023)

  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.1 (2023)

  Downloads

  106,006 (2024)