Software (theme 1)
Computing Research Repository
Computer Security

Endrullis, J, Hansen, H.H, Hendriks, D, Polonsky, A, & Silva, A.M. (2013). A coinductive treatment of infinitary rewriting. Computing Research Repository, abs/1306.6224.