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

This page was built for person: Michael R. Hansen