László Kozma - ODT Personal data sheet


	Login Forum Organisation officers member institutions resolutions (in Hung.) by-laws (in Hung.) regulations Doctoral program doctoral schools by institution by research field by number ceased working academic staff member by name by research topic archives thesis topic proposals by doctoral school by research field by research topic supervision of PhD students search students Theses defended by institution by research field by name by date by doctoral school Naturalized degrees by institution by research field by name by date Habilitation presentations by institution by branch of science by name Documents (all in Hung.) public documents news legal backgrounds guidelines Contacts contact details partners

Personal data sheet

Print preview

VALIDITY EXPIRED
personal data approved: 2016. VIII. 31.

Personal data

name	László Kozma
name of institution	Eötvös Loránd University, Budapest
doctoral school	ELTE Doctoral School of Informatics (Academic staff member Az oktató a doktori iskola doktoranduszai számára oktat tantárgyat, és/vagy a doktori iskola megszavazta, hogy doktoranduszok számára kutatási témát írjon ki. )
the share of work in the different doctoral schools.	ELTE Doctoral School of Informatics 100%
accreditation statement submitted to:	Eötvös Loránd University, Budapest

Contact details
E-mail address	kozmaludens.elte.hu
phone number	+36 1 381-2139
	own web page

Academic title
scientific degree, title	CSc
year degree was obtained	1982
discipline to which degree belongs	mathematics and computing
institution granting the degree	HAS

Employment
1983 -	Eötvös Loránd University, Budapest other (not specified) (nyugdíjas)

Thesis topic supervisor

number of doctoral students supervised until now

number of students who fulfilled course requirements

students who obtained their degrees:

	Anna Medve	PhD	2014	IDI2-ELTE
	Ákos Dávid	PhD	2013	IDI2-ELTE
(50%)	Radu Dan Gaceanu	PhD	2012	IDI2-ELTE
	Balázs Ugron	PhD	2008	IDI2-ELTE
	Szabolcs Hajdara	PhD	2008	IDI2-ELTE
	Péter Szlávi	PhD	2005	IDI2-ELTE
	Attila Ulbert	PhD	2004	IDI2-ELTE

Thesis topic proposals

Research
research area	Theory of programming, object-oriented modelling and design and component based software development.
research field in which current research is conducted	computer sciences

Publications

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.
type of document: Part of book/Proceedings Paper
language: Hungarian

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.
type of document: Journal paper/Article
language: English
Full text

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.
type of document: Journal paper/Article
language: English
Full text

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.
type of document: Journal paper/Article
language: English
Full text

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.
type of document: Part of book/Proceedings Paper
language: English
Full text

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
type of document: Part of book/Proceedings Paper
language: English

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.
type of document: Part of book/Proceedings Paper
language: English
Full text

2007

Dávid A, Pozsgai T, Kozma L: Extending a system with verified components, PERIODICA POLYTECHNICA-ELECTRICAL ENGINEERING 51: (3-4) pp. 133-139.
type of document: Journal paper/Article
language: English
Full text

2005

Ugron B, Hajdara S, Kozma L: Synthesis of the synchronization of general pipeline systems, ACTA CYBERNETICA-SZEGED 17: (1) pp. 123-151.
type of document: Journal paper/Article
number of independent citations: 1
language: English

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).
type of document: Journal paper/Article
language: English
Full text

Number of independent citations to these publications:

Scientometric data

list of publications and citations

number of scientific publications that meet accreditation criteria:

number of scientific publications:

monographs and professional books:

monographs/books in which chapters/sections were contributed:

art/engineering creative works:

number of independent citations to scientific publications and creative works: