Science of Computer Programming

Papers
(The H4-Index of Science of Computer Programming is 13. 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-06-01 to 2025-06-01.)
ArticleCitations
Formal Techniques for Safety-Critical Systems (FTSCS 2018)51
PolyGloT: A personalized and gamified eTutoring system for learning modelling and programming skills39
Asynchronous unfold/fold transformation for fixpoint logic25
Test case prioritization with neuron valuation based pattern23
Revisiting occurrence typing20
Towards partial monitoring: Never too early to give in16
Neighborhood contrastive learning-based graph neural network for bug triaging16
ModelSet: A labelled dataset of software models for machine learning14
A pragma based C++ framework for hybrid quantum/classical computation14
Encoding TLA+ proof obligations safely for SMT14
Fast rule-based graph programs14
Editorial Board13
A model-checker exploiting structural reductions even with stutter sensitive LTL13
Editorial Board13
Toward a novel taxonomy to capture code smells caused by refactoring13
SolAR: Automated test-suite generation for solidity smart contracts13
0.11441683769226