STG decomposition strategies in combination with unfolding.Published in:Acta Informatica, 2009, v. 46, n. 6, p. 433, doi. 10.1007/s00236-009-0102-yBy:Khomenko, Victor;Schaefer, Mark;Vogler, Walter;Wollowski, RalfPublication type:Article
Reasoning about faulty quantum programs.Published in:Acta Informatica, 2009, v. 46, n. 6, p. 403, doi. 10.1007/s00236-009-0100-0By:Zuliani, PaoloPublication type:Article