Kirsten Mark Hansen

Formalising Railway Interlocking Systems

Kirsten Mark Hansen, 1998 .

Validation of a Railway Interlocking Model

Kirsten Mark Hansen, 1994, FME.

Linking Safety Analysis to Safety Requirements: Exemplified by Railway Interlocking Systems

Kirsten Mark Hansen, K. M. Hansen, 1996 .

From Safety Analysis to Software Requirements

Anders P. Ravn, Victoria Stavridou, Kirsten Mark Hansen, 1998, IEEE Trans. Software Eng..

Specifying and verifying requirements of real-time systems

Anders P. Ravn, Hans Rischel, Kirsten Mark Hansen, 1991 .

Stability of carbon clusters CN for 46 ≤ N ≤ 102

Kirsten Mark Hansen, E. Campbell, H. Kroto, 1997 .

Specifying and verifying requirements of real-time systems

Kirsten Mark Hansen, K. M. Hansen, A. Ravn, 1991, SIGSOFT '91.

Tool Support for Object-Oriented Cooperative Design: Gesture Based Modeling on an Electronic Whitebo

Christian Heide Damm, Kirsten Mark Hansen, M. Thomsen, 2000, CHI 2000.