Analysis of channel access schemes for high-speed LANs. - Niels Nørup Pedersen; Robin Sharp (Comput. Commun. Rev., 1984)

Sequence Semantics of Ruby. - Lars Rossen; Robin Sharp (Designing Correct Circuits, 1992)

Rewriting with Constraints in T-Ruby. - Robin Sharp; Ole Rasmussen (CHARME, 1993)

Transformational Rewriting with Ruby. - Robin Sharp; Ole Rasmussen (CHDL, 1993)

Using a Language of Functions and Relations for VLSI Specification. - Robin Sharp; Ole Rasmussen (FPCA, 1995)

A Timed Semantics for SDL. - Simon Mørk; Jens Chr. Godskesen; Michael R. Hansen; Robin Sharp (FORTE, 1996)

The T-Ruby Design System. - Robin Sharp; Ole Rasmussen (Formal Methods Syst. Des., 1997)

Virtual seminar room-modelling and experimentation in horizontal and vertical integration. - Søren Forchhammer; Anders Fosgerau; Peter Søren Kirk Hansen; Steffen Duus Hansen; Ole Riis Jensen; Robin Sharp; John Aasted Sørensen (MMSP, 1999)

Using interval logics for temporal analysis of security protocols. - Michael R. Hansen; Robin Sharp (FMSE, 2003)

An Approach to Analyzing Availability Properties of Security Protocols. - Henrik Pilegaard; Michael R. Hansen; Robin Sharp (Nord. J. Comput., 2003)

Designing a Secure Point-of-Sale System. - Allan Pedersen; Anders Hedegaard; Robin Sharp (IWIA, 2006)

Incremental Trust in Grid Computing. - Michael Brinklov; Robin Sharp (CCGRID, 2007)

Timed Traces and Strand Spaces. - Robin Sharp; Michael R. Hansen (CSR, 2007)

Principles of protocol design. - Robin Sharp (Springer, 2008)

Report: CC-Based Design of Secure Application Systems. - Robin Sharp (ESSoS, 2009)

A Collaborative Approach to Botnet Protection. - Matija Stevanovic; Kasper Revsbech; Jens Myrup Pedersen; Robin Sharp; Christian Damsgaard Jensen (CD-ARES, 2012)

Using Stochastic Model Checking to Provision Complex Business Services. - Luke Herbert; Robin Sharp (HASE, 2012)

Precise Quantitative Analysis of Probabilistic Business Process Model and Notation Workflows. - Luke Herbert; Robin Sharp (J. Comput. Inf. Sci. Eng., 2013)

Introduction to Cybersecurity - A Multidisciplinary Challenge - Robin Sharp (Springer, 2024)