PaperA Formal Treatment of Non-repudiation ProtocolsSatoshi HadaIEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
PaperDynamic graph and polynomial chaos based models for contact tracing data analysis and optimal testing prescriptionShashanka Ubaru, Lior Horesh, et al.Journal of Biomedical Informatics
Conference paperEXAMPLES OF USING THE RESEARCH QUEUEING PACKAGE MODELING ENVIRONMENT (RESQME).Robert F. Gordon, Edward A. MacNair, et al.WSC 1985
PaperA nonlinear eigenvalue problem for rotating rodsF. Odeh, I. TadjbakhshArchive for Rational Mechanics and Analysis
