Claudia Faggian

Publication Activity (10 Years)

Years Active: 1997-2024
Publications (10 Years): 26

Top Topics

Prime Implicates

Top Venues

Proc. ACM Program. Lang.

Publications

Claudia Faggian, Daniele Pautasso, Gabriele Vanoni
Higher Order Bayesian Networks, Exactly. Proc. ACM Program. Lang. 8 (POPL) (2024)
Thomas Ehrhard, Claudia Faggian, Michele Pagani
The Sum-Product Algorithm For Quantitative Multiplicative Linear Logic. FSCD (2023)
Claudia Faggian
Asymptotic Rewriting (Invited Talk). CSL (2023)
Claudia Faggian, Daniele Pautasso, Gabriele Vanoni
Higher-Order Bayesian Networks, Exactly (Extended version). CoRR (2023)
Beniamino Accattoli, Claudia Faggian, Adrienne Lancelot
Normal Form Bisimulations By Value. CoRR (2023)
Claudia Faggian, Giulio Guerrieri
Strategies for Asymptotic Normalization. CoRR (2022)
Claudia Faggian, Giulio Guerrieri, Ugo de'Liguoro, Riccardo Treglia
On reduction and normalization in the computational core. Math. Struct. Comput. Sci. 32 (7) (2022)
Claudia Faggian, Giulio Guerrieri
Strategies for Asymptotic Normalization. FSCD (2022)
Claudia Faggian
Probabilistic Rewriting and Asymptotic Behaviour: on Termination and Unique Normal Forms. Log. Methods Comput. Sci. 18 (2) (2022)
Ugo Dal Lago, Claudia Faggian, Simona Ronchi Della Rocca
Intersection types and (positive) almost-sure termination. Proc. ACM Program. Lang. 5 (POPL) (2021)
Beniamino Accattoli, Claudia Faggian, Giulio Guerrieri
Factorize Factorization. CSL (2021)
Claudia Faggian, Giulio Guerrieri
Factorization in Call-by-Name and Call-by-Value Calculi via Linear Logic (long version). CoRR (2021)
Claudia Faggian, Giulio Guerrieri, Ugo de'Liguoro, Riccardo Treglia
On reduction and normalization in the computational core. CoRR (2021)
Francesco Gavazzo, Claudia Faggian
A Relational Theory of Monadic Rewriting Systems, Part I. LICS (2021)
Claudia Faggian, Giulio Guerrieri
Factorization in Call-by-Name and Call-by-Value Calculi via Linear Logic. FoSSaCS (2021)
Beniamino Accattoli, Claudia Faggian, Giulio Guerrieri
Factorize Factorization. CoRR (2020)
Simona Ronchi Della Rocca, Ugo Dal Lago, Claudia Faggian
Solvability in a Probabilistic Setting (Invited Talk). FSCD (2020)
Ugo Dal Lago, Claudia Faggian, Simona Ronchi Della Rocca
Intersection Types and (Positive) Almost-Sure Termination. CoRR (2020)
Claudia Faggian
Probabilistic Rewriting: Normalization, Termination, and Unique Normal Forms. FSCD (2019)
Beniamino Accattoli, Claudia Faggian, Giulio Guerrieri
Factorization and Normalization, Essentially. CoRR (2019)
Claudia Faggian, Simona Ronchi Della Rocca
Lambda Calculus and Probabilistic Computation. LICS (2019)
Claudia Faggian, Simona Ronchi Della Rocca
Lambda Calculus and Probabilistic Computation. CoRR (2019)
Beniamino Accattoli, Claudia Faggian, Giulio Guerrieri
Factorization and Normalization, Essentially. APLAS (2019)
Claudia Faggian
Probabilistic Rewriting: Relations between Normalization, Termination, and Unique Normal Forms. CoRR (2018)
Ugo Dal Lago, Claudia Faggian, Benoît Valiron, Akira Yoshimizu
The geometry of parallelism: classical, probabilistic, and quantum effects. POPL (2017)
Ugo Dal Lago, Claudia Faggian, Benoît Valiron, Akira Yoshimizu
The Geometry of Parallelism. Classical, Probabilistic, and Quantum Effects. CoRR (2016)
Ugo Dal Lago, Claudia Faggian, Benoît Valiron, Akira Yoshimizu
Parallelism and Synchronization in an Infinitary Context (Long Version). CoRR (2015)
Ugo Dal Lago, Claudia Faggian, Benoît Valiron, Akira Yoshimizu
Parallelism and Synchronization in an Infinitary Context. LICS (2015)
Ugo Dal Lago, Claudia Faggian, Ichiro Hasuo, Akira Yoshimizu
The Geometry of Synchronization (Long Version). CoRR (2014)
Ugo Dal Lago, Claudia Faggian, Ichiro Hasuo, Akira Yoshimizu
The geometry of synchronization. CSL-LICS (2014)
Akira Yoshimizu, Ichiro Hasuo, Claudia Faggian, Ugo Dal Lago
Measurements in Proof Nets as Higher-Order Quantum Circuits. ESOP (2014)
Pierre-Louis Curien, Claudia Faggian
An approach to innocent strategies as graphs. Inf. Comput. 214 (2012)
Ugo Dal Lago, Claudia Faggian
On Multiplicative Linear Logic, Modality and Quantum Circuits QPL (2011)
Michele Basaldella, Claudia Faggian
Ludics with repetitions (Exponentials, Interactive types and Completeness) Log. Methods Comput. Sci. 7 (2) (2011)
Claudia Faggian, Mauro Piccolo
Partial Orders, Event Structures and Linear Strategies. TLCA (2009)
Michele Basaldella, Claudia Faggian
Ludics with Repetitions (Exponentials, Interactive Types and Completeness). LICS (2009)
Paolo Di Giamberardino, Claudia Faggian
Proof nets sequentialisation in multiplicative linear logic. Ann. Pure Appl. Log. 155 (3) (2008)
Claudia Faggian, Mauro Piccolo
A Graph Abstract Machine Describing Event Structure Composition. Electron. Notes Theor. Comput. Sci. 175 (4) (2007)
Claudia Faggian, Mauro Piccolo
Ludics is a Model for the Finitary Linear Pi-Calculus. TLCA (2007)
Paolo Di Giamberardino, Claudia Faggian
Jump from Parallel to Sequential Proofs: Multiplicatives. CSL (2006)
Claudia Faggian
Interactive observability in Ludics: The geometry of tests. Theor. Comput. Sci. 350 (2-3) (2006)
Pierre-Louis Curien, Claudia Faggian
L-Nets, Strategies and Proof-Nets. CSL (2005)
Claudia Faggian, François Maurel
Ludics Nets, a game Model of Concurrent Interaction. LICS (2005)
Claudia Faggian
Interactive Observability in Ludics. ICALP (2004)
Claudia Faggian, Martin Hyland
Designs, Disputes and Strategies. CSL (2002)
Claudia Faggian
Travelling on Designs. CSL (2002)
Claudia Faggian
Proof construction and non-commutativity: a cluster calculus. PPDP (2000)
Giovanni Sambin, Giulia Battilotti, Claudia Faggian
Basic Logic: Reflection, Symmetry, Visibility. J. Symb. Log. 65 (3) (2000)
Claudia Faggian
A Term Calculus for Unitary Approach to Nomalization. ICFP (1998)
Claudia Faggian
Classical Proofs via Basic Logic. CSL (1997)