BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
1 × Germany
1 × Italy
1 × Spain
4 × United Kingdom
Collaborated with:
H.Wiklicky C.Hankin C.Palamidessi A.Aldini W.Drabent P.Sotin A.Brogi N.Angelopoulos M.Martelli
Talks about:
probabilist (5) program (5) interpret (4) abstract (4) analysi (4) logic (4) constraint (3) precis (3) negat (3) quantit (2)

Person: Alessandra Di Pierro

DBLP DBLP: Pierro:Alessandra_Di

Facilitated 7 volumes:

SFM 2013Ed
QAPL 2010Ed
SFM 2010Ed
QAPL 2009Ed
QAPL 2006Ed
QAPL 2004Ed
QAPL 2001Ed

Contributed to:

SFM 20102010
QAPL 20082008
QAPL 20072007
QAPL 20042005
SAS 20022002
QAPL 20012001
LOPSTR 20002000
LOPSTR 20002000
PPDP 20002000
JICSLP 19981998
ALP 19961996
ESOP 19941994
ICLP 19911991

Wrote 13 papers:

SFM-2010-PierroHW #probability #program analysis #semantics
Probabilistic Semantics and Program Analysis (ADP, CH, HW), pp. 1–42.
QAPL-2008-PierroSW #abstract interpretation #analysis #precise #probability #relational
Relational Analysis and Precision via Probabilistic Abstract Interpretation (ADP, PS, HW), pp. 23–42.
QAPL-2007-PierroHW #analysis #data flow #on the #probability
On Probabilistic Techniques for Data Flow Analysis (ADP, CH, HW), pp. 59–77.
QAPL-2004-AldiniP05 #analysis #on the #probability #protocol
On Quantitative Analysis of Probabilistic Protocols (AA, ADP), pp. 131–148.
SAS-2002-PierroHW #approximate
Analysing Approximate Confinement under Uniform Attacks (ADP, CH, HW), pp. 310–325.
QAPL-2001-BrogiPW #comparison #linear
Linear Embedding for a Quantitative Comparison of Language Expressiveness (AB, ADP, HW), pp. 207–237.
LOPSTR-2000-PierroW #abstract interpretation #on the #precise
On the precision of abstract interpretations (ADP, HW).
LOPSTR-J-2000-PierroW #abstract interpretation #precise
Measuring the Precision of Abstract Interpretations (ADP, HW), pp. 147–164.
PPDP-2000-PierroW #abstract interpretation #concurrent #constraints #probability #programming #towards
Concurrent constraint programming: towards probabilistic abstract interpretation (ADP, HW), pp. 127–138.
JICSLP-1998-AngelopoulosPW #algorithm #constraints #implementation #logic programming #random
Implementing Randomised Algorithms in Constraint Logic Programming (NA, ADP, HW), pp. 355–356.
ALP-1996-PierroD #on the
On Negation As Instantiation (ADP, WD), pp. 32–46.
ESOP-1994-PierroP #constraints #logic #logic programming #semantics
A Logical Denotational Semantics for Constraint Logic Programming (ADP, CP), pp. 195–210.
ICLP-1991-PierroMP #logic programming
Negation as Instantitation: A New Rule for the Treatment of Negation in Logic Programming (ADP, MM, CP), pp. 32–45.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.