Zombori Zsolt; Szeredi Péter: Loop elimination, a sound optimisation technique for PTTP related theorem proving. In: Acta cybernetica, (20) 3. pp. 441-458. (2012)
Gregorics Tibor; Molnár Bálint; Szeredi Péter; Vámossy Zoltán; Sántáné-Tóth Edit; Varga László Zsolt: Preface. In: Acta cybernetica, (19) 3. pp. 569-570. (2010)
Lukácsy Gergely; Szeredi Péter: Plagiarism detection in source programs using structural similarities. In: Acta cybernetica, (19) 1. pp. 191-216. (2009)
Gregorics Tibor; Molnár Bálint; Sántáné-Tóth Edit; Szeredi Péter; Vámossy Zoltán; Varga László Zsolt: Preface. In: Acta cybernetica, (18) 4. pp. 559-560. (2008)
Csink László; Sántáné-Tóth Edit; Varga László Zsolt; Gregorics Tibor; Szeredi Péter; Molnár Bálint; Vámossy Zoltán: Preface. In: Acta cybernetica, (18) 2. p. 169. (2007)