Michael R. Hansen

Michael Rygaard Hansen

	2012
j14		Michael R. Hansen: Guest Editor's foreword. J. Log. Algebr. Program. 81(4): 355 (2012)
j13		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)
c23		Yousef Iskandarani, Hamid Reza Karimi, Michael Rygaard Hansen: An iterative based approach for hysteresis parameters estimation in Magnetorheological dampers. IEEE Conf. of Intelligent Systems 2012: 439-444
	2011
c22		Michael R. Hansen, Aske Wiid Brekling: On Tool Support for Duration Calculus on the Basis of Presburger Arithmetic. TIME 2011: 115-122
	2010
j12		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)
c21		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
	2009
j11		Martin Fränzle, Michael R. Hansen: Efficient Model Checking for Duration Calculus? Int. J. Software and Informatics 3(2-3): 171-196 (2009)
j10		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)
c20		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
	2008
j9		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)
c19		Nicholas Poul Schultz-Møller, Christian Hølmer, Michael R. Hansen: Generation of ERP Systems from REA Specifications. ICSOFT (ISDM/ABF) 2008: 12-19
c18		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
c17		Martin Fränzle, Michael R. Hansen: Efficient Model Checking for Duration Calculus Based on Branching-Time Approximations. SEFM 2008: 63-72
p1		Michael R. Hansen, Jens Thyge Kristensen: Experiences with Functional Programming in an Introductory Curriculum. Reflections on the Teaching of Programming 2008: 30-46
	2007
j8		Thomas Bolander, Jens Ulrik Hansen, Michael R. Hansen: Decidability of a Hybrid Duration Calculus. Electr. Notes Theor. Comput. Sci. 174(6): 113-133 (2007)
c16		Michael R. Hansen, Dang Van Hung: A Theory of Duration Calculus with Application. Domain Modeling and the Duration Calculus 2007: 119-176
c15		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
c14		Robin Sharp, Michael R. Hansen: Timed Traces and Strand Spaces. CSR 2007: 373-386
c13		Martin Fränzle, Michael R. Hansen: Deciding an Interval Logic with Accumulated Durations. TACAS 2007: 201-215
	2005
c12		Martin Fränzle, Michael R. Hansen: A Robust Interpretation of Duration Calculus. ICTAC 2005: 257-271
	2004
j7		Cliff B. Jones, Michael R. Hansen: Editorial. Formal Asp. Comput. 16(2): 95- (2004)
c11		Tue Becher Jensen, Terkel K. Tolstrup, Michael R. Hansen: Generating web-based systems from specifications. SAC 2004: 1647-1653
	2003
j6		Henrik Pilegaard, Michael R. Hansen, Robin Sharp: An Approach to Analyzing Availability Properties of Security Protocols. Nord. J. Comput. 10(4): 337- (2003)
c10		Michael R. Hansen, Robin Sharp: Using interval logics for temporal analysis of security protocols. FMSE 2003: 24-31
	2002
j5		Magne Haveraaen, Michael R. Hansen: Guest Editors' Foreword. Nord. J. Comput. 9(4): 267-268 (2002)
	1997
j4		Michael R. Hansen, Zhou Chaochen: Duration Calculus: Logical Foundations. Formal Asp. Comput. 9(3): 283-330 (1997)
c9		Zhou Chaochen, Michael R. Hansen: An Adequate First Order Interval Logic. COMPOS 1997: 584-608
	1996
c8		Simon Mørk, Jens Chr. Godskesen, Michael R. Hansen, Robin Sharp: A Timed Semantics for SDL. FORTE 1996: 295-309
	1995
j3		Michael R. Hansen, Paritosh K. Pandya, Zhou Chaochen: Finite Divergence. Theor. Comput. Sci. 138(1): 113-139 (1995)
	1994
j2		Michael R. Hansen: Model-Checking Discrete Duration Calculus. Formal Asp. Comput. 6(6A): 826-845 (1994)
c7		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
	1993
c6		Zhou Chaochen, Michael R. Hansen, Peter Sestoft: Decidability and Undecidability Results for Duration Calculus. STACS 1993: 58-68
	1992
c5		Zhou Chaochen, Michael R. Hansen, Anders P. Ravn, Hans Rischel: Duration Specifications for Shared Processors. FTRTFT 1992: 21-32
c4		Zhou Chaochen, Anders P. Ravn, Michael R. Hansen: An Extended Duration Calculus for Hybrid Real-Time Systems. Hybrid Systems 1992: 36-59
	1991
c3		Michael R. Hansen, Zhou Chaochen: Semantics and Completeness of Duration Calculus. REX Workshop 1991: 209-225
	1990
c2		Michael R. Hansen, Zhou Chaochen: Specification & Verification of Higher Order Processes. MFCS 1990: 322-328
	1989
j1		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
c1		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

Colors in the list of coauthors

Last update Sun May 26 07:13:06 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page