Robin Sharp

  1. Published

    A collaborative approach to botnet protection. / Stevanovic, Matija; Revsbech, Kasper; Pedersen, Jens Myrup; Sharp, Robin; Jensen, Christian D.

    In: Lecture Notes in Computer Science, Vol. 7465, 2012, p. 624-638.

    Publication: Research - peer-reviewConference article – Annual report year: 2012

  2. Published

    Analyzing Properties of Stochastic Business Processes By Model Checking. / Herbert, Luke Thomas; Sharp, Robin.

    Model Checking Business Processes. American Society of Mechanical Engineers, 2013. p. 3-40 (Advances in Computational Sciences and Information in Engineering (ACIER)).

    Publication: Research - peer-reviewBook chapter – Annual report year: 2013

  3. Published

    An Approach to Analyzing Availability Properties of Security Protocols. / Pilegaard, Henrik; Hansen, Michael Reichhardt; Sharp, Robin.

    In: Nordic Journal of Computing, Vol. 10, No. 4, 2003, p. 337-373.

    Publication: Research - peer-reviewJournal article – Annual report year: 2003

  4. Published

    An Introduction to Malware. / Sharp, Robin.


    Publication: EducationCompendium/lecture notes – Annual report year: 2007

  5. Published

    A Timed Semantics for SDL. / Mørk, Simon; Godskesen, Jens Christian; Hansen, Michael Reichhardt; Sharp, Robin.

    Formal Description Techniques IX, Theory, application and tools. London : Chapman & Hall, 1996. p. 295-309.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 1996

  6. Published

    Attacker Modelling in Ubiquitous Computing Systems. / Papini, Davide; Sharp, Robin (Main supervisor); Jensen, Christian D. (Supervisor).

    Kgs. Lyngby : Technical University of Denmark, 2012. 182 p. (IMM-PHD-2012; No. 295).

    Publication: ResearchPh.D. thesis – Annual report year: 2014

  7. Accepted

    Automated evolutionary restructuring of workflows to minimise errors via stochastic model checking. / Herbert, Luke Thomas; Hansen, Zaza Nadja Lee; Sharp, Robin; Jacobsen, Peter.

    Proceedings of Probabilistic Safety Assessment and Management conference (PSAM12). 2014.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2014

  8. Published

    Best-effort Support for a Virtual Seminar Room. / Sharp, Robin; Todirica, Edward Alexandru.

    ACM Multimedia '02, Juan les Pins, France. 2002.

    Publication: ResearchArticle in proceedings – Annual report year: 2002

  9. Published

    Bluetoothsikkerhed. / Sharp, Robin.


    Publication: Research - peer-reviewReport – Annual report year: 2005

  10. Published

    Can we avoid misuse of Grid systems?. / Sharp, Robin.

    1st Nordic Grid Neighbourhood Conference. Department of Physics, University of Oslo, 2005.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2005

Previous 1 2 3 4 5 6 Next
Download list:
Download as PDF
Select render style:
Download as HTML
Select render style:
Download as Word
Select render style: