Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Herbert Wiklicky
2010 – today
- 2013
[e4]Marco Bernardo, Erik P. de Vink, Alessandra Di Pierro, Herbert Wiklicky (Eds.): 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. Lecture Notes in Computer Science 7938, Springer 2013, ISBN 978-3-642-38873-6- [i4]Luca Bortolussi, Herbert Wiklicky: Proceedings 11th International Workshop on Quantitative Aspects of Programming Languages and Systems. CoRR abs/1306.2413 (2013)
- [i3]Maurizio Gabbrielli, Maria Chiara Meo, Paolo Tacchella, Herbert Wiklicky: Unfolding for CHR programs. CoRR abs/1307.0679 (2013)
- [i2]Alessandra Di Pierro, Herbert Wiklicky: Probabilistic data flow analysis: a linear equational approach. CoRR abs/1307.4474 (2013)
- 2012
- [e3]Herbert Wiklicky, Mieke Massink (Eds.): Proceedings 10th Workshop on Quantitative Aspects of Programming Languages and Systems. EPTCS 85, 2012
- 2011
- [j23]Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky: Probabilistic timing covert channels: to close or not to close? Int. J. Inf. Sec. 10(2): 83-106 (2011)
- 2010
- [j22]Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky: Program Analysis Probably Counts. Comput. J. 53(6): 871-880 (2010)
- [c25]Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky: Probabilistic Semantics and Program Analysis. SFM 2010: 1-42
- [e2]Alessandro Aldini, Marco Bernardo, Alessandra Di Pierro, Herbert Wiklicky (Eds.): 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. Lecture Notes in Computer Science 6154, Springer 2010, ISBN 978-3-642-13677-1
2000 – 2009
- 2008
- [j21]Alessandra Di Pierro, Herbert Wiklicky: Semantic Abstraction and Quantum Computation. Electr. Notes Theor. Comput. Sci. 210: 49-63 (2008)
- [j20]Alessandra Di Pierro, Pascal Sotin, Herbert Wiklicky: Relational Analysis and Precision via Probabilistic Abstract Interpretation. Electr. Notes Theor. Comput. Sci. 220(3): 23-42 (2008)
- [c24]Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky: Quantifying Timing Leaks and Cost Optimisation. ICICS 2008: 81-96
- [i1]Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky: Quantifying Timing Leaks and Cost Optimisation. CoRR abs/0807.3879 (2008)
- 2007
- [j19]Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky: On Probabilistic Techniques for Data Flow Analysis. Electr. Notes Theor. Comput. Sci. 190(3): 59-77 (2007)
- [j18]Alessandra Di Pierro, Chris Hankin, Igor Siveroni, Herbert Wiklicky: Tempus fugit: How to plug it. J. Log. Algebr. Program. 72(2): 173-190 (2007)
- [j17]Alessandra Di Pierro, Herbert Wiklicky: Preface: Quantitative aspects of programming languages. Theor. Comput. Sci. 382(1): 1-2 (2007)
- [c23]Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky: A Systematic Approach to Probabilistic Pointer Analysis. APLAS 2007: 335-350
- 2006
- [j16]Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky: On Reversible Combinatory Logic. Electr. Notes Theor. Comput. Sci. 135(3): 25-35 (2006)
- [j15]
- [j14]Alessandra Di Pierro, Herbert Wiklicky: Operator Algebras and the Operational Semantics of Probabilistic Languages. Electr. Notes Theor. Comput. Sci. 161: 131-150 (2006)
- [j13]Alessandra Di Pierro, Herbert Wiklicky: Preface. Electr. Notes Theor. Comput. Sci. 164(3): 1-2 (2006)
- [j12]Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky: Reversible combinatory logic. Mathematical Structures in Computer Science 16(4): 621-637 (2006)
- [c22]Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky: Abstract Interpretation for Worst and Average Case Analysis. Program Analysis and Compilation 2006: 160-174
- [e1]Paolo Ciancarini, Herbert Wiklicky (Eds.): Coordination Models and Languages, 8th International Conference, COORDINATION 2006, Bologna, Italy, June 14-16, 2006, Proceedings. Lecture Notes in Computer Science 4038, Springer 2006, ISBN 3-540-34694-5
- 2005
- [j11]Chris Hankin, Herbert Wiklicky: lambda-calculus and Quantitative Program Analysis: (Extended Abstract). Electr. Notes Theor. Comput. Sci. 112: 5-18 (2005)
- [j10]Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky: Continuous-Time Probabilistic KLAIM. Electr. Notes Theor. Comput. Sci. 128(5): 27-38 (2005)
- [j9]Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky: Quantitative static analysis of distributed systems. J. Funct. Program. 15(5): 703-749 (2005)
- [j8]Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky: Probabilistic /lambda-calculus and Quantitative Program Analysis. J. Log. Comput. 15(2): 159-179 (2005)
- [j7]Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky: Measuring the confinement of probabilistic systems. Theor. Comput. Sci. 340(1): 3-56 (2005)
- [c21]Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky: On a Probabilistic Chemical Abstract Machine and the Expressiveness of Linda Languages. FMCO 2005: 388-407
- [c20]Luca Bortolussi, Herbert Wiklicky: A Distributed and Probabilistic Concurrent Constraint Programming Language. ICLP 2005: 143-158
- 2004
- [j6]Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky: Approximate Non-interference. Journal of Computer Security 12(1): 37-82 (2004)
- [c19]Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky: Probabilistic KLAIM. COORDINATION 2004: 119-134
- [c18]Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky: Probabilistic Linda-Based Coordination Languages. FMCO 2004: 120-140
- 2003
- [c17]Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky: Quantitative Relations and Approximate Process Equivalences. CONCUR 2003: 498-512
- 2002
- [j5]Thom W. Frühwirth, Alessandra Di Pierro, Herbert Wiklicky: Probabilistic Constraint Handling Rules. Electr. Notes Theor. Comput. Sci. 76: 115-130 (2002)
- [c16]
- [c15]Alessandro Aldini, Mario Bravetti, Alessandra Di Pierro, Roberto Gorrieri, Chris Hankin, Herbert Wiklicky: Two Formal Approaches for Approximating Noninterference Properties. FOSAD 2002: 1-43
- [c14]Alessandra Di Pierro, Herbert Wiklicky: Probabilistic Abstract Interpretation and Statistical Testing. PAPM-PROBMIV 2002: 211-212
- [c13]Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky: Analysing Approximate Confinement under Uniform Attacks. SAS 2002: 310-325
- 2001
- [j4]Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky: Probabilistic confinement in a declarative framework. Electr. Notes Theor. Comput. Sci. 48: 108-130 (2001)
- [j3]Antonio Brogi, Alessandra Di Pierro, Herbert Wiklicky: Linear Embedding for a Quantitative Comparison of Language Expressiveness. Electr. Notes Theor. Comput. Sci. 59(3): 207-237 (2001)
- [j2]Alessandra Di Pierro, Herbert Wiklicky: Preface. Electr. Notes Theor. Comput. Sci. 59(3): 252-253 (2001)
- 2000
- [j1]Alessandra Di Pierro, Herbert Wiklicky: Linear Structures for Concurrency in Probabilistic Programming Languages. Electr. Notes Theor. Comput. Sci. 40: 100-143 (2000)
- [c12]
- [c11]Alessandra Di Pierro, Herbert Wiklicky: Measuring the Precision of Abstract Interpretations. LOPSTR (LNCS 2042: Selected Papers) 2000: 147-164
- [c10]Alessandra Di Pierro, Herbert Wiklicky: Concurrent constraint programming: towards probabilistic abstract interpretation. PPDP 2000: 127-138
1990 – 1999
- 1999
- [c9]Alessandra Di Pierro, Herbert Wiklicky: Quantitative Observables and Averages in Probabilistic Constraint Programming. New Trends in Constraints 1999: 212-236
- 1998
- [c8]Alessandra Di Pierro, Herbert Wiklicky: A Markov Model for Probabilistic Concurrent Constraint Programming. APPIA-GULP-PRODE 1998: 15-28
- [c7]Alessandra Di Pierro, Herbert Wiklicky: A Banach Space Based Semantics for Probabilistic Concurrent Constraint Programming. CATS 1998: 245-260
- [c6]Alessandra Di Pierro, Herbert Wiklicky: An Operational Semantics for Probabilistic Concurrent Constraint Programming. ICCL 1998: 174-183
- [c5]Nicos Angelopoulos, Alessandra Di Pierro, Herbert Wiklicky: Implementing Randomised Algorithms in Constraint Logic Programming. IJCSLP 1998: 355-356
- [c4]Alessandra Di Pierro, Herbert Wiklicky: Probabilistic Concurrent Constraint Programming: Towards a Fully Abstract Model. MFCS 1998: 446-455
- 1997
- [c3]
- 1993
- [c2]Herbert Wiklicky: On the Non-Existence of a Universal Learning Algorithm for Recurrent Neural Networks. NIPS 1993: 431-436
- 1991
- [c1]Georg Dorffner, Erich Prem, Claudia Ulbricht, Herbert Wiklicky: Theory and Practice of Neural Networks. Wissensbasierte Systeme 1991: 476-485
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:12 CEST by the dblp team