Lovro Lugovic

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 7

Top Topics

Knowledge Compilation

Technical Support

Functional Analysis

Top Venues

Publications

Lovro Lugovic, Fabrizio Montesi
Real-World Choreographic Programming: Full-Duplex Asynchrony and Interoperability. Art Sci. Eng. Program. 8 (2) (2024)
Lovro Lugovic, Fabrizio Montesi
Real-World Choreographic Programming: An Experience Report. CoRR (2023)
Luís Cruz-Filipe, Lovro Lugovic, Fabrizio Montesi
Certified Compilation of Choreographies with hacc. CoRR (2023)
Luís Cruz-Filipe, Eva Graversen, Lovro Lugovic, Fabrizio Montesi, Marco Peressotti
Modular Compilation for Higher-Order Functional Choreographies. ECOOP (2023)
Luís Cruz-Filipe, Lovro Lugovic, Fabrizio Montesi
Certified Compilation of Choreographies with hacc. FORTE (2023)
Luís Cruz-Filipe, Eva Graversen, Lovro Lugovic, Fabrizio Montesi, Marco Peressotti
Functional Choreographic Programming. ICTAC (2022)
Luís Cruz-Filipe, Eva Graversen, Lovro Lugovic, Fabrizio Montesi, Marco Peressotti
Choreographies as Functions. CoRR (2021)