Romeo A. Dumitrescu

Publication Activity (10 Years)

Years Active: 1998-2001
Publications (10 Years): 0

University of Basel, Switzerland (PHD)

Education History

University of Basel, Switzerland

PHD

Publications

Edgar F. A. Lederer, Romeo A. Dumitrescu
Automatic Result Verification by Complete Run-Time Checking of Computations. Int. J. Found. Comput. Sci. 12 (1) (2001)
Romeo A. Dumitrescu, Edgar F. A. Lederer
Two-Stage Programming of Parallel and Distributed Applications. Applied Informatics (1999)
Romeo A. Dumitrescu, Edgar F. A. Lederer
Reliable and Efficient Matrix Processing with the Specification-Consistent Coordination Model. SAC (1999)
Edgar F. A. Lederer, Romeo A. Dumitrescu
Specification-consistent coordination model for computations. SAC (1998)
Edgar F. A. Lederer, Romeo A. Dumitrescu
Two-Stage Programming. Fuji International Symposium on Functional and Logic Programming (1998)