Herbert Wiklicky

77 papers B 6C 6Journal 17Unranked 38

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Distribution and Clusters Approximations as Abstract Domains in Probabilistic Abstract Interpretation to Neural Network Analysis. CoRR Zhuofan Zhang, Herbert Wiklicky
2026	J	`jnl`	Probabilistic Abstract Interpretation on Neural Networks via Grids Approximation. CoRR Zhuofan Zhang, Herbert Wiklicky
2024	—	`conf`	Probabilistic Abstract Interpretation on Neural Networks via Grids Approximation. XAI.it@AI*IA Zhuofan Zhang, Herbert Wiklicky
2022	—	`conf`	Tunable Quantum Neural Networks in the QPAC-Learning Framework. QPL Viet Pham Ngoc, David Tuckey, Herbert Wiklicky
2020	J	`jnl`	Comparison of Syntactic and Semantic Representations of Programs in Neural Embeddings. CoRR Austin P. Wright, Herbert Wiklicky
2020	—	`ed.`	Proceedings 16th Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL@ETAPS 2019, Prague, Czech Republic, 7th April 2019. QAPL Alessandro Aldini, Herbert Wiklicky
2017	—	`ed.`	Proceedings 15th Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL@ETAPS 2017, Uppsala, Sweden, 23rd April 2017. QAPL Herbert Wiklicky, Erik P. de Vink
2016	J	`jnl`	Editorial: Quantitative Aspects of Programming Languages and Systems. Theor. Comput. Sci. Nathalie Bertrand, Luca Bortolussi, Herbert Wiklicky
2016	C	`conf`	On Dynamical Probabilities, or: How to Learn to Shoot Straight. COORDINATION Herbert Wiklicky
2016	—	`conf`	Probabilistic Abstract Interpretation: From Trace Semantics to DTMC's and Linear Regression. Semantics, Logics, and Calculi Alessandra Di Pierro, Herbert Wiklicky
2016	—	`ed.`	Proceedings 14th International Workshop Quantitative Aspects of Programming Languages and Systems, QAPL 2016, Eindhoven, The Netherlands, April 2-3, 2016. QAPL Mirco Tribastone, Herbert Wiklicky
2015	J	`jnl`	Unfolding for CHR programs. Theory Pract. Log. Program. Maurizio Gabbrielli, Maria Chiara Meo, Paolo Tacchella, Herbert Wiklicky
2014	—	`conf`	Program Synthesis and Linear Operator Semantics. SYNT Herbert Wiklicky
2014	J	`jnl`	Quantitative Aspects of Programming Languages and Systems (2011-12). Theor. Comput. Sci. Mieke Massink, Gethin Norman, Herbert Wiklicky
2013	—	`ed.`	Formal Methods for Dynamical Systems - 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures SFM Marco Bernardo, Erik P. de Vink, Alessandra Di Pierro, Herbert Wiklicky
2013	—	`conf`	Probabilistic Analysis of Programs: A Weak Limit Approach. FOPARA Alessandra Di Pierro, Herbert Wiklicky
2013	—	`conf`	Probabilistic data flow analysis: a linear equational approach. GandALF Alessandra Di Pierro, Herbert Wiklicky
2013	—	`ed.`	Proceedings 11th International Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2013, Rome, Italy, March 23-24, 2013. QAPL Luca Bortolussi, Herbert Wiklicky
2013	B	`conf`	Semantics of Probabilistic Programs: A Weak Limit Approach. APLAS Alessandra Di Pierro, Herbert Wiklicky
2013	J	`jnl`	Unfolding for CHR programs. CoRR Maurizio Gabbrielli, Maria Chiara Meo, Paolo Tacchella, Herbert Wiklicky
2012	—	`ed.`	Proceedings 10th Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2012, Tallinn, Estonia, 31 March and 1 April 2012. QAPL Herbert Wiklicky, Mieke Massink
2011	J	`jnl`	Probabilistic timing covert channels: to close or not to close? Int. J. Inf. Sec. Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
2010	—	`ed.`	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 SFM Alessandro Aldini, Marco Bernardo, Alessandra Di Pierro, Herbert Wiklicky
2010	—	`conf`	Probabilistic Semantics and Program Analysis. SFM Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
2010	J	`jnl`	Program Analysis Probably Counts. Comput. J. Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
2008	J	`jnl`	Quantifying Timing Leaks and Cost Optimisation CoRR Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
2008	C	`conf`	Quantifying Timing Leaks and Cost Optimisation. ICICS Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
2008	—	`conf`	Relational Analysis and Precision via Probabilistic Abstract Interpretation. QAPL Alessandra Di Pierro, Pascal Sotin, Herbert Wiklicky
2007	B	`conf`	A Systematic Approach to Probabilistic Pointer Analysis. APLAS Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
2007	—	`conf`	On Probabilistic Techniques for Data Flow Analysis. QAPL Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
2007	J	`jnl`	Preface: Quantitative aspects of programming languages. Theor. Comput. Sci. Alessandra Di Pierro, Herbert Wiklicky
2007	J	`jnl`	Tempus fugit: How to plug it. J. Log. Algebraic Methods Program. Alessandra Di Pierro, Chris Hankin, Igor Siveroni, Herbert Wiklicky
2006	—	`conf`	Abstract Interpretation for Worst and Average Case Analysis. Program Analysis and Compilation Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
2006	C	`ed.`	Coordination Models and Languages, 8th International Conference, COORDINATION 2006, Bologna, Italy, June 14-16, 2006, Proceedings COORDINATION Paolo Ciancarini, Herbert Wiklicky
2006	—	`conf`	Preface. QAPL Alessandra Di Pierro, Herbert Wiklicky
2006	—	`ed.`	Proceedings of the 4th International Workshop on Quantitative Aspects of Programming Languages, QAPL 2006, Vienna, Austria, April 1-2, 2006 QAPL Alessandra Di Pierro, Herbert Wiklicky
2006	—	`ed.`	Proceedings of the Third Workshop on Quantitative Aspects of Programming Languages, QAPL 2005, Edinburgh, UK, April 2-3, 2005 QAPL Antonio Cerone, Herbert Wiklicky
2006	J	`jnl`	Reversible combinatory logic. Math. Struct. Comput. Sci. Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
2006	—	`conf`	Semantic Abstraction and Quantum Computation. QPL Alessandra Di Pierro, Herbert Wiklicky
2005	B	`conf`	A Distributed and Probabilistic Concurrent Constraint Programming Language. ICLP Luca Bortolussi, Herbert Wiklicky
2005	J	`jnl`	Measuring the confinement of probabilistic systems. Theor. Comput. Sci. Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
2005	—	`conf`	On Reversible Combinatory Logic. DCM@ICALP Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
2005	—	`conf`	On a Probabilistic Chemical Abstract Machine and the Expressiveness of Linda Languages. FMCO Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
2005	—	`conf`	Preface. QAPL Antonio Cerone, Herbert Wiklicky
2005	J	`jnl`	Probabilistic /lambda-calculus and Quantitative Program Analysis. J. Log. Comput. Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
2005	J	`jnl`	Quantitative static analysis of distributed systems. J. Funct. Program. Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
2004	J	`jnl`	Approximate Non-interference. J. Comput. Secur. Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
2004	—	`conf`	Continuous-Time Probabilistic KLAIM. SecCo Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
2004	—	`conf`	Operator Algebras and the Operational Semantics of Probabilistic Languages. MFCSIT Alessandra Di Pierro, Herbert Wiklicky
2004	C	`conf`	Probabilistic KLAIM. COORDINATION Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
2004	—	`conf`	Probabilistic Linda-Based Coordination Languages. FMCO Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
2004	—	`conf`	lambda-calculus and Quantitative Program Analysis: (Extended Abstract). QAPL Chris Hankin, Herbert Wiklicky
2003	B	`conf`	Quantitative Relations and Approximate Process Equivalences. CONCUR Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
2002	B	`conf`	Analysing Approximate Confinement under Uniform Attacks. SAS Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
2002	—	`conf`	Approximate Non-Interference. CSFW Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
2002	—	`conf`	Probabilistic Abstract Interpretation and Statistical Testing. PAPM-PROBMIV Alessandra Di Pierro, Herbert Wiklicky
2002	—	`conf`	Probabilistic Constraint Handling Rules. WFLP Thom W. Frühwirth, Alessandra Di Pierro, Herbert Wiklicky
2002	—	`conf`	Two Formal Approaches for Approximating Noninterference Properties. FOSAD Alessandro Aldini, Mario Bravetti, Alessandra Di Pierro, Roberto Gorrieri, Chris Hankin, Herbert Wiklicky
2002	—	`ed.`	Workshop on Quantitative Aspects of Programming Laguages, QAPL 2001, Satellite Event of PLI 2001, Firenze, Italy, September 7, 2001 QAPL Alessandra Di Pierro, Herbert Wiklicky
2001	—	`conf`	Linear Embedding for a Quantitative Comparison of Language Expressiveness. QAPL Antonio Brogi, Alessandra Di Pierro, Herbert Wiklicky
2001	—	`conf`	Preface. QAPL Alessandra Di Pierro, Herbert Wiklicky
2001	—	`conf`	Probabilistic confinement in a declarative framework. APPIA-GULP-PRODE Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
2001	—	`conf`	Quantum constraint programming. APPIA-GULP-PRODE Alessandra Di Pierro, Herbert Wiklicky
2000	C	`conf`	Concurrent constraint programming: towards probabilistic abstract interpretation. PPDP Alessandra Di Pierro, Herbert Wiklicky
2000	—	`conf`	Linear Structures for Concurrency in Probabilistic Programming Languages. MFCSIT Alessandra Di Pierro, Herbert Wiklicky
2000	—	`conf`	Measuring the Precision of Abstract Interpretations. LOPSTR (LNCS 2042: Selected Papers) Alessandra Di Pierro, Herbert Wiklicky
2000	C	`conf`	On the precision of abstract interpretations. LOPSTR Alessandra Di Pierro, Herbert Wiklicky
1999	—	`conf`	Quantitative Observables and Averages in Probabilistic Constraint Programming. New Trends in Constraints Alessandra Di Pierro, Herbert Wiklicky
1998	—	`conf`	A Banach Space Based Semantics for Probabilistic Concurrent Constraint Programming. CATS Alessandra Di Pierro, Herbert Wiklicky
1998	—	`conf`	A Markov Model for Probabilistic Concurrent Constraint Programming. APPIA-GULP-PRODE Alessandra Di Pierro, Herbert Wiklicky
1998	—	`conf`	An Operational Semantics for Probabilistic Concurrent Constraint Programming. ICCL Alessandra Di Pierro, Herbert Wiklicky
1998	—	`conf`	Implementing Randomised Algorithms in Constraint Logic Programming. IJCSLP Nicos Angelopoulos, Alessandra Di Pierro, Herbert Wiklicky
1998	B	`conf`	Probabilistic Concurrent Constraint Programming: Towards a Fully Abstract Model. MFCS Alessandra Di Pierro, Herbert Wiklicky
1997	—	`conf`	On Probabilistic CCP. APPIA-GULP-PRODE Alessandra Di Pierro, Herbert Wiklicky
1993	—	`conf`	On the Non-Existence of a Universal Learning Algorithm for Recurrent Neural Networks. NIPS Herbert Wiklicky
1993	—	`conf`	The neural network loading problem is undecidable. EuroCOLT Herbert Wiklicky
1991	—	`conf`	Theory and Practice of Neural Networks. Wissensbasierte Systeme Georg Dorffner, Erich Prem, Claudia Ulbricht, Herbert Wiklicky