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 |