Razvan Diaconescu
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
1992–2014
Best venue rank
C
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2014 | ICTAC | From Universal Logic to Computer Science, and Back. | Razvan Diaconescu |
| 2011 | CALCO | Hybridization of Institutions. | Manuel A. Martins, Alexandre Madeira, Razvan Diaconescu, Lus Soares Barbosa |
| 1999 | FM | Component-Based Algebraic Specification and Verification in CafeOBJ. | Razvan Diaconescu, Kokichi Futatsugi, Shusaku Iida |
| 1995 | COMPASS | A Category-Based Equational Logic Semantics to Constraint Programming. | Razvan Diaconescu |
| 1992 | COMPASS | Towards an Algebraic Semantics for the Object Paradigm. | Joseph A. Goguen, Razvan Diaconescu |