Collaborated with:R.Thiemann C.Sternagel K.Kusakari M.Brockschmidt S.J.C.Joosten
Talks about:transit (1) revisit (1) certifi (1) termin (1) system (1) safeti (1) depend (1) proof (1) integ (1) pair (1)
Person: Akihisa Yamada 0002
DBLP: 0002:Akihisa_Yamada
Contributed to:
2016
2017Wrote 2 papers:
- CSL-2016-0002STK #dependence #revisited
- AC Dependency Pairs Revisited (AY0, CS, RT, KK), p. 16.
- CADE-2017-BrockschmidtJT0 #integer #proving #safety #termination
- Certifying Safety and Termination Proofs for Integer Transition Systems (MB, SJCJ, RT, AY0), pp. 454–471.