Fundamenta Informaticae

Papers
(The TQCC of Fundamenta Informaticae is 2. The table below lists those papers that are above that threshold based on CrossRef citation counts [max. 250 papers]. The publications cover those that have been published in the past four years, i.e., from 2022-05-01 to 2026-05-01.)
ArticleCitations
Decision Problems on Copying and Shuffling9
Link Residual Closeness of Harary Graphs7
Introduction to Probabilistic Concurrent Systems6
Discovering Process Models with Long-Term Dependencies while Providing Guarantees and Filtering Infrequent Behavior Patterns6
On the Complexity of Techniques That Make Transition Systems Implementable by Boolean Nets6
Global Types and Event Structure Semantics for Asynchronous Multiparty Sessions5
Computational and Descriptional Power of Nondeterministic Iterated Uniform Finite-State Transducers5
On the Complexity of Proving Polyhedral Reductions5
A Note on Calculi for Non-deterministic Many-valued Logics4
Computing Square Roots in Quaternion Algebras4
On Finding Hamiltonian Cycles in Barnette Graphs4
Coxeter Invariants for Non-negative Unit Forms of Dynkin Type ???? r 4
Structural Liveness of Immediate Observation Petri Nets3
Single-sample Versus Case-control Sampling Scheme for Positive Unlabeled Data: the Story of Two Scenarios3
Morphisms and Minimisation of Weighted Automata3
On Completeness of Cost Metrics and Meta-Search Algorithms in $-Calculus3
Formal Concepts and Residuation on Multilattices3
Order-theoretic Trees: Monadic Second-order Descriptions and Regularity3
Perturbation Results for Distance-edge-monitoring Numbers3
Number Conservation via Particle Flow in One-dimensional Cellular Automata2
A Polyhedral Abstraction for Petri Nets and its Application to SMT-Based Model Checking2
Error Correction for Discrete Tomography2
Cost Automata, Safe Schemes, and Downward Closures2
Computing Parameterized Invariants of Parameterized Petri Nets2
Adaptive Merging on Phase Change Memory2
On Random Number Generation for Kernel Applications2
Resource Bisimilarity in Petri Nets is Decidable2
Preface2
Absent Subsequences in Words2
0.1510169506073