Shunsuke Shimizu

Identifiers

• name variant Shunsuke Shimizu 0.60 · backfill

Papers (2)

1. Coalgebraic Trace Semantics for Buechi and Parity Automata cs.LO · 2016 · author #2
2. Lattice-Theoretic Progress Measures and Coalgebraic Model Checking (with Appendices) cs.LO · 2015 · author #2

Mentions

• 1511.00346 #2 · backfill · confidence 0.70 Shunsuke Shimizu

Frequent Coauthors

• Ichiro Hasuo 2 shared papers
• Corina Cirstea 1 shared papers
• Natsuki Urabe 1 shared papers