Bejelentkezés
 Fórum
 
 
Személyi adatlap
 Nyomtatási kép
Az adatok hitelességéről nyilatkozott: 2016. IX. 14.
Személyes adatok
név Tejfel Máté
születési év 1977
intézmény neve
doktori iskola
ELTE Informatika Doktori Iskola (témavezető)
Elérhetőségek
drótpostacím matejinf.elte.hu
telefonszám +36 1 381-2319
Fokozat, cím
tudományos fokozat, cím PhD
fokozat megszerzésének éve 2009
fokozat tudományága informatikai tudományok
fokozatot kiadó intézmény neve Eötvös Lóránd Tudományegyetem
Jelenlegi munkahelyek
2003 - Eötvös Loránd Tudományegyetem
egyetemi oktató
Témavezetés
témavezetői tevékenysége során eddig vezetésére bízott doktoranduszok száma 4
ezek közül abszolutóriumot szerzettek száma 1
témavezetettjei közül fokozatot szereztek:
abszolutóriumot szerzett, de nincs folyamatban doktori cselekmény és nincs fokozat:
(50%) Kőszegi Judit (PhD) 2013/08  IDI2-ELTE
(50%) Leskó Dániel (PhD) 2013/08  IDI2-ELTE
Karácsony Máté (PhD) 2016/08  IDI2-ELTE
jelenlegi doktorandusz hallgatói az abszolutórium várható évével:
Buday Gergely (PhD) (2017/08)  IDI2-ELTE
Németh Boldizsár (PhD) (2017/08)  IDI2-ELTE
  Témakiírások
Kutatás
kutatási terület Helyességvizsgálat, funkcionális programozás, párhuzamos programozás
jelenlegi kutatásainak tudományága informatikai tudományok
Közlemények
2013

Leskó Dániel, dr Tejfel Máté: Testing framework for embedded languages, COMPUTER SCIENCE AND INFORMATION SYSTEMS 10: (4) pp. 1647-1659.
dokumentum típusa: Folyóiratcikk/Szakcikk
nyelv: angol
2013

Gergely Dévai, Máté Tejfel, Dániel Leskó: The EDSL's struggle for their sources, In: Domain Specific Languages Summer School.Cluj-Napoca, Románia, 2013.07.08-2013.07.20. pp. & Kiadvány: 2013.
dokumentum típusa: Konferenciacikk/Előadás vagy poszter cikke
nyelv: angol
Teljes szöveg 
2013

Gergely Dévai, Dániel Leskó, Máté Tejfel: Embedding and Parsing Combined for Efficient Language Design, In: International Conference on Software Engineering and Applications (ICSOFT-EA 2013).Reykjavik, Izland, 2013.07.29-2013.07.31. SciTePress, pp. 244-250. Kiadvány: SciTePress, 2013.
dokumentum típusa: Konferenciacikk/Előadás vagy poszter cikke
nyelv: angol
2012

Máté Tejfel, Melinda Tóth, István Bozó, Dániel Horpácsi, Zoltán Horváth: Improving quality of software analyser and transformer tools using specification based testing, ANNALES UNIVERSITATIS SCIENTIARUM BUDAPESTINENSIS DE ROLANDO EOTVOS NOMINATAE SECTIO COMPUTATORICA 37: pp. 355-368.
dokumentum típusa: Folyóiratcikk/Szakcikk
nyelv: angol
Teljes szöveg 
2012

Dániel Leskó, Máté Tejfel: A DOMAIN BASED NEW CODE COVERAGE METRIC AND A RELATED AUTOMATED TEST DATA GENERATION METHOD, ANNALES UNIVERSITATIS SCIENTIARUM BUDAPESTINENSIS DE ROLANDO EOTVOS NOMINATAE SECTIO COMPUTATORICA 36: pp. 217-240.
dokumentum típusa: Folyóiratcikk/Szakcikk
nyelv: angol
Teljes szöveg 
2011

Bozó I, Horpácsi D, Horváth Z, Kitlei R, Köszegi J, Tejfel M, Tóth M: RefactorErl - Source Code Analysis and Refactoring in Erlang, In: Szerk.: Jaan Phenjam 12th Symposium on Programming Languages and Software Tools. Tallinn: TUT Press, 2011. pp. 138-148.
dokumentum típusa: Könyvrészlet/Konferenciaközlemény
nyelv: angol
2011

Bozó I, Tóth M, Tejfel M, Horpácsi D, Kitlei R, Kőszegi J, Horváth Z: Using impact analysis based knowledge for validating refactoring steps, In:Szerk.: Militon Frentiu, Szerk.: Horia F Pop, Szerk.: Simona Motogna International Conference on Knowledge Engineering, Principles and Techniques, KEPT 2011, Selected papers.Cluj-Napoca, Románia, 2011.07.04-2011.07.06. Cluj-Napoca: Presa Universitara Clujeana, pp. 325-336. Kiadvány: Cluj-Napoca: Presa Universitara Clujeana, 2011.
dokumentum típusa: Konferenciacikk/Előadás vagy poszter cikke
nyelv: angol
2011

Horváth Zoltán, Bozó István, Tóth Melinda, Tejfel Máté: FIRST ORDER FLOW ANALYSIS FOR ERLANG, In: Szerk.: Horia F Pop, Szerk.: Antal Bege 8th Joint Conference on Mathematics and Computer Science: MaCS 2010 : Komárno, Slovakia, July 14-17, 2010 : selected papers. Győr: Novadat, 2011. pp. 403-416.
dokumentum típusa: Könyvrészlet/Konferenciaközlemény
nyelv: angol
Teljes szöveg 
2011

Bozó I, Tóth M, Tejfel M, Horpácsi D, Kitlei R, Kőszegi J, Horváth Z: Using impact analysis based knowledge for validating refactoring steps, STUDIA UNIVERSITATIS BABES-BOLYAI SERIES INFORMATICA 56: (3) pp. 57-64.
dokumentum típusa: Folyóiratcikk/Szakcikk
nyelv: angol
Teljes szöveg 
2006

Tejfel M, Horváth Z, Kozsik T: Temporal properties of clean programs proven in Sparkle-T, LECTURE NOTES IN COMPUTER SCIENCE 4164 LNCS: pp. 168-190.
dokumentum típusa: Folyóiratcikk/Szakcikk
független idéző közlemények száma: 3
nyelv: angol
DOI 
a legjelentősebbnek tartott 10 közleményre kapott független hivatkozások száma:
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:
38
összes tudományos és felsőoktatási közleményének száma:
46
kiválasztható monográfiák és szakkönyvek:
0
monográfiák és szakkönyvek száma melyben fejezetet/részt írt:
2 
műszaki és/vagy művészeti alkotásainak száma:
0
külföldön megjelent, figyelembe vehető tudományos közleményei:
19
hazai kiadású, figyelembe vehető idegen nyelvű közleményei:
13
összes tudományos közleményének és alkotásainak független idézettségi száma:
46

 
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.2318 ( 2016. XI. 26. )