Giovanni Birolo

Identifiers

• name variant Giovanni Birolo 0.60 · backfill

Papers (4)

1. Neural Diffusion Processes for Physically Interpretable Survival Prediction cs.LG · 2025 · author #3
2. A Monadic Framework for Interactive Realizability cs.LO · 2013 · author #1
3. A Witness Extraction Technique by Proof Normalization Based on Interactive Realizability math.LO · 2013 · author #1
4. Interactive Realizability, Monads and Witness Extraction cs.LO · 2013 · author #1

Mentions

• 1305.3388 #1 · backfill · confidence 0.70 Giovanni Birolo
• 1304.4091 #1 · backfill · confidence 0.70 Giovanni Birolo

Frequent Coauthors

• Alessio Cristofoletto 1 shared papers
• Cesare Rollo 1 shared papers
• Piero Fariselli 1 shared papers