Concepedia

Péter Szeredi

PS

Statistics

Publications

6

Citations

209

H-Index

6

Active since

1978

Affiliations

Swedish Institute(Current)

Péter Szeredi is an author at Swedish Institute specializing in computer science, engineering, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsLogic ProgrammingParallel ComputingAutomated ReasoningParallel ProgrammingLanguageSemanticsParallel Complexity Theory

Publications per year

1978–2009

6

Publications

6

The Aurora or-parallel Prolog system

Ewing Lusk, Ralph Butler, Robert Olson et al. · New Generation Computing · 1990 · 67 citations · Full text

Computational Logic, Engineering, Automated Reasoning +6

Scheduling Or-parallelism in Aurora: The Manchester Scheduler.

Alan Calderwood, Péter Szeredi · International Conference on Lightning Protection · 1989 · 45 citations

Job Scheduler, Manchester Scheduler, Engineering +7

Performance Analysis of the Aurora Or-Parallel Prolog System.

Péter Szeredi · 1989 · 42 citations

Engineering, Performance Analysis, Parallel Complexity Theory +5

Efficient description logic reasoning in Prolog: The DLog system

Gergely Lukácsy, Péter Szeredi · Theory and Practice of Logic Programming · 2009 · 32 citations

Engineering, Well-founded Semantics, Semantics +16

Logic-based program system for predicting drug interactions

Ferenç Darvas, Iván Futó, Péter Szeredi · International Journal of Bio-Medical Computing · 1978 · 12 citations

Drug Interactions, Logic-based Program System, Drug Intelligence +6

1–5 of 6