Selected Publications
Publications are classified into the following three categories:

Institutions, Category Theory & Model Theory


Three decades of institution theory. PDF Abstract BibTex
in Jean-Yves Beziau editor., An anthology of universal logic, pages xx-xx, Birkhauser, 2010.
Probably the first survey on institution theory. An introduction to the seminal institution theory paper Introducing Institutions (1984) by Goguen and Burstall

On quasi-varieties of multiple valued logic models. PDF Abstract BibTex
Mathematical Logic Quarterly, Wiley, To appear.

Saturated models in institutions. PDF Abstract BibTex
by Rãzvan Diaconescu and Marius Petria
Archive for Mathematical Logic, Springer, To appear.

Grothendieck Inclusion Systems. PDF Abstract BibTex
Applied Categorical Structures, Springer, To appear.

An encoding of partial algebras as total algebras. PDF Abstract BibTex
Information Processing Letters, 109(23-24):1245-1251, Elsevier, 2009.

What is a Logic Translation? PDF Abstract BibTex
by Till Mossakowski and Rãzvan Diaconescu and Andrzej Tarlecki
Logica Universalis, 3(1):95-124, Birkhauser, 2009.
Winner of the UNILOG 2007 contest `How to translate a logic into another one?', Xi'an, China.

Institutions, Madhyamaka, and universal model theory. PDF Abstract BibTex
in Jean-Yves Beziau and Alexandre Costa-Leite eds., Perspectives on Universal Logic, pages 41-65, Polimetrica, 2007.
An essay on the Mahayana Buddhist philosophical roots of institutions and institution-independent model theory.

Stratified institutions and elementary homomorphisms. PDF Abstract BibTex
by Marc Aiguier and Rãzvan Diaconescu
Information Processing Letters. 103:5-13, 2007.

Ultraproducts and possible worlds semantics in institutions. PDF Abstract BibTex
by Rãzvan Diaconescu and Petros Stefaneas
Theoretical Computer Science. 379:210-230, 2007.

Abstract Beth definability in institutions. PDF Abstract BibTex
by Marius Petria and Rãzvan Diaconescu
Journal of Symbolic Logic. 71(3):1002-1028, 2006.

Proof systems for institutional logic. PDF Abstract BibTex
Journal of Logic and Computation. 16(3):339-357, 2006.

What is a Logic? PDF Abstract BibTex
by Till Mossakowski and Joseph Goguen and Rãzvan Diaconescu and Andrzej Tarlecki
In Jean-Yves Beziau, editor, Logica Universalis, pages 113-133. Birkhauser, 2005.

Elementary diagrams in institutions. PDF Abstract BibTex
Journal of Logic and Computation. 14(5):651-674, 2004.

Herbrand Theorems in arbitrary institutions. PDF Abstract BibTex
Information Processing Letters. 90:29-37, 2004.
Provides and institution-independent denotational semantics for logic programming based on a novel institution-independent concept of substitution.

An institution-independent proof of Craig Interpolation Property. PDF Abstract BibTex
Studia Logica, 77(1):59-79, 2004.

Interpolation in Grothendieck Institutions. PDF Abstract BibTex
Theoretical Computer Science, 311:439-461, 2003.

Institution-independent Ultraproducts. PDF Abstract BibTex
Fundamenta Informaticae, 55(3-4):321-348, 2003.

Grothendieck Institutions. PDF Abstract BibTex
Applied Categorical Structures, 10(4):383-402, 2002.

Extra Theory Morphisms in Institutions: logical semantics for multi-paradigm languages. PDF Abstract BibTex
Applied Categorical Structures, 6(4):427-453, 1998.

Completeness of category-based equational deduction. Abstract BibTex
Mathematical Structures in Computer Science, 5(1):9-41, 1995.

Hiding and behaviour: an institutional approach. PDF Abstract BibTex
by Rod Burstall and Rãzvan Diaconescu
In A. William Roscoe, editor, A Classical Mind: Essays in Honour of C.A.R. Hoare, pages 75-92. Prentice-Hall,1994.

Logical support for modularisation. PDF Abstract BibTex
by Rãzvan Diaconescu, Joseph Goguen and Petros Stefaneas
In Gerard Huet and Gordon Plotkin, editors, Logical Environments, pages 83-130. Cambridge, 1993.










System Specification and Verification


Quasi-Boolean encodings and conditionals in algebraic specification. PDF Abstract BibTex
Journal of Logic and Algebraic Programming, 79(2):174-188, Elsevier, 2010.

Behavioural Specification for Hierarchical Object Composition. PDF Abstract BibTex
Theoretical Computer Science, 343(3):305-331, Elsevier, 2005.
Provides mathematical foundations for composition of behavioural objects, including algebraic properties of composition without synchronization and final semantics for composition with synchronization.

Logical Foundations of CafeOBJ. PDF Abstract BibTex
by Rãzvan Diaconescu & Kokichi Futatsugi
Theoretical Computer Science, 285:289-318, Elsevier, 2002.
Contains an overview of the mathematical foundations of CafeOBJ, including a detailed presentation of the CafeOBJ cube institutions.

Behavioural Coherence in Object-Oriented Algebraic Specification. PDF Abstract BibTex
by Rãzvan Diaconescu & Kokichi Futatsugi
Universal Computer Science, 6(1):74-96,Springer, 2000. First appeared as Tech Report IS-RR-98-0017F, JAIST, 1998.
Extends hidden algebra formalism with behaviourally coherent operations; these permit several hidden sorts in the arity.

Component-based Algebraic Specification and Verification in CafeOBJ. PDF Abstract BibTex
by Rãzvan Diaconescu, Kokichi Futatsugi, and Shusaku Iida
In Jeannette Wing, Jim Woodcock,and Jim Davies editors, FM'99-Formal Methods, volume 1709 of Lecture Notes in Computer Science, pages 1644-1663. Springer, 1999.

CafeOBJ Report: The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification. Abstract BibTex
by Rãzvan Diaconescu and Kokichi Futatsugi
Volume 6 of AMAST series in Computing, World Scientific, 1998.
Contains the formal definition and semantics of CafeOBJ.

An Oxford survey of order sorted algebra. Abstract BibTex
by Joseph Goguen and Rãzvan Diaconescu
Mathematical Structures in Computer Science, 4(4):363-392, 1994.

Logical support for modularisation. PDF Abstract BibTex
by Rãzvan Diaconescu, Joseph Goguen and Petros Stefaneas
In Gerard Huet and Gordon Plotkin, editors, Logical Environments, pages 83-130. Cambridge, 1993.

Towards an algebraic semantics for the object paradigm. Abstract BibTex
by Joseph Goguen and Rãzvan Diaconescu
In Harmut Ehrig and Fernando Orejas, editors, Recent Trends in Data Type Specification, volume 785 of Lecture Notes in Computer Science, pages 1-34. Springer, 1994.

Semantics of Logic Programming


Herbrand Theorems in arbitrary institutions. PDF Abstract BibTex
Information Processing Letters. 90:29-37, 2004.
Provides and institution-independent denotational semantics for logic programming based on a novel institution-independent concept of substitution.

Category-based Constraint Logic. PDF Abstract BibTex
Mathematical Structures in Computer Science, 10(3):373-407, 2000.

Category-based modularisation for equational logic programming. Abstract BibTex
Acta Informatica, 33(5):477-510, 1996.

Category-based Semantics for Equational and Constraint Logic Programming. PDF Abstract BibTex
D.Phil thesis, University of Oxford, 1994. OUCL Monograph PRG-116.

Contraction algebras and unification of infinite terms. Abstract BibTex
J. Computer and System Sciences, 44(1):23-43, 1992.








Răzvan Diaconescu
June 2010


back to Main page