Michael R. Hansen

Available identifiers

zbMath Open hansen.michael-reichhardtMaRDI QIDQ478378

List of research outcomes

Publication	Date of Publication	Type
Discounted duration calculus	2020-01-03	Paper
No Need Knowing Numerous Neighbours	2015-11-04	Paper
An approach to multicore parallelism using functional programming: a case study based on Presburger arithmetic	2014-12-03	Paper
A practical approach to model checking duration calculus using Presburger arithmetic	2014-07-11	Paper
Decidability of a Hybrid Duration Calculus	2013-12-20	Paper
A robust forward-displacement analysis of spherical parallel robots	2010-01-08	Paper
Models and formal verification of multiprocessor system-on-chips	2008-11-06	Paper
Semantics and Verification of a Language for Modelling Hardware Architectures	2008-09-25	Paper
A Theory of Duration Calculus with Application	2008-09-16	Paper
Timed Traces and Strand Spaces	2008-06-03	Paper
Deciding an Interval Logic with Accumulated Durations	2007-09-03	Paper
Theoretical Aspects of Computing – ICTAC 2005	2006-11-01	Paper
https://portal.mardi4nfdi.de/entity/Q4825545	2004-10-28	Paper
Duration calculus. A formal approach to real-time systems.	2004-03-28	Paper
Duration calculus: Logical foundations	1999-12-07	Paper
An efficient method for synthesis of planar multibody systems including shape of bodies as design variables	1999-08-19	Paper
https://portal.mardi4nfdi.de/entity/Q3126526	1997-11-09	Paper
Finite divergence	1997-02-28	Paper
Model-checking discrete duration calculus	1995-04-09	Paper
https://portal.mardi4nfdi.de/entity/Q4281508	1994-03-10	Paper
https://portal.mardi4nfdi.de/entity/Q3358717	1990-01-01	Paper
Integrating relational databases and constraint languages	1989-01-01	Paper
Algebraic Optimization Of Recursive Database Queries	1988-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Michael R. Hansen