Michael R. Hansen

2009
30	EE	Shaoping Bai, Michael R. Hansen, Torben O. Andersen: Modellingof a special class of spherical parallel manipulators with Euler parameters. Robotica 27(2): 161-170 (2009)
2008
29		Nicholas Poul Schultz-Møller, Christian Hølmer, Michael R. Hansen: Generation of ERP Systems from REA Specifications. ICSOFT (ISDM/ABF) 2008: 12-19
28		Christian Dauer Thorenfeldt Sellberg, Michael R. Hansen, Paul Fischer: Faults Analysis in Distributed Systems - Quantitative Estimation of Reliability and Resource Requirements. ICSOFT (SE/MUSE/GSDCA) 2008: 45-52
27	EE	Martin Fränzle, Michael R. Hansen: Efficient Model Checking for Duration Calculus Based on Branching-Time Approximations. SEFM 2008: 63-72
26	EE	Michael R. Hansen, Jens Thyge Kristensen: Experiences with Functional Programming in an Introductory Curriculum. Reflections on the Teaching of Programming 2008: 30-46
25	EE	Aske Wiid Brekling, Michael R. Hansen, Jan Madsen: Models and formal verification of multiprocessor system-on-chips. J. Log. Algebr. Program. 77(1-2): 1-19 (2008)
2007
24	EE	Robin Sharp, Michael R. Hansen: Timed Traces and Strand Spaces. CSR 2007: 373-386
23	EE	Michael R. Hansen, Dang Van Hung: A Theory of Duration Calculus with Application. Domain Modeling and the Duration Calculus 2007: 119-176
22	EE	Michael R. Hansen, Jan Madsen, Aske Wiid Brekling: Semantics and Verification of a Language for Modelling Hardware Architectures. Formal Methods and Hybrid Real-Time Systems 2007: 300-319
21	EE	Martin Fränzle, Michael R. Hansen: Deciding an Interval Logic with Accumulated Durations. TACAS 2007: 201-215
20	EE	Thomas Bolander, Jens Ulrik Hansen, Michael R. Hansen: Decidability of a Hybrid Duration Calculus. Electr. Notes Theor. Comput. Sci. 174(6): 113-133 (2007)
2005
19	EE	Martin Fränzle, Michael R. Hansen: A Robust Interpretation of Duration Calculus. ICTAC 2005: 257-271
2004
18	EE	Tue Becher Jensen, Terkel K. Tolstrup, Michael R. Hansen: Generating web-based systems from specifications. SAC 2004: 1647-1653
17	EE	Cliff B. Jones, Michael R. Hansen: Editorial. Formal Asp. Comput. 16(2): 95- (2004)
2003
16	EE	Michael R. Hansen, Robin Sharp: Using interval logics for temporal analysis of security protocols. FMSE 2003: 24-31
15		Henrik Pilegaard, Michael R. Hansen, Robin Sharp: An Approach to Analyzing Availability Properties of Security Protocols. Nord. J. Comput. 10(4): 337- (2003)
2002
14		Magne Haveraaen, Michael R. Hansen: Guest Editors' Foreword. Nord. J. Comput. 9(4): 267-268 (2002)
1997
13	EE	Zhou Chaochen, Michael R. Hansen: An Adequate First Order Interval Logic. COMPOS 1997: 584-608
12		Michael R. Hansen, Zhou Chaochen: Duration Calculus: Logical Foundations. Formal Asp. Comput. 9(3): 283-330 (1997)
1996
11		Simon Mørk, Jens Chr. Godskesen, Michael R. Hansen, Robin Sharp: A Timed Semantics for SDL. FORTE 1996: 295-309
1995
10	EE	Michael R. Hansen, Paritosh K. Pandya, Zhou Chaochen: Finite Divergence. Theor. Comput. Sci. 138(1): 113-139 (1995)
1994
9		Jifeng He, C. A. R. Hoare, Martin Fränzle, Markus Müller-Olm, Ernst-Rüdiger Olderog, Michael Schenke, Michael R. Hansen, Anders P. Ravn, Hans Rischel: Provably Correct Systems. FTRTFT 1994: 288-335
8		Michael R. Hansen: Model-Checking Discrete Duration Calculus. Formal Asp. Comput. 6(6A): 826-845 (1994)
1993
7		Zhou Chaochen, Michael R. Hansen, Peter Sestoft: Decidability and Undecidability Results for Duration Calculus. STACS 1993: 58-68
1992
6		Zhou Chaochen, Michael R. Hansen, Anders P. Ravn, Hans Rischel: Duration Specifications for Shared Processors. FTRTFT 1992: 21-32
5		Zhou Chaochen, Anders P. Ravn, Michael R. Hansen: An Extended Duration Calculus for Hybrid Real-Time Systems. Hybrid Systems 1992: 36-59
1991
4		Michael R. Hansen, Zhou Chaochen: Semantics and Completeness of Duration Calculus. REX Workshop 1991: 209-225
1990
3		Michael R. Hansen, Zhou Chaochen: Specification & Verification of Higher Order Processes. MFCS 1990: 322-328
1989
2		Michael R. Hansen, Bo S. Hansen, Peter Lucas, Peter van Emde Boas: Integrating Relational Databases and Constraint Languages. Comput. Lang. 14(2): 63-82 (1989)
1983
1		Peter Pistor, Bo S. Hansen, Michael R. Hansen: Eine sequelartige Sprachschnittstelle für das NF2-Modell. Sprachen für Datenbanken 1983: 134-147

Coauthor Index

1	Torben O. Andersen	[30]
2	Shaoping Bai	[30]
3	Peter van Emde Boas	[2]
4	Thomas Bolander	[20]
5	Aske Wiid Brekling	[22] [25]
6	Paul Fischer	[28]
7	Martin Fränzle	[9] [19] [21] [27]
8	Jens Chr. Godskesen	[11]
9	Bo S. Hansen	[1] [2]
10	Jens Ulrik Hansen	[20]
11	Magne Haveraaen	[14]
12	Jifeng He	[9]
13	C. A. R. Hoare (Tony Hoare)	[9]
14	Christian Hølmer	[29]
15	Dang Van Hung	[23]
16	Tue Becher Jensen	[18]
17	Cliff B. Jones	[17]
18	Jens Thyge Kristensen	[26]
19	Peter Lucas	[2]
20	Jan Madsen	[22] [25]
21	Simon Mørk	[11]
22	Markus Müller-Olm	[9]
23	Ernst-Rüdiger Olderog	[9]
24	Paritosh K. Pandya	[10]
25	Henrik Pilegaard	[15]
26	Peter Pistor	[1]
27	Anders P. Ravn	[5] [6] [9]
28	Hans Rischel	[6] [9]
29	Michael Schenke	[9]
30	Nicholas Poul Schultz-Møller	[29]
31	Christian Dauer Thorenfeldt Sellberg	[28]
32	Peter Sestoft	[7]
33	Robin Sharp	[11] [15] [16] [24]
34	Terkel K. Tolstrup	[18]
35	Chaochen Zhou (Zhou Chaochen)	[3] [4] [5] [6] [7] [10] [12] [13]

Colors in the list of coauthors