Romina Doz

According to our database, Romina Doz authored at least 3 papers between 2024 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

DeGAS: Gradient-Based Optimization of Probabilistic Programs without Sampling.

Francesca Randone, Romina Doz, Mirco Tribastone, Luca Bortolussi

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2026

2025

Evolutionary Synthesis of Probabilistic Programs.

Romina Doz, Francesca Randone, Eric Medvet, Luca Bortolussi

Proceedings of the Genetic and Evolutionary Computation Conference, 2025

2024

Towards a Probabilistic Programming Approach to Analyse Collective Adaptive Systems.

Francesca Randone, Romina Doz, Francesca Cairoli, Luca Bortolussi

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola, 2024