OOIR: Observatory of International Research

Papers

(The TQCC of Acta Informatica 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 2020-04-01 to 2024-04-01.)

Article	Citations
Sound reasoning in tock-CSP	10
Off-the-shelf automated analysis of liveness properties for just paths	7
Equilibria for games with combined qualitative and quantitative objectives	6
An automated system repair framework with signal temporal logic	4
Constrained polynomial zonotopes	4
Operational complexity and pumping lemmas	3
DKL: an efficient algorithm for learning deterministic Kripke structures	3
Translating between models of concurrency	3
Index appearance record with preorders	3
A jumping $$5'\rightarrow 3'$$ Watson–Crick finite automata model	3
Solving high-level Petri games	3
Proportional lumpability and proportional bisimilarity	3
Measuring the constrained reachability in quantum Markov chains	3
On the size of partial derivatives and the word membership problem	2
Hierarchical heuristics for Boolean-reasoning-based binary bicluster induction	2
A linear-time branching-time perspective on interface automata	2
On the undecidability and descriptional complexity of synchronized regular expressions	2
On Huang and Wong’s algorithm for generalized binary split trees	1
Pushdown automata and constant height: decidability and bounds	1
Operational complexity and right linear grammars	1
Minimum status of trees with a given degree sequence	1
Correction to: Sound reasoning in tock-CSP	1
SMT-based generation of symbolic automata	1
Configurable verification of timed automata with discrete variables	1
Decentralized runtime verification of message sequences in message-based systems	1

Reversible parallel communicating finite automata systems	1
Correction to: Reactive synthesis without regret	1
Out for coffee: with Rob	1
The descriptional power of queue automata of constant length	1
Characteristic invariants in Hennessy–Milner logic	1
Session-based concurrency, declaratively	1
Natural language guided object retrieval in images	1
Depth-first search in directed planar graphs, revisited	1
On the probabilistic bisimulation spectrum with silent moves	1