| Publication | Date of Publication | Type |
|---|
Stability of termination and sufficient-completeness under pushouts via amalgamation
Theoretical Computer Science | 2020-12-15 | Paper |
A Maude environment for CafeOBJ
Formal Aspects of Computing | 2017-04-03 | Paper |
Constructor-based logics
Journal of Universal Computer Science | 2016-07-08 | Paper |
Liveness properties in CafeOBJ -- a case study for meta-level specifications
Logic-Based Program Synthesis and Transformation | 2015-10-02 | Paper |
Generic proof scores for generate \& check method in CafeOBJ
Lecture Notes in Computer Science | 2015-09-14 | Paper |
Generate \& check method for verifying transition systems in CafeOBJ
Software, Services, and Systems | 2015-06-22 | Paper |
Initial semantics in logics with constructors
Journal Of Logic And Computation | 2015-02-26 | Paper |
Theorem Proving Based on Proof Scores for Rewrite Theory Specifications of OTSs
Specification, Algebra, and Software | 2014-03-25 | Paper |
Incremental proofs of termination, confluence and sufficient completeness of OBJ specifications
Specification, Algebra, and Software | 2014-03-25 | Paper |
On Automation of OTS/CafeOBJ Method
Specification, Algebra, and Software | 2014-03-25 | Paper |
Verifying the Design of Dynamic Software Updating in the OTS/CafeOBJ Method
Specification, Algebra, and Software | 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
Theoretical Computer Science | 2013-01-07 | Paper |
Constructor-based institutions
Algebra and Coalgebra in Computer Science | 2012-06-01 | Paper |
Reducibility of operation symbols in term rewriting systems and its application to behavioral specifications
Journal of Symbolic Computation | 2010-05-05 | Paper |
Proof scores in the OTS/CafeOBJ method.
Lecture Notes in Computer Science | 2010-01-12 | Paper |
scientific article; zbMATH DE number 5605104 (Why is no real title available?)
| 2009-09-19 | Paper |
Some Tips on Writing Proof Scores in the OTS/CafeOBJ Method
Algebra, Meaning, and Computation | 2007-09-07 | Paper |
Modeling and verification of real-time systems based on equations
Science of Computer Programming | 2007-05-23 | Paper |
To use or not to use the goto statement: programming styles viewed from Hoare Logic
Science of Computer Programming | 2006-06-09 | Paper |
scientific article; zbMATH DE number 2172803 (Why is no real title available?)
| 2006-06-02 | Paper |
scientific article; zbMATH DE number 1962762 (Why is no real title available?)
| 2003-08-11 | Paper |
scientific article; zbMATH DE number 1953034 (Why is no real title available?)
| 2003-07-25 | Paper |
scientific article; zbMATH DE number 1942449 (Why is no real title available?)
| 2003-06-30 | Paper |
scientific article; zbMATH DE number 1860625 (Why is no real title available?)
| 2003-06-02 | Paper |
scientific article; zbMATH DE number 1760140 (Why is no real title available?)
| 2002-11-06 | Paper |
Logical foundations of CafeOBJ
Theoretical Computer Science | 2002-08-13 | Paper |
CafeOBJ Report. The language, proof techniques, and methodologies for object-oriented algebraicspecification
AMAST Series in Computing | 2001-05-29 | Paper |
scientific article; zbMATH DE number 1500569 (Why is no real title available?)
| 2001-05-06 | Paper |
scientific article; zbMATH DE number 1543338 (Why is no real title available?)
| 2001-02-27 | Paper |
scientific article; zbMATH DE number 1231661 (Why is no real title available?)
| 1999-01-07 | Paper |
scientific article; zbMATH DE number 1231658 (Why is no real title available?)
| 1999-01-07 | Paper |
scientific article; zbMATH DE number 4074445 (Why is no real title available?)
| 1988-01-01 | Paper |
scientific article; zbMATH DE number 3856409 (Why is no real title available?)
| 1983-01-01 | Paper |
scientific article; zbMATH DE number 3692627 (Why is no real title available?)
| 1980-01-01 | Paper |
On Markov chains generated by Markovian controlled Markov systems. I: Ergodic properties
Mathematical Biosciences | 1976-01-01 | Paper |
