×

Diaconescu, Răzvan

Compute Distance To:
Author ID: diaconescu.razvan Recent zbMATH articles by "Diaconescu, Răzvan"
Published as: Diaconescu, Răzvan; Diaconescu, Razvan; Diaconescu, Rǎzvan
External Links: MGP · ORCID
Documents Indexed: 62 Publications since 1987, including 2 Books
2 Contributions as Editor
Reviewing Activity: 39 Reviews
Co-Authors: 13 Co-Authors with 22 Joint Publications
237 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

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

Cited by 174 Authors

29 Diaconescu, Răzvan
24 Meseguer Guaita, José
13 Madeira, Alexandre
13 Martins, Manuel António
11 Futatsugi, Kokichi
11 Mossakowski, Till
10 Ogata, Kazuhiro
8 Barbosa, Luís Soares
8 Gaĭnă, Daniel
8 Hennicker, Rolf
8 Lucas, Salvador
8 Roşu, Grigore
6 Aiguier, Marc
6 Knapp, Alexander
6 Popescu, Andrei
6 Rabe, Florian
6 Tarlecki, Andrzej
5 Ţuţu, Ionuţ
4 Goguen, Joseph Amadee
4 Malcolm, Grant
3 Alpuente, María
3 Bloch, Isabelle
3 Codescu, Mihai
3 Durán, Francisco
3 Escobar, Santiago
3 Horozal, Fulya
3 Lucanu, Dorel
3 Martí-Oliet, Narciso
3 Roggenbach, Markus
3 Sannella, Donald T.
3 Traytel, Dmitry
3 Voutsadakis, George
2 Atif, Jamal
2 Caleiro, Carlos
2 Cîrstea, Corina
2 Fiadeiro, José Luiz
2 Gutiérrez, Raúl
2 Kutsia, Temur
2 Kutz, Oliver
2 Marché, Claude
2 Marin, Mircea
2 Nakamura, Masaki
2 Neves, Renato
2 Ojeda, Pedro
2 Peleska, Jan
2 Petria, Marius
2 Rasga, João
2 Riesco, Adrián
2 Şerbănuţă, Traian Florin
2 Sernadas, Amilcar C.
2 Sernadas, Cristina S.
2 Skeirik, Stephen
2 Solovyov, Sergey A.
1 Abdel-Fattah, A. M. H.
1 Aguirre, Nazareno M.
1 Apetrei, Adriana
1 Aucher, Guillaume
1 Autexier, Serge
1 Babenyshev, Sergey
1 Barbier, Franck
1 Barthe, Gilles
1 Benevides, Mario R. F.
1 Bensalem, Saddek
1 Bergstra, Jan A.
1 Besold, Tarek R.
1 Beyersdorff, Olaf
1 Béziau, Jean-Yves
1 Bidoit, Michel
1 Blanchette, Jasmin Christian
1 Blumensath, Achim
1 Boronat, Artur
1 Bouhoula, Adel
1 Bruni, Roberto
1 Buro, Samuele
1 Carreteiro, Marta
1 Castro, Pablo F.
1 Chentsov, Alexey A.
1 Climent Vidal, Juan
1 Clouston, Ranald A.
1 Costa, Gerardo
1 Crole, Roy L.
1 Demey, Lorenz
1 Denniston, Jeffrey T.
1 Di Nola, Antonio
1 Domínguez, César
1 Dong, JinSong
1 Duval, Dominique
1 Espert, Javier
1 Faria, José M.
1 Ferreirim, Isabel M. A.
1 Fischer, Bernd
1 Forssell, Henrik
1 Gadducci, Fabio
1 Gheorghies, Ovidiu
1 Gómez-Ramírez, Danny Arlen de Jesús
1 Gonçalves, Ricardo
1 Guhe, M.
1 Hamana, Makoto
1 Haveraaen, Magne
1 Haxthausen, Anne Elisabeth
...and 74 more Authors

Citations by Year