OOIR: Observatory of International Research

Papers

(The median citation count of Fundamenta Informaticae is 0. 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-11-01 to 2025-11-01.)

Article	Citations
Introduction to Probabilistic Concurrent Systems	6
Decision Problems on Copying and Shuffling	6
Computational and Descriptional Power of Nondeterministic Iterated Uniform Finite-State Transducers	5
Discovering Process Models with Long-Term Dependencies while Providing Guarantees and Filtering Infrequent Behavior Patterns	5
On the Complexity of Techniques That Make Transition Systems Implementable by Boolean Nets	5
On the Complexity of Proving Polyhedral Reductions	5
Link Residual Closeness of Harary Graphs	5
Computing Square Roots in Quaternion Algebras	4
On Finding Hamiltonian Cycles in Barnette Graphs	4
Coxeter Invariants for Non-negative Unit Forms of Dynkin Type ????_r	3
On the Expressive Power of Non-deterministic and Unambiguous Petri Nets over Infinite Words	3
Morphisms and Minimisation of Weighted Automata	3
Formal Concepts and Residuation on Multilattices	3
Global Types and Event Structure Semantics for Asynchronous Multiparty Sessions	3
Preface	3
Coverability, Termination, and Finiteness in Recursive Petri Nets	3
Perturbation Results for Distance-edge-monitoring Numbers	3
A Note on Calculi for Non-deterministic Many-valued Logics	3
On Morphisms Preserving Palindromic Richness	3
High-degree Compression Functions on Alternative Models of Elliptic Curves and their Applications	3
Edge Forcing in Butterfly Networks	3
On Random Number Generation for Kernel Applications	2
Structural Liveness of Immediate Observation Petri Nets	2
The Complexity of Synthesis of b-Bounded Petri Nets	2
Absent Subsequences in Words	2

Resource Bisimilarity in Petri Nets is Decidable	2
Order-theoretic Trees: Monadic Second-order Descriptions and Regularity	2
Single-sample Versus Case-control Sampling Scheme for Positive Unlabeled Data: the Story of Two Scenarios	2
On Completeness of Cost Metrics and Meta-Search Algorithms in $-Calculus	2
Number Conservation via Particle Flow in One-dimensional Cellular Automata	2
Cost Automata, Safe Schemes, and Downward Closures	2
Perpetual Free-choice Petri Nets are Lucent Proof of a Theorem of van der Aalst Using CP-exhaustions	2
Error Correction for Discrete Tomography	2
Adaptive Merging on Phase Change Memory	2
Preface	2
Spanning Structures in Walker–Breaker Games	1
Efficient Algorithms for Maximum Induced Matching Problem in Permutation and Trapezoid Graphs	1
A Note of Generalization of Fractional ID-factor-critical Graphs	1
Affine Completeness of Some Free Binary Algebras	1
Myhill-Nerode Theorem for Higher-Dimensional Automata	1
Structure and Power: an Emerging Landscape	1
Investigating Reversibility of Steps in Petri Nets	1
Preface	1
Tomography and Applications	1
Computing Parameterized Invariants of Parameterized Petri Nets	1
Optimal Local Identifying and Local Locating-dominating Codes	1
On the Tutte and Matching Polynomials for Complete Graphs	1
Exact and Approximate Algorithms for Computing Betweenness Centrality in Directed Graphs	1
A Congruence-Based Perspective on Finite Tree Automata	1
Complexity and Equivalency of Multiset Dimension and ID-colorings	1
Cost Problems for Parametric Time Petri Nets*	1
Symbolic and Structural Model-Checking	1
Automated Repair of Process Models with Non-local Constraints Using State-Based Region Theory	1
A Polyhedral Abstraction for Petri Nets and its Application to SMT-Based Model Checking	1
A Non-Deterministic Multiset Query Language	1
Acyclic and Cyclic Reversing Computations in Petri Nets	1
Preface	1
Articulations and Products of Transition Systems and their Applications to Petri Net Synthesis	1
Preface	1
Taking Complete Finite Prefixes To High Level, Symbolically*	1
The Inverse of Ackermann Function is Computable in Linear Time	1
Time-free Solution to Independent Set Problem using P Systems with Active Membranes	1
Solving Infinite Games in the Baire Space	1
Methods for Efficient Unfolding of Colored Petri Nets	0
Right Buchberger Algorithm over Bijective Skew PBW Extensions	0
On Iiro Honkala’s Contributions to Identifying Codes	0
Diameter of General Knödel Graphs	0
On Complexity Bounds and Confluence of Parallel Term Rewriting*	0
Descriptional Complexity of Finite Automata – Selected Highlights	0
Query-Points Visibility Constraint Minimum Link Paths in Simple Polygons	0
Relation-Algebraic Verification of Disjoint-Set Forests	0
On Local Antimagic Vertex Coloring for Complete Full t-ary Trees	0
A Generalization of Falsity in Finitely-many Valued Logics	0
Synthesis of Pure and Impure Petri Nets with Restricted Place-environments: Complexity Issues	0
Preface	0

Daniel Simson Obituary	0
On Rotation Distance of Rank Bounded Trees	0
A Rewriting-logic-with-SMT-based Formal Analysis and Parameter Synthesis Framework for Parametric Time Petri Nets	0
On Taxicab Distance Mean Functions and their Geometric Applications: Methods, Implementations and Examples	0
A Graph Theoretical Framework for the Strong Gram Classification of Non-negative Unit Forms of Dynkin Type ????_n	0
Towards Syntactic Epistemic Logic	0
Preface	0
On Minimization and Learning of Deterministic ω-Automata in the Presence of Don’t Care Words	0
A Strong Gram Classification of Non-negative Unit Forms of Dynkin Type ????_r	0
The 1966 International Congress of Mathematicians: A Micro-memoir	0
Closeness and Vertex Residual Closeness of Harary Graphs	0
Inferring Unobserved Events in Systems with Shared Resources and Queues	0
On Insecure Uses of BGN for Privacy Preserving Data Aggregation Protocols	0
Nominal Unification and Matching of Higher Order Expressions with Recursive Let	0
Reconstruction of Convex Sets from One or Two X-rays	0
Clustering Geometrically-Modeled Points in the Aggregated Uncertainty Model	0
A Local Diagnosis Algorithm for Hypercube-like Networks under the BGM Diagnosis Model	0
Commuting Upper Triangular Binary Morphisms	0
Computing the Length of Sum of Squares and Pythagoras Element in a Global Field	0
Exact Wirelength of Embedding 3-Ary n-Cubes into Certain Cylinders and Trees	0
Strong Regulatory Graphs	0
Maximum Centre-Disjoint Mergeable Disks	0
All Graphs with at Most 8 Nodes are 2-interval-PCGs	0
Perfect Domination, Roman Domination and Perfect Roman Domination in Lexicographic Product Graphs	0
Network Capacity Bound for Personalized PageRank in Multimodal Networks	0
Finding Codes on Infinite Grids Automatically	0
On the 2-domination Number of Cylinders with Small Cycles	0
Diffuse and Localized Functional Dysconnectivity in Schizophrenia: a Bootstrapped Top-Down Approach	0
Self-stabilisation of Cellular Automata on Tilings	0
Reachability in Simple Neural Networks	0
Unfoldings and Coverings of Weighted Graphs	0
Preface	0
Universal Address Sequence Generator for Memory Built-in Self-test	0
Proving Confluence in the Confluence Framework with CONFident	0
Getting There and Back Again	0
Testing Boolean Functions Properties	0
Characteristics of de Bruijn’s early proof checker Automath	0
A Polynomial-Time Construction of a Hitting Set for Read-Once Branching Programs of Width 3	0
Correctness Notions for Petri Nets with Identifiers	0
String Covering: A Survey	0
Some Basic Techniques Allowing Petri Net Synthesis: Complexity and Algorithmic Issues	0
Theory of Constructive Semigroups with Apartness – Foundations, Development and Practice	0
Boris (Boaz) Trakhtenbrot — The Beginning	0
On Completely Edge-Independent Spanning Trees in Locally Twisted Cubes	0
Nonatomic Non-Cooperative Neighbourhood Balancing Games	0
On Three Domination-based Identification Problems in Block Graphs	0
Maximal and Minimal Dynamic Petri Net Slicing	0
Two Sufficient Conditions for Graphs to Admit Path Factors	0
On the Hardness of Energy Minimisation for Crystal Structure Prediction	0
Preface	0
Decidability of Definability Issues in the Theory of Real Addition	0
Gathering over Meeting Nodes in Infinite Grid*	0
Waiting Nets: State Classes and Taxonomy	0
Elimination Distance to Bounded Degree on Planar Graphs Preprint	0
Skeleton Abstraction for Universal Temporal Properties	0
Piecewise Affine Dynamical Models of Petri Nets – Application to Emergency Call Centers*	0