Melissa Antonelli
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
6
Active years
2021–2026
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ICALP | Recursion and Proof Theoretical Characterizations of Small Circuit Classes with Modulo Counting via Discrete Differential Equations. | Melissa Antonelli, Arnaud Durand, Rui Li |
| 2025 | MFCS | Characterizing Small Circuit Classes from FAC⁰ to FAC¹ via Discrete Ordinary Differential Equations. | Melissa Antonelli, Arnaud Durand, Juha Kontinen |
| 2024 | AiML | On the Proof Theory of Apodictic Syllogistic. | Melissa Antonelli, Jan von Plato |
| 2024 | CSL | Enumerating Error Bounded Polytime Algorithms Through Arithmetical Theories. | Melissa Antonelli, Ugo Dal Lago, Davide Davoli, Isabel Oitavem, Paolo Pistone |
| 2024 | MFCS | A New Characterization of FAC⁰ via Discrete Ordinary Differential Equations. | Melissa Antonelli, Arnaud Durand, Juha Kontinen |
| 2022 | LICS | Curry and Howard Meet Borel. | Melissa Antonelli, Ugo Dal Lago, Paolo Pistone |
| 2021 | CiE | On Measure Quantifiers in First-Order Arithmetic. | Melissa Antonelli, Ugo Dal Lago, Paolo Pistone |