Hans Henrik Løvengreen Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2001
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMikael Buchholtz, Jacob Andersen, Hans Henrik Løvengreen: Towards a Process Algebra for Shared Processors. Electr. Notes Theor. Comput. Sci. 52(3): (2001)
1994
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMorten Ulrik Sørensen, Odd Erik Hansen, Hans Henrik Løvengreen: Combining Temporal Specification Techniques. ICTL 1994: 1-16
1992
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans Henrik Løvengreen, Jørgen Staunstrup: Synchronous Realization of Asynchronous Computations. TPCD 1992: 95-110
1990
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter 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
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Grønning, Thomas Qvist Nielsen, Hans Henrik Løvengreen: Stepwise Development of a Distributed Load Balancing Algorithms. WDAG 1990: 151-168
1988
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnders P. Ravn, Hans Rischel, Hans Henrik Løvengreen: A Design Method for Embedded Software Systems. BIT 28(3): 427-438 (1988)
1987
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUlla Gamwell Dawids, Hans Henrik Løvengreen: Rigorous Development of a Distributed Calendar System. PARLE (2) 1987: 188-205
1982
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDines 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 © Mon Mar 15 21:39:48 2010 by Michael Ley (ley@uni-trier.de)