Melissa Antonelli

Publication Activity (10 Years)

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

Top Topics

Belief Revision

Logical Foundations

Ordinary Differential Equations

Propositional Logic

Top Venues

Publications

Melissa Antonelli, Ugo Dal Lago, Davide Davoli, Isabel Oitavem, Paolo Pistone
Enumerating Error Bounded Polytime Algorithms Through Arithmetical Theories. CSL (2024)
Melissa Antonelli, Ugo Dal Lago, Paolo Pistone
Towards logical foundations for probabilistic computation. Ann. Pure Appl. Log. 175 (9) (2024)
Melissa Antonelli, Arnaud Durand, Juha Kontinen
A New Characterization of FAC⁰ via Discrete Ordinary Differential Equations. MFCS (2024)
Melissa Antonelli, Ugo Dal Lago, Davide Davoli, Isabel Oitavem, Paolo Pistone
An Arithmetic Theory to Characterize Poly-Time Random Functions. CoRR (2023)
Melissa Antonelli, Ugo Dal Lago, Paolo Pistone
On counting propositional logic and Wagner's hierarchy. Theor. Comput. Sci. (2023)
Melissa Antonelli
Towards a Logical Foundation of Randomized Computation. BEWARE@AI*IA (2023)
Melissa Antonelli, Ugo Dal Lago, Davide Davoli, Isabel Oitavem, Paolo Pistone
Enumerating Error Bounded Polytime Algorithms Through Arithmetical Theories. CoRR (2023)
Melissa Antonelli
Some Remarks on Counting Propositional Logic. CoRR (2022)
Melissa Antonelli, Ugo Dal Lago, Paolo Pistone
Curry and Howard Meet Borel. CoRR (2022)
Melissa Antonelli
Two Remarks on Counting Propositional Logic. BEWARE@AI*IA (2022)
Melissa Antonelli, Ugo Dal Lago, Paolo Pistone
Curry and Howard Meet Borel. LICS (2022)
Melissa Antonelli, Ugo Dal Lago, Paolo Pistone
On Measure Quantifiers in First-Order Arithmetic. CiE (2021)
Melissa Antonelli, Ugo Dal Lago, Paolo Pistone
On Counting Propositional Logic. CoRR (2021)
Melissa Antonelli, Ugo Dal Lago, Paolo Pistone
On Measure Quantifiers in First-Order Arithmetic (Long Version). CoRR (2021)
Melissa Antonelli, Ugo Dal Lago, Paolo Pistone
On Counting Propositional Logic and Wagner's Hierarchy. ICTCS (2021)