2008 |
28 | EE | Razvan Diaconescu:
A categorical study on the finiteness of specifications.
Inf. Process. Lett. 108(2): 75-80 (2008) |
2007 |
27 | EE | Marc Aiguier,
Razvan Diaconescu:
Stratified institutions and elementary homomorphisms.
Inf. Process. Lett. 103(1): 5-13 (2007) |
26 | EE | Razvan Diaconescu,
Petros S. Stefaneas:
Ultraproducts and possible worlds semantics in institutions.
Theor. Comput. Sci. 379(1-2): 210-230 (2007) |
2006 |
25 | EE | Razvan Diaconescu:
Jewels of Institution-Independent Model Theory.
Essays Dedicated to Joseph A. Goguen 2006: 65-98 |
24 | EE | Razvan Diaconescu:
Proof Systems for Institutional Logic.
J. Log. Comput. 16(3): 339-357 (2006) |
2005 |
23 | EE | Razvan Diaconescu:
Behavioural specification for hierarchical object composition.
Theor. Comput. Sci. 343(3): 305-331 (2005) |
2004 |
22 | EE | Razvan Diaconescu:
Herbrand theorems in arbitrary institutions.
Inf. Process. Lett. 90(1): 29-37 (2004) |
21 | EE | Razvan Diaconescu:
Elementary Diagrams in Institutions.
J. Log. Comput. 14(5): 651-674 (2004) |
20 | EE | Razvan Diaconescu:
An Institution-independent Proof of Craig Interpolation Theorem.
Studia Logica 77(1): 59-79 (2004) |
19 | EE | Razvan Diaconescu:
Interpolation in Grothendieck Institutions.
Theor. Comput. Sci. 311(1-3): 439-461 (2004) |
2003 |
18 | EE | Razvan Diaconescu:
Behavioural Specification for Hierarchical Object Composition.
FMCO 2003: 134-156 |
17 | | Razvan Diaconescu,
Kokichi Futatsugi,
Kazuhiro Ogata:
CafeOBJ: Logical Foundations and Methodologies.
Computers and Artificial Intelligence 22(3): (2003) |
16 | EE | Razvan Diaconescu:
Institution-independent Ultraproducts.
Fundam. Inform. 55(3-4): 321-348 (2003) |
2002 |
15 | EE | Razvan Diaconescu:
Grothendieck Institutions.
Applied Categorical Structures 10(4): 383-402 (2002) |
14 | EE | Razvan Diaconescu,
Kokichi Futatsugi:
Logical foundations of CafeOBJ.
Theor. Comput. Sci. 285(2): 289-318 (2002) |
2000 |
13 | EE | Razvan Diaconescu,
Kokichi Futatsugi:
Behavioural Coherence in Object-Oriented Algebraic Specification.
J. UCS 6(1): 74-96 (2000) |
12 | | Razvan Diaconescu:
Category-based constraint logic.
Mathematical Structures in Computer Science 10(3): 373-407 (2000) |
1999 |
11 | EE | Razvan Diaconescu,
Kokichi Futatsugi,
Shusaku Iida:
Component-Based Algebraic Specification and Verification in CafeOBJ.
World Congress on Formal Methods 1999: 1644-1663 |
1998 |
10 | EE | Razvan Diaconescu,
Kokichi Futatsugi:
An overview of CafeOBJ.
Electr. Notes Theor. Comput. Sci. 15: (1998) |
1996 |
9 | | Razvan Diaconescu:
Category-Based Modularisation for Equational Logic Programming.
Acta Inf. 33(5): 477-510 (1996) |
8 | EE | Razvan Diaconescu:
Foundations of behavioural specification in rewriting logic.
Electr. Notes Theor. Comput. Sci. 4: (1996) |
1995 |
7 | | Joseph A. Goguen,
Razvan Diaconescu:
An Introduction to Category-based Equational Logic.
AMAST 1995: 91-126 |
6 | | Razvan Diaconescu:
A Category-Based Equational Logic Semantics to Constraint Programming.
COMPASS/ADT 1995: 200-221 |
5 | | Razvan Diaconescu:
Completeness of Category-Based Equational Deduction.
Mathematical Structures in Computer Science 5(1): 9-40 (1995) |
1994 |
4 | | Joseph A. Goguen,
Razvan Diaconescu:
An Oxford Survey of Order Sorted Algebra.
Mathematical Structures in Computer Science 4(3): 363-392 (1994) |
1992 |
3 | | Joseph A. Goguen,
Razvan Diaconescu:
Towards an Algebraic Semantics for the Object Paradigm.
COMPASS/ADT 1992: 1-29 |
2 | | Joseph A. Goguen,
Razvan Diaconescu:
A short Oxford survey of order sorted algebra..
Bulletin of the EATCS 48: 121-133 (1992) |
1 | | Razvan Diaconescu:
Contraction Algebras and Unification of (Infinite) Terms.
J. Comput. Syst. Sci. 44(1): 23-42 (1992) |