List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Currying of order-sorted term rewriting systems Lecture Notes in Computer Science | 2023-12-12 | Paper |
| Name-passing style GUI programming in the {\(\pi\)}-calculus-based language Nepi | 2013-10-02 | Paper |
| Role interchange for anonymity and privacy of voting Journal Of Logic And Computation | 2011-01-19 | Paper |
| Probabilistic anonymity via coalgebraic simulations Theoretical Computer Science | 2010-05-27 | Paper |
| Theorem-proving anonymity of infinite-state systems Information Processing Letters | 2010-01-29 | Paper |
| Probabilistic Anonymity Via Coalgebraic Simulations Programming Languages and Systems | 2007-09-04 | Paper |
| scientific article; zbMATH DE number 1759737 (Why is no real title available?) | 2002-07-22 | Paper |
| scientific article; zbMATH DE number 1088278 (Why is no real title available?) | 1997-11-17 | Paper |
Research outcomes over time
This page was built for person: Yoshinobu Kawabe
