Lovro Lugovic

Orcid: 0000-0001-9684-9567

According to our database¹, Lovro Lugovic authored at least 5 papers between 2021 and 2023.

Collaborative distances:

Dijkstra number² of five.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2023

Real-World Choreographic Programming: An Experience Report.

[BibT_eX]

[DOI]

Lovro Lugovic

Fabrizio Montesi

CoRR, 2023

Certified Compilation of Choreographies with hacc.

[BibT_eX]

[DOI]

Luís Cruz-Filipe

Lovro Lugovic

Fabrizio Montesi

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2023

Modular Compilation for Higher-Order Functional Choreographies.

[BibT_eX]

[DOI]

Proceedings of the 37th European Conference on Object-Oriented Programming, 2023

2022

Functional Choreographic Programming.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing - ICTAC 2022, 2022

2021

Choreographies as Functions.

[BibT_eX]

[DOI]

CoRR, 2021

Lovro Lugovic

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...