default search action
Henrik Reif Andersen
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2014
- [i6]Henrik Reif Andersen, Tarik Hadzic, David Pisinger:
Interactive Cost Configuration Over Decision Diagrams. CoRR abs/1401.3830 (2014) - 2010
- [j11]Henrik Reif Andersen, Tarik Hadzic, David Pisinger
:
Interactive Cost Configuration Over Decision Diagrams. J. Artif. Intell. Res. 37: 99-139 (2010)
2000 – 2009
- 2007
- [c30]Esben Rune Hansen, Henrik Reif Andersen:
Interactive Configuration with Regular String Constraints. AAAI 2007: 217-223 - [c29]Henrik Reif Andersen, Tarik Hadzic, John N. Hooker, Peter Tiedemann:
A Constraint Store Based on Multivalued Decision Diagrams. CP 2007: 118-132 - [c28]Tarik Hadzic, Andrzej Wasowski, Henrik Reif Andersen:
Techniques for Efficient Interactive Configuration of Distribution Networks. IJCAI 2007: 100-105 - [c27]Sathiamoorthy Subbarayan, Henrik Reif Andersen:
Backtracking Procedures for Hypertree, HyperSpread and Connected Hypertree Decomposition of CSPs. IJCAI 2007: 180-185 - [i5]Tarik Hadzic, Rune Møller Jensen, Henrik Reif Andersen:
Calculating Valid Domains for BDD-Based Interactive Configuration. CoRR abs/0704.1394 (2007) - [i4]Henrik Reif Andersen, Kåre J. Kristoffersen:
Temporal Runtime Verification using Monadic Difference Logic. CoRR abs/0705.4604 (2007) - [i3]Peter Tiedemann, Henrik Reif Andersen, Rasmus Pagh:
Generic Global Constraints based on MDDs. CoRR abs/cs/0702170 (2007) - 2006
- [c26]Tarik Hadzic, Henrik Reif Andersen:
A BDD-Based Polytime Algorithm for Cost-Bounded Interactive Configuration. AAAI 2006: 62-67 - [c25]Peter Tiedemann, Tarik Hadzic, Thomas Stuart Henney, Henrik Reif Andersen:
Interactive Distributed Configuration. CP 2006: 761-765 - [c24]Erik Roland van der Meer, Andrzej Wasowski
Efficient interactive configuration of unbounded modular systems. SAC 2006: 409-414 - [i2]Peter Tiedemann, Henrik Reif Andersen, Rasmus Pagh:
A Generic Global Constraint based on MDDs. CoRR abs/cs/0611141 (2006) - [i1]Esben Rune Hansen, Henrik Reif Andersen:
Interactive Configuration by Regular String Constraints. CoRR abs/cs/0612068 (2006) - 2005
- [c23]Tarik Hadzic, Henrik Reif Andersen:
Interactive Reconfiguration in Power Supply Restoration. CP 2005: 767-771 - 2003
- [j10]Poul Frederick Williams, Henrik Reif Andersen, Henrik Hulgaard:
Satisfiability checking using Boolean Expression Diagrams. Int. J. Softw. Tools Technol. Transf. 5(1): 4-14 (2003) - [c22]Erik Roland van der Meer, I. S. Henriksen, Henrik Reif Andersen:
Using Configuration Technology as the Core of a Legal Decision Support System. ICAIL 2003: 147-151 - [c21]Kåre J. Kristoffersen, Christian Pedersen, Henrik Reif Andersen:
Runtime Verification of Timed LTL using Disjunctive Normalized Equation Systems. RV@CAV 2003: 210-225 - 2002
- [j9]Gerd Behrmann, Kim Guldstrand Larsen, Henrik Reif Andersen, Henrik Hulgaard, Jørn Lind-Nielsen:
Verification of Hierarchical State/Event Systems using Reusability and Compositionality. Formal Methods Syst. Des. 21(2): 225-244 (2002) - [j8]Henrik Reif Andersen, Henrik Hulgaard:
Boolean Expression Diagrams. Inf. Comput. 179(2): 194-212 (2002) - [j7]Jesper B. Møller, Henrik Hulgaard, Henrik Reif Andersen:
Symbolic model checking of timed guarded commands using difference decision diagrams. J. Log. Algebraic Methods Program. 52-53: 53-77 (2002) - [c20]Jesper B. Møller, Henrik Hulgaard, Henrik Reif Andersen:
Timed Verification of Asynchronous Circuits. Concurrency and Hardware Design 2002: 274-312 - 2001
- [j6]Jørn Lind-Nielsen, Henrik Reif Andersen, Henrik Hulgaard, Gerd Behrmann, Kåre J. Kristoffersen, Kim Guldstrand Larsen:
Verification of Large State/Event Systems Using Compositionality and Dependency Analysis. Formal Methods Syst. Des. 18(1): 5-23 (2001) - [c19]Poul Frederick Williams, Henrik Reif Andersen, Henrik Hulgaard:
Satisfiability Checking Using Boolean Expression Diagrams. TACAS 2001: 39-51 - 2000
- [j5]Jørgen Staunstrup, Henrik Reif Andersen, Henrik Hulgaard, Jørn Lind-Nielsen, Kim Guldstrand Larsen, Gerd Behrmann, Kåre J. Kristoffersen, Arne Skou
Practical Verification of Embedded Software. Computer 33(5): 68-75 (2000)
1990 – 1999
- 1999
- [j4]Henrik Reif Andersen, Jørn Lind-Nielsen:
Partial Model Checking of Modal Equations: A Survey. Int. J. Softw. Tools Technol. Transf. 2(3): 242-259 (1999) - [j3]Henrik Hulgaard, Poul Frederick Williams, Henrik Reif Andersen:
Equivalence checking of combinational circuits using Boolean expression diagrams. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 18(7): 903-917 (1999) - [c18]Jørn Lind-Nielsen, Henrik Reif Andersen:
Stepwise CTL Model Checking of State/Event Systems. CAV 1999: 316-327 - [c17]Jesper B. Møller, Jakob Lichtenberg, Henrik Reif Andersen, Henrik Hulgaard:
Difference Decision Diagrams. CSL 1999: 111-125 - [c16]Poul Frederick Williams, Henrik Hulgaard, Henrik Reif Andersen:
Equivalence checking of hierarchical combinational circuits. ICECS 1999: 355-360 - [c15]Gerd Behrmann, Kim Guldstrand Larsen, Henrik Reif Andersen, Henrik Hulgaard, Jørn Lind-Nielsen:
Verification of Hierarchical State/Event Systems Using Reusability and Compositionality. TACAS 1999: 163-177 - [c14]Jesper B. Møller, Jakob Lichtenberg, Henrik Reif Andersen, Henrik Hulgaard:
Fully Symbolic Model Checking of Timed Systems using Difference Decision Diagrams. SMC@FLoC 1999: 88-107 - 1998
- [c13]Jørn Lind-Nielsen, Henrik Reif Andersen, Gerd Behrmann, Henrik Hulgaard, Kåre J. Kristoffersen, Kim Guldstrand Larsen
Verification of Large State/Event Systems Using Compositionality and Dependency Analysis. TACAS 1998: 201-216 - 1997
- [c12]Henrik Reif Andersen, Simon Mørk, Morten Ulrik Sørensen:
A Universal Reactive Machine. CONCUR 1997: 89-103 - [c11]Henrik Reif Andersen, Henrik Hulgaard:
Boolean Expression Diagrams (Extended Abstract). LICS 1997: 88-98 - [c10]Henrik Reif Andersen, Jørgen Staunstrup, Niels Maretti:
Partial Model Checking with ROBDDs. TACAS 1997: 35-49 - [c9]Henrik Reif Andersen, Jørgen Staunstrup, Niels Maretti:
A Comparison of Modular Verification Techniques. TAPSOFT 1997: 550-564 - 1995
- [c8]Henrik Reif Andersen, Bart Vergauwen:
Efficient Checking of Behavioural Relations and Modal Assertions using Fixed-Point Inversion. CAV 1995: 142-154 - [c7]Henrik Reif Andersen:
Partial Model Checking (Extended Abstract). LICS 1995: 398-407 - [c6]Henrik Reif Andersen, Michael Mendler:
Describing a Signal Analyzer in the Process Algebra PMC - A Case Study. TAPSOFT 1995: 620-635 - 1994
- [j2]Henrik Reif Andersen:
Model Checking and Boolean Graphs. Theor. Comput. Sci. 126(1): 3-30 (1994) - [c5]Henrik Reif Andersen, Michael Mendler:
An Asynchronous Algebra with Multiple Clocks. ESOP 1994: 58-73 - [c4]Henrik Reif Andersen:
On Model Checking Infinite-State Systems. LFCS 1994: 8-17 - [c3]Henrik Reif Andersen, Colin Stirling, Glynn Winskel:
A Compositional Proof System for the Modal mu-Calculus. LICS 1994: 144-153 - 1992
- [j1]Henrik Reif Andersen, Glynn Winskel:
Compositional Checking of Satsfaction. Formal Methods Syst. Des. 1(4): 323-354 (1992) - [c2]Henrik Reif Andersen:
Model Checking and Boolean Graphs. ESOP 1992: 1-19 - 1991
- [c1]Henrik Reif Andersen, Glynn Winskel:
Compositional Checking of Satisfaction. CAV 1991: 24-36
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:11 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: