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

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

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

Towards an algebraic semantics for the object paradigm JA Goguen, R Diaconescu Recent Trends in Data Type Specification, 1-29, 1992 | 233 | 1992 |

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

An Oxford survey of order sorted algebra J Goguen, R Diaconescu Mathematical Structures in Computer Science 4 (3), 363-392, 1994 | 138 | 1994 |

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

Grothendieck institutions R Diaconescu Applied Categorical Structures 10 (4), 383-402, 2002 | 112* | 2002 |

Hiding and behaviour: an institutional approach RM Burstall, R Diaconescu A Classical Mind: Essays in Honour of C.A.R. Hoare,, 75-92, 1994 | 92 | 1994 |

What is a Logic? T Mossakowski, J Goguen, R Diaconescu, A Tarlecki Logica universalis, 111-133, 2007 | 88 | 2007 |

Hybridization of institutions MA Martins, A Madeira, R Diaconescu, LS Barbosa International Conference on Algebra and Coalgebra in Computer Science, 283-297, 2011 | 66 | 2011 |

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

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 | 58 | 1998 |

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

An institution-independent proof of Craig Interpolation Theorem R Diaconescu Studia Logica 77 (1), 59-79, 2004 | 54 | 2004 |

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

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

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

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