# Yoshifumi Yuasa

According to our database

Collaborative distances:

^{1}, Yoshifumi Yuasa authored at least 5 papers between 1993 and 2014.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2014

Towards Argumentation Schemes for Open Systems Dependability.

Proceedings of the IEEE 12th International Conference on Dependable, 2014

2013

A chain of accountabilities in open systems based on assured entrustments.

Proceedings of the IEEE 24th International Symposium on Software Reliability Engineering, 2013

2009

Pre- and Post-Conditions Expressed in Variants of the Modal µ-Calculus.

IEICE Transactions, 2009

2008

Verification of the Deutsch-Schorr-Waite Marking Algorithm with Modal Logic.

Proceedings of the Verified Software: Theories, 2008

1993

Adding a Cohen real adds an entangled linear order.

Arch. Math. Log., 1993