Yoshinobu Kawabe

From MaRDI portal
Person:845890

Available identifiers

zbMath Open kawabe.yoshinobuMaRDI QIDQ845890

List of research outcomes





PublicationDate of PublicationType
Currying of order-sorted term rewriting systems2023-12-12Paper
Name-passing style GUI programming in the {\(\pi\)}-calculus-based language Nepi2013-10-02Paper
Role Interchange for Anonymity and Privacy of Voting2011-01-19Paper
Probabilistic anonymity via coalgebraic simulations2010-05-27Paper
Theorem-proving anonymity of infinite-state systems2010-01-29Paper
Probabilistic Anonymity Via Coalgebraic Simulations2007-09-04Paper
https://portal.mardi4nfdi.de/entity/Q45367522002-07-22Paper
https://portal.mardi4nfdi.de/entity/Q43645941997-11-17Paper

Research outcomes over time

This page was built for person: Yoshinobu Kawabe

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:845890&oldid=6936401"
Powered by MediaWiki