Author pages are created from data sourced from our academic publisher partnerships and public sources.
- Publications
- Influence
Principles of OBJ2
- K. Futatsugi, J. Goguen, J. Jouannaud, J. Meseguer
- Computer Science
- POPL '85
- 1985
TLDR
Cafeobj Report - The Language, Proof Techniques, and Methodologies for Object-Oriented Algebraic Specification
- Razvan Diaconescu, K. Futatsugi
- Mathematics, Computer Science
- AMAST Series in Computing
- 2 July 1998
TLDR
Logical foundations of CafeOBJ
- Razvan Diaconescu, K. Futatsugi
- Computer Science
- Theor. Comput. Sci.
- 28 August 2002
TLDR
An overview of CAFE specification environment-an algebraic approach for creating, verifying, and maintaining formal specifications over networks
- K. Futatsugi, A. T. Nakagawa
- Computer Science
- First IEEE International Conference on Formal…
- 12 November 1997
TLDR
Behavioural Coherence in Object-Oriented Algebraic Specification
- Razvan Diaconescu, K. Futatsugi
- Computer Science
- J. Univers. Comput. Sci.
- 5 June 1998
Preparation of soluble murine IL-6 receptor and anti-murine IL-6 receptor antibodies.
- T. Saito, K. Yasukawa, +7 authors H. Yawata
- Biology, Medicine
- Journal of immunology
- 1 July 1991
Starting with a previously isolated cDNA clone encoding murine IL-6R, a stable transformed Chinese hamster ovary cell line constitutively expressing soluble murine IL-6R (smIL-6R) has been… Expand
Some Tips on Writing Proof Scores in the OTS/CafeOBJ Method
- K. Ogata, K. Futatsugi
- Computer Science
- Essays Dedicated to Joseph A. Goguen
- 2006
TLDR
CafeOBJ: Logical Foundations and Methodologies
- Razvan Diaconescu, K. Futatsugi, K. Ogata
- Computer Science
- Comput. Artif. Intell.
- 2003
TLDR
Operational semantics of rewriting with the on-demand evaluation strategy
- K. Ogata, K. Futatsugi
- Computer Science
- SAC '00
- 1 March 2000
TLDR
Proof Scores in the OTS/CafeOBJ Method
- K. Ogata, K. Futatsugi
- Computer Science
- FMOODS
- 19 November 2003
TLDR