Péter Szeredi

13 papers and 165 indexed citations i.

Péter Szeredi has authored 13 papers that have received a total of 165 indexed citations. This includes 7 papers in Artificial Intelligence, 2 papers in Computer Networks and Communications and 2 papers in Computational Theory and Mathematics. The topics of these papers are Logic, programming, and type systems (5 papers), Semantic Web and Ontologies (4 papers) and Logic, Reasoning, and Knowledge (4 papers). Péter Szeredi is often cited by papers focused on Logic, programming, and type systems (5 papers), Semantic Web and Ontologies (4 papers) and Logic, Reasoning, and Knowledge (4 papers) and collaborates with scholars based in Hungary, Sweden and United Kingdom. Péter Szeredi's co-authors include David H. Warren, Ewing Lusk, Rick Stevens, Mats Carlsson and Ross Overbeek and has published in prestigious journals such as Future Generation Computer Systems, Lecture notes in computer science and Science of Computer Programming