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 1 results:

BibTeX
RIS

Type [ Year

]

Filters: Keyword is Session types and Author is Honda, K. [Clear All Filters]

2015

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.

DOI
BibTeX
RIS