Romeo A. Dumitrescu

	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		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		Edgar F. A. Lederer, Romeo A. Dumitrescu: Specification-consistent coordination model for computations. SAC 1998: 122-129

Coauthor Index

1

Edgar F. A. Lederer

[1] [2] [3] [4] [5]