Romeo A. Dumitrescu

According to our database, Romeo A. Dumitrescu authored at least 6 papers between 1998 and 2001.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of five.

2001

Automatic Result Verification by Complete Run-Time Checking of Computations.

Edgar F. A. Lederer, Romeo A. Dumitrescu

Int. J. Found. Comput. Sci., 2001

2000

Two-stage programming: compilation and case studies.

Romeo A. Dumitrescu

PhD thesis, 2000

1999

Reliable and Efficient Matrix Processing with the Specification-Consistent Coordination Model.

Romeo A. Dumitrescu, Edgar F. A. Lederer

Proceedings of the 1999 ACM Symposium on Applied Computing, 1999

Two-Stage Programming of Parallel and Distributed Applications.

Romeo A. Dumitrescu, Edgar F. A. Lederer

Proceedings of the 17th IASTED International Conference on Applied Informatics, 1999

1998

Specification-consistent coordination model for computations.

Edgar F. A. Lederer, Romeo A. Dumitrescu

Proceedings of the 1998 ACM symposium on Applied Computing, 1998

Two-Stage Programming.

Edgar F. A. Lederer, Romeo A. Dumitrescu

Proceedings of the Third Fuji International Symposium on Functional and Logic Programming, 1998