Razvan Diaconescu

Publication Activity (10 Years)

Years Active: 1992-2024
Publications (10 Years): 18

Top Topics

Formal Specification

Parametric Optimization

Top Venues

J. Log. Comput.

Logica Universalis

Fuzzy Sets Syst.

Publications

Razvan Diaconescu
Translation structures for fuzzy model theory. Fuzzy Sets Syst. 480 (2024)
Razvan Diaconescu
Generalised graded interpolation. Int. J. Approx. Reason. 152 (2023)
Razvan Diaconescu
Partialising Institutions. Appl. Categorical Struct. 31 (6) (2023)
Razvan Diaconescu
Decompositions of stratified institutions. J. Log. Comput. 33 (7) (2023)
Razvan Diaconescu
Preservation in many-valued truth institutions. Fuzzy Sets Syst. 456 (2023)
Razvan Diaconescu
Permutation Groups Generated by γ-Cycles. Axioms 11 (10) (2022)
Razvan Diaconescu
Non-determinsitic algebraic rewriting as adjunction. CoRR (2022)
Razvan Diaconescu
Decompositions of Stratified Institutions. CoRR (2021)
Razvan Diaconescu
, an Institution-Based Formal Specification and Verification Language. Logica Universalis 14 (2) (2020)
Till Mossakowski, Razvan Diaconescu, Martin Glauer
Towards Fuzzy Neural Conceptors. FLAP 6 (4) (2019)
Razvan Diaconescu
Introducing H, an institution-based formal specification and verification language. CoRR (2019)
Razvan Diaconescu
Universal logic and computation. J. Log. Comput. 27 (6) (2017)
Razvan Diaconescu
Implicit Kripke semantics and ultraproducts in stratified institutions. J. Log. Comput. 27 (5) (2017)
Razvan Diaconescu, Alexandre Madeira
Encoding hybridized institutions into first-order logic. Math. Struct. Comput. Sci. 26 (5) (2016)
Razvan Diaconescu
Functorial semantics of first-order views. Theor. Comput. Sci. 656 (2016)
Razvan Diaconescu
Quasi-varieties and initial semantics for hybridized institutions. J. Log. Comput. 26 (3) (2016)
Razvan Diaconescu
On the existence of translations of structured specifications. Inf. Process. Lett. 115 (1) (2015)
Razvan Diaconescu
Structuring of Specification Modules (extended). Comput. Sci. J. Moldova 23 (2) (2015)
Razvan Diaconescu, Ionut Tutu
Foundations for structuring behavioural specifications. J. Log. Algebraic Methods Program. 83 (3-4) (2014)
Razvan Diaconescu, Till Mossakowski, Andrzej Tarlecki
The Institution-Theoretic Scope of Logic Theorems. Logica Universalis 8 (3-4) (2014)
Razvan Diaconescu
Graded consequence: an institution theoretic study. Soft Comput. 18 (7) (2014)
Razvan Diaconescu
CafeOBJ Traces. Specification, Algebra, and Software (2014)
Razvan Diaconescu
From Universal Logic to Computer Science, and Back. ICTAC (2014)
Razvan Diaconescu
Institutional semantics for many-valued logics. Fuzzy Sets Syst. 218 (2013)
Razvan Diaconescu
An axiomatic approach to structuring specifications. Theor. Comput. Sci. 433 (2012)
Razvan Diaconescu
Interpolation for predefined types. Math. Struct. Comput. Sci. 22 (1) (2012)
Razvan Diaconescu
Borrowing interpolation. J. Log. Comput. 22 (3) (2012)
Manuel A. Martins, Alexandre Madeira, Razvan Diaconescu, Luís Soares Barbosa
Hybridization of Institutions. CALCO (2011)
Razvan Diaconescu
Structural induction in institutions. Inf. Comput. 209 (9) (2011)
Razvan Diaconescu
Grothendieck Inclusion Systems. Appl. Categorical Struct. 19 (5) (2011)
Razvan Diaconescu, Ionut Tutu
On the algebra of structured specifications. Theor. Comput. Sci. 412 (28) (2011)
Razvan Diaconescu
Coinduction for preordered algebra. Inf. Comput. 209 (2) (2011)
Razvan Diaconescu
On quasi-varieties of multiple valued logic models. Math. Log. Q. 57 (2) (2011)
Razvan Diaconescu
Quasi-boolean encodings and conditionals in algebraic specification. J. Log. Algebraic Methods Program. 79 (2) (2010)
Razvan Diaconescu, Marius Petria
Saturated models in institutions. Arch. Math. Log. 49 (6) (2010)
Razvan Diaconescu
An encoding of partial algebras as total algebras. Inf. Process. Lett. 109 (23-24) (2009)
Till Mossakowski, Razvan Diaconescu, Andrzej Tarlecki
What is a Logic Translation? Logica Universalis 3 (1) (2009)
Razvan Diaconescu
A categorical study on the finiteness of specifications. Inf. Process. Lett. 108 (2) (2008)
Marc Aiguier, Razvan Diaconescu
Stratified institutions and elementary homomorphisms. Inf. Process. Lett. 103 (1) (2007)
Razvan Diaconescu, Petros S. Stefaneas
Ultraproducts and possible worlds semantics in institutions. Theor. Comput. Sci. 379 (1-2) (2007)
Razvan Diaconescu
Jewels of Institution-Independent Model Theory. Essays Dedicated to Joseph A. Goguen (2006)
Razvan Diaconescu
Proof Systems for Institutional Logic. J. Log. Comput. 16 (3) (2006)
Razvan Diaconescu, Marius Petria
Abstract Beth definability in institutions. J. Symb. Log. 71 (3) (2006)
Razvan Diaconescu
Behavioural specification for hierarchical object composition. Theor. Comput. Sci. 343 (3) (2005)
Razvan Diaconescu
An Institution-independent Proof of Craig Interpolation Theorem. Stud Logica 77 (1) (2004)
Razvan Diaconescu
Elementary Diagrams in Institutions. J. Log. Comput. 14 (5) (2004)
Razvan Diaconescu
Interpolation in Grothendieck Institutions. Theor. Comput. Sci. 311 (1-3) (2004)
Razvan Diaconescu
Herbrand theorems in arbitrary institutions. Inf. Process. Lett. 90 (1) (2004)
Razvan Diaconescu
Institution-independent Ultraproducts. Fundam. Informaticae 55 (3-4) (2003)
Razvan Diaconescu, Kokichi Futatsugi, Kazuhiro Ogata
CafeOBJ: Logical Foundations and Methodologies. Comput. Artif. Intell. 22 (3-4) (2003)
Razvan Diaconescu
Behavioural Specification for Hierarchical Object Composition. FMCO (2003)
Razvan Diaconescu, Kokichi Futatsugi
Logical foundations of CafeOBJ. Theor. Comput. Sci. 285 (2) (2002)
Razvan Diaconescu
Grothendieck Institutions. Appl. Categorical Struct. 10 (4) (2002)
Razvan Diaconescu
Category-based constraint logic. Math. Struct. Comput. Sci. 10 (3) (2000)
Razvan Diaconescu, Kokichi Futatsugi
Behavioural Coherence in Object-Oriented Algebraic Specification. J. Univers. Comput. Sci. 6 (1) (2000)
Razvan Diaconescu, Kokichi Futatsugi, Shusaku Iida
Component-Based Algebraic Specification and Verification in CafeOBJ. World Congress on Formal Methods (1999)
Razvan Diaconescu
Extra Theory Morphisms for Institutions: Logical Semantics for Multi-Paradigm Languages. Appl. Categorical Struct. 6 (4) (1998)
Razvan Diaconescu, Kokichi Futatsugi
An overview of CafeOBJ. WRLA (1998)
Razvan Diaconescu
Foundations of behavioural specification in rewriting logic. WRLA (1996)
Razvan Diaconescu
Category-Based Modularisation for Equational Logic Programming. Acta Informatica 33 (5) (1996)
Razvan Diaconescu
A Category-Based Equational Logic Semantics to Constraint Programming. COMPASS/ADT (1995)
Razvan Diaconescu
Completeness of Category-Based Equational Deduction. Math. Struct. Comput. Sci. 5 (1) (1995)
Joseph A. Goguen, Razvan Diaconescu
An Introduction to Category-based Equational Logic. AMAST (1995)
Joseph A. Goguen, Razvan Diaconescu
An Oxford Survey of Order Sorted Algebra. Math. Struct. Comput. Sci. 4 (3) (1994)
Joseph A. Goguen, Razvan Diaconescu
A short Oxford survey of order sorted algebra.. Bull. EATCS 48 (1992)
Joseph A. Goguen, Razvan Diaconescu
Towards an Algebraic Semantics for the Object Paradigm. COMPASS/ADT (1992)
Razvan Diaconescu
Contraction Algebras and Unification of (Infinite) Terms. J. Comput. Syst. Sci. 44 (1) (1992)