Hans Henrik Løvengreen

According to our database, Hans Henrik Løvengreen authored at least 11 papers between 1980 and 2001.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2001

Towards a Process Algebra for Shared Processors.

Mikael Buchholtz, Jacob Andersen, Hans Henrik Løvengreen

Proceedings of the International Workshop on Models for Time-Critical Systems, 2001

1994

Combining Temporal Specification Techniques.

Morten Ulrik Sørensen, Odd Erik Hansen, Hans Henrik Løvengreen

Proceedings of the Temporal Logic, First International Conference, 1994

1992

Synchronous Realization of Asynchronous Computations.

Hans Henrik Løvengreen, Jørgen Staunstrup

Proceedings of the Theorem Provers in Circuit Design, 1992

1991

A systematic kernel development.

Jørgen F. Søgaard-Andersen, Camilla Østerberg Rump, Hans Henrik Løvengreen

Proceedings of the conference on Software for citical systems, 1991

1990

Stepwise Development of a Distributed Load Balancing Algorithms.

Peter Grønning, Thomas Qvist Nielsen, Hans Henrik Løvengreen

Proceedings of the Distributed Algorithms, 4th International Workshop, 1990

Refinement and Composition of Transition-based Rely-Guarantee Specification with Auxiliary Variables.

Peter Grønning, Thomas Qvist Nielsen, Hans Henrik Løvengreen

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1990

1988

A Design Method for Embedded Software Systems.

Anders P. Ravn, Hans Rischel, Hans Henrik Løvengreen

BIT, 1988

1987

Rigorous Development of a Distributed Calendar System.

Ulla Gamwell Dawids, Hans Henrik Løvengreen

Proceedings of the PARLE, 1987

1982

Formalization of Database Systems - and a Formal Definition of IMS (Invited Paper).

Dines Bjørner, Hans Henrik Løvengreen

Proceedings of the Eigth International Conference on Very Large Data Bases, 1982

1980

On a formal model of the tasking concept in Ada.

Hans Henrik Løvengreen, Dines Bjørner

Proceedings of the ACM-SIGPLAN symposium on The ADA programming language, 1980

Parallelism in Ada.

Hans Henrik Løvengreen

Proceedings of the Towards a Formal Description of Ada, 1980