The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Herbert Wiklicky: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Alessandra Di Pierro, Herbert Wiklicky
    On Probabilistic CCP. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1997, pp:225-234 [Conf]
  2. Alessandra Di Pierro, Herbert Wiklicky
    A Markov Model for Probabilistic Concurrent Constraint Programming. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1998, pp:15-28 [Conf]
  3. Alessandra Di Pierro, Herbert Wiklicky
    Quantitative Observables and Averages in Probabilistic Constraint Programming. [Citation Graph (0, 0)][DBLP]
    New Trends in Constraints, 1999, pp:212-236 [Conf]
  4. Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
    Quantitative Relations and Approximate Process Equivalences. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2003, pp:498-512 [Conf]
  5. Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
    Probabilistic KLAIM. [Citation Graph (0, 0)][DBLP]
    COORDINATION, 2004, pp:119-134 [Conf]
  6. Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
    Approximate Non-Interference. [Citation Graph (0, 0)][DBLP]
    CSFW, 2002, pp:3-17 [Conf]
  7. Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
    Probabilistic Linda-Based Coordination Languages. [Citation Graph (0, 0)][DBLP]
    FMCO, 2004, pp:120-140 [Conf]
  8. Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
    On a Probabilistic Chemical Abstract Machine and the Expressiveness of Linda Languages. [Citation Graph (0, 0)][DBLP]
    FMCO, 2005, pp:388-407 [Conf]
  9. Alessandro Aldini, Mario Bravetti, Alessandra Di Pierro, Roberto Gorrieri, Chris Hankin, Herbert Wiklicky
    Two Formal Approaches for Approximating Noninterference Properties. [Citation Graph (0, 0)][DBLP]
    FOSAD, 2002, pp:1-43 [Conf]
  10. Alessandra Di Pierro, Herbert Wiklicky
    An Operational Semantics for Probabilistic Concurrent Constraint Programming. [Citation Graph (0, 0)][DBLP]
    ICCL, 1998, pp:174-183 [Conf]
  11. Nicos Angelopoulos, Alessandra Di Pierro, Herbert Wiklicky
    Implementing Randomised Algorithms in Constraint Logic Programming. [Citation Graph (0, 0)][DBLP]
    IJCSLP, 1998, pp:355-356 [Conf]
  12. Luca Bortolussi, Herbert Wiklicky
    A Distributed and Probabilistic Concurrent Constraint Programming Language. [Citation Graph (0, 0)][DBLP]
    ICLP, 2005, pp:143-158 [Conf]
  13. Alessandra Di Pierro, Herbert Wiklicky
    On the precision of abstract interpretations. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2000, pp:- [Conf]
  14. Alessandra Di Pierro, Herbert Wiklicky
    Measuring the Precision of Abstract Interpretations. [Citation Graph (0, 0)][DBLP]
    LOPSTR (LNCS 2042: Selected Papers), 2000, pp:147-164 [Conf]
  15. Alessandra Di Pierro, Herbert Wiklicky
    Probabilistic Concurrent Constraint Programming: Towards a Fully Abstract Model. [Citation Graph (0, 0)][DBLP]
    MFCS, 1998, pp:446-455 [Conf]
  16. Herbert Wiklicky
    On the Non-Existence of a Universal Learning Algorithm for Recurrent Neural Networks. [Citation Graph (0, 0)][DBLP]
    NIPS, 1993, pp:431-436 [Conf]
  17. Alessandra Di Pierro, Herbert Wiklicky
    Probabilistic Abstract Interpretation and Statistical Testing. [Citation Graph (0, 0)][DBLP]
    PAPM-PROBMIV, 2002, pp:211-212 [Conf]
  18. Alessandra Di Pierro, Herbert Wiklicky
    Concurrent constraint programming: towards probabilistic abstract interpretation. [Citation Graph (0, 0)][DBLP]
    PPDP, 2000, pp:127-138 [Conf]
  19. Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
    Analysing Approximate Confinement under Uniform Attacks. [Citation Graph (0, 0)][DBLP]
    SAS, 2002, pp:310-325 [Conf]
  20. Georg Dorffner, Erich Prem, Claudia Ulbricht, Herbert Wiklicky
    Theory and Practice of Neural Networks. [Citation Graph (0, 0)][DBLP]
    Wissensbasierte Systeme, 1991, pp:476-485 [Conf]
  21. Antonio Cerone, Herbert Wiklicky
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:153, n:2, pp:1-3 [Journal]
  22. Thom W. Frühwirth, Alessandra Di Pierro, Herbert Wiklicky
    Probabilistic Constraint Handling Rules. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:76, n:, pp:- [Journal]
  23. Chris Hankin, Herbert Wiklicky
    lambda-calculus and Quantitative Program Analysis: (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:112, n:, pp:5-18 [Journal]
  24. Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
    Probabilistic confinement in a declarative framework. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:48, n:, pp:- [Journal]
  25. Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
    Continuous-Time Probabilistic KLAIM. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:128, n:5, pp:27-38 [Journal]
  26. Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
    On Reversible Combinatory Logic. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:135, n:3, pp:25-35 [Journal]
  27. Alessandra Di Pierro, Herbert Wiklicky
    Linear Structures for Concurrency in Probabilistic Programming Languages. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2000, v:40, n:, pp:- [Journal]
  28. Alessandra Di Pierro, Herbert Wiklicky
    Operator Algebras and the Operational Semantics of Probabilistic Languages. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:161, n:, pp:131-150 [Journal]
  29. Alessandra Di Pierro, Herbert Wiklicky
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:164, n:3, pp:1-2 [Journal]
  30. Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
    Approximate Non-interference. [Citation Graph (0, 0)][DBLP]
    Journal of Computer Security, 2004, v:12, n:1, pp:37-82 [Journal]
  31. Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
    Quantitative static analysis of distributed systems. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 2005, v:15, n:5, pp:703-749 [Journal]
  32. Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
    Probabilistic /lambda-calculus and Quantitative Program Analysis. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2005, v:15, n:2, pp:159-179 [Journal]
  33. Antonio Brogi, Alessandra Di Pierro, Herbert Wiklicky
    Linear Embedding for a Quantitative Comparison of Language Expressiveness. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:59, n:3, pp:- [Journal]
  34. Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
    Measuring the confinement of probabilistic systems. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:340, n:1, pp:3-56 [Journal]
  35. Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
    Abstract Interpretation for Worst and Average Case Analysis. [Citation Graph (0, 0)][DBLP]
    Program Analysis and Compilation, 2006, pp:160-174 [Conf]
  36. Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
    On Probabilistic Techniques for Data Flow Analysis. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:190, n:3, pp:59-77 [Journal]
  37. Alessandra Di Pierro, Chris Hankin, Igor Siveroni, Herbert Wiklicky
    Tempus fugit: How to plug it. [Citation Graph (0, 0)][DBLP]
    J. Log. Algebr. Program., 2007, v:72, n:2, pp:173-190 [Journal]
  38. Alessandra Di Pierro, Herbert Wiklicky
    Preface: Quantitative aspects of programming languages. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2007, v:382, n:1, pp:1-2 [Journal]

  39. A Systematic Approach to Probabilistic Pointer Analysis. [Citation Graph (, )][DBLP]


  40. A Banach Space Based Semantics for Probabilistic Concurrent Constraint Programming. [Citation Graph (, )][DBLP]


  41. Quantifying Timing Leaks and Cost Optimisation. [Citation Graph (, )][DBLP]


  42. Probabilistic Semantics and Program Analysis. [Citation Graph (, )][DBLP]


  43. Quantifying Timing Leaks and Cost Optimisation [Citation Graph (, )][DBLP]


  44. Semantic Abstraction and Quantum Computation. [Citation Graph (, )][DBLP]


  45. Relational Analysis and Precision via Probabilistic Abstract Interpretation. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.006secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002