Bejelentkezés
 Fórum
 
 
Személyi adatlap
 Nyomtatási kép
Az adatok hitelességéről nyilatkozott: 2016. IV. 18.
Személyes adatok
Szeredi Péter
név Szeredi Péter
születési év 1949
intézmény neve
doktori iskola
BME Matematika- és Számítástudományok Doktori Iskola (oktató)
BME Informatikai Tudományok Doktori Iskola (oktató)
doktori képzéssel kapcsolatos munkájának megoszlása BME Matematika- és Számítástudományok Doktori Iskola 20%
BME Informatikai Tudományok Doktori Iskola 80%
adott-e már oktatóként valamely doktori iskolát működtető intézménynek akkreditációs nyilatkozatot? Budapesti Műszaki és Gazdaságtudományi Egyetem
Elérhetőségek
drótpostacím szeredics.bme.hu
telefonszám +36 1 463-2986
saját honlap
saját honlap (angol)
Fokozat, cím
tudományos fokozat, cím PhD
fokozat megszerzésének éve 1998
fokozat tudományága informatikai tudományok
fokozatot kiadó intézmény neve Budapesti Műszaki és Gazdaságtudományi Egyetem
Jelenlegi munkahelyek
1997 - Budapesti Műszaki és Gazdaságtudományi Egyetem
egyetemi oktató
Témavezetés
témavezetői tevékenysége során eddig vezetésére bízott doktoranduszok száma 7
ezek közül abszolutóriumot szerzettek száma 4
témavezetettjei közül fokozatot szereztek:
Zombori Zsolt PhD 2013  ITDI-BME
Lukácsy Gergely PhD 2008  ITDI-BME

  Témakiírások
Kutatás
kutatási terület Deklaratív és logikai programozás, korlát-programozás (constraint programming), Prolog. A szemantikus világháló és matematikai alapjai. Párhuzamos programozás. Programozási nyelvek megvalósítása.
jelenlegi kutatásainak tudományága matematika- és számítástudományok
informatikai tudományok
Közlemények
2014

Péter Szeredi, Gergely Lukácsy, Tamás Benkő : The Semantic Web Explained, Cambridge: Cambridge University Press, 471 p.
dokumentum típusa: Könyv/Szakkönyv
nyelv: angol
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.
dokumentum típusa: Folyóiratcikk/Szakcikk
nyelv: angol
Teljes szöveg 
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)
dokumentum típusa: Könyvrészlet/Konferenciaközlemény
nyelv: angol
Teljes szöveg 
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.
dokumentum típusa: Konferenciacikk/Előadás vagy poszter cikke
nyelv: angol
Teljes szöveg 
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
dokumentum típusa: Könyvrészlet/Konferenciaközlemény
nyelv: angol
Teljes szöveg 
2009

Gergely Lukácsy, Péter Szeredi: Plagiarism detection in source programs using structural similarities, ACTA CYBERNETICA-SZEGED 19: (1) pp. 191-216.
dokumentum típusa: Folyóiratcikk/Szakcikk
független idéző közlemények száma: 1
nyelv: angol
Teljes szöveg 
2009

Lukacsy G, Szeredi P: Efficient description logic reasoning in Prolog: The DLog system, THEORY AND PRACTICE OF LOGIC PROGRAMMING 9: pp. 343-414.
dokumentum típusa: Folyóiratcikk/Szakcikk
független idéző közlemények száma: 16
nyelv: angol
DOI 
2009

Gergely Lukácsy, Péter Szeredi: Scalable Web Reasoning Using Logic Programming Techniques, LECTURE NOTES IN COMPUTER SCIENCE 5837: pp. 102-117.
dokumentum típusa: Folyóiratcikk/Szakcikk
független idéző közlemények száma: 4
nyelv: angol
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.
dokumentum típusa: Folyóiratcikk/Szakcikk
nyelv: angol
Teljes szöveg 
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.
dokumentum típusa: Folyóiratcikk/Szakcikk
nyelv: angol
DOI 
a legjelentősebbnek tartott 10 közleményre kapott független hivatkozások száma:21 
Tudománymetriai adatok
Tudományos közlemény- és idézőlista mycite adattárban
a 10 válogatott közlemény közé kiválasztható közleményeinek száma:
80
összes tudományos és felsőoktatási közleményének száma:
97
kiválasztható monográfiák és szakkönyvek:
3
monográfiák és szakkönyvek száma melyben fejezetet/részt írt:
40 
összes tudományos közleményének és alkotásainak független idézettségi száma:
382

 
Minden jog fenntartva © 2007, Országos Doktori Tanács - a doktori adatbázis nyilvántartási száma az adatvédelmi biztosnál: 02003/0001. Program verzió: 1.2357 ( 2017. V. 15. )