Yoshifumi Yuasa

According to our database1, Yoshifumi Yuasa authored at least 5 papers between 1993 and 2014.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

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


  Loading...