Henrik Reif Andersen

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Compositional checking of satisfaction	2024-04-29	Paper
A universal reactive machine CONCUR '97: Concurrency Theory	2023-05-17	Paper
Interactive Cost Configuration Over Decision Diagrams Journal of Artificial Intelligence Research	2010-03-15	Paper
Boolean expression diagrams Information and Computation	2006-10-10	Paper
scientific article; zbMATH DE number 2102715 (Why is no real title available?)	2004-09-24	Paper
scientific article; zbMATH DE number 1955911 (Why is no real title available?)	2003-07-29	Paper
Symbolic model checking of timed guarded commands using difference decision diagrams The Journal of Logic and Algebraic Programming	2003-02-13	Paper
Verification of hierarchical state/Event systems using reusability and compositionality Formal Methods in System Design	2002-09-18	Paper
scientific article; zbMATH DE number 1701749 (Why is no real title available?)	2002-02-05	Paper
Verification of large state/event systems using compositionality and dependency analysis Formal Methods in System Design	2001-07-02	Paper
scientific article; zbMATH DE number 1499079 (Why is no real title available?)	2000-09-03	Paper
scientific article; zbMATH DE number 1424030 (Why is no real title available?)	2000-03-23	Paper
scientific article; zbMATH DE number 1324667 (Why is no real title available?)	1999-08-17	Paper
Partial model checking of modal equations: a survey International Journal on Software Tools for Technology Transfer. STTT	1999-01-01	Paper
Model checking and boolean graphs Theoretical Computer Science	1994-11-03	Paper
Compositional checking of satisfaction Formal Methods in System Design	1993-09-30	Paper

Research outcomes over time

This page was built for person: Henrik Reif Andersen