Selected publications

1. Kozma L.: Proving the Correctness of Implementations of Shared Data Abstractions , Lecture Notes in Computer Science Vol. 137, (1982) pp. 227-241

2. Kozma L. - Laborczi Z.: On Implementation Problems of Shared Abstarct Data Types, Lecture Notes in Computer Science Vol. 152, (1983) pp. 146-152

3. Kozma L.: A Temporal Logic Approach to Shared Data Abstractions, Conference on Automata, Languages and Progr. Systems, Salgótarján, Hungary, (1986) pp. 160-172

4. Rácz É.: - Kozma L.: A temporal logic specification of a transaction management system, PU.M.A. Ser. A. Vol. 1 No. 3-4, (1990) pp. 369-374

5. F. Belik - L. Kozma - É. Rácz: A Transaction Manager Controlled by a Precedence Graph, Proc. of the Second Symposium on Programming Languages and Software Tools, University of Tampere Report A-1991-5, pp. 172-182

6. F. Belik - L. Kozma - D. Krznaric: Avoiding Deadlock and Starvation in a Distributed Resource Allocation System In: Proceedings of Int. Conference on Parallel And Distributed Systems, Taipei, ICADS'93 (1993) pp.112-117

7. Kozma, L. – Rácz, É.: A Specification Technique for Scheduling the Methods of Concurrent Objects, Annales Univ. Sci. Budapest., Sect. Comp. 17, (1998) pp. 253-268

8. L. Blum - L. Kozma: Implementation Problems of a New Synchronization-Scheme, Fifth Symposium on Programming Languages and Software Tools, Jyvaskyla, Finnland, 1997.

9. Kozma,L. – Lakner, T.: A Programming Language for Teaching Concurrent Object–Oriented Concepts, ECOOP 2000 Workshop 8: Tools and Environments for Understanding Object-Oriented Concepts, Sofia Antipolis, France, 2000.

10. Hajdara, Sz. – Kozma, L. – Ugron, B.: Synthesis of a System Composed by Many Similar Objects, Annales Univ. Sci. Budapest., Sect. Comp., 22 (2003) pp.127-150

11. B.Ugron – L. Kozma – Sz. Hajdara – L. Blum: Implementations of Synchronization of Concurrent Objects, Annales Univ. Sci. Budapest., Sect. Comp., 24 (2004) pp.79-102

12. B. Ugron - Sz. Hajdara – L. Kozma: Synthesis of synchronization of general pipeline systems, Acta Cybernetica 17 (2005) pp.123-151

13. L. Kozma- L. Varga: On the starvation problem of concurrent programs, PU.M.A. Vol. 15, No.2-3, (2004) pp. 203-212

14. L. Kozma-Á. Dávid-L. Varga: On the correctness of data type classes based on contracts, PU.M.A. Vol. 17. (2006) No. 3-4, pp. 251-261.

15. Ákos Dávid-László Kozma-Tamás Pozsgai: On the model checking of a system consisting of many similar components. Annales Univ. Sci. Budapest, Sect. Comp. 28 pp. 183-195, 2008