Henrik Hulgaard

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
Boolean expression diagrams Information and Computation	2006-10-10	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 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
Testing asynchronous circuits: A survey Integration	1997-02-27	Paper
An algorithm for exact bounds on the time separation of events in concurrent systems IEEE Transactions on Computers	1995-01-01	Paper

Research outcomes over time

This page was built for person: Henrik Hulgaard