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 × Italy
2 × Spain
3 × United Kingdom
Collaborated with:
A.D.Pierro C.Hankin L.Bortolussi P.Sotin A.Brogi N.Angelopoulos
Talks about:
probabilist (5) program (5) interpret (4) abstract (4) analysi (4) constraint (3) precis (3) quantit (2) languag (2) concurr (2)

Person: Herbert Wiklicky

DBLP DBLP: Wiklicky:Herbert

Facilitated 8 volumes:

QAPL 2013Ed
SFM 2013Ed
QAPL 2012Ed
SFM 2010Ed
QAPL 2006Ed
QAPL 2005Ed
QAPL 2001Ed
QAPL 2019Ed

Contributed to:

SFM 20102010
QAPL 20082008
QAPL 20072007
ICLP 20052005
QAPL 20042005
SAS 20022002
QAPL 20012001
LOPSTR 20002000
LOPSTR 20002000
PPDP 20002000
JICSLP 19981998

Wrote 11 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.
ICLP-2005-BortolussiW #concurrent #constraints #distributed #probability #programming language
A Distributed and Probabilistic Concurrent Constraint Programming Language (LB, HW), pp. 143–158.
QAPL-2004-HankinW05 #program analysis #λ-calculus
λ-calculus and Quantitative Program Analysis: (CH, HW), pp. 5–18.
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.
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.