DI PIERRO, ALESSANDRA

DI PIERRO, ALESSANDRA  

DIPARTIMENTO DI INFORMATICA  

Mostra records
Risultati 1 - 20 di 33 (tempo di esecuzione: 0.03 secondi).
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