The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Henrik Reif Andersen: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Henrik Reif Andersen
    Model Checking and Boolean Graphs. [Citation Graph (1, 0)][DBLP]
    Theor. Comput. Sci., 1994, v:126, n:1, pp:3-30 [Journal]
  2. Tarik Hadzic, Henrik Reif Andersen
    A BDD-Based Polytime Algorithm for Cost-Bounded Interactive Configuration. [Citation Graph (0, 0)][DBLP]
    AAAI, 2006, pp:- [Conf]
  3. Jesper B. Møller, Henrik Hulgaard, Henrik Reif Andersen
    Timed Verification of Asynchronous Circuits. [Citation Graph (0, 0)][DBLP]
    Concurrency and Hardware Design, 2002, pp:274-312 [Conf]
  4. Henrik Reif Andersen, Bart Vergauwen
    Efficient Checking of Behavioural Relations and Modal Assertions using Fixed-Point Inversion. [Citation Graph (0, 0)][DBLP]
    CAV, 1995, pp:142-154 [Conf]
  5. Henrik Reif Andersen, Glynn Winskel
    Compositional Checking of Satisfaction. [Citation Graph (0, 0)][DBLP]
    CAV, 1991, pp:24-36 [Conf]
  6. Jørn Lind-Nielsen, Henrik Reif Andersen
    Stepwise CTL Model Checking of State/Event Systems. [Citation Graph (0, 0)][DBLP]
    CAV, 1999, pp:316-327 [Conf]
  7. Henrik Reif Andersen, Simon Mørk, Morten Ulrik Sørensen
    A Universal Reactive Machine. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1997, pp:89-103 [Conf]
  8. Tarik Hadzic, Henrik Reif Andersen
    Interactive Reconfiguration in Power Supply Restoration. [Citation Graph (0, 0)][DBLP]
    CP, 2005, pp:767-771 [Conf]
  9. Peter Tiedemann, Tarik Hadzic, Thomas Stuart Henney, Henrik Reif Andersen
    Interactive Distributed Configuration. [Citation Graph (0, 0)][DBLP]
    CP, 2006, pp:761-765 [Conf]
  10. Jesper B. Møller, Jakob Lichtenberg, Henrik Reif Andersen, Henrik Hulgaard
    Difference Decision Diagrams. [Citation Graph (0, 0)][DBLP]
    CSL, 1999, pp:111-125 [Conf]
  11. Henrik Reif Andersen
    Model Checking and Boolean Graphs. [Citation Graph (0, 0)][DBLP]
    ESOP, 1992, pp:1-19 [Conf]
  12. Henrik Reif Andersen, Michael Mendler
    An Asynchronous Algebra with Multiple Clocks. [Citation Graph (0, 0)][DBLP]
    ESOP, 1994, pp:58-73 [Conf]
  13. Erik Roland van der Meer, I. S. Henriksen, Henrik Reif Andersen
    Using Configuration Technology as the Core of a Legal Decision Support System. [Citation Graph (0, 0)][DBLP]
    ICAIL, 2003, pp:147-151 [Conf]
  14. Sathiamoorthy Subbarayan, Henrik Reif Andersen
    Backtracking Procedures for Hypertree, HyperSpread and Connected Hypertree Decomposition of CSPs. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2007, pp:180-185 [Conf]
  15. Tarik Hadzic, Andrzej Wasowski, Henrik Reif Andersen
    Techniques for Efficient Interactive Configuration of Distribution Networks. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2007, pp:100-105 [Conf]
  16. Henrik Reif Andersen
    On Model Checking Infinite-State Systems. [Citation Graph (0, 0)][DBLP]
    LFCS, 1994, pp:8-17 [Conf]
  17. Henrik Reif Andersen, Henrik Hulgaard
    Boolean Expression Diagrams (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    LICS, 1997, pp:88-98 [Conf]
  18. Henrik Reif Andersen, Colin Stirling, Glynn Winskel
    A Compositional Proof System for the Modal mu-Calculus [Citation Graph (0, 0)][DBLP]
    LICS, 1994, pp:144-153 [Conf]
  19. Henrik Reif Andersen
    Partial Model Checking (Extended Abstract) [Citation Graph (0, 0)][DBLP]
    LICS, 1995, pp:398-407 [Conf]
  20. Erik Roland van der Meer, Andrzej Wasowski, Henrik Reif Andersen
    Efficient interactive configuration of unbounded modular systems. [Citation Graph (0, 0)][DBLP]
    SAC, 2006, pp:409-414 [Conf]
  21. Henrik Reif Andersen, Jørgen Staunstrup, Niels Maretti
    Partial Model Checking with ROBDDs. [Citation Graph (0, 0)][DBLP]
    TACAS, 1997, pp:35-49 [Conf]
  22. Gerd Behrmann, Kim Guldstrand Larsen, Henrik Reif Andersen, Henrik Hulgaard, Jørn Lind-Nielsen
    Verification of Hierarchical State/Event Systems Using Reusability and Compositionality. [Citation Graph (0, 0)][DBLP]
    TACAS, 1999, pp:163-177 [Conf]
  23. 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. [Citation Graph (0, 0)][DBLP]
    TACAS, 1998, pp:201-216 [Conf]
  24. Poul Frederick Williams, Henrik Reif Andersen, Henrik Hulgaard
    Satisfiability Checking Using Boolean Expression Diagrams. [Citation Graph (0, 0)][DBLP]
    TACAS, 2001, pp:39-51 [Conf]
  25. Henrik Reif Andersen, Michael Mendler
    Describing a Signal Analyzer in the Process Algebra PMC - A Case Study. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, 1995, pp:620-635 [Conf]
  26. Henrik Reif Andersen, Jørgen Staunstrup, Niels Maretti
    A Comparison of Modular Verification Techniques. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, 1997, pp:550-564 [Conf]
  27. Jørgen Staunstrup, Henrik Reif Andersen, Henrik Hulgaard, Jørn Lind-Nielsen, Kim Guldstrand Larsen, Gerd Behrmann, Kåre J. Kristoffersen, Arne Skou, Henrik Leerberg, Niels Bo Theilgaard
    Practical Verification of Embedded Software. [Citation Graph (0, 0)][DBLP]
    IEEE Computer, 2000, v:33, n:5, pp:68-75 [Journal]
  28. Kåre J. Kristoffersen, Christian Pedersen, Henrik Reif Andersen
    Runtime Verification of Timed LTL using Disjunctive Normalized Equation Systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:89, n:2, pp:- [Journal]
  29. Jesper B. Møller, Jakob Lichtenberg, Henrik Reif Andersen, Henrik Hulgaard
    Fully Symbolic Model Checking of Timed Systems using Difference Decision Diagrams. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:23, n:2, pp:- [Journal]
  30. Henrik Reif Andersen, Glynn Winskel
    Compositional Checking of Satsfaction. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 1992, v:1, n:4, pp:323-354 [Journal]
  31. Gerd Behrmann, Kim Guldstrand Larsen, Henrik Reif Andersen, Henrik Hulgaard, Jørn Lind-Nielsen
    Verification of Hierarchical State/Event Systems using Reusability and Compositionality. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2002, v:21, n:2, pp:225-244 [Journal]
  32. 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. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2001, v:18, n:1, pp:5-23 [Journal]
  33. Henrik Reif Andersen, Henrik Hulgaard
    Boolean Expression Diagrams. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2002, v:179, n:2, pp:194-212 [Journal]
  34. Jesper B. Møller, Henrik Hulgaard, Henrik Reif Andersen
    Symbolic model checking of timed guarded commands using difference decision diagrams. [Citation Graph (0, 0)][DBLP]
    J. Log. Algebr. Program., 2002, v:52, n:, pp:53-77 [Journal]
  35. Henrik Reif Andersen, Jørn Lind-Nielsen
    Partial Model Checking of Modal Equations: A Survey. [Citation Graph (0, 0)][DBLP]
    STTT, 1999, v:2, n:3, pp:242-259 [Journal]
  36. Poul Frederick Williams, Henrik Reif Andersen, Henrik Hulgaard
    Satisfiability checking using Boolean Expression Diagrams. [Citation Graph (0, 0)][DBLP]
    STTT, 2003, v:5, n:1, pp:4-14 [Journal]
  37. Henrik Hulgaard, Poul Frederick Williams, Henrik Reif Andersen
    Equivalence checking of combinational circuits using Boolean expression diagrams. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. on CAD of Integrated Circuits and Systems, 1999, v:18, n:7, pp:903-917 [Journal]
  38. Esben Rune Hansen, Henrik Reif Andersen
    Interactive Configuration with Regular String Constraints. [Citation Graph (0, 0)][DBLP]
    AAAI, 2007, pp:217-223 [Conf]
  39. Henrik Reif Andersen, Tarik Hadzic, J. N. Hooker, Peter Tiedemann
    A Constraint Store Based on Multivalued Decision Diagrams. [Citation Graph (0, 0)][DBLP]
    CP, 2007, pp:118-132 [Conf]
  40. Peter Tiedemann, Henrik Reif Andersen, Rasmus Pagh
    Generic Global Constraints based on MDDs [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]
  41. Tarik Hadzic, Rune M. Jensen, Henrik Reif Andersen
    Calculating Valid Domains for BDD-Based Interactive Configuration [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]
  42. Henrik Reif Andersen, Kåre J. Kristoffersen
    Temporal Runtime Verification using Monadic Difference Logic [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]
  43. Esben Rune Hansen, Henrik Reif Andersen
    Interactive Configuration by Regular String Constraints [Citation Graph (0, 0)][DBLP]
    CoRR, 2006, v:0, n:, pp:- [Journal]
  44. Peter Tiedemann, Henrik Reif Andersen, Rasmus Pagh
    A Generic Global Constraint based on MDDs [Citation Graph (0, 0)][DBLP]
    CoRR, 2006, v:0, n:, pp:- [Journal]

Search in 0.003secs, Finished in 0.456secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002