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 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
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 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
Probabilistic Abstract Interpretation and Statistical Testing
2002-01-01 DI PIERRO, Alessandra; H., Wiklicky
Probabilistic Abstract Interpretation: From Trace Semantics to DTMC’s and Linear Regression
2016-01-01 DI PIERRO, Alessandra; Wiklicky, Herbert
Probabilistic Analysis of Programs: A Weak Limit Approach
2014-01-01 DI PIERRO, Alessandra; Wiklicky, Herbert
| 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 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 | |
| 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 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 | |
| Probabilistic Abstract Interpretation and Statistical Testing | 1-gen-2002 | DI PIERRO, Alessandra; H., Wiklicky | |
| Probabilistic Abstract Interpretation: From Trace Semantics to DTMC’s and Linear Regression | 1-gen-2016 | DI PIERRO, Alessandra; Wiklicky, Herbert | |
| Probabilistic Analysis of Programs: A Weak Limit Approach | 1-gen-2014 | DI PIERRO, Alessandra; Wiklicky, Herbert |