The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Sebastian Hunt: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Michael Jampel, Jean-Marie Jacquet, David Gilbert, Sebastian Hunt
    Transformations Between HCLP and PCSP. [Citation Graph (0, 0)][DBLP]
    CP, 1996, pp:252-266 [Conf]
  2. Chris Hankin, Sebastian Hunt
    Approximate Fixed Points in Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
    ESOP, 1992, pp:219-232 [Conf]
  3. Sebastian Hunt
    Frontiers and Open Sets in Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
    FPCA, 1989, pp:1-13 [Conf]
  4. Michael Jampel, Sebastian Hunt
    Composition in Hierarchical CLP. [Citation Graph (0, 0)][DBLP]
    IJCAI (1), 1995, pp:640-645 [Conf]
  5. Sebastian Hunt, David Sands
    Binding Time Analysis: A New PERspective. [Citation Graph (0, 0)][DBLP]
    PEPM, 1991, pp:154-165 [Conf]
  6. Sebastian Hunt, David Sands
    On flow-sensitive security types. [Citation Graph (0, 0)][DBLP]
    POPL, 2006, pp:79-90 [Conf]
  7. David Clark, Chris Hankin, Sebastian Hunt
    Safety of Strictness Analysis via Term Graph Rewriting. [Citation Graph (0, 0)][DBLP]
    SAS, 2000, pp:95-114 [Conf]
  8. Sebastian Hunt, Isabella Mastroeni
    The PER Model of Abstract Non-interference. [Citation Graph (0, 0)][DBLP]
    SAS, 2005, pp:171-185 [Conf]
  9. David Clark, Chris Hankin, Sebastian Hunt
    Information flow for Algol-like languages. [Citation Graph (0, 0)][DBLP]
    Comput. Lang., 2002, v:28, n:1, pp:3-28 [Journal]
  10. David Clark, Sebastian Hunt, Pasquale Malacaria
    Quantified Interference for a While Language. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:112, n:, pp:149-166 [Journal]
  11. David Clark, Sebastian Hunt, Pasquale Malacaria
    A static analysis for quantifying information flow in a simple imperative language. [Citation Graph (0, 0)][DBLP]
    Journal of Computer Security, 2007, v:15, n:3, pp:321-371 [Journal]
  12. Sebastian Hunt, Chris Hankin
    Fixed Points and Frontiers: A New Perspective. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 1991, v:1, n:1, pp:91-120 [Journal]
  13. David Clark, Sebastian Hunt, Pasquale Malacaria
    Quantitative Information Flow, Relations and Polymorphic Types. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2005, v:15, n:2, pp:181-199 [Journal]
  14. Chris Hankin, Sebastian Hunt
    Approximate Fixed Points in Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1994, v:22, n:3, pp:283-306 [Journal]
  15. David Clark, Sebastian Hunt, Pasquale Malacaria
    Quantitative Analysis of the Leakage of Confidential Data. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:59, n:3, pp:- [Journal]

  16. Just Forget It - The Semantics and Enforcement of Information Erasure. [Citation Graph (, )][DBLP]


  17. Termination-Insensitive Noninterference Leaks More Than Just a Bit. [Citation Graph (, )][DBLP]


  18. Non-Interference for Deterministic Interactive Programs. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.003secs
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