Herbert Wiklicky Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2008
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandra Di Pierro, Chris Hankin, Herbert Wiklicky: Quantifying Timing Leaks and Cost Optimisation. ICICS 2008: 81-96
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandra Di Pierro, Chris Hankin, Herbert Wiklicky: Quantifying Timing Leaks and Cost Optimisation CoRR abs/0807.3879: (2008)
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandra Di Pierro, Herbert Wiklicky: Semantic Abstraction and Quantum Computation. Electr. Notes Theor. Comput. Sci. 210: 49-63 (2008)
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandra Di Pierro, Pascal Sotin, Herbert Wiklicky: Relational Analysis and Precision via Probabilistic Abstract Interpretation. Electr. Notes Theor. Comput. Sci. 220(3): 23-42 (2008)
2007
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandra Di Pierro, Chris Hankin, Herbert Wiklicky: A Systematic Approach to Probabilistic Pointer Analysis. APLAS 2007: 335-350
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandra Di Pierro, Chris Hankin, Herbert Wiklicky: On Probabilistic Techniques for Data Flow Analysis. Electr. Notes Theor. Comput. Sci. 190(3): 59-77 (2007)
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandra Di Pierro, Chris Hankin, Igor Siveroni, Herbert Wiklicky: Tempus fugit: How to plug it. J. Log. Algebr. Program. 72(2): 173-190 (2007)
39no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandra Di Pierro, Herbert Wiklicky: Preface: Quantitative aspects of programming languages. Theor. Comput. Sci. 382(1): 1-2 (2007)
2006
38no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Ciancarini, Herbert Wiklicky: Coordination Models and Languages, 8th International Conference, COORDINATION 2006, Bologna, Italy, June 14-16, 2006, Proceedings Springer 2006
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandra Di Pierro, Chris Hankin, Herbert Wiklicky: Abstract Interpretation for Worst and Average Case Analysis. Program Analysis and Compilation 2006: 160-174
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandra Di Pierro, Chris Hankin, Herbert Wiklicky: On Reversible Combinatory Logic. Electr. Notes Theor. Comput. Sci. 135(3): 25-35 (2006)
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonio Cerone, Herbert Wiklicky: Preface. Electr. Notes Theor. Comput. Sci. 153(2): 1-3 (2006)
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandra Di Pierro, Herbert Wiklicky: Operator Algebras and the Operational Semantics of Probabilistic Languages. Electr. Notes Theor. Comput. Sci. 161: 131-150 (2006)
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandra Di Pierro, Herbert Wiklicky: Preface. Electr. Notes Theor. Comput. Sci. 164(3): 1-2 (2006)
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandra Di Pierro, Chris Hankin, Herbert Wiklicky: Reversible combinatory logic. Mathematical Structures in Computer Science 16(4): 621-637 (2006)
2005
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandra Di Pierro, Chris Hankin, Herbert Wiklicky: On a Probabilistic Chemical Abstract Machine and the Expressiveness of Linda Languages. FMCO 2005: 388-407
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Bortolussi, Herbert Wiklicky: A Distributed and Probabilistic Concurrent Constraint Programming Language. ICLP 2005: 143-158
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChris Hankin, Herbert Wiklicky: lambda-calculus and Quantitative Program Analysis: (Extended Abstract). Electr. Notes Theor. Comput. Sci. 112: 5-18 (2005)
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandra Di Pierro, Chris Hankin, Herbert Wiklicky: Continuous-Time Probabilistic KLAIM. Electr. Notes Theor. Comput. Sci. 128(5): 27-38 (2005)
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandra Di Pierro, Chris Hankin, Herbert Wiklicky: Quantitative static analysis of distributed systems. J. Funct. Program. 15(5): 703-749 (2005)
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandra Di Pierro, Chris Hankin, Herbert Wiklicky: Probabilistic /lambda-calculus and Quantitative Program Analysis. J. Log. Comput. 15(2): 159-179 (2005)
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandra Di Pierro, Chris Hankin, Herbert Wiklicky: Measuring the confinement of probabilistic systems. Theor. Comput. Sci. 340(1): 3-56 (2005)
2004
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandra Di Pierro, Chris Hankin, Herbert Wiklicky: Probabilistic KLAIM. COORDINATION 2004: 119-134
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandra Di Pierro, Chris Hankin, Herbert Wiklicky: Probabilistic Linda-Based Coordination Languages. FMCO 2004: 120-140
22no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandra Di Pierro, Chris Hankin, Herbert Wiklicky: Approximate Non-interference. Journal of Computer Security 12(1): 37-82 (2004)
2003
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandra Di Pierro, Chris Hankin, Herbert Wiklicky: Quantitative Relations and Approximate Process Equivalences. CONCUR 2003: 498-512
2002
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandra Di Pierro, Chris Hankin, Herbert Wiklicky: Approximate Non-Interference. CSFW 2002: 3-17
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Aldini, Mario Bravetti, Alessandra Di Pierro, Roberto Gorrieri, Chris Hankin, Herbert Wiklicky: Two Formal Approaches for Approximating Noninterference Properties. FOSAD 2002: 1-43
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandra Di Pierro, Herbert Wiklicky: Probabilistic Abstract Interpretation and Statistical Testing. PAPM-PROBMIV 2002: 211-212
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandra Di Pierro, Chris Hankin, Herbert Wiklicky: Analysing Approximate Confinement under Uniform Attacks. SAS 2002: 310-325
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThom W. Frühwirth, Alessandra Di Pierro, Herbert Wiklicky: Probabilistic Constraint Handling Rules. Electr. Notes Theor. Comput. Sci. 76: (2002)
2001
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandra Di Pierro, Chris Hankin, Herbert Wiklicky: Probabilistic confinement in a declarative framework. Electr. Notes Theor. Comput. Sci. 48: (2001)
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonio Brogi, Alessandra Di Pierro, Herbert Wiklicky: Linear Embedding for a Quantitative Comparison of Language Expressiveness. Electr. Notes Theor. Comput. Sci. 59(3): (2001)
2000
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandra Di Pierro, Herbert Wiklicky: On the precision of abstract interpretations. LOPSTR 2000
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandra Di Pierro, Herbert Wiklicky: Measuring the Precision of Abstract Interpretations. LOPSTR (LNCS 2042: Selected Papers) 2000: 147-164
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandra Di Pierro, Herbert Wiklicky: Concurrent constraint programming: towards probabilistic abstract interpretation. PPDP 2000: 127-138
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandra Di Pierro, Herbert Wiklicky: Linear Structures for Concurrency in Probabilistic Programming Languages. Electr. Notes Theor. Comput. Sci. 40: (2000)
1999
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandra Di Pierro, Herbert Wiklicky: Quantitative Observables and Averages in Probabilistic Constraint Programming. New Trends in Constraints 1999: 212-236
1998
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandra Di Pierro, Herbert Wiklicky: A Markov Model for Probabilistic Concurrent Constraint Programming. APPIA-GULP-PRODE 1998: 15-28
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandra Di Pierro, Herbert Wiklicky: A Banach Space Based Semantics for Probabilistic Concurrent Constraint Programming. CATS 1998: 245-260
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandra Di Pierro, Herbert Wiklicky: An Operational Semantics for Probabilistic Concurrent Constraint Programming. ICCL 1998: 174-183
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicos Angelopoulos, Alessandra Di Pierro, Herbert Wiklicky: Implementing Randomised Algorithms in Constraint Logic Programming. IJCSLP 1998: 355-356
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandra Di Pierro, Herbert Wiklicky: Probabilistic Concurrent Constraint Programming: Towards a Fully Abstract Model. MFCS 1998: 446-455
1997
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandra Di Pierro, Herbert Wiklicky: On Probabilistic CCP. APPIA-GULP-PRODE 1997: 225-234
1993
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHerbert Wiklicky: On the Non-Existence of a Universal Learning Algorithm for Recurrent Neural Networks. NIPS 1993: 431-436
1991
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGeorg Dorffner, Erich Prem, Claudia Ulbricht, Herbert Wiklicky: Theory and Practice of Neural Networks. Wissensbasierte Systeme 1991: 476-485

Coauthor Index

1Alessandro Aldini [19]
2Nicos Angelopoulos [5]
3Luca Bortolussi [30]
4Mario Bravetti [19]
5Antonio Brogi [14]
6Antonio Cerone [35]
7Paolo Ciancarini [38]
8Georg Dorffner [1]
9Thom W. Frühwirth [16]
10Roberto Gorrieri [19]
11Chris Hankin [15] [17] [19] [20] [21] [22] [23] [24] [25] [26] [27] [28] [29] [31] [32] [36] [37] [40] [41] [42] [45] [46]
12Alessandra Di Pierro [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20] [21] [22] [23] [24] [25] [26] [27] [28] [31] [32] [33] [34] [36] [37] [39] [40] [41] [42] [43] [44] [45] [46]
13Erich Prem [1]
14Igor Siveroni [40]
15Pascal Sotin [43]
16Claudia Ulbricht [1]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Complete | Author
Copyright © Sat Nov 7 19:26:18 2009 by Michael Ley (ley@uni-trier.de)