DI PIERRO, Alessandra
DI PIERRO, Alessandra
DIPARTIMENTO DI INFORMATICA
A Calculus of Anyons
2014-01-01 DI PIERRO, Alessandra; Panarotto, Federica
A Probabilistic Semantics for the Pure Lambda Calculus
2017-01-01 Di Pierro, Alessandra
A Quantitative Approach to Noninterference for Probabilistic Systems
2004-01-01 A., Aldini; DI PIERRO, Alessandra
A Static Analysis of Entanglement
2025-01-01 Assolini, Nicola; Di Pierro, Alessandra; Mastroeni, Isabella
A systematic approach to probabilistic pointer analysis
2008-01-01 DI PIERRO, Alessandra; C., Hankin; H., Wiklicky
A Topological Quantum Calculus
2015-01-01 DI PIERRO, Alessandra
Abstract Interpretation for Worst and Average Case Analysis
2007-01-01 DI PIERRO, Alessandra; C., Hankin; H., Wiklicky
Abstracting Entanglement
2024-01-01 Assolini, Nicola; DI PIERRO, Alessandra; Mastroeni, Isabella
Analysing Approximate Confinement under Uniform Attacks
2002-01-01 Di Pierro, Alessandra; Hankin, Chris; Wiklicky, Herbert
Approximate Confinement under Uniform Attacks
2002-01-01 DI PIERRO, Alessandra; C., Hankin; H., Wiklicky
Approximate Non-Interference
2002-01-01 Di Pierro, A.; Wiklicky, C. Hankin. H.
Continuous-Time Probabilistic KLAIM
2005-01-01 Di Pierro, Alessandra; Hankin, Chris; Wiklicky, Herbert
Hamming Distance Kernelisation via Topological Quantum Computation
2017-01-01 Di Pierro, Alessandra; Mengoni, Riccardo; Nagarajan, Rajagopal; Windridge, David
Higher-Order Topological Kernels via Quantum Computation
2023-01-01 Incudini, Massimiliano; Martini, Francesco; Di Pierro, Alessandra
Linear embedding for a quantitative comparison of language expressiveness
2002-01-01 DI PIERRO, Alessandra
Linear Structures for Concurrency in Probabilistic Programming Languages
2001-01-01 Di Pierro, Alessandra; Wiklicky, Herbert
Measuring the Precision of Abstract Interpretations
2001-01-01 DI PIERRO, Alessandra; H., Wiklicky
Noninterference and the Most Powerful Probabilistic Adversary
2006-01-01 A., Aldini; DI PIERRO, Alessandra
On Probabilistic Techniques for Data Flow Analysis
2007-01-01 Di Pierro, Alessandra; Hankin, Chris; Wiklicky, Herbert
On Quantitative Analysis of Probabilistic Protocols
2005-01-01 Aldini, Alessandro; Di Pierro, Alessandra
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A Calculus of Anyons | 1-gen-2014 | DI PIERRO, Alessandra; Panarotto, Federica | |
| A Probabilistic Semantics for the Pure Lambda Calculus | 1-gen-2017 | Di Pierro, Alessandra | |
| A Quantitative Approach to Noninterference for Probabilistic Systems | 1-gen-2004 | A., Aldini; DI PIERRO, Alessandra | |
| A Static Analysis of Entanglement | 1-gen-2025 | Assolini, Nicola; Di Pierro, Alessandra; Mastroeni, Isabella | |
| A systematic approach to probabilistic pointer analysis | 1-gen-2008 | DI PIERRO, Alessandra; C., Hankin; H., Wiklicky | |
| A Topological Quantum Calculus | 1-gen-2015 | DI PIERRO, Alessandra | |
| Abstract Interpretation for Worst and Average Case Analysis | 1-gen-2007 | DI PIERRO, Alessandra; C., Hankin; H., Wiklicky | |
| Abstracting Entanglement | 1-gen-2024 | Assolini, Nicola; DI PIERRO, Alessandra; Mastroeni, Isabella | |
| Analysing Approximate Confinement under Uniform Attacks | 1-gen-2002 | Di Pierro, Alessandra; Hankin, Chris; Wiklicky, Herbert | |
| Approximate Confinement under Uniform Attacks | 1-gen-2002 | DI PIERRO, Alessandra; C., Hankin; H., Wiklicky | |
| Approximate Non-Interference | 1-gen-2002 | Di Pierro, A.; Wiklicky, C. Hankin. H. | |
| Continuous-Time Probabilistic KLAIM | 1-gen-2005 | Di Pierro, Alessandra; Hankin, Chris; Wiklicky, Herbert | |
| Hamming Distance Kernelisation via Topological Quantum Computation | 1-gen-2017 | Di Pierro, Alessandra; Mengoni, Riccardo; Nagarajan, Rajagopal; Windridge, David | |
| Higher-Order Topological Kernels via Quantum Computation | 1-gen-2023 | Incudini, Massimiliano; Martini, Francesco; Di Pierro, Alessandra | |
| Linear embedding for a quantitative comparison of language expressiveness | 1-gen-2002 | DI PIERRO, Alessandra | |
| Linear Structures for Concurrency in Probabilistic Programming Languages | 1-gen-2001 | Di Pierro, Alessandra; Wiklicky, Herbert | |
| Measuring the Precision of Abstract Interpretations | 1-gen-2001 | DI PIERRO, Alessandra; H., Wiklicky | |
| Noninterference and the Most Powerful Probabilistic Adversary | 1-gen-2006 | A., Aldini; DI PIERRO, Alessandra | |
| On Probabilistic Techniques for Data Flow Analysis | 1-gen-2007 | Di Pierro, Alessandra; Hankin, Chris; Wiklicky, Herbert | |
| On Quantitative Analysis of Probabilistic Protocols | 1-gen-2005 | Aldini, Alessandro; Di Pierro, Alessandra |