Searching for authors named "Henrik Reif Andersen" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

37 documents found, showing 1 through 10. Next 10 →

Local Computation of Simultaneous Fixed-Points
by Henrik Reif Andersen — 1992
…Local Computation of Simultaneous Fixed-Points* Henrik Reif Andersen Departmentof…
Cited by 2 (1 self) – Add To MetaCart

An introduction to binary decision diagrams
by Henrik Reif Andersen — 1997 — Course Notes on the WWW
…An Introduction to Binary Decision Diagrams Henrik Reif Andersen y 1 x Lecture notes for 49285…
Cited by 17 (1 self) – Add To MetaCart

On Model Checking Infinite-State Systems
by Henrik Reif Andersen — 1994 — In Nerode and Matiyasevich, editors, LFCS'94: Logic at St. Petersburg. Symposium on Logical Foundations of Computer Science
…On Model Checking Infinite-State Systems Henrik Reif Andersen Abstract This paper presents a…
Cited by 3 (0 self) – Add To MetaCart

Partial Model Checking (Extended Abstract)
by Henrik Reif Andersen — 1995 — In Proceedings, Tenth Annual IEEE Symposium on Logic in Computer Science
… Checking (Extended Abstract) Henrik Reif Andersen Department of Computer Science Technical University…
Cited by 21 (5 self) – Add To MetaCart

A Polyadic Modal µ-Calculus
by Henrik Reif Andersen — 1994
…s g ID ID--TR: 1994-145 DTU ISSN 0902--2821 Henrik Reif Andersen A Polyadic Modal -Calculus b…
Add To MetaCart

On Reasoning about Infinite-State Systems in the Modal ...-Calculus
by Henrik Reif Andersen, Departmentofcomputer Science — 1993
…On ReasoningaboutInflnite-StateSystemsin theModal"-Calculus HenrikReifAndersen / Departmentof…
Add To MetaCart

An Asynchronous Process Algebra with Multiple Clocks
by Henrik Reif Andersen, Michael Mendler — 1994 — ESOP'94. Proceedings of the 5th European Symposium on Programming
…An Asynchronous Process Algebra with Multiple Clocks Henrik Reif Andersen and Michael Mendler…
Cited by 21 (7 self) – Add To MetaCart

Linear functions for interactive configuration using join matching and CSP tree decomposition
by Sathiamoorthy Subbarayan, Henrik Reif Andersen — 2005 — Water Utilities Partnership. 2000. "Draft Report on Status of Reforms of the Water and Sanitation Sector in Africa." Water Utilities Partnership: Abidjan, Côte d'Ivoire
… Sathiamoorthy Subbarayan, Henrik Reif Andersen Department of Innovation, IT University of Copenhagen Denmark…
Cited by 2 (0 self) – Add To MetaCart

Backtracking procedures for hypertree, hyperspread and connected hypertree decomposition of CSPs
by Sathiamoorthy Subbarayan, Henrik Reif Andersen — IJCAI
… Sathiamoorthy Subbarayan and Henrik Reif Andersen The IT University of Copenhagen Denmark sathi…
Cited by 1 (1 self) – Add To MetaCart

Interactive Reconfiguration in Power Supply Restoration
by Tarik Hadzic, Henrik Reif Andersen — 2005 — In 11th International Conference on Principles and Practice of Constraint Programming CP’05
…Interactive Reconfiguration in Power Supply Restoration Tarik Hadzic and Henrik Reif Andersen…
Cited by 3 (2 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB