Michael R. Hansen

Michael Rygaard Hansen

	2012
37		Michael R. Hansen: Guest Editor's foreword. J. Log. Algebr. Program. 81(4): 355 (2012)
36		Lelai Zhou, Shaoping Bai, Michael Rygaard Hansen: Integrated dimensional and drive-train design optimization of a light-weight anthropomorphic arm. Robotics and Autonomous Systems 60(1): 113-122 (2012)
	2011
35		Michael R. Hansen, Aske Wiid Brekling: On Tool Support for Duration Calculus on the Basis of Presburger Arithmetic. TIME 2011: 115-122
	2010
34		Mikkel Koefoed Jakobsen, Jan Madsen, Michael R. Hansen: DEHAR: A distributed energy harvesting aware routing algorithm for ad-hoc multi-hop wireless sensor networks. WOWMOM 2010: 1-9
33		Tolga Ovatman, Aske Wiid Brekling, Michael R. Hansen: Cost Analysis for Embedded Systems: Experiments with Priced Timed Automata. Electr. Notes Theor. Comput. Sci. 238(6): 81-95 (2010)
	2009
32		Martin Choux, Hamid Reza Karimi, Geir Hovland, Michael Rygaard Hansen, Morten Ottestad, Mogens Blanke: Robust adaptive backstepping control design for a Nonlinear Hydraulic-Mechanical System. CDC 2009: 2460-2467
31		Martin Fränzle, Michael R. Hansen: Efficient Model Checking for Duration Calculus? Int. J. Software and Informatics 3(2-3): 171-196 (2009)
30		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		Martin Fränzle, Michael R. Hansen: Efficient Model Checking for Duration Calculus Based on Branching-Time Approximations. SEFM 2008: 63-72
26		Michael R. Hansen, Jens Thyge Kristensen: Experiences with Functional Programming in an Introductory Curriculum. Reflections on the Teaching of Programming 2008: 30-46
25		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		Robin Sharp, Michael R. Hansen: Timed Traces and Strand Spaces. CSR 2007: 373-386
23		Michael R. Hansen, Dang Van Hung: A Theory of Duration Calculus with Application. Domain Modeling and the Duration Calculus 2007: 119-176
22		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		Martin Fränzle, Michael R. Hansen: Deciding an Interval Logic with Accumulated Durations. TACAS 2007: 201-215
20		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		Martin Fränzle, Michael R. Hansen: A Robust Interpretation of Duration Calculus. ICTAC 2005: 257-271
	2004
18		Tue Becher Jensen, Terkel K. Tolstrup, Michael R. Hansen: Generating web-based systems from specifications. SAC 2004: 1647-1653
17		Cliff B. Jones, Michael R. Hansen: Editorial. Formal Asp. Comput. 16(2): 95- (2004)
	2003
16		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		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		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] [36]
3	Mogens Blanke	[32]
4	Peter van Emde Boas	[2]
5	Thomas Bolander	[20]
6	Aske Wiid Brekling	[22] [25] [33] [35]
7	Martin Choux	[32]
8	Paul Fischer	[28]
9	Martin Fränzle	[9] [19] [21] [27] [31]
10	Jens Chr. Godskesen	[11]
11	Bo S. Hansen	[1] [2]
12	Jens Ulrik Hansen	[20]
13	Magne Haveraaen	[14]
14	Jifeng He	[9]
15	C. A. R. Hoare (Tony Hoare)	[9]
16	Christian Hølmer	[29]
17	Geir Hovland (G. E. Hovland)	[32]
18	Dang Van Hung	[23]
19	Mikkel Koefoed Jakobsen	[34]
20	Tue Becher Jensen	[18]
21	Cliff B. Jones (Clifford B. Jones)	[17]
22	Hamid Reza Karimi	[32]
23	Jens Thyge Kristensen	[26]
24	Peter Lucas	[2]
25	Jan Madsen	[22] [25] [34]
26	Simon Mørk	[11]
27	Markus Müller-Olm	[9]
28	Ernst-Rüdiger Olderog	[9]
29	Morten Ottestad	[32]
30	Tolga Ovatman	[33]
31	Paritosh K. Pandya	[10]
32	Henrik Pilegaard	[15]
33	Peter Pistor	[1]
34	Anders P. Ravn	[5] [6] [9]
35	Hans Rischel	[6] [9]
36	Michael Schenke	[9]
37	Nicholas Poul Schultz-Møller	[29]
38	Christian Dauer Thorenfeldt Sellberg	[28]
39	Peter Sestoft	[7]
40	Robin Sharp	[11] [15] [16] [24]
41	Terkel K. Tolstrup	[18]
42	Chaochen Zhou (Zhou Chaochen)	[3] [4] [5] [6] [7] [10] [12] [13]
43	Lelai Zhou	[36]

Colors in the list of coauthors

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page