Naoki Yonezaki

From MaRDI portal
Person:1674866

Available identifiers

zbMath Open yonezaki.naokiMaRDI QIDQ1674866

List of research outcomes





PublicationDate of PublicationType
https://portal.mardi4nfdi.de/entity/Q49658712021-03-10Paper
Reducing bounded realizability analysis to reachability checking2017-10-27Paper
Safraless LTL synthesis considering maximal realizability2017-10-26Paper
Monitoring bounded LTL properties using interval analysis2016-12-16Paper
Qualitative analysis of gene regulatory networks by temporal logic2015-07-24Paper
A formal ontology for business process model TAP: tasks-agents-products2008-06-11Paper
https://portal.mardi4nfdi.de/entity/Q44484322004-02-18Paper
https://portal.mardi4nfdi.de/entity/Q45494232002-08-28Paper
https://portal.mardi4nfdi.de/entity/Q27299412001-10-23Paper
https://portal.mardi4nfdi.de/entity/Q47618192001-02-21Paper
https://portal.mardi4nfdi.de/entity/Q47618222001-02-21Paper
https://portal.mardi4nfdi.de/entity/Q49452312000-08-23Paper
https://portal.mardi4nfdi.de/entity/Q52851151997-04-27Paper
https://portal.mardi4nfdi.de/entity/Q52851051997-02-04Paper
https://portal.mardi4nfdi.de/entity/Q39236331980-01-01Paper

Research outcomes over time

This page was built for person: Naoki Yonezaki

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1674866&oldid=6352702"
Powered by MediaWiki