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

BibTeX
RIS

[ Type

] Year

Filters: Author is Honda, K. [Clear All Filters]

Journal Article

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.

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.