|
JAIST Repository >
b. 情報科学研究科・情報科学系 >
著者: "Ogata, Kazuhiro"
6 著者名表示.
| 発行日 | タイトル |
著者 |
|---|
| 13-Aug-1997 | The equivalence of the reductions with the E-strategy with and without marks | Nagaya, Takashi; Matsumoto, Michihiro; Ogata, Kazuhiro; Futatsugi, Kokichi |
| 20-Aug-2002 | Formal analysis of the iKP electronic payment protocols | Ogata, Kazuhiro; Futatsugi, Kokichi |
| 23-Mar-2007 | Algebraic approaches to formal analysis of the mondex electronic purse system | Kong, Weiqiang; Ogata, Kazuhiro; Futatsugi, Kokichi |
| 29-May-2009 | Constructor-based Institutions | Gaina, Daniel; Futatsugi, Kokichi; Ogata, Kazuhiro |
| 10-Mar-2010 | Modular Implementation of a Translator from Behavioral Specifications to Rewrite Theory Specifications (Extended Version) | Zhang, Min; Ogata, Kazuhiro |
| 15-Dec-2014 | Sufficient completeness of parameterized specifications in CafeOBJ | Nakamura, Masaki; Gaina, Daniel; Ogata, Kazuhiro; Futatsugi, Kokichi |
|
