Naoki Yonezaki

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
scientific article; zbMATH DE number 7319046 (Why is no real title available?)	2021-03-10	Paper
scientific article; zbMATH DE number 7319046 (Why is no real title available?) (available as arXiv preprint)	2021-03-10	Paper
Reducing bounded realizability analysis to reachability checking	2017-10-27	Paper
Safraless LTL synthesis considering maximal realizability Acta Informatica	2017-10-26	Paper
Monitoring bounded LTL properties using interval analysis (available as arXiv preprint)	2016-12-16	Paper
Qualitative analysis of gene regulatory networks by temporal logic Theoretical Computer Science	2015-07-24	Paper
A formal ontology for business process model TAP: tasks-agents-products	2008-06-11	Paper
scientific article; zbMATH DE number 2044557 (Why is no real title available?)	2004-02-18	Paper
scientific article; zbMATH DE number 1790379 (Why is no real title available?)	2002-08-28	Paper
scientific article; zbMATH DE number 1630118 (Why is no real title available?)	2001-10-23	Paper
scientific article; zbMATH DE number 1568018 (Why is no real title available?)	2001-02-21	Paper
scientific article; zbMATH DE number 1568020 (Why is no real title available?)	2001-02-21	Paper
scientific article; zbMATH DE number 1424041 (Why is no real title available?)	2000-08-23	Paper
scientific article; zbMATH DE number 975707 (Why is no real title available?)	1997-04-27	Paper
scientific article; zbMATH DE number 975698 (Why is no real title available?)	1997-02-04	Paper
scientific article; zbMATH DE number 3737066 (Why is no real title available?)	1980-01-01	Paper

Research outcomes over time

This page was built for person: Naoki Yonezaki