The SCEAS System
| |||||||

## Search the dblp DataBase
Ian Stark:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- 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] - Ulrich Schöpp, Ian Stark
**A Dependent Type Theory with Names and Binding.**[Citation Graph (0, 0)][DBLP] CSL, 2004, pp:235-249 [Conf] - 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] - Ian Stark
**Free-Algebra Models for the**[Citation Graph (0, 0)][DBLP]*pi*-Calculus. FoSSaCS, 2005, pp:155-169 [Conf] - Alex Blewitt, Alan Bundy, Ian Stark
**Automatic verification of design patterns in Java.**[Citation Graph (0, 0)][DBLP] ASE, 2005, pp:224-232 [Conf] - Alex Blewitt, Alan Bundy, Ian Stark
**Automatic Verification of Java Design Patterns.**[Citation Graph (0, 0)][DBLP] ASE, 2001, pp:324-327 [Conf] - Ian Stark
**A Fully Abstract Domain Model for the pi-Calculus.**[Citation Graph (0, 0)][DBLP] LICS, 1996, pp:36-42 [Conf] - Sam Lindley, Ian Stark
**Reducibility and TT-Lifting for Computation Types.**[Citation Graph (0, 0)][DBLP] TLCA, 2005, pp:262-277 [Conf] - Ian Stark
**Names, Equations, Relations: Practical Ways to Reason about**[Citation Graph (0, 0)][DBLP]*new*. TLCA, 1997, pp:336-353 [Conf] - 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] - 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] - 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] - 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] - 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] - 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] **The Continuous pi-Calculus: A Process Algebra for Biochemical Modelling.**[Citation Graph (, )][DBLP]**Safety Guarantees from Explicit Resource Management.**[Citation Graph (, )][DBLP]**MOBIUS: Mobility, Ubiquity, Security.**[Citation Graph (, )][DBLP]**Monitoring External Resources in Java MIDP.**[Citation Graph (, )][DBLP]
Search in 0.003secs, Finished in 0.004secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |