Ryo Tanaka

From MaRDI portal



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!

PublicationDate of PublicationType
The geometry of concurrent interaction: handling multiple ports by way of multiple tokens
(available as arXiv preprint)
2021-01-19Paper
The geometry of concurrent interaction: handling multiple ports by way of multiple tokens2021-01-19Paper
Effectful applicative similarity for call-by-name lambda calculi
Theoretical Computer Science
2020-04-21Paper
DNS of Taylor-Couette flow between counter-rotating cylinders at small radius ratio
International Journal of Advances in Engineering Sciences and Applied Mathematics
2018-10-05Paper
Design of internal model control based on an optimal control for a servo system
Journal of Control Science and Engineering
2015-11-19Paper


Research outcomes over time


This page was built for person: Ryo Tanaka