Kiyoharu Hamaguchi

MaRDI QIDQ1199533zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Vectorized symbolic model checking of computation tree logic for sequential machine verification	2024-04-29	Paper
Formal verification of speed-dependent asynchronous circuits using symbolic model checking of Branching Time Regular Temporal Logic	2024-04-29	Paper
Approximate Invariant Property Checking Using Term-Height Reduction for a Subset of First-Order Logic Automated Technology for Verification and Analysis	2008-11-20	Paper
Automated Technology for Verification and Analysis Lecture Notes in Computer Science	2006-10-25	Paper
scientific article; zbMATH DE number 1788723 (Why is no real title available?)	2002-08-26	Paper
scientific article; zbMATH DE number 1696662 (Why is no real title available?)	2002-07-01	Paper
scientific article; zbMATH DE number 1379126 (Why is no real title available?)	1999-12-15	Paper
scientific article; zbMATH DE number 1322328 (Why is no real title available?)	1999-11-08	Paper
scientific article; zbMATH DE number 1354131 (Why is no real title available?)	1999-10-31	Paper
scientific article; zbMATH DE number 177521 (Why is no real title available?)	1993-05-18	Paper
scientific article; zbMATH DE number 177267 (Why is no real title available?)	1993-05-18	Paper
scientific article; zbMATH DE number 177249 (Why is no real title available?)	1993-05-18	Paper
scientific article; zbMATH DE number 177502 (Why is no real title available?)	1993-05-18	Paper
\(\infty\)-regular temporal logic and its model checking problem Theoretical Computer Science	1993-01-16	Paper

Research outcomes over time

This page was built for person: Kiyoharu Hamaguchi