Projects per year
Search results
-
Active
Distributed Systems in ATM Networks
Sharp, R., Jul, E., Skou, A. & Sharp, R.
01/01/1995 → …
Project: Research
-
Transformational Methods in VLSI Design
Sharp, R., Møller, P. S. & Rasmussen, O. S.
01/01/1992 → …
Project: Research
-
Finished
Specifying and verifying medical robotics software to ensure harmless operation
Herbert, L. T., Hansen, M. R., Kindler, E., Fränzle, M., Weske, M. & Sharp, R.
Technical University of Denmark
01/03/2010 → 24/06/2014
Project: PhD
-
Attacker Models for Ubiquitous Computing
Papini, D., Jensen, C. D., Mödersheim, S. A., Skou, A. J. & Sharp, R.
Technical University of Denmark
01/10/2009 → 24/05/2013
Project: PhD
-
CIT-AWARE: An Investigation of Citizen ICT Safety and Security Awareness
Sharp, R., Gjedde, L., Meldgaard, H. & Andersen, P.
01/02/2007 → 30/06/2009
Project: Research
-
Proof support for raise
Lindegaard, M. P., Haxthausen, A. E., Hansen, M. R., Sharp, R., Janowski, T. & Krieg-Bruckner, B.
01/04/2000 → 25/05/2004
Project: PhD
-
Future IT-infrastructure in the Folketing
Pedersen, S., Sharp, R., Forchhammer, S., Jensen, O. R. & Staalhagen, L.
01/06/1998 → 31/12/1998
Project: Research
-
Real-Time Multimedia (RTMM)
Sharp, R., Løvengreen, H. H. & Pedersen, S.
01/01/1998 → 31/12/2001
Project: Research
-
Virtual Seminar Room; Audio
Sørensen, J. A., Hansen, P. S. K., Hansen, S. D., Danielsen, P. L., Gram, C., Pedersen, S., Sharp, R., Forchhammer, S. & Jensen, O. R.
01/01/1998 → 31/12/2001
Project: Research
-
Teknikker til Co-syntese
Knudsen, P. V., Madsen, J., Ernst, R. & Sharp, R.
01/01/1996 → 25/11/1999
Project: PhD
-
Transformationsorienterede metoder i VLSI-design
Rasmussen, O. S. & Sharp, R.
01/02/1993 → 09/09/1997
Project: PhD
-
Verifikation af parallelle systemer
Nyblad, K. & Sharp, R.
Forskerakademiets Samfinansier
01/02/1992 → 21/05/1999
Project: PhD
-
Formelle metoder til test af parallelle systemer
Binau, U. & Sharp, R.
01/09/1990 → 05/07/1994
Project: PhD