dblp.uni-trier.dewww.uni-trier.de

Hans Henrik Løvengreen

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2001
8EEMikael Buchholtz, Jacob Andersen, Hans Henrik Løvengreen: Towards a Process Algebra for Shared Processors. Electr. Notes Theor. Comput. Sci. 52(3): (2001)
1994
7 Morten Ulrik Sørensen, Odd Erik Hansen, Hans Henrik Løvengreen: Combining Temporal Specification Techniques. ICTL 1994: 1-16
1992
6 Hans Henrik Løvengreen, Jørgen Staunstrup: Synchronous Realization of Asynchronous Computations. TPCD 1992: 95-110
1990
5 Peter Grønning, Thomas Qvist Nielsen, Hans Henrik Løvengreen: Refinement and Composition of Transition-based Rely-Guarantee Specification with Auxiliary Variables. FSTTCS 1990: 332-348
4 Peter Grønning, Thomas Qvist Nielsen, Hans Henrik Løvengreen: Stepwise Development of a Distributed Load Balancing Algorithms. WDAG 1990: 151-168
1988
3 Anders P. Ravn, Hans Rischel, Hans Henrik Løvengreen: A Design Method for Embedded Software Systems. BIT 28(3): 427-438 (1988)
1987
2 Ulla Gamwell Dawids, Hans Henrik Løvengreen: Rigorous Development of a Distributed Calendar System. PARLE (2) 1987: 188-205
1982
1EEDines Bjørner, Hans Henrik Løvengreen: Formalization of Database Systems - and a Formal Definition of IMS (Invited Paper). VLDB 1982: 334-347

Coauthor Index

1Jacob Andersen [8]
2Dines Bjørner [1]
3Mikael Buchholtz [8]
4Ulla Gamwell Dawids [2]
5Peter Grønning [4] [5]
6Odd Erik Hansen [7]
7Thomas Qvist Nielsen [4] [5]
8Anders P. Ravn [3]
9Hans Rischel [3]
10Morten Ulrik Sørensen [7]
11Jørgen Staunstrup [6]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)