Razvan Diaconescu

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

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


  Loading...