Răzvan Diaconescu

Recent Trends in Algebraic Development Techniques

Mihai Codescu, Răzvan Diaconescu, Ionuț Țuțu, 2015, Lecture Notes in Computer Science.

Foundations of behavioural specification in rewriting logic

Răzvan Diaconescu, 1996, WRLA.

Implicit Partiality of Signature Morphisms in Institution Theory

Răzvan Diaconescu, R. Diaconescu, 2021 .