The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Péter Szeredi: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Ivan Futó, Ferenc Darvas, Péter Szeredi
    The Application of Prolog to the Development of QA and BDS Systems. [Citation Graph (1, 0)][DBLP]
    Logic and Data Bases, 1977, pp:347-376 [Conf]
  2. Péter Szeredi
    Teaching Constraints through Logic Puzzles. [Citation Graph (0, 0)][DBLP]
    CSCLP, 2003, pp:196-222 [Conf]
  3. 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
    The Aurora Or-Parallel Prolog System. [Citation Graph (0, 0)][DBLP]
    FGCS, 1988, pp:819-830 [Conf]
  4. Tamás Benkö, Péter Krauth, Péter Szeredi
    A Logic-Based System for Application Integration. [Citation Graph (0, 0)][DBLP]
    ICLP, 2002, pp:452-466 [Conf]
  5. Alan Calderwood, Péter Szeredi
    Scheduling Or-parallelism in Aurora: The Manchester Scheduler. [Citation Graph (0, 0)][DBLP]
    ICLP, 1989, pp:419-435 [Conf]
  6. Zsuzsa Farkas, Péter Köves, Péter Szeredi
    MProlog: an Implementation Overview. [Citation Graph (0, 0)][DBLP]
    ICLP-Workshops on Implementation of Logic Programming Systems, 1993, pp:103-117 [Conf]
  7. Zsuzsa Farkas, Péter Szeredi, E. Sántáné-Tóth
    LDM: A Program Specification Support System. [Citation Graph (0, 0)][DBLP]
    ICLP, 1982, pp:123-128 [Conf]
  8. Dávid Hanák, Tamás Szeredi, Péter Szeredi
    FDBG, the CLPFD Debugger Library of SICStus Prolog. [Citation Graph (0, 0)][DBLP]
    ICLP, 2004, pp:458-459 [Conf]
  9. Ewing L. Lusk, Ross A. Overbeek, Shyam Mudambi, Péter Szeredi
    Applications of the Aurora Parallel Prolog System to Computational Molecular Biology. [Citation Graph (0, 0)][DBLP]
    IJCSLP Workshop on Concurrent and Parallel Implementations, 1992, pp:- [Conf]
  10. Péter Szeredi
    Solving Optimisation Problems in the Aurora Or-parallel Prolog System. [Citation Graph (0, 0)][DBLP]
    ICLP Workshop on Parallel Execution of Logic Programs, 1991, pp:39-53 [Conf]
  11. Peter Szabó, Péter Szeredi
    Improving the ISO Prolog Standard by Analyzing Compliance Test Results. [Citation Graph (0, 0)][DBLP]
    ICLP, 2006, pp:257-269 [Conf]
  12. Péter Szeredi
    Exploiting Or-Parallelism in Optimisation Problems. [Citation Graph (0, 0)][DBLP]
    JICSLP, 1992, pp:703-716 [Conf]
  13. Bálint Dömölki, Péter Szeredi
    Prolog in Practice. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1983, pp:627-636 [Conf]
  14. Péter Szeredi
    Perspectives of logic programming. [Citation Graph (0, 0)][DBLP]
    IMYCS, 1986, pp:200-213 [Conf]
  15. Kalman Balogh, Zsuzsa Farkas, E. Sántáné-Tóth, Péter Szeredi
    Software Development in LDM. [Citation Graph (0, 0)][DBLP]
    Conference on Operating Systems, 1982, pp:56-83 [Conf]
  16. Zsolt Nagy, Gergely Lukácsy, Péter Szeredi
    Translating Description Logic Queries to Prolog. [Citation Graph (0, 0)][DBLP]
    PADL, 2006, pp:168-182 [Conf]
  17. Anthony Beaumont, S. Muthu Raman, Péter Szeredi, David H. D. Warren
    Flexible Scheduling of OR-Parallel Logic Programming Systems. [Citation Graph (0, 0)][DBLP]
    PARLE (2), 1991, pp:421-438 [Conf]
  18. Péter Szeredi, Rong Yang, Mats Carlsson
    Interfacing Engines and Schedulers in OR-Parallel Prolog Systems. [Citation Graph (0, 0)][DBLP]
    PARLE (2), 1991, pp:439-453 [Conf]
  19. Ewing L. Lusk, Shyam Mudambi, Ross A. Overbeek, Péter Szeredi
    Applications of the Aurora Parallel Prolog System to Computational Molecular Biology. [Citation Graph (0, 0)][DBLP]
    ILPS, 1993, pp:353-369 [Conf]
  20. Péter Szeredi
    Performance Analysis of the Aurora Or-Parallel Prolog System. [Citation Graph (0, 0)][DBLP]
    NACLP, 1989, pp:713-732 [Conf]
  21. Péter Szeredi
    Using Dynamic Predicates in an Or--Parallel Prolog System. [Citation Graph (0, 0)][DBLP]
    ISLP, 1991, pp:355-371 [Conf]
  22. Zsolt Nagy, Gergely Lukácsy, Péter Szeredi
    Description logic reasoning using the PTTP approach. [Citation Graph (0, 0)][DBLP]
    Description Logics, 2006, pp:- [Conf]

  23. Ontology Based Information Integration Using Logic Programming. [Citation Graph (, )][DBLP]


  24. Prolog Based Description Logic Reasoning. [Citation Graph (, )][DBLP]


  25. Scalable Web Reasoning Using Logic Programming Techniques. [Citation Graph (, )][DBLP]


  26. Towards automatic semantic integration. [Citation Graph (, )][DBLP]


  27. Symposium of Young Scientists on Intellignet Systems --- Preface. [Citation Graph (, )][DBLP]


  28. Symposium of Young Scientists on Intelligent Systems --- Preface. [Citation Graph (, )][DBLP]


  29. Plagiarism Detection in Source Programs Using Structural Similarities. [Citation Graph (, )][DBLP]


  30. Optimizing Queries in a Logic-based Information Integration System [Citation Graph (, )][DBLP]


  31. Efficient Description Logic Reasoning in Prolog: The DLog system [Citation Graph (, )][DBLP]


Search in 0.028secs, Finished in 0.029secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002