| 2012 | ICLP | Static Type Inference for the Q language using Constraint Logic Programming. | Zsolt Zombori, Jnos Csorba, Pter Szeredi |
| 2011 | ICLP | Static Type Checking for the Q Functional Language in Prolog. | Zsolt Zombori, Jnos Csorba, Pter Szeredi |
| 2008 | ICLP | Prolog Based Description Logic Reasoning. | Gergely Lukcsy, Pter Szeredi, Balzs Kdr |
| 2007 | ICLP | Ontology Based Information Integration Using Logic Programming. | Gergely Lukcsy, Pter Szeredi |
| 2006 | ICLP | Improving the ISO Prolog Standard by Analyzing Compliance Test Results. | Pter G. N. Szab, Pter Szeredi |
| 2006 | PADL | Translating Description Logic Queries to Prolog. | Zsolt Nagy, Gergely Lukcsy, Pter Szeredi |
| 2004 | ICLP | FDBG, the CLPFD Debugger Library of SICStus Prolog. | Dvid Hank, Tams Szeredi, Pter Szeredi |
| 2002 | ICLP | A Logic-Based System for Application Integration. | Tams Benk, Pter Krauth, Pter Szeredi |
| 1993 | ICLP | MProlog: an Implementation Overview. | Zsuzsa Farkas, Pter Kves, Pter Szeredi |
| 1992 | ICLP | Applications of the Aurora Parallel Prolog System to Computational Molecular Biology. | Ewing L. Lusk, Ross A. Overbeek, Shyam Mudambi, Pter Szeredi |
| 1992 | ICLP | Exploiting Or-Parallelism in Optimisation Problems. | Pter Szeredi |
| 1991 | ICLP | Solving Optimisation Problems in the Aurora Or-parallel Prolog System. | Pter Szeredi |
| 1989 | ICLP | Scheduling Or-parallelism in Aurora: The Manchester Scheduler. | Alan Calderwood, Pter Szeredi |
| 1982 | ICLP | LDM: A Program Specification Support System. | Zsuzsa Farkas, Pter Szeredi, Edit Sntn-Tth |