Yasuyuki Tsukada

From MaRDI portal
Person:504211

Available identifiers

zbMath Open tsukada.yasuyukiMaRDI QIDQ504211

List of research outcomes





PublicationDate of PublicationType
On compositional reasoning about anonymity and privacy in epistemic logic2017-01-25Paper
Martin-Löf's type theory as an open-ended framework2015-04-30Paper
ERRATA: "The paper: MARTIN-LOF'S TYPE THEORY AS AN OPEN-ENDED FRAMEWORK"2015-04-30Paper
Role interchange for anonymity and privacy of voting2011-01-19Paper
Theorem-proving anonymity of infinite-state systems2010-01-29Paper
https://portal.mardi4nfdi.de/entity/Q49371102000-02-03Paper
https://portal.mardi4nfdi.de/entity/Q31269331997-09-04Paper

Research outcomes over time

This page was built for person: Yasuyuki Tsukada

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