Melissa Antonelli

According to our database, Melissa Antonelli authored at least 10 papers between 2021 and 2024.

Collaborative distances:

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

2024

Enumerating Error Bounded Polytime Algorithms Through Arithmetical Theories.

Melissa Antonelli, Ugo Dal Lago, Davide Davoli, Isabel Oitavem, Paolo Pistone

Proceedings of the 32nd EACSL Annual Conference on Computer Science Logic, 2024

2023

On counting propositional logic and Wagner's hierarchy.

Melissa Antonelli, Ugo Dal Lago, Paolo Pistone

Theor. Comput. Sci., 2023

An Arithmetic Theory for the Poly-Time Random Functions.

Melissa Antonelli, Ugo Dal Lago, Davide Davoli, Isabel Oitavem, Paolo Pistone

CoRR, 2023

Towards a Logical Foundation of Randomized Computation.

Melissa Antonelli

Proceedings of the 2nd Workshop on Bias, 2023

2022

Some Remarks on Counting Propositional Logic.

Melissa Antonelli

CoRR, 2022

Curry and Howard Meet Borel.

Melissa Antonelli, Ugo Dal Lago, Paolo Pistone

Proceedings of the LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, August 2, 2022

Two Remarks on Counting Propositional Logic.

Melissa Antonelli

Proceedings of 1st Workshop on Bias, 2022

2021

On Measure Quantifiers in First-Order Arithmetic (Long Version).

Melissa Antonelli, Ugo Dal Lago, Paolo Pistone

CoRR, 2021

On Counting Propositional Logic.

Melissa Antonelli, Ugo Dal Lago, Paolo Pistone

CoRR, 2021

On Measure Quantifiers in First-Order Arithmetic.

Melissa Antonelli, Ugo Dal Lago, Paolo Pistone

Proceedings of the Connecting with Computability, 2021