Herbert Wiklicky

Publication Activity (10 Years)

Years Active: 1991-2022
Publications (10 Years): 5

Top Topics

Semantic Representations

Programming Language

Top Venues

Theor. Comput. Sci.

Semantics, Logics, and Calculi

Publications

Viet Pham Ngoc, David Tuckey, Herbert Wiklicky
Tunable Quantum Neural Networks in the QPAC-Learning Framework. QPL (2022)
Austin P. Wright, Herbert Wiklicky
Comparison of Syntactic and Semantic Representations of Programs in Neural Embeddings. CoRR (2020)
Alessandra Di Pierro, Herbert Wiklicky
Probabilistic Abstract Interpretation: From Trace Semantics to DTMC's and Linear Regression. Semantics, Logics, and Calculi (2016)
Nathalie Bertrand, Luca Bortolussi, Herbert Wiklicky
Editorial: Quantitative Aspects of Programming Languages and Systems. Theor. Comput. Sci. 655 (2016)
Herbert Wiklicky
On Dynamical Probabilities, or: How to Learn to Shoot Straight. COORDINATION (2016)
Maurizio Gabbrielli, Maria Chiara Meo, Paolo Tacchella, Herbert Wiklicky
Unfolding for CHR programs. Theory Pract. Log. Program. 15 (3) (2015)
Mieke Massink, Gethin Norman, Herbert Wiklicky
Quantitative Aspects of Programming Languages and Systems (2011-12). Theor. Comput. Sci. 538 (2014)
Herbert Wiklicky
Program Synthesis and Linear Operator Semantics. SYNT (2014)
Alessandra Di Pierro, Herbert Wiklicky
Semantics of Probabilistic Programs: A Weak Limit Approach. APLAS (2013)
Alessandra Di Pierro, Herbert Wiklicky
Probabilistic Analysis of Programs: A Weak Limit Approach. FOPARA (2013)
Alessandra Di Pierro, Herbert Wiklicky
Probabilistic data flow analysis: a linear equational approach. GandALF (2013)
Maurizio Gabbrielli, Maria Chiara Meo, Paolo Tacchella, Herbert Wiklicky
Unfolding for CHR programs. CoRR (2013)
Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
Probabilistic timing covert channels: to close or not to close? Int. J. Inf. Sec. 10 (2) (2011)
Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
Probabilistic Semantics and Program Analysis. SFM (2010)
Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
Program Analysis Probably Counts. Comput. J. 53 (6) (2010)
Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
Quantifying Timing Leaks and Cost Optimisation CoRR (2008)
Alessandra Di Pierro, Pascal Sotin, Herbert Wiklicky
Relational Analysis and Precision via Probabilistic Abstract Interpretation. Electron. Notes Theor. Comput. Sci. 220 (3) (2008)
Alessandra Di Pierro, Herbert Wiklicky
Semantic Abstraction and Quantum Computation. Electron. Notes Theor. Comput. Sci. 210 (2008)
Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
Quantifying Timing Leaks and Cost Optimisation. ICICS (2008)
Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
A Systematic Approach to Probabilistic Pointer Analysis. APLAS (2007)
Alessandra Di Pierro, Chris Hankin, Igor Siveroni, Herbert Wiklicky
Tempus fugit: How to plug it. J. Log. Algebraic Methods Program. 72 (2) (2007)
Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
On Probabilistic Techniques for Data Flow Analysis. Electron. Notes Theor. Comput. Sci. 190 (3) (2007)
Alessandra Di Pierro, Herbert Wiklicky
Preface: Quantitative aspects of programming languages. Theor. Comput. Sci. 382 (1) (2007)
Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
On Reversible Combinatory Logic. Electron. Notes Theor. Comput. Sci. 135 (3) (2006)
Alessandra Di Pierro, Herbert Wiklicky
Operator Algebras and the Operational Semantics of Probabilistic Languages. Electron. Notes Theor. Comput. Sci. 161 (2006)
Antonio Cerone, Herbert Wiklicky
Preface. Electron. Notes Theor. Comput. Sci. 153 (2) (2006)
Alessandra Di Pierro, Herbert Wiklicky
Preface. Electron. Notes Theor. Comput. Sci. 164 (3) (2006)
Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
Abstract Interpretation for Worst and Average Case Analysis. Program Analysis and Compilation (2006)
Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
Reversible combinatory logic. Math. Struct. Comput. Sci. 16 (4) (2006)
Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
On a Probabilistic Chemical Abstract Machine and the Expressiveness of Linda Languages. FMCO (2005)
Luca Bortolussi, Herbert Wiklicky
A Distributed and Probabilistic Concurrent Constraint Programming Language. ICLP (2005)
Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
Continuous-Time Probabilistic KLAIM. Electron. Notes Theor. Comput. Sci. 128 (5) (2005)
Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
Measuring the confinement of probabilistic systems. Theor. Comput. Sci. 340 (1) (2005)
Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
Probabilistic /lambda-calculus and Quantitative Program Analysis. J. Log. Comput. 15 (2) (2005)
Chris Hankin, Herbert Wiklicky
lambda-calculus and Quantitative Program Analysis: (Extended Abstract). Electron. Notes Theor. Comput. Sci. 112 (2005)
Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
Quantitative static analysis of distributed systems. J. Funct. Program. 15 (5) (2005)
Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
Probabilistic KLAIM. COORDINATION (2004)
Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
Probabilistic Linda-Based Coordination Languages. FMCO (2004)
Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
Approximate Non-interference. J. Comput. Secur. 12 (1) (2004)
Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
Quantitative Relations and Approximate Process Equivalences. CONCUR (2003)
Thom W. Frühwirth, Alessandra Di Pierro, Herbert Wiklicky
Probabilistic Constraint Handling Rules. Electron. Notes Theor. Comput. Sci. 76 (2002)
Alessandra Di Pierro, Herbert Wiklicky
Probabilistic Abstract Interpretation and Statistical Testing. PAPM-PROBMIV (2002)
Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
Approximate Non-Interference. CSFW (2002)
Alessandro Aldini, Mario Bravetti, Alessandra Di Pierro, Roberto Gorrieri, Chris Hankin, Herbert Wiklicky
Two Formal Approaches for Approximating Noninterference Properties. FOSAD (2002)
Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
Analysing Approximate Confinement under Uniform Attacks. SAS (2002)
Alessandra Di Pierro, Herbert Wiklicky
Quantum constraint programming. APPIA-GULP-PRODE (2001)
Alessandra Di Pierro, Herbert Wiklicky
Preface. Electron. Notes Theor. Comput. Sci. 59 (3) (2001)
Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
Probabilistic confinement in a declarative framework. APPIA-GULP-PRODE 48 (2001)
Antonio Brogi, Alessandra Di Pierro, Herbert Wiklicky
Linear Embedding for a Quantitative Comparison of Language Expressiveness. Electron. Notes Theor. Comput. Sci. 59 (3) (2001)
Alessandra Di Pierro, Herbert Wiklicky
Concurrent constraint programming: towards probabilistic abstract interpretation. PPDP (2000)
Alessandra Di Pierro, Herbert Wiklicky
Measuring the Precision of Abstract Interpretations. LOPSTR (LNCS 2042: Selected Papers) (2000)
Alessandra Di Pierro, Herbert Wiklicky
Linear Structures for Concurrency in Probabilistic Programming Languages. Electron. Notes Theor. Comput. Sci. 40 (2000)
Alessandra Di Pierro, Herbert Wiklicky
On the precision of abstract interpretations. LOPSTR (2000)
Alessandra Di Pierro, Herbert Wiklicky
Quantitative Observables and Averages in Probabilistic Constraint Programming. New Trends in Constraints (1999)
Alessandra Di Pierro, Herbert Wiklicky
A Banach Space Based Semantics for Probabilistic Concurrent Constraint Programming. CATS (1998)
Alessandra Di Pierro, Herbert Wiklicky
An Operational Semantics for Probabilistic Concurrent Constraint Programming. ICCL (1998)
Alessandra Di Pierro, Herbert Wiklicky
Probabilistic Concurrent Constraint Programming: Towards a Fully Abstract Model. MFCS (1998)
Nicos Angelopoulos, Alessandra Di Pierro, Herbert Wiklicky
Implementing Randomised Algorithms in Constraint Logic Programming. IJCSLP (1998)
Alessandra Di Pierro, Herbert Wiklicky
A Markov Model for Probabilistic Concurrent Constraint Programming. APPIA-GULP-PRODE (1998)
Alessandra Di Pierro, Herbert Wiklicky
On Probabilistic CCP. APPIA-GULP-PRODE (1997)
Herbert Wiklicky
The neural network loading problem is undecidable. EuroCOLT (1993)
Herbert Wiklicky
On the Non-Existence of a Universal Learning Algorithm for Recurrent Neural Networks. NIPS (1993)
Georg Dorffner, Erich Prem, Claudia Ulbricht, Herbert Wiklicky
Theory and Practice of Neural Networks. Wissensbasierte Systeme (1991)