Razvan Diaconescu

According to our database1, Razvan Diaconescu
  • authored at least 59 papers between 1992 and 2017.
  • has a "Dijkstra number"2 of four.



In proceedings 
PhD thesis 


On csauthors.net:


Universal logic and computation.
J. Log. Comput., 2017

Implicit Kripke semantics and ultraproducts in stratified institutions.
J. Log. Comput., 2017

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

On the existence of translations of structured specifications.
Inf. Process. Lett., 2015

Structuring of Specification Modules (extended).
The Computer Science Journal of Moldova, 2015

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

Institutional semantics for many-valued logics.
Fuzzy Sets and Systems, 2013

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

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

Quasi-boolean encodings and conditionals in algebraic specification.
J. Log. Algebr. Program., 2010

Saturated models in institutions.
Arch. Math. Log., 2010

What is a Logic Translation?
Logica Universalis, 2009

An encoding of partial algebras as total algebras.
Inf. Process. Lett., 2009

A categorical study on the finiteness of specifications.
Inf. Process. Lett., 2008

Ultraproducts and possible worlds semantics in institutions.
Theor. Comput. Sci., 2007

Stratified institutions and elementary homomorphisms.
Inf. Process. Lett., 2007

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

Behavioural specification for hierarchical object composition.
Theor. Comput. Sci., 2005

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

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

Logical foundations of CafeOBJ.
Theor. Comput. Sci., 2002

Grothendieck Institutions.
Applied Categorical Structures, 2002

Category-based constraint logic.
Mathematical Structures in Computer Science, 2000

Behavioural Coherence in Object-Oriented Algebraic Specification.
J. UCS, 2000

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

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

Foundations of behavioural specification in rewriting logic.
Electr. Notes Theor. Comput. Sci., 1996

Category-Based Modularisation for Equational Logic Programming.
Acta Inf., 1996

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

An Oxford Survey of Order Sorted Algebra.
Mathematical Structures in Computer Science, 1994

A Short Oxford Survey of Order Sorted Algebra.
Proceedings of the Current Trends in Theoretical Computer Science - Essays and Tutorials, 1993

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