| |
| 2001 | ||
|---|---|---|
| 5 | 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 | ||
| 4 | Romeo A. Dumitrescu, Edgar F. A. Lederer: Two-Stage Programming of Parallel and Distributed Applications. Applied Informatics 1999: 395-399 | |
| 3 | EE | Romeo A. Dumitrescu, Edgar F. A. Lederer: Reliable and Efficient Matrix Processing with the Specification-Consistent Coordination Model. SAC 1999: 191-193 |
| 1998 | ||
| 2 | Edgar F. A. Lederer, Romeo A. Dumitrescu: Two-Stage Programming. Fuji International Symposium on Functional and Logic Programming 1998: 296-313 | |
| 1 | EE | Edgar F. A. Lederer, Romeo A. Dumitrescu: Specification-consistent coordination model for computations. SAC 1998: 122-129 |
| 1 | Edgar F. A. Lederer | [1] [2] [3] [4] [5] |