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 Quantum Annealing Approach to Biclustering
2016-01-01 Bottarelli, Lorenzo; Bicego, Manuele; Denitto, Matteo; DI PIERRO, Alessandra; Farinelli, Alessandro
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
A Type Theory for Probabilistic { extdollar}{ extdollar}{ extbackslash}lambda { extdollar}{ extdollar}{ extendash}calculus
2020-01-01 DI PIERRO, Alessandra
Abstract Interpretation for Worst and Average Case Analysis
2007-01-01 DI PIERRO, Alessandra; C., Hankin; H., Wiklicky
An Algebraic Perspective of Constraint Logic Programming
1997-01-01 DI PIERRO, Alessandra; F. S., de Boer; C., Palamidessi
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
2004-01-01 DI PIERRO, Alessandra; C., Hankin; H., Wiklicky
Approximate Non-Interference
2002-01-01 Di Pierro, A.; Wiklicky, C. Hankin. H.
Approximation and relative entropy
2012-01-01 DI PIERRO, Alessandra
Biclustering with a quantum annealer
2018-01-01 Bottarelli, Lorenzo; Bicego, Manuele; Denitto, Matteo; Di Pierro, Alessandra; Farinelli, Alessandro; Mengoni, Riccardo
Computer Quantistici
2013-01-01 DI PIERRO, Alessandra; Oliver, Morsch
Computing graph edit distance on quantum devices
2022-01-01 Incudini, Massimiliano; Tarocco, Fabio; Mengoni, Riccardo; DI PIERRO, Alessandra; Mandarino, Antonio
Continuous-Time Probabilistic KLAIM
2005-01-01 Di Pierro, Alessandra; Hankin, Chris; Wiklicky, Herbert
Estimating the Maximum Information Leakage
2008-01-01 A., Aldini; DI PIERRO, Alessandra
Facial expression recognition on a quantum computer
2021-01-01 Mengoni, Riccardo; Incudini, Massimiliano; 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 Quantum Annealing Approach to Biclustering | 1-gen-2016 | Bottarelli, Lorenzo; Bicego, Manuele; Denitto, Matteo; DI PIERRO, Alessandra; Farinelli, Alessandro | |
| 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 | |
| A Type Theory for Probabilistic { extdollar}{ extdollar}{ extbackslash}lambda { extdollar}{ extdollar}{ extendash}calculus | 1-gen-2020 | DI PIERRO, Alessandra | |
| Abstract Interpretation for Worst and Average Case Analysis | 1-gen-2007 | DI PIERRO, Alessandra; C., Hankin; H., Wiklicky | |
| An Algebraic Perspective of Constraint Logic Programming | 1-gen-1997 | DI PIERRO, Alessandra; F. S., de Boer; C., Palamidessi | |
| 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-2004 | DI PIERRO, Alessandra; C., Hankin; H., Wiklicky | |
| Approximate Non-Interference | 1-gen-2002 | Di Pierro, A.; Wiklicky, C. Hankin. H. | |
| Approximation and relative entropy | 1-gen-2012 | DI PIERRO, Alessandra | |
| Biclustering with a quantum annealer | 1-gen-2018 | Bottarelli, Lorenzo; Bicego, Manuele; Denitto, Matteo; Di Pierro, Alessandra; Farinelli, Alessandro; Mengoni, Riccardo | |
| Computer Quantistici | 1-gen-2013 | DI PIERRO, Alessandra; Oliver, Morsch | |
| Computing graph edit distance on quantum devices | 1-gen-2022 | Incudini, Massimiliano; Tarocco, Fabio; Mengoni, Riccardo; DI PIERRO, Alessandra; Mandarino, Antonio | |
| Continuous-Time Probabilistic KLAIM | 1-gen-2005 | Di Pierro, Alessandra; Hankin, Chris; Wiklicky, Herbert | |
| Estimating the Maximum Information Leakage | 1-gen-2008 | A., Aldini; DI PIERRO, Alessandra | |
| Facial expression recognition on a quantum computer | 1-gen-2021 | Mengoni, Riccardo; Incudini, Massimiliano; Di Pierro, Alessandra |