×

zbMATH — the first resource for mathematics

Diaconescu, Răzvan

Compute Distance To:
Author ID: diaconescu.razvan Recent zbMATH articles by "Diaconescu, Răzvan"
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

Publications by Year

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
71
1998
Institution-independent model theory. Zbl 1144.03001
Diaconescu, Răzvan
62
2008
Logical foundations of CafeOBJ. Zbl 1001.68079
Diaconescu, Răzvan; Futatsugi, Kokichi
23
2002
Behavioural coherence in object-oriented algebraic specification. Zbl 0963.68104
Diaconescu, Razvan; Futatsugi, Kokichi
23
2000
Towards an algebraic semantics for the object paradigm. Zbl 0941.68637
Goguen, Joseph A.; Diaconescu, Răzvan
23
1994
An Oxford survey of order sorted algebra. Zbl 0939.68710
Goguen, Joseph; Diaconescu, Răzvan
18
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
14
2009
Elementary diagrams in institutions. Zbl 1104.03036
Diaconescu, Răzvan
13
2004
Grothendieck institutions. Zbl 1008.68078
Diaconescu, Răzvan
13
2002
Hybridization of institutions. Zbl 1343.03052
Martins, Manuel A.; Madeira, Alexandre; Diaconescu, Răzvan; Barbosa, Luís S.
12
2011
Proof systems for institutional logic. Zbl 1113.03062
Diaconescu, Razvan
10
2006
Abstract Beth definability in institutions. Zbl 1110.03064
Petria, Marius; Diaconescu, Răzvan
10
2006
What is a logic? Zbl 1080.03028
Mossakowski, Till; Goguen, Joseph; Diaconescu, Răzvan; Tarlecki, Andrzej
10
2005
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
Interpolation in Grothendieck institutions. Zbl 1068.68083
Diaconescu, Răzvan
9
2004
On the algebra of structured specifications. Zbl 1252.68199
Diaconescu, Răzvan; Ţuţu, Ionuţ
8
2011
Quasi-varieties and initial semantics for hybridized institutions. Zbl 1353.03083
Diaconescu, Răzvan
6
2016
An axiomatic approach to structuring specifications. Zbl 1279.68230
Diaconescu, Răzvan
6
2012
Stratified institutions and elementary homomorphisms. Zbl 1189.03038
Aiguier, Marc; Diaconescu, Răzvan
6
2007
Encoding hybridized institutions into first-order logic. Zbl 1362.03058
Diaconescu, Răzvan; Madeira, Alexandre
5
2016
Coinduction for preordered algebra. Zbl 1206.68197
Diaconescu, Răzvan
5
2011
Ultraproducts and possible worlds semantics in institutions. Zbl 1124.03047
Diaconescu, Răzvan; Stefaneas, Petros
5
2007
CafeOBJ: Logical foundations and methodologies. Zbl 1104.68358
Diaconescu, Răzvan; Futatsugi, Kokichi; Ogata, Kazuhiro
5
2003
Category-based constraint logic. Zbl 0955.68022
Diaconescu, Răzvan
5
2000
Implicit Kripke semantics and ultraproducts in stratified institutions. Zbl 1444.03185
Diaconescu, Răzvan
4
2017
Institutional semantics for many-valued logics. Zbl 1307.03014
Diaconescu, Răzvan
4
2013
Borrowing interpolation. Zbl 1252.03147
Diaconescu, Răzvan
4
2012
Grothendieck inclusion systems. Zbl 1261.18005
Diaconescu, Răzvan
4
2011
On quasi-varieties of multiple valued logic models. Zbl 1241.03028
Diaconescu, Răzvan
4
2011
What is a logic? In memoriam Joseph Goguen. Zbl 1143.03356
Mossakowski, Till; Goguen, Joseph; Diaconescu, Răzvan; Tarlecki, Andrzej
4
2007
Three decades of institution theory. Zbl 1295.03051
Diaconescu, Răzvan
3
2012
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
Completeness of category-based equational deduction. Zbl 0835.18003
Diaconescu, Răzvan
3
1995
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
2
2014
Interpolation for predefined types. Zbl 1279.68229
Diaconescu, Răzvan
2
2012
Structural induction in institutions. Zbl 1241.03073
Diaconescu, Răzvan
2
2011
Saturated models in institutions. Zbl 1208.03040
Diaconescu, Răzvan; Petria, Marius
2
2010
An encoding of partial algebras as total algebras. Zbl 1202.68245
Diaconescu, Răzvan
2
2009
A categorical study on the finiteness of specifications. Zbl 1191.68410
Diaconescu, Răzvan
2
2008
Jewels of institution-independent model theory. Zbl 1133.03014
Diaconescu, Răzvan
2
2006
Behavioural specification for hierarchical object composition. Zbl 1077.68055
Diaconescu, Răzvan
2
2005
An overview of \(CafeOBJ\). Zbl 0917.68101
Diaconescu, Razvan; Futatsugi, Kokichi
2
1998
Functorial semantics of first-order views. Zbl 1370.68208
Diaconescu, Răzvan
1
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.)
1
2015
The algebra of opposition (and universal logic interpretations). Zbl 1376.03016
Diaconescu, Răzvan
1
2015
From universal logic to computer science, and back. Zbl 1432.68268
Diaconescu, Răzvan
1
2014
Models of arithmetic and categories with finiteness conditions. Zbl 0635.03058
Diaconescu, R.; Kirby, L. A. S.
1
1987
Implicit Kripke semantics and ultraproducts in stratified institutions. Zbl 1444.03185
Diaconescu, Răzvan
4
2017
Quasi-varieties and initial semantics for hybridized institutions. Zbl 1353.03083
Diaconescu, Răzvan
6
2016
Encoding hybridized institutions into first-order logic. Zbl 1362.03058
Diaconescu, Răzvan; Madeira, Alexandre
5
2016
Functorial semantics of first-order views. Zbl 1370.68208
Diaconescu, Răzvan
1
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.)
1
2015
The algebra of opposition (and universal logic interpretations). Zbl 1376.03016
Diaconescu, Răzvan
1
2015
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
2
2014
From universal logic to computer science, and back. Zbl 1432.68268
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.
12
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
Grothendieck inclusion systems. Zbl 1261.18005
Diaconescu, Răzvan
4
2011
On quasi-varieties of multiple valued logic models. Zbl 1241.03028
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
14
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
62
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
5
2007
What is a logic? In memoriam Joseph Goguen. Zbl 1143.03356
Mossakowski, Till; Goguen, Joseph; Diaconescu, Răzvan; Tarlecki, Andrzej
4
2007
Proof systems for institutional logic. Zbl 1113.03062
Diaconescu, Razvan
10
2006
Abstract Beth definability in institutions. Zbl 1110.03064
Petria, Marius; Diaconescu, Răzvan
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
10
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
71
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
23
1994
An Oxford survey of order sorted algebra. Zbl 0939.68710
Goguen, Joseph; Diaconescu, Răzvan
18
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 176 Authors

29 Meseguer Guaita, José
28 Diaconescu, Răzvan
13 Martins, Manuel António
11 Futatsugi, Kokichi
11 Madeira, Alexandre
11 Mossakowski, Till
10 Ogata, Kazuhiro
9 Roşu, Grigore
8 Gaĭnă, Daniel
8 Lucas, Salvador
6 Aiguier, Marc
6 Barbosa, Luís Soares
6 Rabe, Florian
6 Tarlecki, Andrzej
5 Durán, Francisco
5 Hennicker, Rolf
5 Ţuţu, Ionuţ
4 Goguen, Joseph Amadee
4 Lucanu, Dorel
4 Malcolm, Grant
4 Popescu, Andrei
3 Alpuente, María
3 Bloch, Isabelle
3 Codescu, Mihai
3 Escobar, Santiago
3 Horozal, Fulya
3 Martí-Oliet, Narciso
3 Sannella, Donald T.
3 Şerbănuţă, Traian Florin
3 Voutsadakis, George
2 Atif, Jamal
2 Barbosa, Luís S.
2 Bruni, Roberto
2 Caleiro, Carlos
2 Cîrstea, Corina
2 Clavel, Manuel
2 Fiadeiro, José Luiz
2 Gadducci, Fabio
2 Gutiérrez, Raúl
2 Knapp, Alexander
2 Kutsia, Temur
2 Kutz, Oliver
2 Marché, Claude
2 Marin, Mircea
2 Montanari, Ugo G.
2 Nakamura, Masaki
2 Neves, Renato
2 Ojeda, Pedro
2 Palomino, Miguel
2 Peleska, Jan
2 Petria, Marius
2 Rasga, João
2 Riesco, Adrián
2 Roggenbach, Markus
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 Autexier, Serge
1 Babenyshev, Sergey
1 Barbier, Franck
1 Barthe, Gilles
1 Benevides, Mario R. F.
1 Besold, T. 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 Carreteiro, Marta
1 Castro, Pablo F.
1 Chentsov, Alexey A.
1 Climent Vidal, Juan
1 Clouston, Ranald A.
1 Costa, Gerardo
1 Demey, Lorenz
1 Denniston, Jeffrey T.
1 Di Nola, Antonio
1 Diaconescu, Radu
1 Domínguez, César
1 Dong, JinSong
1 Duval, Dominique
1 Eker, Steven
1 Espert, Javier
1 Faria, José M.
1 Ferreirim, Isabel M. A.
1 Fischer, Bernd
1 Forssell, Henrik
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
1 Huang, Wenling
...and 76 more Authors

Citations by Year