 | 2001 |
|---|
| 6 |       | Edgar F. A. Lederer,
Romeo A. Dumitrescu:
Automatic Result Verification by Complete Run-Time Checking of Computations.
Int. J. Found. Comput. Sci. 12(1): 97-124 (2001) |
| 1999 |
|---|
| 5 | | Romeo A. Dumitrescu,
Edgar F. A. Lederer:
Two-Stage Programming of Parallel and Distributed Applications.
Applied Informatics 1999: 395-399 |
| 4 |  | Romeo A. Dumitrescu,
Edgar F. A. Lederer:
Reliable and Efficient Matrix Processing with the Specification-Consistent Coordination Model.
SAC 1999: 191-193 |
| 1998 |
|---|
| 3 | | Edgar F. A. Lederer,
Romeo A. Dumitrescu:
Two-Stage Programming.
Fuji International Symposium on Functional and Logic Programming 1998: 296-313 |
| 2 | | Edgar F. A. Lederer,
Romeo A. Dumitrescu:
Specification-consistent coordination model for computations.
SAC 1998: 122-129 |
| 1996 |
|---|
| 1 | | Peter G. Kropf,
Edgar F. A. Lederer,
Thomas Steffen,
Karl Guggisberg,
Jean-Guy Schneider,
Peter Schwab:
SPINET: A Parallel Computing Approach to Spine Simulations.
Scientific Programming 5(1): 15-24 (1996) |
