yr 〜
yr

Search results 20

フードデザイン : 未来の食を探るデザインリサーチ

フードデザイン : 未来の食を探るデザインリサーチ
Paper図書
緒方胤浩, 水野大二郎 著ビー・エヌ・エヌ2022.7<DL681-M199>
National Diet LibraryOther Libraries in Japan

Formal methods and software engineering : 18th international conference on formal engineering methods, ICFEM 2016 : Tokyo, Japan, November 14-18, 2016 : proceedings : Nov 2016, Tokyo, Japan. (Lecture Notes in Computer Science ; 10009)

Formal methods and software engineering : 18th international conference on formal engineering methods, ICFEM 2016 : Tokyo, Japan, November 14-18, 2016 : proceedings : Nov 2016, Tokyo, Japan. (Lecture Notes in Computer Science ; 10009)
Paper図書
Springer[2016]<M17-19-540>
National Diet Library
  • Author Heading... Tokyo, Japan) Ogata, Kazuhiro. Lawford, Mark. Liu, Shaoying...

Rewriting logic and its applications : 15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6–7, 2024 : revised selected Papers

Rewriting logic and its applications : 15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6–7, 2024 : revised selected Papers
Paper図書
Kazuhiro Ogata, Narciso Martí-Oliet, editorsSpringerc2024
Other Libraries in Japan
  • Author HeadingWRLA Ogata, Kazuhiro Martí-Oliet, Narciso

分子構造の動的および静的側面から見た転写制御機構に関する研究

分子構造の動的および静的側面から見た転写制御機構に関する研究
Paper図書
緒方一博, 横浜市立大学 [著][緒方一博]2004-2005<Y151-H16370051>
National Diet Library

Sufficient completeness of parameterized specifications in CafeOBJ

Sufficient completeness of parameterized specifications in CafeOBJ
Digital文書・図像類
Nakamura, Masaki, Gaina, Daniel, Ogata, Kazuhiro, Futatsugi, Kokichi北陸先端科学技術大学院大学情報科学研究科2014-12-15Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-2014-005p.1-4
Other Libraries in Japan
  • Author HeadingNakamura, Masaki Gaina, Daniel Ogata, Kazuhiro Futatsugi, Kokichi

Modular Implementation of a Translator from Behavioral Specifications to Rewrite Theory Specifications (Extended Version)

Modular Implementation of a Translator from Behavioral Specifications to Rewrite Theory Specifications (Extended Version)
Digital文書・図像類
Zhang, Min, Ogata, Kazuhiro北陸先端科学技術大学院大学情報科学研究科2010-03-10Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-2010-002p.1-16
Other Libraries in Japan
  • Author HeadingZhang, Min Ogata, Kazuhiro

A Toolkit for Generating and Displaying Proof Scores in the OTS/CafeOBJ Method

A Toolkit for Generating and Displaying Proof Scores in the OTS/CafeOBJ Method
Digital文書・図像類
Seino, Takahiro, Ogata, Kazuhiro, Futatsugi, Kokichi2009-09-22p.1-22
Other Libraries in Japan
  • Author HeadingSeino, Takahiro Ogata, Kazuhiro Futatsugi, Kokichi

Constructor-based Institutions

Constructor-based Institutions
Digital文書・図像類
Gaina, Daniel, Futatsugi, Kokichi, Ogata, Kazuhiro北陸先端科学技術大学院大学情報科学研究科2009-05-29Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-2009-002p.1-19
Other Libraries in Japan
  • Author HeadingGaina, Daniel Futatsugi, Kokichi Ogata, Kazuhiro

転写調節因子Mybの分子構造学的研究

転写調節因子Mybの分子構造学的研究
Paper図書
緒方, 一博, 神奈川科学技術アカデミー1996-1997<Y151-H08680667>
National Diet Library

Analysis of Electronic Commerce Protocols in Algebraic Specification Languages

Analysis of Electronic Commerce Protocols in Algebraic Specification Languages
Digital文書・図像類
Ogata, Kazuhiro, Futatsugi, Kokichi2007-09-06p.1-22
Other Libraries in Japan
  • Author HeadingOgata, Kazuhiro Futatsugi, Kokichi

Algebraic Approaches to Formal Analysis of the Mondex Electronic Purse System

Algebraic Approaches to Formal Analysis of the Mondex Electronic Purse System
Digital文書・図像類
Kong, Weiqiang, Ogata, Kazuhiro, Futatsugi, Kokichi2007-03-07p.1-27
Other Libraries in Japan
  • Author HeadingKong, Weiqiang Ogata, Kazuhiro Futatsugi, Kokichi

MultithreadSmalltalk : Smalltalkの並列化の研究

MultithreadSmalltalk : Smalltalkの並列化の研究
PaperDigital博士論文障害者向け資料あり
緒方和博 [著]<UT51-95-S280>
National Diet Library

Analysis of membership sharing in digital subscription services

Analysis of membership sharing in digital subscription services
Digital文書・図像類
Xiang, Jianwen, Ogata, Kazuhiro, Futatsugi, Kokichi北陸先端科学技術大学院大学情報科学研究科2007-03-16Technical memorandum (School of Information Science, Japan Advanced Institute of Science and Technology)IS-TM-2007-005p.1-26
Other Libraries in Japan
  • Author HeadingXiang, Jianwen Ogata, Kazuhiro Futatsugi, Kokichi

Counterexample Discovery with a Combination of Induction and Bounded Model Checking

Counterexample Discovery with a Combination of Induction and Bounded Model Checking
Digital文書・図像類
Ogata, Kazuhiro, Nakano, Masahiro, Kong, Weiqiang, Futatsugi, Kokichi2007-03-07p.1-31
Other Libraries in Japan
  • Author HeadingOgata, Kazuhiro Nakano, Masahiro Kong, Weiqia...

Algebraic approaches to formal analysis of the mondex electronic purse system

Algebraic approaches to formal analysis of the mondex electronic purse system
Digital文書・図像類
Kong, Weiqiang, Ogata, Kazuhiro, Futatsugi, Kokichi北陸先端科学技術大学院大学情報科学研究科2007-03-23Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-2007-004p.1-43
Other Libraries in Japan
  • Author HeadingKong, Weiqiang Ogata, Kazuhiro Futatsugi, Kokichi

A Lightweight Integration of Theorem Proving and Model Checking for System Verification

A Lightweight Integration of Theorem Proving and Model Checking for System Verification
Digital文書・図像類
Kong, Weiqiang, Seino, Takahiro, Ogata, Kazuhiro, Futatsugi, Kokichi2005-09-21p.1-23
Other Libraries in Japan
  • Author HeadingKong, Weiqiang Seino, Takahiro Ogata, Kazuhiro Futatsugi, Kokichi

がん原遺伝子c-myb産物(c-Myb)DNA結合領域の構造

がん原遺伝子c-myb産物(c-Myb)DNA結合領域の構造
PaperDigital博士論文障害者向け資料あり
緒方一博 [著]<UT51-92-Q174>
Available onlineNational Diet Library

Formal analysis of the iKP electronic payment protocols

Formal analysis of the iKP electronic payment protocols
Digital文書・図像類
Ogata, Kazuhiro, Futatsugi, Kokichi北陸先端科学技術大学院大学情報科学研究科2002-08-20Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-2002-020p.1-23
Other Libraries in Japan
  • Author HeadingOgata, Kazuhiro Futatsugi, Kokichi

The equivalence of the reductions with the E-strategy with and without marks

The equivalence of the reductions with the E-strategy with and without marks
Digital文書・図像類
Nagaya, Takashi, Matsumoto, Michihiro, Ogata, Kazuhiro, Futatsugi, Kokichi北陸先端科学技術大学院大学情報科学研究科1997-08-13Research report (School of Information Science, Japan Advanced Institute of Science and Technology)IS-RR-97-0034Fp.1-9
Other Libraries in Japan
  • Author HeadingNagaya, Takashi Matsumoto, Michihiro Ogata, Kazuhiro Futatsugi, Kokichi

β-グルクロニダーゼに関する体質病理学的研究

β-グルクロニダーゼに関する体質病理学的研究
Paper博士論文
緒方和宏 [著]<UT51-医38-4193>
National Diet Library

Reached to the end of result.