| Introducing obj JA Goguen, T Winkler, J Meseguer, K Futatsugi, JP Jouannaud Software Engineering with OBJ: algebraic specification in action, 3-167, 2000 | 1130 | 2000 |
| Principles of OBJ2 K Futatsugi, JA Goguen, JP Jouannaud, J Meseguer Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of …, 1985 | 822 | 1985 |
| CafeOBJ report: The language, proof techniques, and methodologies for object-oriented algebraic specification R Diaconescu, K Futatsugi World Scientific, 1998 | 476 | 1998 |
| Proof scores in the OTS/CafeOBJ method K Ogata, K Futatsugi Formal Methods for Open Object-Based Distributed Systems: 6th IFIP WG 6.1 …, 2003 | 157 | 2003 |
| Logical foundations of CafeOBJ R Diaconescu, K Futatsugi Theoretical computer science 285 (2), 289-318, 2002 | 146 | 2002 |
| An overview of CAFE specification environment-an algebraic approach for creating, verifying, and maintaining formal specifications over networks K Futatsugi, A Nakagawa First IEEE International Conference on Formal Engineering Methods, 170-181, 1997 | 145 | 1997 |
| CafeOBJ Report: The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification R 鎍 zvan· Diaconescu, K Futatsugi World Scientific, 1998 | 141 | 1998 |
| Behavioural Coherence in Object-Oriented Algebraic Specification1, 2 R azvan Diaconescu, K Futatsugi Journal of Universal Computer Science 6 (1), 74-96, 2000 | 121 | 2000 |
| CafeOBJ Report, volume 6 of AMAST series in Computing R Diaconescu, K Futatsugi World Scientific, Singapore, etc, 1998 | 88 | 1998 |
| Some tips on writing proof scores in the OTS/CafeOBJ method K Ogata, K Futatsugi Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen on …, 2006 | 83 | 2006 |
| Parameterized programming in OBJ2 K Futatsugi, J Goguen, J Meseguer, K Okada Proceedings of the 9th international conference on Software Engineering, 51-60, 1987 | 79 | 1987 |
| CafeOBJ: Logical foundations and methodologies R Diaconescu, K Futatsugi, K Ogata Computing and Informatics 22 (3-4), 257-283, 2003 | 56 | 2003 |
| Fault tree and formal methods in system safety analysis J Xiang, K Futatsugi, Y He The Fourth International Conference onComputer and Information Technology …, 2004 | 55 | 2004 |
| Equational approach to formal analysis of TLS K Ogata, K Futatsugi 25th IEEE International Conference on Distributed Computing Systems (ICDCS …, 2005 | 53 | 2005 |
| Verifying specifications with proof scores in CafeOBJ K Futatsugi 21st IEEE/ACM International Conference on Automated Software Engineering …, 2006 | 48 | 2006 |
| Formal Analysis of the iKP Electronic Payment Protocols K Ogata, K Futatsugi International Symposium on Software Security, 441-460, 2002 | 48 | 2002 |
| Principles of proof scores in CafeOBJ K Futatsugi, D Gãinã, K Ogata Theoretical Computer Science 464, 90-112, 2012 | 46 | 2012 |
| CAFE: An industrial-strength algebraic formal method K Futatsugi, AT Nakagawa, T Tamai Elsevier, 2000 | 45 | 2000 |
| Logical semantics for CafeOBJ R Diaconescu, K Futatsugi 北陸先端科学技術大学院大学情報科学研究科, 1996 | 45 | 1996 |
| Component-based algebraic specification and verification in CafeOBJ R Diaconescu, K Futatsugi, S Iida FM’99—Formal Methods: World Congress on Formal Methods in the Development …, 1999 | 41 | 1999 |
