Shoji Yuen

Testing Preorders for Probabilistic Processes

Rance Cleaveland, Zeynep Dayar, Scott A. Smolka et al. · Information and Computation · 1999 · 71 citations

Engineering, Probabilistic System, Software Testing +7

Session-ocaml: A session-based library with polarities and lenses

Keigo Imai, Nobuko Yoshida, Shoji Yuen · Science of Computer Programming · 2018 · 22 citations · Full text

Session Type Inference in Haskell

Keigo Imai, Shoji Yuen, Kiyoshi Agusa · Electronic Proceedings in Theoretical Computer Science · 2011 · 21 citations · Full text

Inference System, Engineering, Automated Reasoning +12

Process languages with discrete relative time based on the Ordered SOS format and rooted eager bisimulation

Irek Ulidowski, Shoji Yuen · The Journal of Logic and Algebraic Programming · 2004 · 17 citations

Programming Language Theory, Engineering, Discrete Relative Time +11

Web Automata: A Behavioral Model of Web applications based on the MVC model

Shoji Yuen, Keishi Kato, D. Kato et al. · Journal of information processing · 2006 · 17 citations

Web Architecture, Data Modeling, Engineering +14