Herbert Wiklicky

According to our database1, Herbert Wiklicky authored at least 59 papers between 1991 and 2016.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2016
Editorial: Quantitative Aspects of Programming Languages and Systems.
Theor. Comput. Sci., 2016

On Dynamical Probabilities, or: How to Learn to Shoot Straight.
Proceedings of the Coordination Models and Languages, 2016

Probabilistic Abstract Interpretation: From Trace Semantics to DTMC's and Linear Regression.
Proceedings of the Semantics, Logics, and Calculi, 2016

2015
Unfolding for CHR programs.
TPLP, 2015

2014
Quantitative Aspects of Programming Languages and Systems (2011-12).
Theor. Comput. Sci., 2014

Program Synthesis and Linear Operator Semantics.
Proceedings of the Proceedings 3rd Workshop on Synthesis, 2014

2013
Probabilistic data flow analysis: a linear equational approach.
Proceedings of the Proceedings Fourth International Symposium on Games, 2013

Unfolding for CHR programs.
CoRR, 2013

Probabilistic Analysis of Programs: A Weak Limit Approach.
Proceedings of the Foundational and Practical Aspects of Resource Analysis, 2013

Semantics of Probabilistic Programs: A Weak Limit Approach.
Proceedings of the Programming Languages and Systems - 11th Asian Symposium, 2013

2011
Probabilistic timing covert channels: to close or not to close?
Int. J. Inf. Sec., 2011

2010
Program Analysis Probably Counts.
Comput. J., 2010

Probabilistic Semantics and Program Analysis.
Proceedings of the Formal Methods for Quantitative Aspects of Programming Languages, 2010

2008
Semantic Abstraction and Quantum Computation.
Electr. Notes Theor. Comput. Sci., 2008

Relational Analysis and Precision via Probabilistic Abstract Interpretation.
Electr. Notes Theor. Comput. Sci., 2008

Quantifying Timing Leaks and Cost Optimisation
CoRR, 2008

Quantifying Timing Leaks and Cost Optimisation.
Proceedings of the Information and Communications Security, 10th International Conference, 2008

2007
Preface: Quantitative aspects of programming languages.
Theor. Comput. Sci., 2007

Tempus fugit: How to plug it.
J. Log. Algebr. Program., 2007

On Probabilistic Techniques for Data Flow Analysis.
Electr. Notes Theor. Comput. Sci., 2007

A Systematic Approach to Probabilistic Pointer Analysis.
Proceedings of the Programming Languages and Systems, 5th Asian Symposium, 2007

2006
Reversible combinatory logic.
Mathematical Structures in Computer Science, 2006

Operator Algebras and the Operational Semantics of Probabilistic Languages.
Electr. Notes Theor. Comput. Sci., 2006

On Reversible Combinatory Logic.
Electr. Notes Theor. Comput. Sci., 2006

Preface.
Electr. Notes Theor. Comput. Sci., 2006

Abstract Interpretation for Worst and Average Case Analysis.
Proceedings of the Program Analysis and Compilation, 2006

2005
Measuring the confinement of probabilistic systems.
Theor. Comput. Sci., 2005

Probabilistic /lambda-calculus and Quantitative Program Analysis.
J. Log. Comput., 2005

Quantitative static analysis of distributed systems.
J. Funct. Program., 2005

Continuous-Time Probabilistic KLAIM.
Electr. Notes Theor. Comput. Sci., 2005

lambda-calculus and Quantitative Program Analysis: (Extended Abstract).
Electr. Notes Theor. Comput. Sci., 2005

A Distributed and Probabilistic Concurrent Constraint Programming Language.
Proceedings of the Logic Programming, 21st International Conference, 2005

On a Probabilistic Chemical Abstract Machine and the Expressiveness of Linda Languages.
Proceedings of the Formal Methods for Components and Objects, 4th International Symposium, 2005

2004
Approximate Non-interference.
Journal of Computer Security, 2004

Probabilistic Linda-Based Coordination Languages.
Proceedings of the Formal Methods for Components and Objects, 2004

Probabilistic KLAIM.
Proceedings of the Coordination Models and Languages, 6th International Conference, 2004

2003
Quantitative Relations and Approximate Process Equivalences.
Proceedings of the CONCUR 2003, 2003

2002
Probabilistic Constraint Handling Rules.
Electr. Notes Theor. Comput. Sci., 2002

Analysing Approximate Confinement under Uniform Attacks.
Proceedings of the Static Analysis, 9th International Symposium, 2002

Probabilistic Abstract Interpretation and Statistical Testing.
Proceedings of the Process Algebra and Probabilistic Methods, 2002

Two Formal Approaches for Approximating Noninterference Properties.
Proceedings of the Foundations of Security Analysis and Design II, 2002

Approximate Non-Interference.
Proceedings of the 15th IEEE Computer Security Foundations Workshop (CSFW-15 2002), 2002

2001
Preface.
Electr. Notes Theor. Comput. Sci., 2001

Linear Embedding for a Quantitative Comparison of Language Expressiveness.
Electr. Notes Theor. Comput. Sci., 2001

Probabilistic confinement in a declarative framework.
Electr. Notes Theor. Comput. Sci., 2001

Quantum constraint programming.
Proceedings of the APPIA-GULP-PRODE 2001: Joint Conference on Declarative Programming, 2001

2000
Linear Structures for Concurrency in Probabilistic Programming Languages.
Electr. Notes Theor. Comput. Sci., 2000

Concurrent constraint programming: towards probabilistic abstract interpretation.
Proceedings of the 2nd international ACM SIGPLAN conference on on Principles and practice of declarative programming, 2000

Measuring the Precision of Abstract Interpretations.
Proceedings of the Logic Based Program Synthesis and Transformation, 2000

On the precision of abstract interpretations.
Proceedings of the Extended Abstracts of the 10th International Workshop on Logic-based Program Synthesis and Transformation, 2000

1999
Quantitative Observables and Averages in Probabilistic Constraint Programming.
Proceedings of the New Trends in Contraints, 1999

1998
Probabilistic Concurrent Constraint Programming: Towards a Fully Abstract Model.
Proceedings of the Mathematical Foundations of Computer Science 1998, 1998

Implementing Randomised Algorithms in Constraint Logic Programming.
Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming, 1998

An Operational Semantics for Probabilistic Concurrent Constraint Programming.
Proceedings of the 1998 International Conference on Computer Languages, 1998

A Banach Space Based Semantics for Probabilistic Concurrent Constraint Programming.
Proceedings of Computing: The Fourth Australasian Theory Symposium (CATS'98), 1998

A Markov Model for Probabilistic Concurrent Constraint Programming.
Proceedings of the 1998 Joint Conference on Declarative Programming, 1998

1997
On Probabilistic CCP.
Proceedings of the 1997 Joint Conf. on Declarative Programming, 1997

1993
On the Non-Existence of a Universal Learning Algorithm for Recurrent Neural Networks.
Proceedings of the Advances in Neural Information Processing Systems 6, 1993

1991
Theory and Practice of Neural Networks.
Proceedings of the Verteilte Künstliche Intelligenz und kooperatives Arbeiten, 1991


  Loading...