The following pages link to Alessandra Di Pierro (Q557885):
Displaying 40 items.
- Measuring the confinement of probabilistic systems (Q557887) (← links)
- Nondeterminism and infinite computations in constraint programming (Q671989) (← links)
- Tempus fugit: How to plug it (Q997994) (← links)
- A probabilistic semantics for the pure \(\lambda\)-calculus (Q1675793) (← links)
- Biclustering with a quantum annealer (Q1800360) (← links)
- Negation as instantiation (Q1898466) (← links)
- A quantum annealing approach to biclustering (Q1989519) (← links)
- An algebraic perspective of constraint logic programming (Q2785838) (← links)
- Probabilistic Abstract Interpretation: From Trace Semantics to DTMC’s and Linear Regression (Q2796219) (← links)
- (Q2849850) (← links)
- (Q2851703) (← links)
- (Q2863887) (← links)
- Semantic Abstraction and Quantum Computation (Q2870205) (← links)
- On Probabilistic Techniques for Data Flow Analysis (Q2870284) (← links)
- Semantics of Probabilistic Programs: A Weak Limit Approach (Q2937792) (← links)
- A Calculus of Anyons (Q2938138) (← links)
- On negation as instantiation (Q2956710) (← links)
- Probabilistic -calculus and Quantitative Program Analysis (Q3025332) (← links)
- A Type Theory for Probabilistic $$\lambda $$–calculus (Q3297838) (← links)
- Probabilistic Analysis of Programs: A Weak Limit Approach (Q3460504) (← links)
- A Systematic Approach to Probabilistic Pointer Analysis (Q3498445) (← links)
- Probabilistic Semantics and Program Analysis (Q3575027) (← links)
- On a Probabilistic Chemical Abstract Machine and the Expressiveness of Linda Languages (Q3591396) (← links)
- Abstract Interpretation for Worst and Average Case Analysis (Q3593073) (← links)
- (Q4411968) (← links)
- (Q4421876) (← links)
- (Q4813208) (← links)
- Linear Structures for Concurrency in Probabilistic Programming Languages (Q4923370) (← links)
- Probabilistic Confinement in a Declarative Framework (Q4923521) (← links)
- (Q4944894) (← links)
- (Q4953364) (← links)
- (Q4992513) (← links)
- Hamming Distance Kernelisation via Topological Quantum Computation (Q5055989) (← links)
- Relational Analysis and Precision via Probabilistic Abstract Interpretation (Q5415662) (← links)
- Reversible combinatory logic (Q5482262) (← links)
- Quantitative static analysis of distributed systems (Q5695117) (← links)
- Coordination Models and Languages (Q5717720) (← links)
- Formal Methods for Components and Objects (Q5897448) (← links)
- CONCUR 2003 - Concurrency Theory (Q5900586) (← links)
- Foundations of Security Analysis and Design II (Q5901850) (← links)
