Dr. R. van Dantzig (SMC)
|
1153
|
A Method of Programming
– Dijkstra, Feijen
- 1988
|
|
952
|
An axiomatic basis for computer programming
– Hoare
- 1969
|
|
737
|
The temporal logic of actions
– Lamport
- 1994
|
|
654
|
On the uniform convergence of relative frequencies of events to their probabilities. Theory Probab
– Vapnik, Červonekis
- 1971
|
|
489
|
The B Book: Assigning Programs to Meanings
– Abrial
- 1996
|
|
449
|
Self-Stabilizing Systems in Spite of Distributed Control
– Dijkstra
- 1974
|
|
366
|
Adaptive Switching Circuits
– Widrow, Hoff
- 1960
|
|
342
|
Proofs of correctness of data representations
– Hoare
- 1972
|
|
189
|
Refinement Calculus: A Systematic Introduction
– Back, Wright
- 1998
|
|
170
|
Specifying concurrent program modules
– Lamport
- 1983
|
|
138
|
Parallel program design
– Chandy, Misra
- 1988
|
|
129
|
A Simple Approach to Specifying Concurrent Systems
– Lamport
- 1989
|
|
123
|
Supporting checkpointing and process migration outside the Unix kernel. Usenix Winter Conference
– Litzkow, Solomon
- 1992
|
|
116
|
The specification statement
– Morgan
- 1988
|
|
113
|
Refinement calculus, part II: Parallel and reactive programs
– Back
- 1990
|
|
100
|
Gene expression profiling predicts clinical outcome of breast cancer. Nature
– J, Dai, et al.
- 2002
|
|
79
|
Distributed Cooperation with Action Systems
– Back, Kurki-Suonio
|
|
63
|
Model-based clustering and data transformations for gene expression data
– YEUNG, FRALEY, et al.
|
|
59
|
Experience with the Condor Distributed Batch System
– Litzkow, Livny
- 1990
|
|
57
|
Refinement calculus, part I: Sequential nondeterministic programs
– Back, Wright
- 1990
|
|
43
|
D.: Modern applied statistics with
– Venables, Ripley
- 2002
|
|
41
|
Profiling workstations' available capacity for remote execution, Performance '87
– Mutka, Livny
- 1987
|
|
35
|
From Action Systems to Modular Systems
– Back, Sere
- 1996
|
|
32
|
Programming from Speci
– Morgan
- 1990
|
|
32
|
Scheduling remote processing capacity in a workstationprocessor bank network
– Mutka, Livny
- 1987
|
|
29
|
Decentralisation of process nets with centralised control
– Back, Kurki-Suonio
- 1983
|
|
26
|
Principal component analysis for clustering gene expression data
– Yeung, Ruzzo
- 2001
|
|
22
|
The existence of re mappings
– Abadi, Lamport
- 1991
|
|
18
|
Some transformations for developing recursive programs
– Burstall, Darlington
- 1977
|
|
16
|
Mechanically Supported Design of Self-stabilizing Algorithms
– Prasetya
- 1995
|
|
15
|
Distributed system development in B
– Butler, Wald'en
- 1996
|
|
14
|
An approach to objectorientation in action systems
– Bonsangue, Kok, et al.
- 1998
|
|
8
|
A Calculus of Re for Program Derivations
– Back
- 1988
|
|
8
|
A case study in constructing distributed algorithms: distributed exchange sort
– Back, Kurki-Suonio
- 1984
|
|
8
|
Correctness preserving program transformations
– Gerhart
- 1975
|
|
8
|
Stepwise derivation of parallel algorithms
– Sere
- 1990
|
|
7
|
Correctness Preserving Program Re Proof Theory and Applications
– Back
- 1980
|
|
7
|
Stepwise re of action systems
– Back, Sere
- 1989
|
|
6
|
On the Correctness of Re Steps in Program Development
– Back
- 1978
|
|
6
|
Reverse engineering distributed algorithms
– Sere, Walden
- 1996
|
|
6
|
Formal derivation of a distributed load balancing algorithm
– Walden
- 1995
|
|
5
|
Command lattices, variable environments and data refinement
– Back, Wright
- 1990
|
|
5
|
Data re by calculation
– Morgan, Gardiner
- 1990
|
|
5
|
UNITY in Diversity: A Strati Approach to the Veri of Distributed Algorithms
– Vos
- 2000
|
|
4
|
A method for re atomicity in parallel algorithms
– Back
- 1989
|
|
4
|
Approximating UNITY
– Dingel
- 1997
|
|
4
|
Verification of a distributed algorithm due to Chu
– Walden
- 1994
|
|
4
|
Proving distributed hylomorphisms
– Vos, Swierstra
- 2001
|
|
4
|
Managing projects with make
– Oram, Talbott
- 1991
|
|
3
|
On Correct Re of Programs
– Back
- 1981
|
|
