| The Aurora or-parallel Prolog system E Lusk, R Butler, T Disz, R Olson, R Overbeek, R Stevens, DHD Warren, ... New Generation Computing 7, 243-271, 1990 | 438 | 1990 |
| Scheduling Or-parallelism in Aurora: The Manchester Scheduler. A Calderwood, P Szeredi ICLP 89, 419-435, 1989 | 85 | 1989 |
| Performance Analysis of the Aurora Or-Parallel Prolog System. P Szeredi NACLP 89, 713-732, 1989 | 78 | 1989 |
| Flexible scheduling of OR-parallelism in Aurora: The Bristol scheduler A Beaumont, SM Raman, P Szeredi, DHD Warren Parle’91 Parallel Architectures and Languages Europe: Volume I: Parallel …, 1991 | 70 | 1991 |
| Analysis of shared data structures for compile-time garbage collection in logic programs A Mulkers, M Bruynooghe, W Winsborough Argonne National Lab.(ANL), Argonne, IL (United States), 1990 | 54 | 1990 |
| Efficient description logic reasoning in Prolog: the DLog system G Lukácsy, P Szeredi Theory and Practice of Logic Programming 9 (3), 343-414, 2009 | 49 | 2009 |
| The semantic web explained: The technology and mathematics behind web 3.0 P Szeredi, G Lukácsy, T Benkő Cambridge University Press, 2014 | 42 | 2014 |
| Serving multiple HTML clients from a Prolog application P Szeredi, K Molnár, R Scott Proceedings of the 1st Workshop on Logic Programming Tools for INTERNET …, 1996 | 35 | 1996 |
| A practical technique for detecting non-terminating queries for a restricted class of Horn clauses, using directed, weighted graphs DD Schreye, K Verschaetse, M Bruynooghe Logic programming, 649-663, 1990 | 34 | 1990 |
| The application of PROLOG to the development of QA and DBM systems I Futo, F Darvas, P Szeredi Logic and Data Bases, 347-376, 1977 | 31 | 1977 |
| Prolog applications in Hungary E Santane-Toth, P Szeredi Logic Programming, Academic Press, London, 19-32, 1982 | 30 | 1982 |
| The MPROLOG system J Bendl, P Koves, P Szeredi Logic Programming Workshop, 201-209, 1980 | 25 | 1980 |
| Prolog in Practice. B Dömölki, P Szeredi IFIP Congress, 627-636, 1983 | 22 | 1983 |
| Module concepts for PROLOG P Szeredi Proc. Workshop on Prolog Programming Environments, Linkoping, 69-80, 1982 | 22 | 1982 |
| A szemantikus világháló elmélete és gyakorlata P Szeredi, G Lukácsy, T BENKŐ Budapest: Typotex, 2005 | 20 | 2005 |
| Interfacing engines and schedulers in or-parallel Prolog systems P Szeredi, R Yang, M Carlsson PARLE'91 Parallel Architectures and Languages Europe: Volume II: Parallel …, 1991 | 17 | 1991 |
| Logic-based program system for predicting drug interactions F Darvas, I Futó, P Szeredi International Journal of Bio-Medical Computing 9 (4), 259-271, 1978 | 16 | 1978 |
| Translating description logic queries to Prolog Z Nagy, G Lukácsy, P Szeredi Practical Aspects of Declarative Languages: 8th International Symposium …, 2006 | 15 | 2006 |
| A szemantikus világháló elmélete és gyakorlata S Péter, N Zsolt, L Gergely, B Tamás Typotex, 2005 | 15 | 2005 |
| Using Dynamic Predicates in an Or--Parallel Prolog System. P Szeredi ISLP, 355-371, 1991 | 15 | 1991 |
Mats CarlssonRISE Research Institutes of SwedenVerified email at ri.se
