Kokichi Futatsugi

Available identifiers

zbMath Open futatsugi.kokichiMaRDI QIDQ520243

List of research outcomes

Publication	Date of Publication	Type
Stability of termination and sufficient-completeness under pushouts via amalgamation	2020-12-15	Paper
A Maude environment for CafeOBJ	2017-04-03	Paper
Constructor-based logics	2016-07-08	Paper
Liveness Properties in CafeOBJ – A Case Study for Meta-Level Specifications	2015-10-02	Paper
Generic Proof Scores for Generate & Check Method in CafeOBJ	2015-09-14	Paper
Generate & Check Method for Verifying Transition Systems in CafeOBJ	2015-06-22	Paper
Initial semantics in logics with constructors	2015-02-26	Paper
Theorem Proving Based on Proof Scores for Rewrite Theory Specifications of OTSs	2014-03-25	Paper
Incremental Proofs of Termination, Confluence and Sufficient Completeness of OBJ Specifications	2014-03-25	Paper
On Automation of OTS/CafeOBJ Method	2014-03-25	Paper
Verifying the Design of Dynamic Software Updating in the OTS/CafeOBJ Method	2014-03-25	Paper
A toolkit for generating and displaying proof scores in the OTS/CafeOBJ method	2013-12-04	Paper
Rewriting-based verification of authentication protocols	2013-10-02	Paper
Principles of proof scores in CafeOBJ	2013-01-07	Paper
Constructor-Based Institutions	2012-06-01	Paper
Reducibility of operation symbols in term rewriting systems and its application to behavioral specifications	2010-05-05	Paper
Formal Methods for Open Object-Based Distributed Systems	2010-01-12	Paper
https://portal.mardi4nfdi.de/entity/Q3396602	2009-09-19	Paper
Some Tips on Writing Proof Scores in the OTS/CafeOBJ Method	2007-09-07	Paper
Modeling and verification of real-time systems based on equations	2007-05-23	Paper
To use or not to use the goto statement: programming styles viewed from Hoare Logic	2006-06-09	Paper
https://portal.mardi4nfdi.de/entity/Q4680190	2006-06-02	Paper
https://portal.mardi4nfdi.de/entity/Q4418593	2003-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4414392	2003-07-25	Paper
https://portal.mardi4nfdi.de/entity/Q4409149	2003-06-30	Paper
https://portal.mardi4nfdi.de/entity/Q4790352	2003-06-02	Paper
https://portal.mardi4nfdi.de/entity/Q4537126	2002-11-06	Paper
Logical foundations of CafeOBJ	2002-08-13	Paper
CafeOBJ Report. The language, proof techniques, and methodologies for object-oriented algebraicspecification	2001-05-29	Paper
https://portal.mardi4nfdi.de/entity/Q4501590	2001-05-06	Paper
https://portal.mardi4nfdi.de/entity/Q4520814	2001-02-27	Paper
https://portal.mardi4nfdi.de/entity/Q4222987	1999-01-07	Paper
https://portal.mardi4nfdi.de/entity/Q4222983	1999-01-07	Paper
https://portal.mardi4nfdi.de/entity/Q3805877	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3325042	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3886840	1980-01-01	Paper
On Markov chains generated by Markovian controlled Markov systems. I: Ergodic properties	1976-01-01	Paper

Research outcomes over time

This page was built for person: Kokichi Futatsugi