Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Herbert Wiklicky
Observed names:
H WIKLICKY,
H. Wiklicky,
HERBERT WIKLICKY,
Wiklicky, H.,
Wiklicky, Herbert
Observed institutions:
Centrum Wiskunde & Informatica,
TU Wien,
Austrian Research Institute for Artificial Intelligence,
City, University of London,
City St George's, University of London,
Imperial College London
show all 6
OpenAlex ID:
A5018783929
Approximate non-interference
2003
·
A. Di Pierro
, C. Hankin
, et al.
·
IEEE Computer Security Foundations Workshop (CSFW)
·
115
Approximate non-interference
2004
·
Alessandra Di Pierro
, Chris Hankin
, et al.
·
Journal of Computer Security
·
76
Concurrent constraint programming
2000
·
Alessandra Di Pierro
, Herbert Wiklicky
·
International Symposium on Principles and Practice of Declarative Programming (PPDP)
·
60
Quantitative Relations and Approximate Process Equivalences
2003
·
Alessandra Di Pierro
, Chris Hankin
, et al.
·
Lecture notes in computer science
·
49
Measuring the confinement of probabilistic systems
2005
·
Alessandra Di Pierro
, Chris Hankin
, et al.
·
Theoretical Computer Science
·
39
An operational semantics for probabilistic concurrent constraint programming
2002
·
A. Di Pierro
, H. Wiklicky
·
International Conference on Computer Languages (ICCL)
·
34
Measuring the Precision of Abstract Interpretations
2001
·
Alessandra Di Pierro
, Herbert Wiklicky
·
Lecture notes in computer science
·
34
Probabilistic Constraint Handling Rules
2002
·
Thom Frühwirth
, Alessandra Di Pierro
, et al.
·
Electronic Notes in Theoretical Computer Science
·
33
Quantifying Timing Leaks and Cost Optimisation
2008
·
Alessandra Di Pierro
, Chris Hankin
, et al.
·
Lecture notes in computer science
·
21
PDF
Probabilistic concurrent constraint programming: Towards a fully abstract model
1998
·
Alessandra Di Pierro
, Herbert Wiklicky
·
Lecture notes in computer science
·
21
Quantitative static analysis of distributed systems
2005
·
ALESSANDRA Di PIERRO
, CHRIS HANKIN
, et al.
·
Journal of Functional Programming
·
19
PDF
Reversible combinatory logic
2006
·
ALESSANDRA DI PIERRO
, CHRIS HANKIN
, et al.
·
Mathematical Structures in Computer Science
·
17
Continuous-Time Probabilistic KLAIM
2005
·
Alessandra Di Pierro
, Chris Hankin
, et al.
·
Electronic Notes in Theoretical Computer Science
·
17
Two Formal Approaches for Approximating Noninterference Properties
2004
·
Alessandro Aldini
, Mario Bravetti
, et al.
·
Lecture notes in computer science
·
16
Probabilistic Abstract Interpretation and Statistical Testing
2002
·
Alessandra Di Pierro
, Herbert Wiklicky
·
Lecture notes in computer science
·
15
Probabilistic Confinement in a Declarative Framework
2001
·
Alessandra Di Pierro
, Chris Hankin
, et al.
·
Electronic Notes in Theoretical Computer Science
·
13
PDF
A Systematic Approach to Probabilistic Pointer Analysis
2007
·
Alessandra Di Pierro
, Chris Hankin
, et al.
·
Lecture notes in computer science
·
11
Proceedings of the 8th international conference on Coordination Models and Languages
2006
·
Paolo Ciancarini
, Herbert Wiklicky
·
10
Probabilistic KLAIM
2004
·
Alessandra Di Pierro
, Chris Hankin
, et al.
·
Lecture notes in computer science
·
10
Quantitative Observables and Averages in Probabilistic Constraint Programming
2000
·
Alessandra Di Pierro
, Herbert Wiklicky
·
Lecture notes in computer science
·
10
Abstract Interpretation for Worst and Average Case Analysis
2007
·
Alessandra Di Pierro
, Chris Hankin
, et al.
·
Lecture notes in computer science
·
9
Analysing Approximate Confinement under Uniform Attacks
2002
·
Alessandra Di Pierro
, Chris Hankin
, et al.
·
Lecture notes in computer science
·
9
Formal methods for quantitative aspects of programming languages : 10th international school on formal methods for the design of computer, communication and software systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010 : advanced lectures
2010
·
Alessandro Aldini
, Marco Bernardo
, et al.
·
DIAL (Catholic University of Leuven)
·
8
Probabilistic Semantics and Program Analysis
2010
·
Alessandra Di Pierro
, Chris Hankin
, et al.
·
Lecture notes in computer science
·
8
Relational Analysis and Precision via Probabilistic Abstract Interpretation
2008
·
Alessandra Di Pierro
, Pascal Sotin
, et al.
·
Electronic Notes in Theoretical Computer Science
·
8
Show more works
View as search
Works count:
127
Citation count:
846
H-index:
15
I10-index:
20
Year
Topic
Type
