|
Search the dblp DataBase
Dave Clarke:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Dave Clarke, Sophia Drossopoulou, James Noble, Tobias Wrigstad
Tribe: a simple virtual class calculus. [Citation Graph (0, 0)][DBLP] AOSD, 2007, pp:121-134 [Conf]
- Dave Clarke, Tobias Wrigstad
External Uniqueness Is Unique Enough. [Citation Graph (0, 0)][DBLP] ECOOP, 2003, pp:176-200 [Conf]
- Cees Pierik, Dave Clarke, Frank S. de Boer
Controlling Object Allocation Using Creation Guards. [Citation Graph (0, 0)][DBLP] FM, 2005, pp:59-74 [Conf]
- Andres Löh, Dave Clarke, Johan Jeuring
Dependency-style generic Haskell. [Citation Graph (0, 0)][DBLP] ICFP, 2003, pp:141-152 [Conf]
- Dave Clarke, Andres Löh
Generic Haskell, Specifically. [Citation Graph (0, 0)][DBLP] Generic Programming, 2002, pp:21-47 [Conf]
- Dave Clarke, David Costa, Farhad Arbab
Modelling Coordination in Biological Systems. [Citation Graph (0, 0)][DBLP] ISoLA, 2004, pp:9-25 [Conf]
- Alex Potanin, James Noble, Dave Clarke, Robert Biddle
Generic ownership for generic Java. [Citation Graph (0, 0)][DBLP] OOPSLA, 2006, pp:311-324 [Conf]
- Frank Atanassow, Dave Clarke, Johan Jeuring
UUXML: A Type-Preserving XML Schema-Haskell Data Binding. [Citation Graph (0, 0)][DBLP] PADL, 2004, pp:71-85 [Conf]
- Dave Clarke
Reasoning About Connector Reconfiguration II: Basic Reconfiguration Logic. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2006, v:159, n:, pp:61-77 [Journal]
- Dave Clarke, David Costa, Farhad Arbab
Connector Colouring I: Synchronisation and Context Dependency. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2006, v:154, n:1, pp:101-119 [Journal]
- Dave Clarke, Alan J. Dix
Interfaces for the Active Web. [Citation Graph (0, 0)][DBLP] Interacting with Computers, 2001, v:13, n:3, pp:323-324 [Journal]
- Dave Clarke, Alan J. Dix
Interfaces for the Active Web (Part 2). [Citation Graph (0, 0)][DBLP] Interacting with Computers, 2001, v:13, n:6, pp:627-629 [Journal]
- Alex Potanin, James Noble, Dave Clarke, Robert Biddle
Featherweight generic confinement. [Citation Graph (0, 0)][DBLP] J. Funct. Program., 2006, v:16, n:6, pp:793-811 [Journal]
- Frank S. de Boer, Dave Clarke, Einar Broch Johnsen
A Complete Guide to the Future. [Citation Graph (0, 0)][DBLP] ESOP, 2007, pp:316-330 [Conf]
- Tobias Wrigstad, Dave Clarke
Existential Owners for Ownership Types. [Citation Graph (0, 0)][DBLP] Journal of Object Technology, 2007, v:6, n:4, pp:- [Journal]
- Dave Clarke, David Costa, Farhad Arbab
Connector colouring I: Synchronisation and context dependency. [Citation Graph (0, 0)][DBLP] Sci. Comput. Program., 2007, v:66, n:3, pp:205-225 [Journal]
Minimal Ownership for Active Objects. [Citation Graph (, )][DBLP]
Concurrent Objects à la Carte. [Citation Graph (, )][DBLP]
Automata for Context-Dependent Connectors. [Citation Graph (, )][DBLP]
Formal Techniques for Java-Like Programs. [Citation Graph (, )][DBLP]
Aliasing, Confinement, and Ownership in Object-Oriented Programming. [Citation Graph (, )][DBLP]
Aliasing, Confinement, and Ownership in Object-Oriented Programming. [Citation Graph (, )][DBLP]
Coordination: Reo, Nets, and Logic. [Citation Graph (, )][DBLP]
Modelling Coordination in Biological Systems. [Citation Graph (, )][DBLP]
Decomposing port automata. [Citation Graph (, )][DBLP]
Modeling Component Connectors: Synchronisation and Context-Dependency. [Citation Graph (, )][DBLP]
Tiles for Reo. [Citation Graph (, )][DBLP]
Ownership, Uniqueness, and Immutability. [Citation Graph (, )][DBLP]
Coordination via Interaction Constraints I: Local Logic [Citation Graph (, )][DBLP]
Coordination Models Orc and Reo Compared. [Citation Graph (, )][DBLP]
Deconstructing Reo. [Citation Graph (, )][DBLP]
Search in 0.003secs, Finished in 0.281secs
|