OOI Research

Missing publications?
If you have an OOI-related peer-reviewed journal publication that is not listed here, please let us know so we can include it. Submit your citation at https://oceanobservatories.org/science/ooi-publication-tracker/.

Citing OOI-related publications
All publications citing OOI data should include an acknowledgment of National Science Foundation support using the following language: “This material is based upon work supported by the National Science Foundation under Cooperative Agreement No. 1743430 (which supports the OOI) or other relevant NSF award number.”

Export 4 results:

BibTeX
RIS

[ Type

] Year

Filters: Author is Yoshida, N. [Clear All Filters]

Journal Article

R. Demangeon, Honda, K., Hu, R., Neykova, R., and Yoshida, N., “Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python”, Formal Methods in System Design, vol. 46, pp. 197-225, 2015.

P. M. Denielou, Yoshida, N., Bejleri, A., and Hu, R., “Parameterised Multiparty Session Types”, Logical Methods in Computer Science, vol. 8, 2012.

L. Bocchi, Chen, T. C., Demangeon, R., Honda, K., and Yoshida, N., “Monitoring networks through multiparty session types”, Theoretical Computer Science, vol. 669, pp. 33-58, 2017.

D. Kouzapas and Yoshida, N., “Globally Governed Session Semantics”, Logical Methods in Computer Science, vol. 10, 2014.