# zbMATH — the first resource for mathematics

## Diaconescu, Răzvan

Compute Distance To:
 Author ID: diaconescu.razvan Published as: Diaconescu, R.; Diaconescu, Razvan; Diaconescu, Răzvan; Diaconescu, Rǎzvan External Links: MGP · ORCID
 Documents Indexed: 63 Publications since 1987, including 3 Books Reviewing Activity: 39 Reviews
all top 5

#### Co-Authors

 40 single-authored 5 Futatsugi, Kokichi 5 Goguen, Joseph Amadee 4 Mossakowski, Till 4 Tarlecki, Andrzej 3 Ţuţu, Ionuţ 2 Madeira, Alexandre 2 Petria, Marius 2 Stefaneas, Petros S. 1 Aiguier, Marc 1 Barbosa, Luís S. 1 Codescu, Mihai 1 Martins, Manuel António 1 Ogata, Kazuhiro
all top 5

#### Serials

 7 Theoretical Computer Science 6 Journal of Logic and Computation 5 Information Processing Letters 5 MSCS. Mathematical Structures in Computer Science 3 Applied Categorical Structures 3 Logica Universalis 2 Information and Computation 1 Acta Informatica 1 Fuzzy Sets and Systems 1 Journal of Computer and System Sciences 1 The Journal of Symbolic Logic 1 Studia Logica 1 Bulletin of the Greek Mathematical Society 1 Bulletin of the European Association for Theoretical Computer Science (EATCS) 1 Archive for Mathematical Logic 1 Mathematical Logic Quarterly (MLQ) 1 Computer Science Journal of Moldova 1 Soft Computing 1 Fundamenta Informaticae 1 Journal of Universal Computer Science 1 The Journal of Logic and Algebraic Programming 1 Computing and Informatics 1 Lecture Notes in Computer Science 1 AMAST Series in Computing 1 Journal of Logical and Algebraic Methods in Programming 1 Studies in Universal Logic
all top 5

#### Fields

 43 Computer science (68-XX) 35 Mathematical logic and foundations (03-XX) 13 Category theory; homological algebra (18-XX) 7 General algebraic systems (08-XX) 2 General and overarching topics; collections (00-XX) 1 Order, lattices, ordered algebraic structures (06-XX)

#### Citations contained in zbMATH Open

53 Publications have been cited 478 times in 186 Documents Cited by Year
CafeOBJ Report. The language, proof techniques, and methodologies for object-oriented algebraicspecification. Zbl 0962.68115
Diaconescu, Razvan; Futatsugi, Kokichi
1998
Institution-independent model theory. Zbl 1144.03001
Diaconescu, Răzvan
2008
Logical foundations of CafeOBJ. Zbl 1001.68079
Diaconescu, Răzvan; Futatsugi, Kokichi
2002
Behavioural coherence in object-oriented algebraic specification. Zbl 0963.68104
Diaconescu, Razvan; Futatsugi, Kokichi
2000
Towards an algebraic semantics for the object paradigm. Zbl 0941.68637
Goguen, Joseph A.; Diaconescu, Răzvan
1994
An Oxford survey of order sorted algebra. Zbl 0939.68710
Goguen, Joseph; Diaconescu, Răzvan
1994
Institution-independent ultraproducts. Zbl 1036.03055
Diaconescu, Răzvan
2003
An institution-independent proof of Craig interpolation theorem. Zbl 1048.03026
Diaconescu, Răzvan
2004
What is a logic translation? Zbl 1255.03023
Mossakowski, Till; Diaconescu, Răzvan; Tarlecki, Andrzej
2009
Elementary diagrams in institutions. Zbl 1104.03036
Diaconescu, Răzvan
2004
Grothendieck institutions. Zbl 1008.68078
Diaconescu, Răzvan
2002
Hybridization of institutions. Zbl 1343.03052
Martins, Manuel A.; Madeira, Alexandre; Diaconescu, Răzvan; Barbosa, Luís S.
2011
Proof systems for institutional logic. Zbl 1113.03062
Diaconescu, Razvan
2006
Abstract Beth definability in institutions. Zbl 1110.03064
Petria, Marius; Diaconescu, Răzvan
2006
What is a logic? Zbl 1080.03028
Mossakowski, Till; Goguen, Joseph; Diaconescu, Răzvan; Tarlecki, Andrzej
2005
Herbrand theorems in arbitrary institutions. Zbl 1178.68132
Diaconescu, Rǎzvan
2004
Extra theory morphisms for institutions: Logical semantics for multi-paradigm languages. Zbl 0919.68087
Diaconescu, Răzvan
1998
Interpolation in Grothendieck institutions. Zbl 1068.68083
Diaconescu, Răzvan
2004
On the algebra of structured specifications. Zbl 1252.68199
Diaconescu, Răzvan; Ţuţu, Ionuţ
2011
Quasi-varieties and initial semantics for hybridized institutions. Zbl 1353.03083
Diaconescu, Răzvan
2016
An axiomatic approach to structuring specifications. Zbl 1279.68230
Diaconescu, Răzvan
2012
Stratified institutions and elementary homomorphisms. Zbl 1189.03038
Aiguier, Marc; Diaconescu, Răzvan
2007
Encoding hybridized institutions into first-order logic. Zbl 1362.03058
2016
Coinduction for preordered algebra. Zbl 1206.68197
Diaconescu, Răzvan
2011
Ultraproducts and possible worlds semantics in institutions. Zbl 1124.03047
Diaconescu, Răzvan; Stefaneas, Petros
2007
CafeOBJ: Logical foundations and methodologies. Zbl 1104.68358
Diaconescu, Răzvan; Futatsugi, Kokichi; Ogata, Kazuhiro
2003
Category-based constraint logic. Zbl 0955.68022
Diaconescu, Răzvan
2000
Implicit Kripke semantics and ultraproducts in stratified institutions. Zbl 1444.03185
Diaconescu, Răzvan
2017
Institutional semantics for many-valued logics. Zbl 1307.03014
Diaconescu, Răzvan
2013
Borrowing interpolation. Zbl 1252.03147
Diaconescu, Răzvan
2012
Grothendieck inclusion systems. Zbl 1261.18005
Diaconescu, Răzvan
2011
On quasi-varieties of multiple valued logic models. Zbl 1241.03028
Diaconescu, Răzvan
2011
What is a logic? In memoriam Joseph Goguen. Zbl 1143.03356
Mossakowski, Till; Goguen, Joseph; Diaconescu, Răzvan; Tarlecki, Andrzej
2007
Three decades of institution theory. Zbl 1295.03051
Diaconescu, Răzvan
2012
Quasi-Boolean encodings and conditionals in algebraic specification. Zbl 1187.68322
Diaconescu, Răzvan
2010
Foundations of behavioural specification in rewriting logic. Zbl 0912.68092
Diaconescu, Razvan
1996
Completeness of category-based equational deduction. Zbl 0835.18003
Diaconescu, Răzvan
1995
Graded consequence: an institution theoretic study. Zbl 1388.03068
Diaconescu, Răzvan
2014
Foundations for structuring behavioural specifications. Zbl 1434.68305
Diaconescu, Răzvan; Ţuţu, Ionuţ
2014
CafeOBJ traces. Zbl 1407.68307
Diaconescu, Răzvan
2014
Interpolation for predefined types. Zbl 1279.68229
Diaconescu, Răzvan
2012
Structural induction in institutions. Zbl 1241.03073
Diaconescu, Răzvan
2011
Saturated models in institutions. Zbl 1208.03040
Diaconescu, Răzvan; Petria, Marius
2010
An encoding of partial algebras as total algebras. Zbl 1202.68245
Diaconescu, Răzvan
2009
A categorical study on the finiteness of specifications. Zbl 1191.68410
Diaconescu, Răzvan
2008
Jewels of institution-independent model theory. Zbl 1133.03014
Diaconescu, Răzvan
2006
Behavioural specification for hierarchical object composition. Zbl 1077.68055
Diaconescu, Răzvan
2005
An overview of $$CafeOBJ$$. Zbl 0917.68101
Diaconescu, Razvan; Futatsugi, Kokichi
1998
Functorial semantics of first-order views. Zbl 1370.68208
Diaconescu, Răzvan
2016
Recent trends in algebraic development techniques. 22nd international workshop, WADT 2014, Sinaia, Romania, September 4–7, 2014. Revised selected papers. Zbl 1327.68013
Codescu, Mihai (ed.); Diaconescu, Răzvan (ed.); Ţuţu, Ionuţ (ed.)
2015
The algebra of opposition (and universal logic interpretations). Zbl 1376.03016
Diaconescu, Răzvan
2015
From universal logic to computer science, and back. Zbl 1432.68268
Diaconescu, Răzvan
2014
Models of arithmetic and categories with finiteness conditions. Zbl 0635.03058
Diaconescu, R.; Kirby, L. A. S.
1987
Implicit Kripke semantics and ultraproducts in stratified institutions. Zbl 1444.03185
Diaconescu, Răzvan
2017
Quasi-varieties and initial semantics for hybridized institutions. Zbl 1353.03083
Diaconescu, Răzvan
2016
Encoding hybridized institutions into first-order logic. Zbl 1362.03058
2016
Functorial semantics of first-order views. Zbl 1370.68208
Diaconescu, Răzvan
2016
Recent trends in algebraic development techniques. 22nd international workshop, WADT 2014, Sinaia, Romania, September 4–7, 2014. Revised selected papers. Zbl 1327.68013
Codescu, Mihai (ed.); Diaconescu, Răzvan (ed.); Ţuţu, Ionuţ (ed.)
2015
The algebra of opposition (and universal logic interpretations). Zbl 1376.03016
Diaconescu, Răzvan
2015
Graded consequence: an institution theoretic study. Zbl 1388.03068
Diaconescu, Răzvan
2014
Foundations for structuring behavioural specifications. Zbl 1434.68305
Diaconescu, Răzvan; Ţuţu, Ionuţ
2014
CafeOBJ traces. Zbl 1407.68307
Diaconescu, Răzvan
2014
From universal logic to computer science, and back. Zbl 1432.68268
Diaconescu, Răzvan
2014
Institutional semantics for many-valued logics. Zbl 1307.03014
Diaconescu, Răzvan
2013
An axiomatic approach to structuring specifications. Zbl 1279.68230
Diaconescu, Răzvan
2012
Borrowing interpolation. Zbl 1252.03147
Diaconescu, Răzvan
2012
Three decades of institution theory. Zbl 1295.03051
Diaconescu, Răzvan
2012
Interpolation for predefined types. Zbl 1279.68229
Diaconescu, Răzvan
2012
Hybridization of institutions. Zbl 1343.03052
Martins, Manuel A.; Madeira, Alexandre; Diaconescu, Răzvan; Barbosa, Luís S.
2011
On the algebra of structured specifications. Zbl 1252.68199
Diaconescu, Răzvan; Ţuţu, Ionuţ
2011
Coinduction for preordered algebra. Zbl 1206.68197
Diaconescu, Răzvan
2011
Grothendieck inclusion systems. Zbl 1261.18005
Diaconescu, Răzvan
2011
On quasi-varieties of multiple valued logic models. Zbl 1241.03028
Diaconescu, Răzvan
2011
Structural induction in institutions. Zbl 1241.03073
Diaconescu, Răzvan
2011
Quasi-Boolean encodings and conditionals in algebraic specification. Zbl 1187.68322
Diaconescu, Răzvan
2010
Saturated models in institutions. Zbl 1208.03040
Diaconescu, Răzvan; Petria, Marius
2010
What is a logic translation? Zbl 1255.03023
Mossakowski, Till; Diaconescu, Răzvan; Tarlecki, Andrzej
2009
An encoding of partial algebras as total algebras. Zbl 1202.68245
Diaconescu, Răzvan
2009
Institution-independent model theory. Zbl 1144.03001
Diaconescu, Răzvan
2008
A categorical study on the finiteness of specifications. Zbl 1191.68410
Diaconescu, Răzvan
2008
Stratified institutions and elementary homomorphisms. Zbl 1189.03038
Aiguier, Marc; Diaconescu, Răzvan
2007
Ultraproducts and possible worlds semantics in institutions. Zbl 1124.03047
Diaconescu, Răzvan; Stefaneas, Petros
2007
What is a logic? In memoriam Joseph Goguen. Zbl 1143.03356
Mossakowski, Till; Goguen, Joseph; Diaconescu, Răzvan; Tarlecki, Andrzej
2007
Proof systems for institutional logic. Zbl 1113.03062
Diaconescu, Razvan
2006
Abstract Beth definability in institutions. Zbl 1110.03064
Petria, Marius; Diaconescu, Răzvan
2006
Jewels of institution-independent model theory. Zbl 1133.03014
Diaconescu, Răzvan
2006
What is a logic? Zbl 1080.03028
Mossakowski, Till; Goguen, Joseph; Diaconescu, Răzvan; Tarlecki, Andrzej
2005
Behavioural specification for hierarchical object composition. Zbl 1077.68055
Diaconescu, Răzvan
2005
An institution-independent proof of Craig interpolation theorem. Zbl 1048.03026
Diaconescu, Răzvan
2004
Elementary diagrams in institutions. Zbl 1104.03036
Diaconescu, Răzvan
2004
Herbrand theorems in arbitrary institutions. Zbl 1178.68132
Diaconescu, Rǎzvan
2004
Interpolation in Grothendieck institutions. Zbl 1068.68083
Diaconescu, Răzvan
2004
Institution-independent ultraproducts. Zbl 1036.03055
Diaconescu, Răzvan
2003
CafeOBJ: Logical foundations and methodologies. Zbl 1104.68358
Diaconescu, Răzvan; Futatsugi, Kokichi; Ogata, Kazuhiro
2003
Logical foundations of CafeOBJ. Zbl 1001.68079
Diaconescu, Răzvan; Futatsugi, Kokichi
2002
Grothendieck institutions. Zbl 1008.68078
Diaconescu, Răzvan
2002
Behavioural coherence in object-oriented algebraic specification. Zbl 0963.68104
Diaconescu, Razvan; Futatsugi, Kokichi
2000
Category-based constraint logic. Zbl 0955.68022
Diaconescu, Răzvan
2000
CafeOBJ Report. The language, proof techniques, and methodologies for object-oriented algebraicspecification. Zbl 0962.68115
Diaconescu, Razvan; Futatsugi, Kokichi
1998
Extra theory morphisms for institutions: Logical semantics for multi-paradigm languages. Zbl 0919.68087
Diaconescu, Răzvan
1998
An overview of $$CafeOBJ$$. Zbl 0917.68101
Diaconescu, Razvan; Futatsugi, Kokichi
1998
Foundations of behavioural specification in rewriting logic. Zbl 0912.68092
Diaconescu, Razvan
1996
Completeness of category-based equational deduction. Zbl 0835.18003
Diaconescu, Răzvan
1995
Towards an algebraic semantics for the object paradigm. Zbl 0941.68637
Goguen, Joseph A.; Diaconescu, Răzvan
1994
An Oxford survey of order sorted algebra. Zbl 0939.68710
Goguen, Joseph; Diaconescu, Răzvan
1994
Models of arithmetic and categories with finiteness conditions. Zbl 0635.03058
Diaconescu, R.; Kirby, L. A. S.
1987
all top 5