Selected Publications
Publications are classified into the following three categories:

Institutions, Category Theory & Model Theory


Graded consequence: an institution theoretic study. PDF Abstract BibTex
Soft Computing DOI:10.1007/s00500-014-1231-y, Springer.

The institution-theoretic scope of logic theorems. PDF Abstract BibTex
with Till Mossakowski and Andrzej Tarlecki
Logica Universalis DOI:10.1007/s11787-013-0093-x, Springer Basel.

Quasi-varieties and Initial Semantics in Hybridized Institutions. PDF Abstract BibTex
Journal of Logic and Computation, DOI:10.1093/logcom/ext016, Elsevier.

Institutional Semantics for Many-Valued Logics. PDF Abstract BibTex
Fuzzy Sets and Systems, 218:32-52, North Holland/Elsevier, 2013.

Borrowing Interpolation. PDF Abstract BibTex
Journal of Logic and Computation, 22(3):561-586, Oxford Univ. Press, 2012.

Three decades of institution theory. PDF Abstract BibTex
in Jean-Yves Beziau editor., Universal logic: an anthology,  pages 309-322, Springer Basel, 2012.
Perhaps the first survey on institution theory. An introduction to the seminal institution theory paper Introducing Institutions (1984) by Goguen and Burstall

Hybridization of Institutions. PDF Abstract BibTex
with Manuel-Antonio Martins and Alexandre Maderia and Luis Barbosa
Algebra and Coalgebra in Computer Science, Lecture Notes in Computer Science 6859:283-297, Springer, 2011.

Grothendieck Inclusion Systems. PDF Abstract BibTex
Applied Categorical Structures, 19(5):783-802, Springer, 2011.

On quasi-varieties of multiple valued logic models. PDF Abstract BibTex
Mathematical Logic Quarterly, 57(2):194-203, Wiley, 2011.

Saturated models in institutions. PDF Abstract BibTex
with Marius Petria
Archive for Mathematical Logic, 49(6):693-723, Springer, 2010.

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
with Till Mossakowski 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
with Marc Aiguier
Information Processing Letters. 103:5-13, 2007.

Ultraproducts and possible worlds semantics in institutions. PDF Abstract BibTex
with Petros Stefaneas
Theoretical Computer Science. 379:210-230, 2007.

Abstract Beth definability in institutions. PDF Abstract BibTex
with Marius Petria
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
with Till Mossakowski and Joseph Goguen 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
with Rod Burstall
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
with Joseph Goguen and Petros Stefaneas
In Gerard Huet and Gordon Plotkin, editors, Logical Environments, pages 83-130. Cambridge, 1993.







System Specification and Verification



An axiomatic approach to structuring specifications. PDF Abstract BibTex
Theoretical Computer Science, 433:20-42, Elsevier, 2012.

Interpolation for predefined types. PDF Abstract BibTex
Mathematical Structures in Computer Science, 22(1):1-24, Cambridge Univ. Press, 2012.

Structural Induction in Institutions. PDF Abstract BibTex
Information and Computation, 209(9):1197-1222, Elsevier, 2011.

On the Algebra of the Structured Specifications. PDF Abstract BibTex
with Ionuţ Ţuţu
Theoretical Computer Science, 412(28):3145-3174, Elsevier, 2011.

Coinduction for preordered algebras. PDF Abstract BibTex
Information and Computation, 209(2):108-117, Elsevier, 2011.

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
with 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
with 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
with 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
with 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
with Joseph Goguen
Mathematical Structures in Computer Science, 4(4):363-392, 1994.

Logical support for modularisation. PDF Abstract BibTex
with 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
with Joseph Goguen
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
May 2013


back to Main page