Fundamenta Informaticae

Papers
(The TQCC of Fundamenta Informaticae is 1. 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 2021-03-01 to 2025-03-01.)
ArticleCitations
On Completeness of Cost Metrics and Meta-Search Algorithms in $-Calculus11
Computing Singular Elements Modulo Squares6
Self-stabilisation of Cellular Automata on Tilings6
Perpetual Free-choice Petri Nets are Lucent Proof of a Theorem of van der Aalst Using CP-exhaustions6
A Dynamical System Approach to Polyominoes Generation6
Acyclic and Cyclic Reversing Computations in Petri Nets6
Structural Liveness of Immediate Observation Petri Nets5
Universal Address Sequence Generator for Memory Built-in Self-test5
String Covering: A Survey5
A Polynomial-Time Construction of a Hitting Set for Read-Once Branching Programs of Width 34
Complexity and Equivalency of Multiset Dimension and ID-colorings4
Exact Wirelength of Embedding 3-Ary n-Cubes into Certain Cylinders and Trees4
Decision Problems on Copying and Shuffling4
A Generalization of Falsity in Finitely-many Valued Logics3
Reversible Regular Languages: Logical and Algebraic Characterisations3
A Complete Taxonomy of Restarting Automata without Auxiliary Symbols*3
On the Length of Shortest Strings Accepted by Two-way Finite Automata3
Physical Computational Complexity and First-order Logic3
Two-Sided Strictly Locally Testable Languages3
Piecewise Affine Dynamical Models of Petri Nets – Application to Emergency Call Centers*3
A Note of Generalization of Fractional ID-factor-critical Graphs3
The 1966 International Congress of Mathematicians: A Micro-memoir3
Mining Clinical Process from Hospital Information System: A Granular Computing Approach3
Circular Interval-valued Computers and Simulation of (Red-green) Turing Machines2
Structure and Power: an Emerging Landscape2
Complexity Assessments for Decidable Fragments of Set Theory. I: A Taxonomy for the Boolean Case*2
Introduction to Probabilistic Concurrent Systems2
Improved Descriptional Complexity Results for Simple Semi-Conditional Grammars2
Absent Subsequences in Words2
Preface2
Boris (Boaz) Trakhtenbrot — The Beginning2
Correctness Notions for Petri Nets with Identifiers2
Preface2
Preface2
Gathering over Meeting Nodes in Infinite Grid*2
Coinductive Algorithms for Büchi Automata2
Order-theoretic Trees: Monadic Second-order Descriptions and Regularity2
Preface2
Taking Complete Finite Prefixes To High Level, Symbolically*2
The Complexity of Synthesis of b-Bounded Petri Nets2
On the Complexity of Techniques That Make Transition Systems Implementable by Boolean Nets2
Number Conservation via Particle Flow in One-dimensional Cellular Automata2
On Finding Hamiltonian Cycles in Barnette Graphs1
Commuting Upper Triangular Binary Morphisms1
Computing the Length of Sum of Squares and Pythagoras Element in a Global Field1
Relation-Algebraic Verification of Disjoint-Set Forests1
Adaptive Merging on Phase Change Memory1
Error Correction for Discrete Tomography1
Discovering Process Models with Long-Term Dependencies while Providing Guarantees and Filtering Infrequent Behavior Patterns1
Some Basic Techniques Allowing Petri Net Synthesis: Complexity and Algorithmic Issues1
Characteristics of de Bruijn’s early proof checker Automath1
Computing Square Roots in Quaternion Algebras1
Query-Points Visibility Constraint Minimum Link Paths in Simple Polygons1
Clustering Geometrically-Modeled Points in the Aggregated Uncertainty Model1
Computational and Descriptional Power of Nondeterministic Iterated Uniform Finite-State Transducers1
Cost Automata, Safe Schemes, and Downward Closures1
On the 2-domination Number of Cylinders with Small Cycles1
Right Buchberger Algorithm over Bijective Skew PBW Extensions1
Articulations and Products of Transition Systems and their Applications to Petri Net Synthesis1
Link Residual Closeness of Harary Graphs1
A Strong Gram Classification of Non-negative Unit Forms of Dynkin Type ????r1
On Random Number Generation for Kernel Applications1
Spanning Structures in Walker–Breaker Games1
Theory of Constructive Semigroups with Apartness – Foundations, Development and Practice1
A Congruence-Based Perspective on Finite Tree Automata1
Getting There and Back Again1
Compression on the Twisted Jacobi Intersection1
On Minimization and Learning of Deterministic ω-Automata in the Presence of Don’t Care Words1
Relations between Control Mechanisms for Sequential Grammars11
Inferring Unobserved Events in Systems with Shared Resources and Queues1
Preface1
Descriptional Complexity of Finite Automata – Selected Highlights1
Global Types and Event Structure Semantics for Asynchronous Multiparty Sessions1
Polynomial-time Classification of Skew-symmetrizable Matrices with a Positive Definite Quasi-Cartan Companion1
0.057035207748413