Alessandra Di Pierro

Available identifiers

zbMath Open di-pierro.alessandraMaRDI QIDQ557885

List of research outcomes

Publication	Date of Publication	Type
Hamming Distance Kernelisation via Topological Quantum Computation	2022-12-09	Paper
https://portal.mardi4nfdi.de/entity/Q4992513	2021-06-09	Paper
A Type Theory for Probabilistic $$\lambda $$–calculus	2020-07-20	Paper
Note on filtered colimits of Hilbert spaces	2019-11-22	Paper
A quantum annealing approach to biclustering	2018-10-26	Paper
Biclustering with a quantum annealer	2018-10-23	Paper
A probabilistic semantics for the pure \(\lambda\)-calculus	2017-11-03	Paper
On negation as instantiation	2017-01-19	Paper
Probabilistic Abstract Interpretation: From Trace Semantics to DTMC’s and Linear Regression	2016-03-23	Paper
Probabilistic Analysis of Programs: A Weak Limit Approach	2016-01-07	Paper
A Calculus of Anyons	2015-01-13	Paper
Semantics of Probabilistic Programs: A Weak Limit Approach	2015-01-12	Paper
Relational Analysis and Precision via Probabilistic Abstract Interpretation	2014-05-13	Paper
Semantic Abstraction and Quantum Computation	2014-01-17	Paper
On Probabilistic Techniques for Data Flow Analysis	2014-01-17	Paper
https://portal.mardi4nfdi.de/entity/Q2863887	2013-12-04	Paper
https://portal.mardi4nfdi.de/entity/Q2851703	2013-10-02	Paper
https://portal.mardi4nfdi.de/entity/Q2849850	2013-09-20	Paper
Linear Structures for Concurrency in Probabilistic Programming Languages	2013-06-06	Paper
Probabilistic Confinement in a Declarative Framework	2013-05-24	Paper
Probabilistic Semantics and Program Analysis	2010-07-06	Paper
CONCUR 2003 - Concurrency Theory	2010-03-30	Paper
Foundations of Security Analysis and Design II	2009-05-14	Paper
A Systematic Approach to Probabilistic Pointer Analysis	2008-05-15	Paper
Abstract Interpretation for Worst and Average Case Analysis	2007-09-24	Paper
On a Probabilistic Chemical Abstract Machine and the Expressiveness of Linda Languages	2007-09-11	Paper
Tempus fugit: How to plug it	2007-08-10	Paper
Formal Methods for Components and Objects	2006-11-01	Paper
Reversible combinatory logic	2006-08-28	Paper
Coordination Models and Languages	2006-01-10	Paper
Quantitative static analysis of distributed systems	2005-10-11	Paper
Probabilistic  -calculus and Quantitative Program Analysis	2005-07-13	Paper
Measuring the confinement of probabilistic systems	2005-06-30	Paper
https://portal.mardi4nfdi.de/entity/Q4813208	2004-08-13	Paper
https://portal.mardi4nfdi.de/entity/Q4421876	2003-09-01	Paper
https://portal.mardi4nfdi.de/entity/Q4411968	2003-07-13	Paper
https://portal.mardi4nfdi.de/entity/Q4953364	2001-01-21	Paper
https://portal.mardi4nfdi.de/entity/Q4944894	2000-12-05	Paper
An algebraic perspective of constraint logic programming	1997-04-21	Paper
Nondeterminism and infinite computations in constraint programming	1997-02-27	Paper
Negation as instantiation	1996-04-22	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Alessandra Di Pierro