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-08-01 to 2025-08-01.)
ArticleCitations
PolyGloT: A personalized and gamified eTutoring system for learning modelling and programming skills54
Asynchronous unfold/fold transformation for fixpoint logic41
Towards partial monitoring: Never too early to give in26
ModelSet: A labelled dataset of software models for machine learning24
Revisiting occurrence typing22
Neighborhood contrastive learning-based graph neural network for bug triaging18
Test case prioritization with neuron valuation based pattern18
Encoding TLA+ proof obligations safely for SMT16
Fast rule-based graph programs14
Orchestration for quantum services: The power of load balancing across multiple service providers14
Formal Techniques for Safety-Critical Systems (FTSCS 2018)14
The complexity of evaluating nfer14
Toward a novel taxonomy to capture code smells caused by refactoring13
SolAR: Automated test-suite generation for solidity smart contracts13
A model-checker exploiting structural reductions even with stutter sensitive LTL13
Editorial Board13
A pragma based C++ framework for hybrid quantum/classical computation13
Using word embedding and convolution neural network for bug triaging by considering design flaws13
Editorial Board13
Graph neural network-based long method and blob code smell detection13
The Modeling Assistant Recommender: A UML class diagram recommender system13
Preface: Fundamentals of Software Engineering (extended versions of selected papers of FSEN 2023)13
0.057282209396362