Melissa Antonelli

25 papers A* 1B 4C 1Journal 13Unranked 5
YearRankTypeTitle / Venue / Authors
2026 J jnl
Towards new characterizations of small circuit classes via discrete ordinary differential equations.
Theor. Comput. Sci.
Melissa Antonelli, Arnaud Durand, Juha Kontinen
2025 J jnl
Characterizing Small Circuit Classes from FAC^0 to FAC^1 via Discrete Ordinary Differential Equations.
CoRR
Melissa Antonelli, Arnaud Durand, Juha Kontinen
2025 B conf
Characterizing Small Circuit Classes from FAC⁰ to FAC¹ via Discrete Ordinary Differential Equations.
MFCS
Melissa Antonelli, Arnaud Durand, Juha Kontinen
2025 — conf
Circuit Complexity Meets Discrete Ordinary Differential Equations: An Overview.
OVERLAY
Melissa Antonelli, Arnaud Durand, Juha Kontinen
2025 J jnl
Towards New Characterizations of Small Circuit Classes via Discrete Ordinary Differential Equations.
CoRR
Melissa Antonelli, Arnaud Durand, Juha Kontinen
2024 B conf
A New Characterization of FAC⁰ via Discrete Ordinary Differential Equations.
MFCS
Melissa Antonelli, Arnaud Durand, Juha Kontinen
2024 B conf
Enumerating Error Bounded Polytime Algorithms Through Arithmetical Theories.
CSL
Melissa Antonelli, Ugo Dal Lago, Davide Davoli, Isabel Oitavem, Paolo Pistone
2024 J jnl
On Randomized Computational Models and Complexity Classes: a Historical Overview.
CoRR
Melissa Antonelli, Ugo Dal Lago, Paolo Pistone
2024 B conf
On the Proof Theory of Apodictic Syllogistic.
AiML
Melissa Antonelli, Jan von Plato
2024 — conf
Towards New Characterizations of Small Circuit Classes via Discrete Ordinary Differential Equations (short paper).
ICTCS
Melissa Antonelli, Arnaud Durand, Juha Kontinen
2024 J jnl
Towards a Logical Foundation of Randomized Computation: Doctoral Thesis Abstract.
Künstliche Intell.
Melissa Antonelli
2024 J jnl
Towards logical foundations for probabilistic computation.
Ann. Pure Appl. Log.
Melissa Antonelli, Ugo Dal Lago, Paolo Pistone
2023 J jnl
An Arithmetic Theory for the Poly-Time Random Functions.
CoRR
Melissa Antonelli, Ugo Dal Lago, Davide Davoli, Isabel Oitavem, Paolo Pistone
2023 J jnl
Enumerating Error Bounded Polytime Algorithms Through Arithmetical Theories.
CoRR
Melissa Antonelli, Ugo Dal Lago, Davide Davoli, Isabel Oitavem, Paolo Pistone
2023 J jnl
On counting propositional logic and Wagner's hierarchy.
Theor. Comput. Sci.
Melissa Antonelli, Ugo Dal Lago, Paolo Pistone
2023 — conf
Towards a Logical Foundation of Randomized Computation.
BEWARE@AI*IA
Melissa Antonelli
2023 — —
Towards a logical foundation of randomized computation.
Melissa Antonelli
2022 A* conf
Curry and Howard Meet Borel.
LICS
Melissa Antonelli, Ugo Dal Lago, Paolo Pistone
2022 J jnl
Curry and Howard Meet Borel.
CoRR
Melissa Antonelli, Ugo Dal Lago, Paolo Pistone
2022 J jnl
Some Remarks on Counting Propositional Logic.
CoRR
Melissa Antonelli
2022 — conf
Two Remarks on Counting Propositional Logic.
BEWARE@AI*IA
Melissa Antonelli
2021 — conf
On Counting Propositional Logic and Wagner's Hierarchy.
ICTCS
Melissa Antonelli, Ugo Dal Lago, Paolo Pistone
2021 J jnl
On Counting Propositional Logic.
CoRR
Melissa Antonelli, Ugo Dal Lago, Paolo Pistone
2021 J jnl
On Measure Quantifiers in First-Order Arithmetic (Long Version).
CoRR
Melissa Antonelli, Ugo Dal Lago, Paolo Pistone
2021 C conf
On Measure Quantifiers in First-Order Arithmetic.
CiE
Melissa Antonelli, Ugo Dal Lago, Paolo Pistone