CafeOBJ Report: The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification R Diaconescu, K Futatsugi World Scientific Pub Co Inc, 1998 | 693* | 1998 |

Logical support for modularisation R Diaconescu, J Goguen, P Stefaneas Logical Environments, 1993 | 296* | 1993 |

Institution-independent model theory R Diaconescu Birkhauser, 2008 | 288 | 2008 |

Towards an algebraic semantics for the object paradigm JA Goguen, R Diaconescu Workshop on the Specification of Abstract Data Types, 1-29, 1992 | 240 | 1992 |

Behavioural Coherence in Object-Oriented Algebraic Specification R Diaconescu, K Futatsugi Journal of Universal Computer Science 6 (1), 74-96, 2000 | 153 | 2000 |

Logical foundations of CafeOBJ R Diaconescu, K Futatsugi Theoretical computer science 285 (2), 289-318, 2002 | 143 | 2002 |

An Oxford survey of order sorted algebra J Goguen, R Diaconescu Mathematical Structures in Computer Science 4 (3), 363-392, 1994 | 139 | 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 | 83 | 2011 |

Institution-independent ultraproducts R Diaconescu Fundamenta Informaticae 55 (3-4), 321-348, 2003 | 68 | 2003 |

An institution-independent proof of Craig Interpolation Theorem R Diaconescu Studia Logica 77, 59-79, 2004 | 62 | 2004 |

Category-based Semantics for Equational and Constraint Logic Programming R Diaconescu PhD thesis, Programming Research Group, Oxford University, 1994 | 60* | 1994 |

Extra theory morphisms for institutions: logical semantics for multi-paradigm languages R Diaconescu Applied Categorical Structures 6 (4), 427-453, 1998 | 58 | 1998 |

CafeOBJ: Logical foundations and methodologies R Diaconescu, K Futatsugi, K Ogata Computing and Informatics 22 (3-4), 257-283, 2003 | 56 | 2003 |

What is a logic translation? T Mossakowski, R Diaconescu, A Tarlecki Logica Universalis 3, 95-124, 2009 | 55 | 2009 |

Elementary diagrams in institutions R Diaconescu Journal of Logic and Computation 14 (5), 651-674, 2004 | 54 | 2004 |

Herbrand theorems in arbitrary institutions R Diaconescu Information Processing Letters 90 (1), 29-37, 2004 | 47 | 2004 |

Logical semantics for CafeOBJ R Diaconescu, K Futatsugi 北陸先端科学技術大学院大学情報科学研究科, 1996 | 47 | 1996 |