Romina Doz

According to our database, Romina Doz authored at least 2 papers between 2024 and 2025.

Collaborative distances:

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

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