The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Ian Stark: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. David Aspinall, Stephen Gilmore, Martin Hofmann, Donald Sannella, Ian Stark
    Mobile Resource Guarantees for Smart Devices. [Citation Graph (0, 0)][DBLP]
    CASSIS, 2004, pp:1-26 [Conf]
  2. Ulrich Schöpp, Ian Stark
    A Dependent Type Theory with Names and Binding. [Citation Graph (0, 0)][DBLP]
    CSL, 2004, pp:235-249 [Conf]
  3. Gian Luca Cattani, Ian Stark, Glynn Winskel
    Presheaf Models for the pi-Calculus. [Citation Graph (0, 0)][DBLP]
    Category Theory and Computer Science, 1997, pp:106-126 [Conf]
  4. Ian Stark
    Free-Algebra Models for the pi-Calculus. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2005, pp:155-169 [Conf]
  5. Alex Blewitt, Alan Bundy, Ian Stark
    Automatic verification of design patterns in Java. [Citation Graph (0, 0)][DBLP]
    ASE, 2005, pp:224-232 [Conf]
  6. Alex Blewitt, Alan Bundy, Ian Stark
    Automatic Verification of Java Design Patterns. [Citation Graph (0, 0)][DBLP]
    ASE, 2001, pp:324-327 [Conf]
  7. Ian Stark
    A Fully Abstract Domain Model for the pi-Calculus. [Citation Graph (0, 0)][DBLP]
    LICS, 1996, pp:36-42 [Conf]
  8. Sam Lindley, Ian Stark
    Reducibility and TT-Lifting for Computation Types. [Citation Graph (0, 0)][DBLP]
    TLCA, 2005, pp:262-277 [Conf]
  9. Ian Stark
    Names, Equations, Relations: Practical Ways to Reason about new. [Citation Graph (0, 0)][DBLP]
    TLCA, 1997, pp:336-353 [Conf]
  10. Lennart Beringer, Kenneth Mackenzie, Ian Stark
    Grail: a functional form for imperative mobile code. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:85, n:1, pp:- [Journal]
  11. Tom Chothia, Ian Stark
    A Distributed Pi-Calculus with Local Areas of Communication. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2000, v:41, n:2, pp:- [Journal]
  12. Tom Chothia, Ian Stark
    Encoding Distributed Areas and Local Communication into the pi-Calculus. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:52, n:1, pp:- [Journal]
  13. Ian Stark
    Names, Equations, Relations: Practical Ways to Reason About New. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1998, v:33, n:4, pp:369-396 [Journal]
  14. Ian Stark
    Categorical Models for Local Names. [Citation Graph (0, 0)][DBLP]
    Lisp and Symbolic Computation, 1996, v:9, n:1, pp:77-107 [Journal]
  15. Donald Sannella, Martin Hofmann, David Aspinall, Stephen Gilmore, Ian Stark, Lennart Beringer, Hans-Wolfgang Loidl, Kenneth Mackenzie, Alberto Momigliano, Olha Shkaravska
    Mobile Resource Guarantees (project evaluation paper). [Citation Graph (0, 0)][DBLP]
    Trends in Functional Programming, 2005, pp:211-226 [Conf]

  16. The Continuous pi-Calculus: A Process Algebra for Biochemical Modelling. [Citation Graph (, )][DBLP]


  17. Safety Guarantees from Explicit Resource Management. [Citation Graph (, )][DBLP]


  18. MOBIUS: Mobility, Ubiquity, Security. [Citation Graph (, )][DBLP]


  19. Monitoring External Resources in Java MIDP. [Citation Graph (, )][DBLP]


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