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-06-01 to 2026-06-01.)
ArticleCitations
Introduction to the Special Collection from FM 202331
The Universality of Functions in the Sciences at Large and in Computing23
OLTL: An Optimization Extension of Linear Temporal Logic19
Modelling and Analysing Routing Protocols Diagrammatically with Bigraphs15
Identifying Overly Restrictive Matching Patterns in SMT-based Program Verifiers (Extended Version)13
Validation of CHC Satisfiability with ATHENA13
Review of Logical Analysis of Hybrid Systems11
Embeddings Between State and Action Based Probabilistic Logics9
SecCT: Secure and Scalable Count Query Models on Encrypted Genomic Data8
0.20615696907043