| 2009 |
|---|
| 14 | EE | Robin Sharp:
Report: CC-Based Design of Secure Application Systems.
ESSoS 2009: 111-121 |
| 2007 |
|---|
| 13 | EE | Michael Brinklov,
Robin Sharp:
Incremental Trust in Grid Computing.
CCGRID 2007: 135-144 |
| 12 | EE | Robin Sharp,
Michael R. Hansen:
Timed Traces and Strand Spaces.
CSR 2007: 373-386 |
| 2006 |
|---|
| 11 | EE | Allan Pedersen,
Anders Hedegaard,
Robin Sharp:
Designing a Secure Point-of-Sale System.
IWIA 2006: 51-65 |
| 2003 |
|---|
| 10 | EE | Michael R. Hansen,
Robin Sharp:
Using interval logics for temporal analysis of security protocols.
FMSE 2003: 24-31 |
| 9 | | Henrik Pilegaard,
Michael R. Hansen,
Robin Sharp:
An Approach to Analyzing Availability Properties of Security Protocols.
Nord. J. Comput. 10(4): 337- (2003) |
| 1997 |
|---|
| 8 | | Robin Sharp,
Ole Rasmussen:
The T-Ruby Design System.
Formal Methods in System Design 11(3): 239-264 (1997) |
| 1996 |
|---|
| 7 | | Simon Mørk,
Jens Chr. Godskesen,
Michael R. Hansen,
Robin Sharp:
A Timed Semantics for SDL.
FORTE 1996: 295-309 |
| 1995 |
|---|
| 6 | | Robin Sharp,
Ole Rasmussen:
Using a Language of Functions and Relations for VLSI Specification.
FPCA 1995: 45-54 |
| 1993 |
|---|
| 5 | | Robin Sharp,
Ole Rasmussen:
Rewriting with Constraints in T-Ruby.
CHARME 1993: 226-241 |
| 4 | | Robin Sharp,
Ole Rasmussen:
Transformational Rewriting with Ruby.
CHDL 1993: 243-260 |
| 1992 |
|---|
| 3 | | Jørgen Staunstrup,
Robin Sharp:
Designing Correct Circuits, Proceedings of the Second IFIP WG10.2/WG10.5 Workshop on Designing Correct Circuits, Lyngby, Denmark, 6-8 January 1992
North-Holland 1992 |
| 2 | | Lars Rossen,
Robin Sharp:
Sequence Semantics of Ruby.
Designing Correct Circuits 1992: 159-171 |
| 1984 |
|---|
| 1 | EE | Niels Nørup Pedersen,
Robin Sharp:
Analysis of channel access schemes for high-speed LANs.
Computer Communication Review 14(2): 164-171 (1984) |
