Daisuke Ishii

From MaRDI portal
Person:487642

Available identifiers

zbMath Open ishii.daisukeMaRDI QIDQ487642

List of research outcomes





PublicationDate of PublicationType
Computer-assisted verification of four interval arithmetic operators2020-04-30Paper
Monitoring bounded LTL properties using interval analysis2016-12-16Paper
Interval-based projection method for under-constrained numerical systems2015-01-22Paper
A branch and prune algorithm for the computation of generalized aspects of parallel robots2014-06-10Paper
A MAXIMAL PREDICTABILITY PORTFOLIO MODEL: ALGORITHM AND PERFORMANCE EVALUATION2008-05-20Paper
MONOTONICITY RESULTS FOR SINGLE-SERVER FINITE-CAPACITY QUEUES WITH RESPECT TO DIRECTIONALLY CONVEX ORDER2005-03-21Paper

Research outcomes over time

This page was built for person: Daisuke Ishii

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