On Measure Quantifiers in First-Order Arithmetic. - Melissa Antonelli; Ugo Dal Lago; Paolo Pistone (CiE, 2021)

On Counting Propositional Logic. - Melissa Antonelli; Ugo Dal Lago; Paolo Pistone (CoRR, 2021)

On Measure Quantifiers in First-Order Arithmetic (Long Version). - Melissa Antonelli; Ugo Dal Lago; Paolo Pistone (CoRR, 2021)

Two Remarks on Counting Propositional Logic. - Melissa Antonelli (BEWARE@AI*IA, 2022)

Curry and Howard Meet Borel. - Melissa Antonelli; Ugo Dal Lago; Paolo Pistone (LICS, 2022)

Some Remarks on Counting Propositional Logic. - Melissa Antonelli (CoRR, 2022)

Towards a Logical Foundation of Randomized Computation. - Melissa Antonelli (BEWARE@AI*IA, 2023)

An Arithmetic Theory for the Poly-Time Random Functions. - Melissa Antonelli; Ugo Dal Lago; Davide Davoli 001; Isabel Oitavem; Paolo Pistone (CoRR, 2023)

On counting propositional logic and Wagner's hierarchy. - Melissa Antonelli; Ugo Dal Lago; Paolo Pistone (Theor. Comput. Sci., 2023)

On the Proof Theory of Apodictic Syllogistic. - Melissa Antonelli; Jan von Plato (AiML, 2024)

Enumerating Error Bounded Polytime Algorithms Through Arithmetical Theories. - Melissa Antonelli; Ugo Dal Lago; Davide Davoli 001; Isabel Oitavem; Paolo Pistone (CSL, 2024)

Towards New Characterizations of Small Circuit Classes via Discrete Ordinary Differential Equations (short paper). - Melissa Antonelli; Arnaud Durand 001; Juha Kontinen (ICTCS, 2024)

A New Characterization of FAC⁰ via Discrete Ordinary Differential Equations. - Melissa Antonelli; Arnaud Durand 001; Juha Kontinen (MFCS, 2024)

Towards logical foundations for probabilistic computation. - Melissa Antonelli; Ugo Dal Lago; Paolo Pistone (Ann. Pure Appl. Log., 2024)

On Randomized Computational Models and Complexity Classes: a Historical Overview. - Melissa Antonelli; Ugo Dal Lago; Paolo Pistone (CoRR, 2024)

Towards a Logical Foundation of Randomized Computation: Doctoral Thesis Abstract. - Melissa Antonelli (Künstliche Intell., 2024)

Characterizing Small Circuit Classes from FAC⁰ to FAC¹ via Discrete Ordinary Differential Equations. - Melissa Antonelli; Arnaud Durand 001; Juha Kontinen (MFCS, 2025)

Characterizing Small Circuit Classes from FAC^0 to FAC^1 via Discrete Ordinary Differential Equations. - Melissa Antonelli; Arnaud Durand 001; Juha Kontinen (CoRR, 2025)