Int. Fed. of Computational Logic
Logical Methods in Computer Science
Computer Security

Silva, A., Bonchi, F., Bonsangue, M., & Rutten, J. (2013). Generalizing determinization from automata to coalgebras. Logical Methods in Computer Science, 9(1:09), 1–27.