Alessandra Di Pierro

From MaRDI portal
Person:557885

Available identifiers

zbMath Open di-pierro.alessandraMaRDI QIDQ557885

List of research outcomes

PublicationDate of PublicationType
Hamming Distance Kernelisation via Topological Quantum Computation2022-12-09Paper
https://portal.mardi4nfdi.de/entity/Q49925132021-06-09Paper
A Type Theory for Probabilistic $$\lambda $$–calculus2020-07-20Paper
Note on filtered colimits of Hilbert spaces2019-11-22Paper
A quantum annealing approach to biclustering2018-10-26Paper
Biclustering with a quantum annealer2018-10-23Paper
A probabilistic semantics for the pure \(\lambda\)-calculus2017-11-03Paper
On negation as instantiation2017-01-19Paper
Probabilistic Abstract Interpretation: From Trace Semantics to DTMC’s and Linear Regression2016-03-23Paper
Probabilistic Analysis of Programs: A Weak Limit Approach2016-01-07Paper
A Calculus of Anyons2015-01-13Paper
Semantics of Probabilistic Programs: A Weak Limit Approach2015-01-12Paper
Relational Analysis and Precision via Probabilistic Abstract Interpretation2014-05-13Paper
Semantic Abstraction and Quantum Computation2014-01-17Paper
On Probabilistic Techniques for Data Flow Analysis2014-01-17Paper
https://portal.mardi4nfdi.de/entity/Q28638872013-12-04Paper
https://portal.mardi4nfdi.de/entity/Q28517032013-10-02Paper
https://portal.mardi4nfdi.de/entity/Q28498502013-09-20Paper
Linear Structures for Concurrency in Probabilistic Programming Languages2013-06-06Paper
Probabilistic Confinement in a Declarative Framework2013-05-24Paper
Probabilistic Semantics and Program Analysis2010-07-06Paper
CONCUR 2003 - Concurrency Theory2010-03-30Paper
Foundations of Security Analysis and Design II2009-05-14Paper
A Systematic Approach to Probabilistic Pointer Analysis2008-05-15Paper
Abstract Interpretation for Worst and Average Case Analysis2007-09-24Paper
On a Probabilistic Chemical Abstract Machine and the Expressiveness of Linda Languages2007-09-11Paper
Tempus fugit: How to plug it2007-08-10Paper
Formal Methods for Components and Objects2006-11-01Paper
Reversible combinatory logic2006-08-28Paper
Coordination Models and Languages2006-01-10Paper
Quantitative static analysis of distributed systems2005-10-11Paper
Probabilistic  -calculus and Quantitative Program Analysis2005-07-13Paper
Measuring the confinement of probabilistic systems2005-06-30Paper
https://portal.mardi4nfdi.de/entity/Q48132082004-08-13Paper
https://portal.mardi4nfdi.de/entity/Q44218762003-09-01Paper
https://portal.mardi4nfdi.de/entity/Q44119682003-07-13Paper
https://portal.mardi4nfdi.de/entity/Q49533642001-01-21Paper
https://portal.mardi4nfdi.de/entity/Q49448942000-12-05Paper
An algebraic perspective of constraint logic programming1997-04-21Paper
Nondeterminism and infinite computations in constraint programming1997-02-27Paper
Negation as instantiation1996-04-22Paper

Research outcomes over time


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: Alessandra Di Pierro