Bejelentkezés
 Fórum


 Doktori képzés 

 Doktori védések 

 Honosított fokozatok 

 Habilitációs előadások 

 Dokumentumok 

 Kapcsolatok 
 
 
Személyi adatlap
 Nyomtatási kép
ARCHÍV OLDAL
Az adatok hitelességéről nyilatkozott: 2016. VIII. 31.
Személyes adatok
Kozma László
név Kozma László
intézmény neve
doktori iskola
ELTE Informatika Doktori Iskola (oktató)
doktori képzéssel kapcsolatos munkájának megoszlása ELTE Informatika Doktori Iskola 100%
adott-e már oktatóként valamely doktori iskolát működtető intézménynek akkreditációs nyilatkozatot? Eötvös Loránd Tudományegyetem
Elérhetőségek
drótpostacím kozmaludens.elte.hu
telefonszám +36 1 381-2139
saját honlap
Fokozat, cím
tudományos fokozat, cím CSc
fokozat megszerzésének éve 1982
fokozat tudományága matematika- és számítástudományok
fokozatot kiadó intézmény neve MTA
Jelenlegi munkahelyek
1983 - Eötvös Loránd Tudományegyetem
további (nyugdíjas)
Témavezetés
témavezetői tevékenysége során eddig vezetésére bízott doktoranduszok száma 9
ezek közül abszolutóriumot szerzettek száma 7
témavezetettjei közül fokozatot szereztek:
Medve Anna PhD 2014  IDI2-ELTE
Dávid Ákos PhD 2013  IDI2-ELTE
(50%) Gaceanu Radu Dan PhD 2012  IDI2-ELTE
Hajdara Szabolcs PhD 2008  IDI2-ELTE
Ugron Balázs PhD 2008  IDI2-ELTE
Szlávi Péter PhD 2005  IDI2-ELTE
Ulbert Attila PhD 2004  IDI2-ELTE
  Témakiírások
Kutatás
kutatási terület Programozás elmélete, objektumelvű és komponensalapú programozás párhuzamos környezetben is.
jelenlegi kutatásainak tudományága informatikai tudományok
Közlemények
2014

 Kozma László: A programok helyességéről, In: Szerk.: Csörnyei Zoltán Tízéves az ELTE Eötvös József Collegium Informatikai Műhelye: 2004-2014. Budapest: ELTE Eötvös József Collegium, 2014. pp. 248-276.
dokumentum típusa: Könyvrészlet/Konferenciaközlemény
nyelv: magyar
2013

 L Kozma, Gy Orbán: On semantic descriptions of software systems, ANNALES UNIVERSITATIS SCIENTIARUM BUDAPESTINENSIS DE ROLANDO EOTVOS NOMINATAE SECTIO COMPUTATORICA 41: (57) p. 71.
dokumentum típusa: Folyóiratcikk/Szakcikk
nyelv: angol
Teljes szöveg 
2013

 Kozma László, Orbán György: On semantic descriptions of software systems, ANNALES UNIVERSITATIS SCIENTIARUM BUDAPESTINENSIS DE ROLANDO EOTVOS NOMINATAE SECTIO COMPUTATORICA 41: pp. 57-71.
dokumentum típusa: Folyóiratcikk/Szakcikk
nyelv: angol
Teljes szöveg 
2012

 Orbán György, Kozma László: Defining contracts with different tools in software development, ANNALES UNIVERSITATIS SCIENTIARUM BUDAPESTINENSIS DE ROLANDO EOTVOS NOMINATAE SECTIO COMPUTATORICA 36: pp. 323-339.
dokumentum típusa: Folyóiratcikk/Szakcikk
nyelv: angol
Teljes szöveg 
2011

 Orbán György, Kozma László: Using Contracts for Developing and Testing Software Systems, In: Szerk.: Callaos Nagib, Szerk.: Chu Hsing-Wei, Szerk.: Horne Weremy, Szerk.: Welsch Friedrich Proceedings International Conference on Education, Informatics, and Cybernetics (ICEIC 2011).: International Symposium on Integrating Research, Education, and Problem Solving (IREPS 2011).. Orlando: [s. n.], 2011. pp. 67-72.
dokumentum típusa: Könyvrészlet/Konferenciaközlemény
nyelv: angol
Teljes szöveg 
2011

 Kozma László, Borsi Zsolt: Verifying Universal CTL* Properties by Checking the Properties on the Abstract Model of the System, In: Szerk.: Dobróka M, Szerk.: Bikfalvi P microCAD 2011, M szekció: XXV. International Scientific Conference. Miskolc: University of Miskolc Innovation and Technology Transfer Centre, 2011. pp. 13-18.
Alkalmazott informatika
dokumentum típusa: Könyvrészlet/Konferenciaközlemény
nyelv: angol
2011

 Kozma László, Borsi Zsolt: Model checking and testing, 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. 175-184.
dokumentum típusa: Könyvrészlet/Konferenciaközlemény
nyelv: angol
Teljes szöveg 
2007

 Dávid A, Pozsgai T, Kozma L: Extending a system with verified components, PERIODICA POLYTECHNICA-ELECTRICAL ENGINEERING 51: (3-4) pp. 133-139.
dokumentum típusa: Folyóiratcikk/Szakcikk
nyelv: angol
Teljes szöveg 
2005

 Ugron B, Hajdara S, Kozma L: Synthesis of the synchronization of general pipeline systems, ACTA CYBERNETICA-SZEGED 17: (1) pp. 123-151.
dokumentum típusa: Folyóiratcikk/Szakcikk
független idéző közlemények száma: 1
nyelv: angol
2004

 Kozma L, Varga L: On the starvation problem of concurrent programs, PURE MATHEMATICS AND APPLICATIONS SERIES C 15: (2-3) pp. 203-212 (2005).
dokumentum típusa: Folyóiratcikk/Szakcikk
nyelv: angol
Teljes szöveg 
a legjelentősebbnek tartott közleményekre kapott független hivatkozások száma:1 
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:
70
összes tudományos és felsőoktatási közleményének száma:
83
kiválasztható monográfiák és szakkönyvek:
1
monográfiák és szakkönyvek száma melyben fejezetet/részt írt:
3 
műszaki és/vagy művészeti alkotásainak száma:
0
összes tudományos közleményének és alkotásainak független idézettségi száma:
20

 
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ó: 2.2358 ( 2017. X. 31. )