Nobuko Yoshida

1. Featherweight Go
   2020/05/24 by Robert Griesemer, Griesemer, Robert, Raymond Hu +13 · 5 voices
   Computer Science · Social Sciences · #Artificial Intelligence in Games #Digital Games and Media #Logic, programming, and type systems #cs.LO #cs.PL
2. Multiparty Asynchronous Session Types
   2016/03/03 by Kohei Honda, Nobuko Yoshida, Marco Carbone · 21 citations
   Computer Science · #Logic, programming, and type systems #Formal Methods in Verification #Distributed systems and fault tolerance
3. Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types
   2013/04/06 by Pierre-Malo Deniélou, Nobuko Yoshida, Deniélou, Pierre-Malo +1 · 3 citations
   Computer Science · #Logic, programming, and type systems #Formal Methods in Verification #Distributed systems and fault tolerance
4. Verifying Asynchronous Interactions via Communicating Session Automata
   2019/01/28 by Julien Lange, Nobuko Yoshida, Lange, Julien +1 · 2 citations
   Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic, programming, and type systems #Programming Languages (cs.PL) #Security and Verification in Computing
5. Top-down = Bottom-up: Sound and Complete Characterisations of Liveness by Multiparty Global Protocols
   2026/07/23 by Kai Pischke, Nobuko Yoshida
   #cs.PL
6. Specification-Guided Synthesis of Deadlock-Free Communication Protocol Refinements with Large Language Models
   2026/07/30 by Yang Li, Ping Hou, Nobuko Yoshida
   Computer Science · #cs.SE #cs.AI