Research output per year
Research output per year
Personal profile
Keywords
- User defined:
- concurrency
- verification
Fingerprint
Dive into the research topics where Hans Henrik Løvengreen is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
-
-
Basic Concurrency Theory
Løvengreen, H. H., 2002Research output: Book/Report › Compendium/lecture notes
-
Towards a Process Algebra for Shared Processors
Buchholtz, M., Andersen, J. & Løvengreen, H. H., 2002, In: Electronic Notes in Theoretical Computer Science. 52, 3, p. 275–294Research output: Contribution to journal › Conference article › Research › peer-review
File72 Downloads (Pure) -
Towards a Process Algebra for Shared Processors
Buchholtz, M., Andersen, J., Løvengreen, H. H. & Corradini al. al., F. (ed.), 2001, Preliminary proceedings of 2nd International Workshop on Models for Time-Critical Systems, MTCS '01. p. 87-99Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
-
Streams and Sockets in DTU-RTMM
Sharp, R., Løvengreen, H. H. & Todirica, E. A., 2000, Department of Information Technology, Technical University of Denmark.Research output: Book/Report › Report › Research › peer-review
-
-
-
Formelle notationer til specifikation og verification af indlejrede, tidstro systemer
Rasmussen, T. M., Hansen, M. R., Rischel, H., Løvengreen, H. H., Guldstrand Larsen, K. & Nipkow, T.
01/02/1999 → 23/08/2002
Project: PhD
-
Real-Time Multimedia (RTMM)
Sharp, R., Løvengreen, H. H. & Pedersen, S.
01/01/1998 → 31/12/2001
Project: Research
-
Højniveau-design af programmel til indlejrede, reaktive systemer
Mørk, S., Andersen, H. R. & Løvengreen, H. H.
01/02/1996 → 21/07/2000
Project: PhD