CafeOBJ Report: The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification R Diaconescu, K Futatsugi World Scientific Pub Co Inc, 1998 | 705* | 1998 |
Logical support for modularisation R Diaconescu, J Goguen, P Stefaneas Logical Environments, 1993 | 304* | 1993 |
Institution-independent model theory R Diaconescu Birkhauser, 2008 | 299 | 2008 |
Towards an algebraic semantics for the object paradigm JA Goguen, R Diaconescu Workshop on the Specification of Abstract Data Types, 1-29, 1992 | 245 | 1992 |
Behavioural Coherence in Object-Oriented Algebraic Specification R Diaconescu, K Futatsugi Journal of Universal Computer Science 6 (1), 74-96, 2000 | 154 | 2000 |
Logical foundations of CafeOBJ R Diaconescu, K Futatsugi Theoretical computer science 285 (2), 289-318, 2002 | 150 | 2002 |
An Oxford survey of order sorted algebra J Goguen, R Diaconescu Mathematical Structures in Computer Science 4 (3), 363-392, 1994 | 141 | 1994 |
Grothendieck institutions R Diaconescu Applied Categorical Structures 10 (4), 383-402, 2002 | 119* | 2002 |
What is a Logic? In memoriam Joseph Goguen T Mossakowski, J Goguen, R Diaconescu, A Tarlecki Logica universalis: towards a general theory of logic, 111-133, 2007 | 101 | 2007 |
Hiding and behaviour: an institutional approach RM Burstall, R Diaconescu A Classical Mind: Essays in Honour of C.A.R. Hoare,, 75-92, 1994 | 88 | 1994 |
Hybridization of institutions MA Martins, A Madeira, R Diaconescu, LS Barbosa International Conference on Algebra and Coalgebra in Computer Science, 283-297, 2011 | 82 | 2011 |
Institution-independent ultraproducts R Diaconescu Fundamenta Informaticae 55 (3-4), 321-348, 2003 | 70 | 2003 |
An institution-independent proof of Craig Interpolation Theorem R Diaconescu Studia Logica 77, 59-79, 2004 | 69 | 2004 |
Category-based Semantics for Equational and Constraint Logic Programming R Diaconescu PhD thesis, Programming Research Group, Oxford University, 1994 | 61* | 1994 |
Extra theory morphisms for institutions: logical semantics for multi-paradigm languages R Diaconescu Applied Categorical Structures 6 (4), 427-453, 1998 | 59 | 1998 |
What is a logic translation? T Mossakowski, R Diaconescu, A Tarlecki Logica Universalis 3, 95-124, 2009 | 58 | 2009 |
Elementary diagrams in institutions R Diaconescu Journal of Logic and Computation 14 (5), 651-674, 2004 | 57 | 2004 |
CafeOBJ: Logical foundations and methodologies R Diaconescu, K Futatsugi, K Ogata Computing and Informatics 22 (3-4), 257-283, 2003 | 56 | 2003 |
Herbrand theorems in arbitrary institutions R Diaconescu Information Processing Letters 90 (1), 29-37, 2004 | 49 | 2004 |
Logical semantics for CafeOBJ R Diaconescu, K Futatsugi 北陸先端科学技術大学院大学情報科学研究科, 1996 | 45 | 1996 |