Yoshinobu Kawabe
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
1995–2010
Best venue rank
C
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2010 | SERA | On Formal Modeling of TOPPERS Embedded Software. | Yoshinobu Kawabe, Nobuhiro Ito, Naohiro Ishii |
| 2007 | ESOP | Probabilistic Anonymity Via Coalgebraic Simulations. | Ichiro Hasuo, Yoshinobu Kawabe |
| 2007 | SERA | A Formal Approach to Designing Anonymous Software. | Yoshinobu Kawabe, Hideki Sakurada |
| 2004 | NCA | The Nepi Network Programming System: A Programming Environment for Distributed Systems. | Ken Mano, Yoshinobu Kawabe |
| 1997 | COCOON | On Modularity of the Completeness in Order-Sorted Term Rewriting Systems. | Yoshinobu Kawabe, Naohiro Ishii |
| 1995 | COCOON | Currying of Order-Sorted Term Rewriting Systems. | Yoshinobu Kawabe, Naohiro Ishii |