About
Technology
Issues
FAQ
Search
Scientometrics
Impact Factor
Discipline Ranks
h
-index
g
-index
Articles
Citations
Article Citations
Citation Distribution
Overviews
Top Institutions
Top Schools
Top Authors
Prolific Authors
Top Articles
Citing Bodies
Top Citing Authors
Top Citing Institutions
Top Citing Schools
Top Citing Journals
Top Citing Disciplines
exaly
›
Journals
›
Science of Computer Programming
›
top-articles
Science of Computer Programming
1.5
(top 50%)
impact factor
2.4K
(top 10%)
papers
43.8K
(top 10%)
citations
79
(top 10%)
h
-index
1.6
(top 50%)
impact factor
3.0K
all documents
47.3K
doc citations
156
(top 5%)
g
-index
Top Articles
#
Title
Journal
Year
Citations
1
Statecharts: a visual formalism for complex systems
Science of Computer Programming
1987
5,118
2
Goal-directed requirements acquisition
Science of Computer Programming
1993
1,486
3
The Esterel synchronous programming language: design, semantics, implementation
Science of Computer Programming
1992
1,195
4
The Daikon system for dynamic detection of likely invariants
Science of Computer Programming
2007
741
5
Comparison and evaluation of code clone detection techniques and tools: A qualitative approach
Science of Computer Programming
2009
737
6
ATL: A model transformation tool
Science of Computer Programming
2008
717
7
Using branching time temporal logic to synthesize synchronization skeletons
Science of Computer Programming
1982
514
8
Generalising monads to arrows
Science of Computer Programming
2000
380
9
Finding repeated elements
Science of Computer Programming
1982
357
10
Google’s MapReduce programming model — Revisited
Science of Computer Programming
2008
357
11
FeatureIDE: An extensible framework for feature-oriented software development
Science of Computer Programming
2014
336
12
USE: A UML-based specification environment for validating UML and OCL
Science of Computer Programming
2007
323
13
The Parma Polyhedra Library: Toward a complete set of numerical abstractions for the analysis and verification of hardware and software systems
Science of Computer Programming
2008
310
14
Functional documents for computer systems
Science of Computer Programming
1995
309
15
The TXL source transformation language
Science of Computer Programming
2006
279
16
A survey of fault localization techniques in computer networks
Science of Computer Programming
2004
276
17
Multi-agent oriented programming with JaCaMo
Science of Computer Programming
2013
256
18
A theoretical basis for stepwise refinement and the programming calculus
Science of Computer Programming
1987
255
19
Stratego/XT 0.17. A language and toolset for program transformation
Science of Computer Programming
2008
250
20
Formal semantics and analysis of control flow in WS-BPEL
Science of Computer Programming
2007
247
21
Modeling component connectors in Reo by constraint automata
Science of Computer Programming
2006
238
22
Modalities for model checking: branching time logic strikes back
Science of Computer Programming
1987
205
23
Synchronous programming with events and relations: the SIGNAL language and its semantics
Science of Computer Programming
1991
190
24
The gamma model and its discipline of programming
Science of Computer Programming
1990
183
25
Decomposition of distributed programs into communication-closed layers
Science of Computer Programming
1982
168
26
Composition for component-based modeling
Science of Computer Programming
2005
163
27
Chronos: A timing analyzer for embedded software
Science of Computer Programming
2007
163
28
On the expressive power of programming languages
Science of Computer Programming
1991
158
29
FAMILIAR: A domain-specific language for large scale management of feature models
Science of Computer Programming
2013
158
30
From tuple spaces to tuple centres
Science of Computer Programming
2001
154
31
The model transformation language of the VIATRA2 framework
Science of Computer Programming
2007
154
32
An implementation of an efficient algorithm for bisimulation equivalence
Science of Computer Programming
1990
152
33
Strictness analysis for higher-order functions
Science of Computer Programming
1986
147
34
Model-driven engineering practices in industry: Social, organizational and managerial factors that lead to success or failure
Science of Computer Programming
2014
146
35
Weighted pushdown systems and their application to interprocedural dataflow analysis
Science of Computer Programming
2005
144
36
The JastAdd system — modular extensible compiler construction
Science of Computer Programming
2007
142
37
Model checking using net unfoldings
Science of Computer Programming
1994
140
38
Probabilistic models for the guarded command language
Science of Computer Programming
1997
133
39
Six strategies for generalizing software engineering theories
Science of Computer Programming
2015
133
40
Data structures and program transformation
Science of Computer Programming
1990
129
41
A text-based approach to feature modelling: Syntax and semantics of TVL
Science of Computer Programming
2011
128
42
Adequate proof principles for invariance and liveness properties of concurrent programs
Science of Computer Programming
1984
124
43
Termination of rewriting systems by polynomial interpretations and its implementation
Science of Computer Programming
1987
122
44
JastAdd—an aspect-oriented compiler construction system
Science of Computer Programming
2003
122
45
Graph transformation for specification and programming
Science of Computer Programming
1999
121
46
A customizable approach to full lifecycle variability management
Science of Computer Programming
2004
121
47
Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor)
Science of Computer Programming
2005
118
48
Dynamic typing: syntax and proof theory
Science of Computer Programming
1994
114
49
Silver: An extensible attribute grammar system
Science of Computer Programming
2010
114
50
Automatic autoprojection of recursive equations with global variables and abstract data types
Science of Computer Programming
1991
113
site/software ©
exaly
; All materials licenced under
CC by-SA
.