 | 2008 |
|---|
| 28 |       | Razvan Diaconescu:
A categorical study on the finiteness of specifications.
Inf. Process. Lett. 108(2): 75-80 (2008) |
| 2007 |
|---|
| 27 | | Marc Aiguier,
Razvan Diaconescu:
Stratified institutions and elementary homomorphisms.
Inf. Process. Lett. 103(1): 5-13 (2007) |
| 26 | | Razvan Diaconescu,
Petros S. Stefaneas:
Ultraproducts and possible worlds semantics in institutions.
Theor. Comput. Sci. 379(1-2): 210-230 (2007) |
| 2006 |
|---|
| 25 | | Razvan Diaconescu:
Jewels of Institution-Independent Model Theory.
Essays Dedicated to Joseph A. Goguen 2006: 65-98 |
| 24 | | Razvan Diaconescu:
Proof Systems for Institutional Logic.
J. Log. Comput. 16(3): 339-357 (2006) |
| 2005 |
|---|
| 23 | | Razvan Diaconescu:
Behavioural specification for hierarchical object composition.
Theor. Comput. Sci. 343(3): 305-331 (2005) |
| 2004 |
|---|
| 22 | | Razvan Diaconescu:
Herbrand theorems in arbitrary institutions.
Inf. Process. Lett. 90(1): 29-37 (2004) |
| 21 | | Razvan Diaconescu:
Elementary Diagrams in Institutions.
J. Log. Comput. 14(5): 651-674 (2004) |
| 20 | | Razvan Diaconescu:
An Institution-independent Proof of Craig Interpolation Theorem.
Studia Logica 77(1): 59-79 (2004) |
| 19 | | Razvan Diaconescu:
Interpolation in Grothendieck Institutions.
Theor. Comput. Sci. 311(1-3): 439-461 (2004) |
| 2003 |
|---|
| 18 | | 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 | | Razvan Diaconescu:
Institution-independent Ultraproducts.
Fundam. Inform. 55(3-4): 321-348 (2003) |
| 2002 |
|---|
| 15 | | Razvan Diaconescu:
Grothendieck Institutions.
Applied Categorical Structures 10(4): 383-402 (2002) |
| 14 | | Razvan Diaconescu,
Kokichi Futatsugi:
Logical foundations of CafeOBJ.
Theor. Comput. Sci. 285(2): 289-318 (2002) |
| 2000 |
|---|
| 13 | | 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 | | Razvan Diaconescu,
Kokichi Futatsugi,
Shusaku Iida:
Component-Based Algebraic Specification and Verification in CafeOBJ.
World Congress on Formal Methods 1999: 1644-1663 |
| 1998 |
|---|
| 10 | | 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 | | 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) |
