Journal Report

Fundamenta Informaticae

Download PDF
Journal Information
Journal Title
Fundamenta Informaticae
Publisher
SAGE Publications Ltd
ISSN
0169-2968
E-ISSN
Database
SCOPUS
Domain
Life Sciences, Physical Sciences, Social Sciences
Classification History
Year A+ A B C
2026 ✓ ✓
2025 ✓ ✓
2024 ✓ ✓
2023 ✓ ✓
2021/2022 ✓ ✓
2020 ✓ ✓
2019 ✓ ✓
2018
A journal may have more than one classification in the same year. All recorded classifications are displayed.
Recent Articles
A Rewriting-logic-with-SMT-based Formal Analysis and Parameter Synthesis Framework for Parametric Time Petri Nets
Jaime Arias, Kyungmin Bae, Carlos Olarte et al.
2024-9-20 Vol. 192 Issue 3-4 Pages 261-312
DOI: 10.3233/fi-242195
Taking Complete Finite Prefixes To High Level, Symbolically*
Nick Würdemann, Thomas Chatain, Stefan Haar et al.
2024-9-20 Vol. 192 Issue 3-4 Pages 313-361
DOI: 10.3233/fi-242196
Preface
Robert Lorenz, Sławomir Lasota
2024-9-20 Vol. 192 Issue 3-4 Pages i-ii
DOI: 10.3233/fi-242193
On the Complexity of Proving Polyhedral Reductions
Nicolas Amat, Silvano Dal Zilio, Didier Le Botlan
2024-9-20 Vol. 192 Issue 3-4 Pages 363-394
DOI: 10.3233/fi-242197
Myhill-Nerode Theorem for Higher-Dimensional Automata
Uli Fahrenberg, Krzysztof Ziemiański
2024-9-20 Vol. 192 Issue 3-4 Pages 219-259
DOI: 10.3233/fi-242194
Preface
Maurizio Proietti, Alicia Villanueva
2024-9-12 Vol. 192 Issue 2 Pages i-ii
DOI: 10.3233/fi-242190
Proving Confluence in the Confluence Framework with CONFident
Raúl Gutiérrez, Salvador Lucas, Miguel Vítores
2024-9-12 Vol. 192 Issue 2 Pages 167-217
DOI: 10.3233/fi-242192
On Complexity Bounds and Confluence of Parallel Term Rewriting*
Thaïs Baudon, Carsten Fuhs, Laure Gonnord
2024-9-12 Vol. 192 Issue 2 Pages 121-166
DOI: 10.3233/fi-242191
Global Types and Event Structure Semantics for Asynchronous Multiparty Sessions
Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini
2024-7-23 Vol. 192 Issue 1 Pages 1-75
DOI: 10.3233/fi-242188
Relation-Algebraic Verification of Disjoint-Set Forests
Walter Guttmann
2024-7-23 Vol. 192 Issue 1 Pages 77-120
DOI: 10.3233/fi-242189
Articles retrieved from Crossref.
Green Journals | https://www.green-journals.com | info@green-journals.com
Printed: November 2, 2026 02:01