Science of Computer Programming

Papers
(The H4-Index of Science of Computer Programming is 14. 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-01-01 to 2026-01-01.)
ArticleCitations
Revisiting occurrence typing48
Asynchronous unfold/fold transformation for fixpoint logic31
Test case prioritization with neuron valuation based pattern21
PolyGloT: A personalized and gamified eTutoring system for learning modelling and programming skills21
Neighborhood contrastive learning-based graph neural network for bug triaging19
Auto-active verification of distributed systems and specification refinements with Why3-do16
ModelSet: A labelled dataset of software models for machine learning16
Towards partial monitoring: Never too early to give in16
The complexity of evaluating nfer15
Encoding TLA+ proof obligations safely for SMT15
tAPP OpenWhisk: A serverless platform for topology-aware allocation priority policies15
An adaptive pairwise testing algorithm based on deep reinforcement learning15
SolAR: Automated test-suite generation for solidity smart contracts14
Editorial Board14
1.9152600765228