| CafeOBJ Report: The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification R Diaconescu, K Futatsugi World Scientific Pub Co Inc, 1998 | 713* | 1998 |
| Institution-independent model theory R Diaconescu Birkhauser, 2008 | 317 | 2008 |
| Logical support for modularisation R Diaconescu, J Goguen, P Stefaneas Logical Environments, 1993 | 304* | 1993 |
| Towards an algebraic semantics for the object paradigm JA Goguen, R Diaconescu Workshop on the Specification of Abstract Data Types, 1-29, 1992 | 247 | 1992 |
| Logical foundations of CafeOBJ R Diaconescu, K Futatsugi Theoretical computer science 285 (2), 289-318, 2002 | 156 | 2002 |
| Behavioural Coherence in Object-Oriented Algebraic Specification R Diaconescu, K Futatsugi Journal of Universal Computer Science 6 (1), 74-96, 2000 | 154* | 2000 |
| An Oxford survey of order sorted algebra J Goguen, R Diaconescu Mathematical Structures in Computer Science 4 (3), 363-392, 1994 | 142 | 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 | 106 | 2007 |
| Hybridization of institutions MA Martins, A Madeira, R Diaconescu, LS Barbosa International Conference on Algebra and Coalgebra in Computer Science, 283-297, 2011 | 92 | 2011 |
| Hiding and behaviour: an institutional approach RM Burstall, R Diaconescu A Classical Mind: Essays in Honour of C.A.R. Hoare,, 75-92, 1994 | 91 | 1994 |
| Institution-independent ultraproducts R Diaconescu Fundamenta Informaticae 55 (3-4), 321-348, 2003 | 74 | 2003 |
| An institution-independent proof of Craig Interpolation Theorem R Diaconescu Studia Logica 77 (1), 59-79, 2004 | 68 | 2004 |
| What is a logic translation? T Mossakowski, R Diaconescu, A Tarlecki Logica Universalis 3 (1), 95-124, 2009 | 65 | 2009 |
| Category-based Semantics for Equational and Constraint Logic Programming R Diaconescu PhD thesis, Programming Research Group, Oxford University, 1994 | 62* | 1994 |
| Extra theory morphisms for institutions: logical semantics for multi-paradigm languages R Diaconescu Applied Categorical Structures 6 (4), 427-453, 1998 | 59 | 1998 |
| 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 |
| Encoding hybridized institutions into first-order logic R Diaconescu, A Madeira Mathematical Structures in Computer Science 26 (5), 745-788, 2016 | 46 | 2016 |
Till MossakowskiProfessor of Computer Science, University of OsnabrückVerified email at uni-osnabrueck.de
