According to our database1, Yoshifumi Yuasa authored at least 5 papers between 1993 and 2014.
Legend:Book In proceedings Article PhD thesis Other
Towards Argumentation Schemes for Open Systems Dependability.
Proceedings of the IEEE 12th International Conference on Dependable, 2014
A chain of accountabilities in open systems based on assured entrustments.
Proceedings of the IEEE 24th International Symposium on Software Reliability Engineering, 2013
Pre- and Post-Conditions Expressed in Variants of the Modal µ-Calculus.
IEICE Transactions, 2009
Verification of the Deutsch-Schorr-Waite Marking Algorithm with Modal Logic.
Proceedings of the Verified Software: Theories, 2008
Adding a Cohen real adds an entangled linear order.
Arch. Math. Log., 1993