Ken Mano

From MaRDI portal
Person:504212

Available identifiers

zbMath Open mano.kenMaRDI QIDQ504212

List of research outcomes





PublicationDate of PublicationType
On compositional reasoning about anonymity and privacy in epistemic logic2017-01-25Paper
Unique normal form property of higher-order rewriting systems2017-01-19Paper
Name-passing style GUI programming in the {\(\pi\)}-calculus-based language Nepi2013-10-02Paper
Role interchange for anonymity and privacy of voting2011-01-19Paper
Theorem-proving anonymity of infinite-state systems2010-01-29Paper
https://portal.mardi4nfdi.de/entity/Q45367522002-07-22Paper
https://portal.mardi4nfdi.de/entity/Q45367492002-07-15Paper
https://portal.mardi4nfdi.de/entity/Q47056021999-12-20Paper

Research outcomes over time

This page was built for person: Ken Mano

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