Formal Aspects of Computing

Papers
(The H4-Index of Formal Aspects of Computing is 8. 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-08-01 to 2026-08-01.)
ArticleCitations
Introduction to the Special Collection from FM 202338
The Universality of Functions in the Sciences at Large and in Computing23
OLTL: An Optimization Extension of Linear Temporal Logic21
Modelling and Analysing Routing Protocols Diagrammatically with Bigraphs17
A Theory of Probabilistic Contracts14
Validation of CHC Satisfiability with ATHENA11
Review on Formal Methods for Software Engineering: Languages, Methods, Application Domains10
Identifying Overly Restrictive Matching Patterns in SMT-based Program Verifiers (Extended Version)9
Review of Logical Analysis of Hybrid Systems8
Embeddings Between State and Action Based Probabilistic Logics8
2.1502280235291