Henrik Reif Andersen

Available identifiers

zbMath Open andersen.henrik-reifMaRDI QIDQ169903

List of research outcomes

Publication	Date of Publication	Type
A universal reactive machine	2023-05-17	Paper
Interactive Cost Configuration Over Decision Diagrams	2010-03-15	Paper
Boolean expression diagrams	2006-10-10	Paper
https://portal.mardi4nfdi.de/entity/Q4818799	2004-09-24	Paper
https://portal.mardi4nfdi.de/entity/Q4417609	2003-07-29	Paper
Symbolic model checking of timed guarded commands using difference decision diagrams	2003-02-13	Paper
Verification of hierarchical state/Event systems using reusability and compositionality	2002-09-18	Paper
https://portal.mardi4nfdi.de/entity/Q2769575	2002-02-05	Paper
Verification of large state/event systems using compositionality and dependency analysis	2001-07-02	Paper
https://portal.mardi4nfdi.de/entity/Q4501131	2000-09-03	Paper
https://portal.mardi4nfdi.de/entity/Q4945220	2000-03-23	Paper
https://portal.mardi4nfdi.de/entity/Q4255572	1999-08-17	Paper
Partial model checking of modal equations: a survey	1999-01-01	Paper
Model checking and boolean graphs	1994-11-03	Paper
Compositional checking of satisfaction	1993-09-30	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: Henrik Reif Andersen