Péter Szeredi

40 papers B 7C 1Journal 9Unranked 21

Year	Rank	Type	Title / Venue / Authors
2012	J	`jnl`	Loop Elimination, a Sound Optimisation Technique for PTTP Related Theorem Proving. Acta Cybern. Zsolt Zombori, Péter Szeredi
2012	—	`conf`	Static Type Inference for the Q language using Constraint Logic Programming. ICLP (Technical Communications) Zsolt Zombori, János Csorba, Péter Szeredi
2011	—	`conf`	Static Type Checking for the Q Functional Language in Prolog. ICLP (Technical Communications) Zsolt Zombori, János Csorba, Péter Szeredi
2011	J	`jnl`	Using Constraint Handling Rules to Provide Static Type Analysis for the Q Functional Language CoRR János Csorba, Zsolt Zombori, Péter Szeredi
2009	J	`jnl`	Efficient Description Logic Reasoning in Prolog: The DLog system CoRR Gergely Lukácsy, Péter Szeredi
2009	J	`jnl`	Efficient description logic reasoning in Prolog: The DLog system. Theory Pract. Log. Program. Gergely Lukácsy, Péter Szeredi
2009	J	`jnl`	Plagiarism Detection in Source Programs Using Structural Similarities. Acta Cybern. Gergely Lukácsy, Péter Szeredi
2009	—	`conf`	Scalable Web Reasoning Using Logic Programming Techniques. RR Gergely Lukácsy, Péter Szeredi
2008	B	`conf`	Prolog Based Description Logic Reasoning. ICLP Gergely Lukácsy, Péter Szeredi, Balázs Kádár
2008	J	`jnl`	Symposium of Young Scientists on Intellignet Systems - Preface. Acta Cybern. Tibor Gregorics, Bálint Molnár, Edit Sántáné-Tóth, Péter Szeredi, Zoltán Vámossy, László Zsolt Varga
2007	—	`conf`	Ontology Based Information Integration Using Logic Programming. ALPSWS Gergely Lukácsy, Péter Szeredi
2007	J	`jnl`	Optimizing Queries in a Logic-based Information Integration System CoRR András György Békés, Péter Szeredi
2007	J	`jnl`	Symposium of Young Scientists on Intelligent Systems - Preface. Acta Cybern. Laszlo Csink, Tibor Gregorics, Bálint Molnár, Edit Sántáné-Tóth, Péter Szeredi, Zoltán Vámossy, László Zsolt Varga
2007	—	`conf`	Towards automatic semantic integration. IESA Gergely Lukácsy, Péter Szeredi, Tamás Benkö
2006	—	`conf`	Description logic reasoning using the PTTP approach. Description Logics Zsolt Nagy, Gergely Lukácsy, Péter Szeredi
2006	B	`conf`	Improving the ISO Prolog Standard by Analyzing Compliance Test Results. ICLP Péter G. N. Szabó, Péter Szeredi
2006	C	`conf`	Translating Description Logic Queries to Prolog. PADL Zsolt Nagy, Gergely Lukácsy, Péter Szeredi
2004	B	`conf`	FDBG, the CLPFD Debugger Library of SICStus Prolog. ICLP Dávid Hanák, Tamás Szeredi, Péter Szeredi
2004	—	`ed.`	Recent Advances in Constraints, Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30 - July 2, 2003, Selected Papers CSCLP Krzysztof R. Apt, François Fages, Francesca Rossi, Péter Szeredi, József Váncza
2003	—	`conf`	Teaching Constraints through Logic Puzzles. CSCLP Péter Szeredi
2002	B	`conf`	A Logic-Based System for Application Integration. ICLP Tamás Benkö, Péter Krauth, Péter Szeredi
1993	—	`conf`	Applications of the Aurora Parallel Prolog System to Computational Molecular Biology. ILPS Ewing L. Lusk, Shyam Mudambi, Ross A. Overbeek, Péter Szeredi
1993	—	`conf`	MProlog: an Implementation Overview. ICLP-Workshops on Implementation of Logic Programming Systems Zsuzsa Farkas, Péter Köves, Péter Szeredi
1992	—	`conf`	Applications of the Aurora Parallel Prolog System to Computational Molecular Biology. IJCSLP Workshop on Concurrent and Parallel Implementations Ewing L. Lusk, Ross A. Overbeek, Shyam Mudambi, Péter Szeredi
1992	—	`conf`	Exploiting Or-Parallelism in Optimisation Problems. JICSLP Péter Szeredi
1991	—	`conf`	Flexible Scheduling of OR-Parallel Logic Programming Systems. PARLE (2) Anthony Joseph Beaumont, S. Muthu Raman, Péter Szeredi, David H. D. Warren
1991	—	`conf`	Interfacing Engines and Schedulers in OR-Parallel Prolog Systems. PARLE (2) Péter Szeredi, Rong Yang, Mats Carlsson
1991	—	`conf`	Solving Optimisation Problems in the Aurora Or-parallel Prolog System. ICLP Workshop on Parallel Execution of Logic Programs Péter Szeredi
1991	—	`conf`	Using Dynamic Predicates in an Or--Parallel Prolog System. ISLP Péter Szeredi
1990	B	`ed.`	Logic Programming, Proceedings of the Seventh International Conference, Jerusalem, Israel, June 18-20, 1990 ICLP David H. D. Warren, Péter Szeredi
1990	J	`jnl`	The Aurora or-parallel Prolog system. New Gener. Comput. Ewing L. Lusk, Ralph Butler, Terrence Disz, Robert Olson, Ross A. Overbeek, Rick Stevens, David H. D. Warren, Alan Calderwood, Péter Szeredi, Seif Haridi
1989	—	`conf`	Performance Analysis of the Aurora Or-Parallel Prolog System. NACLP Péter Szeredi
1989	B	`conf`	Scheduling Or-parallelism in Aurora: The Manchester Scheduler. ICLP Alan Calderwood, Péter Szeredi
1988	—	`ch.`	Converting AND-Control to OR-Control by Program Transformation. Foundations of Deductive Databases and Logic Programming. Maarten H. van Emden, Péter Szeredi
1988	—	`conf`	The Aurora Or-Parallel Prolog System. FGCS Ewing L. Lusk, Ralph Butler, Terry Disz, Robert Olson, Ross A. Overbeek, Rick L. Stevens, David H. D. Warren, Alan Calderwood, Péter Szeredi, Seif Haridi, Per Brand, Mats Carlsson, Andrzej Ciepielewski, Bogumil Hausman
1986	—	`conf`	Perspectives of logic programming. IMYCS Péter Szeredi
1983	—	`conf`	Prolog in Practice. IFIP Congress Bálint Dömölki, Péter Szeredi
1982	B	`conf`	LDM: A Program Specification Support System. ICLP Zsuzsa Farkas, Péter Szeredi, Edit Sántáné-Tóth
1982	—	`conf`	Software Development in LDM. Conference on Operating Systems Kalman Balogh, Zsuzsa Farkas, Edit Sántáné-Tóth, Péter Szeredi
1977	—	`conf`	The Application of Prolog to the Development of QA and DBM Systems. Logic and Data Bases Ivan Futó, Ferenc Darvas, Péter Szeredi