Formal Aspects of Computing

Papers
(The H4-Index of Formal Aspects of Computing is 10. 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-08-01 to 2025-08-01.)
ArticleCitations
TOrPEDO: witnessing model correctness with topological proofs32
Introduction to the Special Collection from FM 202324
The Universality of Functions in the Sciences at Large and in Computing22
Modelling and Analysing Routing Protocols Diagrammatically with Bigraphs19
Validation of CHC Satisfiability with ATHENA13
Editorial13
Embeddings Between State and Action Based Probabilistic Logics12
Review of Logical Analysis of Hybrid Systems12
Identifying Overly Restrictive Matching Patterns in SMT-based Program Verifiers (Extended Version)11
SecCT: Secure and Scalable Count Query Models on Encrypted Genomic Data11
Verifying correctness of persistent concurrent data structures: a sound and complete method10
Rod Burstall: In Memoriam10
0.035428047180176