Loop elimination, a sound optimisation technique for PTTP related theorem proving

Zombori Zsolt, Szeredi Péter
2012

Plagiarism detection in source programs using structural similarities

Lukácsy Gergely, Szeredi Péter
2009

Preface

Gregorics Tibor, Molnár Bálint, Sántáné-Tóth Edit, Szeredi Péter, Vámossy Zoltán, Varga László Zsolt
2008

Preface

Gregorics Tibor, Molnár Bálint, Szeredi Péter, Vámossy Zoltán, Sántáné-Tóth Edit, Varga László Zsolt
2010

Preface

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
2007