Bejelentkezés
 Fórum
 
 
Személyi adatlap
 Nyomtatási kép
Az adatok hitelességéről nyilatkozott: 2016. VIII. 31.
Személyes adatok
Kozma László
név Kozma László
születési év 1948
intézmény neve
doktori iskola
ELTE Informatika Doktori Iskola (oktató)
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

abszolutóriumot szerzett, de nincs folyamatban doktori cselekmény és nincs fokozat:
Borsi Zsolt (PhD) 2011/08  IDI2-ELTE
Orbán György (PhD) 2013/08  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
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 
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 
2008

Dávid Á, Kozma L, Pozsgai T: On the model checking of a system consisting of many similar components, ANNALES UNIVERSITATIS SCIENTIARUM BUDAPESTINENSIS DE ROLANDO EOTVOS NOMINATAE SECTIO COMPUTATORICA 28: pp. 183-195.
dokumentum típusa: Folyóiratcikk/Szakcikk
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 
2006

Dávid Ákos, Kozma László, Varga László: On the correctness of data type classes based on contracts, PURE MATHEMATICS AND APPLICATIONS 17: (3-4) pp. 251-261.
dokumentum típusa: Folyóiratcikk/Szakcikk
nyelv: angol
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 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:
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ó: 1.2318 ( 2016. XI. 26. )