# Razvan Diaconescu

According to our database

^{1}, Razvan Diaconescu## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2017

Universal logic and computation.

J. Log. Comput., 2017

Implicit Kripke semantics and ultraproducts in stratified institutions.

J. Log. Comput., 2017

2016

Functorial semantics of first-order views.

Theor. Comput. Sci., 2016

Encoding hybridized institutions into first-order logic.

Mathematical Structures in Computer Science, 2016

Quasi-varieties and initial semantics for hybridized institutions.

J. Log. Comput., 2016

2015

On the existence of translations of structured specifications.

Inf. Process. Lett., 2015

Structuring of Specification Modules (extended).

The Computer Science Journal of Moldova, 2015

2014

Graded consequence: an institution theoretic study.

Soft Comput., 2014

The Institution-Theoretic Scope of Logic Theorems.

Logica Universalis, 2014

Foundations for structuring behavioural specifications.

J. Log. Algebr. Meth. Program., 2014

From Universal Logic to Computer Science, and Back.

Proceedings of the Theoretical Aspects of Computing - ICTAC 2014, 2014

CafeOBJ Traces.

Proceedings of the Specification, Algebra, and Software, 2014

2013

Institutional semantics for many-valued logics.

Fuzzy Sets and Systems, 2013

2012

An axiomatic approach to structuring specifications.

Theor. Comput. Sci., 2012

Interpolation for predefined types.

Mathematical Structures in Computer Science, 2012

Borrowing interpolation.

J. Log. Comput., 2012

2011

On the algebra of structured specifications.

Theor. Comput. Sci., 2011

On quasi-varieties of multiple valued logic models.

Math. Log. Q., 2011

Structural induction in institutions.

Inf. Comput., 2011

Coinduction for preordered algebra.

Inf. Comput., 2011

Grothendieck Inclusion Systems.

Applied Categorical Structures, 2011

Hybridization of Institutions.

Proceedings of the Algebra and Coalgebra in Computer Science, 2011

2010

Quasi-boolean encodings and conditionals in algebraic specification.

J. Log. Algebr. Program., 2010

Saturated models in institutions.

Arch. Math. Log., 2010

2009

What is a Logic Translation?

Logica Universalis, 2009

An encoding of partial algebras as total algebras.

Inf. Process. Lett., 2009

2008

A categorical study on the finiteness of specifications.

Inf. Process. Lett., 2008

2007

Ultraproducts and possible worlds semantics in institutions.

Theor. Comput. Sci., 2007

Stratified institutions and elementary homomorphisms.

Inf. Process. Lett., 2007

2006

Proof Systems for Institutional Logic.

J. Log. Comput., 2006

Abstract Beth definability in institutions.

J. Symb. Log., 2006

Jewels of Institution-Independent Model Theory.

Proceedings of the Algebra, Meaning, and Computation, 2006

2005

Behavioural specification for hierarchical object composition.

Theor. Comput. Sci., 2005

2004

Interpolation in Grothendieck Institutions.

Theor. Comput. Sci., 2004

An Institution-independent Proof of Craig Interpolation Theorem.

Studia Logica, 2004

Elementary Diagrams in Institutions.

J. Log. Comput., 2004

Herbrand theorems in arbitrary institutions.

Inf. Process. Lett., 2004

2003

Institution-independent Ultraproducts.

Fundam. Inform., 2003

CafeOBJ: Logical Foundations and Methodologies.

Computers and Artificial Intelligence, 2003

Behavioural Specification for Hierarchical Object Composition.

Proceedings of the Formal Methods for Components and Objects, 2003

2002

Logical foundations of CafeOBJ.

Theor. Comput. Sci., 2002

Grothendieck Institutions.

Applied Categorical Structures, 2002

2000

Category-based constraint logic.

Mathematical Structures in Computer Science, 2000

Behavioural Coherence in Object-Oriented Algebraic Specification.

J. UCS, 2000

1999

Component-Based Algebraic Specification and Verification in CafeOBJ.

Proceedings of the FM'99 - Formal Methods, 1999

Component-Based Algebraic Specification.

Proceedings of the Behavioral Specifications of Businesses and Systems, 1999

1998

Cafeobj Report - The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification

AMAST Series in Computing 6, World Scientific, ISBN: 978-981-4518-23-9, 1998

An overview of CafeOBJ.

Electr. Notes Theor. Comput. Sci., 1998

Extra Theory Morphisms for Institutions: Logical Semantics for Multi-Paradigm Languages.

Applied Categorical Structures, 1998

1996

Foundations of behavioural specification in rewriting logic.

Electr. Notes Theor. Comput. Sci., 1996

Category-Based Modularisation for Equational Logic Programming.

Acta Inf., 1996

1995

Completeness of Category-Based Equational Deduction.

Mathematical Structures in Computer Science, 1995

A Category-Based Equational Logic Semantics to Constraint Programming.

Proceedings of the Recent Trends in Data Type Specification, 1995

An Introduction to Category-based Equational Logic.

Proceedings of the Algebraic Methodology and Software Technology, 1995

1994

An Oxford Survey of Order Sorted Algebra.

Mathematical Structures in Computer Science, 1994

1993

A Short Oxford Survey of Order Sorted Algebra.

Proceedings of the Current Trends in Theoretical Computer Science - Essays and Tutorials, 1993

1992

Contraction Algebras and Unification of (Infinite) Terms.

J. Comput. Syst. Sci., 1992

A short Oxford survey of order sorted algebra..

Bulletin of the EATCS, 1992

Towards an Algebraic Semantics for the Object Paradigm.

Proceedings of the Recent Trends in Data Type Specification, 1992