Statistics
Publications
18
Citations
669
H-Index
13
Active since
1993
Răzvan Diaconescu is an author at Romanian Academy specializing in computer science, logic, and computing.
Publications per year
1993–2011
18
18
Logical support for modularisation
Răzvan Diaconescu, Joseph A. Goguen, Petros Stefaneas · 1993 · 140 citations · Full text
Logical foundations of CafeOBJ
Răzvan Diaconescu, Kokichi Futatsugi · Theoretical Computer Science · 2002 · 108 citations
Elementary Diagrams in Institutions
Răzvan Diaconescu · Journal of Logic and Computation · 2004 · 40 citations
Till Mossakowski, Răzvan Diaconescu, Andrzej Tarlecki · Logica Universalis · 2009 · 39 citations
1–5 of 18