Login
 Forum
 
 
Personal data sheet
 Print preview
personal data approved: 2017. VI. 18.
Personal data
Péter Szeredi
name Péter Szeredi
year of birth 1949
name of institution
doctoral school
BME Doctoral School of Mathematics and Computer Science (Academic staff member)
BME Doctoral School of Informatics (Academic staff member)
the share of work in the different doctoral schools. BME Doctoral School of Mathematics and Computer Science 20%
BME Doctoral School of Informatics 80%
accreditation statement submitted to: Budapest University of Technology and Economics
Contact details
E-mail address szeredics.bme.hu
phone number +36 1 463-2986
own web page
Academic title
scientific degree, title Ph.D.
year degree was obtained 1998
discipline to which degree belongs computer sciences
institution granting the degree Budapesti Műszaki és Gazdaságtudományi Egyetem (to be translated)
Employment
1997 - Budapest University of Technology and Economics
university professor or researcher
Thesis topic supervisor
number of doctoral students supervised until now 7
number of students who fulfilled course requirements 4
students who obtained their degrees:
Zsolt Zombori PhD 2013  DSI-BME
Gergely Lukácsy PhD 2008  DSI-BME

  Thesis topic proposals
Research
research area Declarative and logic programming, constraint programming, Prolog The Semantic Web and its mathematical foundations Parallel programming Implementation of programming languages
research field in which current research is conducted mathematics and computing
computer sciences
Publications
2014

Péter Szeredi, Gergely Lukácsy, Tamás Benkő : The Semantic Web Explained, Cambridge: Cambridge University Press, 471 p.
type of document: Book/Monography
language: English
DOI 
2012

Zombori Zsolt, Szeredi Péter: Loop Elimination, a Sound Optimisation Technique for PTTP related Theorem Proving, ACTA CYBERNETICA-SZEGED 20: pp. 441-458.
type of document: Journal paper/Article
language: English
Full text 
2012

Zombori Zsolt, Csorba János, Szeredi Péter: Static Type Inference for the Q language using Constraint Logic Programming, In: Szerk.: Agostino Dovier, Szerk.: Vitor Santos Costa Technical Communications of the 28th International Conference on Logic Programming (ICLP'12): Leibniz International Proceedings in Informatics (LIPIcs). Dagstuhl: Schloss Dagstuhl Leibniz-Zentrum für Informatik, 2012. pp. 119-129. (Technical Communications of the 28th International Conference on Logic Programming (ICLP'12))
Leibniz International Proceedings in Informatics (LIPIcs)
type of document: Part of book/Proceedings Paper
language: English
Full text 
2012

Zombori Zsolt, Csorba János, Szeredi Péter: Static Type Inference as a Constraint Satisfaction Problem, In: Proceedings of the TAMOP PhD Workshop.Budapest, Magyarország, 2012.03.09 Paper B11. Kiadvány: 2012.
type of document: Conference paper/Előadás vagy poszter cikke
language: English
Full text 
2011

Zombori Zsolt, Csorba János, Szeredi Péter: Static Type Checking for the Q Functional Language in Prolog, In: Szerk.: Gallagher John P, Szerk.: Gelfond Michael 27th International Conference on Logic Programming (ICLP'11): Technical Communications. Wadern: Schloss Dagstuhl Leibniz-Zentrum für Informatik, 2011. pp. 62-72. (27th International Conference on Logic Programming (ICLP'11))
Technical Communications
type of document: Part of book/Proceedings Paper
language: English
Full text 
2009

Gergely Lukácsy, Péter Szeredi: Plagiarism detection in source programs using structural similarities, ACTA CYBERNETICA-SZEGED 19: (1) pp. 191-216.
type of document: Journal paper/Article
number of independent citations: 1
language: English
Full text 
2009

Lukacsy G, Szeredi P: Efficient description logic reasoning in Prolog: The DLog system, THEORY AND PRACTICE OF LOGIC PROGRAMMING 9: pp. 343-414.
type of document: Journal paper/Article
number of independent citations: 16
language: English
DOI 
2009

Gergely Lukácsy, Péter Szeredi: Scalable Web Reasoning Using Logic Programming Techniques, LECTURE NOTES IN COMPUTER SCIENCE 5837: pp. 102-117.
type of document: Journal paper/Article
number of independent citations: 4
language: English
DOI 
2009

Gergely Lukácsy, Péter Szeredi: Combining Description Logics and Object Oriented Models in an Information Framework, PERIODICA POLYTECHNICA-ELECTRICAL ENGINEERING 53: (1-2) pp. 17-30.
type of document: Journal paper/Article
language: English
Full text 
1983

Kálmán Balogh, Zsuzsa Farkas, Edit Sántáné-Tóth, Péter Szeredi: Software Development in LDM, LECTURE NOTES IN COMPUTER SCIENCE 152: pp. 56-83.
type of document: Journal paper/Article
language: English
DOI 
Number of independent citations to these publications:21 
Scientometric data
list of publications and citations
number of scientific publications that meet accreditation criteria:
80
number of scientific publications:
97
monographs and professional books:
3
monographs/books in which chapters/sections were contributed:
40 
number of independent citations to scientific publications and creative works:
382

 
All rights reserved © 2007, Hungarian Doctoral Council. Doctoral Council registration number at commissioner for data protection: 02003/0001. Program version: 1.2357 ( 2017. V. 15. )