Herbert Wiklicky

Proceedings of the Proceedings 19th International Conference on Quantum Physics and Logic, 2022

2020

Comparison of Syntactic and Semantic Representations of Programs in Neural Embeddings.

[BibT_eX]

[DOI]

Austin P. Wright

CoRR, 2020

2016

Editorial: Quantitative Aspects of Programming Languages and Systems.

[BibT_eX]

[DOI]

Nathalie Bertrand

Luca Bortolussi

Theor. Comput. Sci., 2016

On Dynamical Probabilities, or: How to Learn to Shoot Straight.

[BibT_eX]

[DOI]

Proceedings of the Coordination Models and Languages, 2016

Probabilistic Abstract Interpretation: From Trace Semantics to DTMC's and Linear Regression.

[BibT_eX]

[DOI]

Proceedings of the Semantics, Logics, and Calculi, 2016

2015

Unfolding for CHR programs.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2015

2014

Quantitative Aspects of Programming Languages and Systems (2011-12).

[BibT_eX]

[DOI]

Mieke Massink

Gethin Norman

Theor. Comput. Sci., 2014

Program Synthesis and Linear Operator Semantics.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 3rd Workshop on Synthesis, 2014

2013

Probabilistic data flow analysis: a linear equational approach.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Fourth International Symposium on Games, 2013

Probabilistic Analysis of Programs: A Weak Limit Approach.

[BibT_eX]

[DOI]

Proceedings of the Foundational and Practical Aspects of Resource Analysis, 2013

Semantics of Probabilistic Programs: A Weak Limit Approach.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems - 11th Asian Symposium, 2013

2011

Probabilistic timing covert channels: to close or not to close?

[BibT_eX]

[DOI]

Int. J. Inf. Sec., 2011

2010

Program Analysis Probably Counts.

[BibT_eX]

[DOI]

Comput. J., 2010

Probabilistic Semantics and Program Analysis.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Quantitative Aspects of Programming Languages, 2010

2008

Relational Analysis and Precision via Probabilistic Abstract Interpretation.

[BibT_eX]

[DOI]

Pascal Sotin

Proceedings of the Sixth Workshop on Quantitative Aspects of Programming Languages, 2008

Quantifying Timing Leaks and Cost Optimisation.

[BibT_eX]

[DOI]

Proceedings of the Information and Communications Security, 10th International Conference, 2008

2007

Preface: Quantitative aspects of programming languages.

[BibT_eX]

Theor. Comput. Sci., 2007

Tempus fugit: How to plug it.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2007

On Probabilistic Techniques for Data Flow Analysis.

[BibT_eX]

[DOI]

Proceedings of the Fifth Workshop on Quantitative Aspects of Programming Languages, 2007

A Systematic Approach to Probabilistic Pointer Analysis.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 5th Asian Symposium, 2007

2006

Semantic Abstraction and Quantum Computation.

[BibT_eX]

[DOI]

Proceedings of the 4th International Workshop on Quantum Programming Languages, 2006

Abstract Interpretation for Worst and Average Case Analysis.

[BibT_eX]

[DOI]

Proceedings of the Program Analysis and Compilation, 2006

2005

Measuring the confinement of probabilistic systems.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2005

Probabilistic /lambda-calculus and Quantitative Program Analysis.

[BibT_eX]

[DOI]

J. Log. Comput., 2005

Quantitative static analysis of distributed systems.

[BibT_eX]

[DOI]

J. Funct. Program., 2005

On Reversible Combinatory Logic.

[BibT_eX]

[DOI]

Proceedings of the First International Workshop on Developments in Computational Models, 2005

Preface.

[BibT_eX]

[DOI]

Antonio Cerone

Proceedings of the Third Workshop on Quantitative Aspects of Programming Languages, 2005

A Distributed and Probabilistic Concurrent Constraint Programming Language.

[BibT_eX]

[DOI]

Luca Bortolussi

Proceedings of the Logic Programming, 21st International Conference, 2005

On a Probabilistic Chemical Abstract Machine and the Expressiveness of Linda Languages.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Components and Objects, 4th International Symposium, 2005

2004

Approximate Non-interference.

[BibT_eX]

[DOI]

J. Comput. Secur., 2004

Operator Algebras and the Operational Semantics of Probabilistic Languages.

[BibT_eX]

[DOI]

Proceedings of the Third Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, 2004

Continuous-Time Probabilistic KLAIM.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Workshop on Security Issues in Coordination Models, 2004

lambda-calculus and Quantitative Program Analysis: (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Second Workshop on Quantitative Aspects of Programming Languages, 2004

Probabilistic Linda-Based Coordination Languages.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Components and Objects, 2004

Probabilistic KLAIM.

[BibT_eX]

[DOI]

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

2003

Quantitative Relations and Approximate Process Equivalences.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2003, 2003

2002

Probabilistic Constraint Handling Rules.

[BibT_eX]

[DOI]

Thom W. Frühwirth

Proceedings of the 11th International Workshop on Functional and (Constraint) Logic Programming, 2002

Analysing Approximate Confinement under Uniform Attacks.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis, 9th International Symposium, 2002

Probabilistic Abstract Interpretation and Statistical Testing.

[BibT_eX]

[DOI]

Proceedings of the Process Algebra and Probabilistic Methods, 2002

Two Formal Approaches for Approximating Noninterference Properties.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Security Analysis and Design II, 2002

2001

Preface.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Quantitative Aspects of Programming Laguages, 2001

Linear Embedding for a Quantitative Comparison of Language Expressiveness.

[BibT_eX]

[DOI]

Antonio Brogi

Proceedings of the Workshop on Quantitative Aspects of Programming Laguages, 2001

Probabilistic confinement in a declarative framework.

[BibT_eX]

[DOI]

Proceedings of the Declarative Programming, 2001

Quantum constraint programming.

[BibT_eX]

[DOI]

Proceedings of the APPIA-GULP-PRODE 2001: Joint Conference on Declarative Programming, 2001

2000

Linear Structures for Concurrency in Probabilistic Programming Languages.

[BibT_eX]

[DOI]

Proceedings of the First Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, 2000

Concurrent constraint programming: towards probabilistic abstract interpretation.

[BibT_eX]

[DOI]

Proceedings of the 2nd international ACM SIGPLAN conference on on Principles and practice of declarative programming, 2000

Measuring the Precision of Abstract Interpretations.

[BibT_eX]

[DOI]

Proceedings of the Logic Based Program Synthesis and Transformation, 2000

On the precision of abstract interpretations.

[BibT_eX]

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.

[BibT_eX]

[DOI]

Proceedings of the New Trends in Contraints, 1999

1998

Probabilistic Concurrent Constraint Programming: Towards a Fully Abstract Model.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 1998, 1998

Implementing Randomised Algorithms in Constraint Logic Programming.

[BibT_eX]

Nicos Angelopoulos

Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming, 1998

An Operational Semantics for Probabilistic Concurrent Constraint Programming.

[BibT_eX]

[DOI]

Proceedings of the 1998 International Conference on Computer Languages, 1998

A Banach Space Based Semantics for Probabilistic Concurrent Constraint Programming.

[BibT_eX]

Proceedings of Computing: The Fourth Australasian Theory Symposium (CATS'98), 1998

A Markov Model for Probabilistic Concurrent Constraint Programming.

[BibT_eX]

Proceedings of the 1998 Joint Conference on Declarative Programming, 1998

1997

On Probabilistic CCP.

[BibT_eX]

Proceedings of the 1997 Joint Conf. on Declarative Programming, 1997

1993

On the Non-Existence of a Universal Learning Algorithm for Recurrent Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Information Processing Systems 6, 1993

The neural network loading problem is undecidable.

[BibT_eX]