Paola Glavan

• semantics of programming languages
• Abstract State Machines
• concurrent and distributed programming
• Java memory model

Publications

Znanstveni radovi

1. Communicating Evolving Algebras (zajedno s D. Rosenzweig), Computer Science Logic, Selected Papers from CSL.92 (eds. E. Börger, S. Martini, G.Jäger, H.Kleine Büning, M. M. Richter), Springer LNCS 702, 1993, str. 186-215
2. Evolving Algebras Model of Programming Language Semantics (zajedno s D. Rosenzweig), IFIP 13th World Computer Congress 1994, eds. B.Pehrson, I.Simon, North-Holland 1994, str. 416-422.
3. Towards a Mathematical Specification of the APE100 Architecture: The APESE Model (zajedno s E.Börger, G.Del Castillo i D. Rosenzweig ), IFIP 13thWorld Computer Congress 1994, eds. B.Pehrson, I.Simon, North-Holland 1994, str. 396- 401.
4. Nonatomic Runs of Distributed Evolving Algebras (zajedno s D. Rosenzweig), Proceedings of the 16th International Conference on Information Technology Interfaces, SRCE, Zagreb 1994, str. 373-378.
5. Semantička analiza istodobnih logičkih programskih jezika, Magistarski rad, PMF, Zagreb 1993.
6. Towards Distributed Algorithms: A Case Study of the Java Memory Model (zajedno s M. Botinčan i D. Runje), In The 14th International ASM Workshop, Grimstad, Norway, 2007.
7. An ASM-based Approach to Modeling Memory Models (zajedno s M. Botinčan i D. Runje), submitted to JUCS, 2007.

Apstrakt

1. Evolving Algebras and Light Linear Logic. Bulletin of Symbolic Logic 3 (1997), 116.

Stručni radovi

1. Monte-Carlo Metoda: primjena u numeričkoj integraciji, Diplomski rad, PF Rijeka, 1989.
2. Monte-Carlo Metoda: primjena u numeričkoj integraciji, (zajednos s Z. Kaliman, u: Zbornik Pedagoškog fakulteta u Rijeci, 11/91.