Content | Call for papers | Most read content | Share

Please feel free forward to your colleagues and share the news of our journal

Welcome

Welcome to our journal newsletter for Fundamenta Informaticae (FI). We are delighted to announce the publication of Volume 178, Volume 179 and Volume 180, Issue 1-2.

The first research article of each new issue is included below as well as the most read articles in Q1 2021. Also, details are included on how to submit your research to the journal.

Content

Volume 178, Issue 1-2

Special Issue on the 11th International Workshop on Reachability Problems (RP 2017)
Guest editors: Matthew Hague and Igor Potapov

EDITORIAL
Preface – OPENLY AVAILABLE
Hague, Matthew | Potapov, Igor

The Complexity of Model-Checking Tail-Recursive Higher-Order Fixpoint Logic
Bruse, Florian | Lange, Martin | Lozes, Etienne

Volume 178, Issue 3

Diamond Subgraphs in the Reduction Graph of a One-Rule String Rewriting System
Adinayev, Arthur | Stein, Itamar

Volume 178, Issue 4

Special Issue on the 33rd Italian Conference on Computational Logic: CILC 2018
Guest editors: Paolo Felli, Marco Montali and Maurizio Proietti

EDITORIAL
Preface – OPENLY AVAILABLE
Felli, Paolo | Montali, Marco | Proietti, Maurizio

Checking Sets of Pure Evolving Association Rules
Combi, Carlo | Rizzi, Romeo | Sala, Pietro

Volume 179, Issue 1

A Multi-level Refinement Approach for Structural Synthesis of Optimal Probabilistic Models
Benouhiba, Toufik

Volume 179, Issue 2

Special Issue on Concurrency, Specification, and Programming: Special Issue of Selected Papers of CS&P 2018
Guest editors: H. Schlingloff and W. Penczek

EDITORIAL
Preface – OPENLY AVAILABLE
Schlingloff, H. | Penczek, W.

Extensions of Elementary Cause-Effect Structures
Czaja, Ludwik

Volume 179, Issue 3

Computing Singular Elements Modulo Squares
Koprowski, Przemysław

Volume 179, Issue 4

Using Hoare Logic in a Process Algebra Setting
Bergstra, J.A. | Middelburg, C.A.

Volume 180, Issue 1-2

Special Issue on Non-Classical Models of Automata and Applications IX
Guest editors: Mika Hirvensalo, František Mráz and Daniel Průša

EDITORIAL
Preface – OPENLY AVAILABLE
Hirvensalo, Mika | Mráz, František | Průša, Daniel

Self-Verifying Pushdown and Queue Automata
Fernau, Henning | Kutrib, Martin | Wendlandt, Matthias

Call for Papers

As a member of our research community, we would like to invite you to contribute your own work for publication in the journal. Fundamenta Informaticae offers contributing authors many benefits, including:

· First class Editorial Board

· Rigorous peer review and speedy manuscript processing

Fundamenta Informaticae is indexed in Web of Science has an Impact Factor of 1.298*, and is also indexed in Scopus. Please see the Abstracting/Indexing information for further details.

View the detailed Instructions to Authors.

*Journal Citation Reports (Source: Clarivate, 2020)

Most Read FI Articles in Q1 2021

Listing articles published only in 2020 and 2021 so you can read the most popular recent content

Abstract Contract Synthesis and Verification in the Symbolic K Framework
Alpuente, María | Pardo, Daniel | Villanueva, Alicia

Human-aware Contingent Planning
Andrés, Ignasi | de Barros, Leliane Nunes | Delgado, Karina Valdivia

On Variable Precision Generalized Rough Sets and Incomplete Decision Tables
Syau, Yu-Ru | Liau, Churn-Jung | Lin, En-Bing

Order-sorted Homeomorphic Embedding Modulo Combinations of Associativity and/or Commutativity Axioms
Alpuente, María | Cuenca-Ortega, Angel | Escobar, Santiago | Meseguer, José

A Multi-level Refinement Approach for Structural Synthesis of Optimal Probabilistic Models
Benouhiba, Toufik