Robin Sharp
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
1996–2007
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2007 | CCGRID | Incremental Trust in Grid Computing. | Michael Brinklov, Robin Sharp |
| 2007 | CSR | Timed Traces and Strand Spaces. | Robin Sharp, Michael R. Hansen |
| 2003 | CCS | Using interval logics for temporal analysis of security protocols. | Michael R. Hansen, Robin Sharp |
| 1999 | MMSP | Virtual seminar room-modelling and experimentation in horizontal and vertical integration. | Sren Forchhammer, Anders Fosgerau, Peter Sren Kirk Hansen, Steffen Duus Hansen, Ole Riis Jensen, Robin Sharp, John Aasted Srensen |
| 1996 | FORTE | A Timed Semantics for SDL. | Simon Mrk, Jens Chr. Godskesen, Michael R. Hansen, Robin Sharp |