Henrik Reif Andersen

According to our database1, Henrik Reif Andersen authored at least 37 papers between 1991 and 2010.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2010
Interactive Cost Configuration Over Decision Diagrams.
J. Artif. Intell. Res., 2010

2007
Backtracking Procedures for Hypertree, HyperSpread and Connected Hypertree Decomposition of CSPs.
Proceedings of the IJCAI 2007, 2007

Techniques for Efficient Interactive Configuration of Distribution Networks.
Proceedings of the IJCAI 2007, 2007

A Constraint Store Based on Multivalued Decision Diagrams.
Proceedings of the Principles and Practice of Constraint Programming, 2007

Interactive Configuration with Regular String Constraints.
Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

2006
Efficient interactive configuration of unbounded modular systems.
Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

Interactive Distributed Configuration.
Proceedings of the Principles and Practice of Constraint Programming, 2006

A BDD-Based Polytime Algorithm for Cost-Bounded Interactive Configuration.
Proceedings of the Proceedings, 2006

2005
Interactive Reconfiguration in Power Supply Restoration.
Proceedings of the Principles and Practice of Constraint Programming, 2005

2003
Runtime Verification of Timed LTL using Disjunctive Normalized Equation Systems.
Electr. Notes Theor. Comput. Sci., 2003

Using Configuration Technology as the Core of a Legal Decision Support System.
Proceedings of the 9th International Conference on Artificial Intelligence and Law, 2003

2002
Symbolic model checking of timed guarded commands using difference decision diagrams.
J. Log. Algebr. Program., 2002

Boolean Expression Diagrams.
Inf. Comput., 2002

Timed Verification of Asynchronous Circuits.
Proceedings of the Concurrency and Hardware Design, Advances in Petri Nets, 2002

2001
Verification of Large State/Event Systems Using Compositionality and Dependency Analysis.
Formal Methods in System Design, 2001

Satisfiability Checking Using Boolean Expression Diagrams.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2001

2000
Practical Verification of Embedded Software.
IEEE Computer, 2000

1999
Equivalence checking of combinational circuits using Boolean expression diagrams.
IEEE Trans. on CAD of Integrated Circuits and Systems, 1999

Partial Model Checking of Modal Equations: A Survey.
STTT, 1999

Fully Symbolic Model Checking of Timed Systems using Difference Decision Diagrams.
Electr. Notes Theor. Comput. Sci., 1999

Verification of Hierarchical State/Event Systems Using Reusability and Compositionality.
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1999

Difference Decision Diagrams.
Proceedings of the Computer Science Logic, 13th International Workshop, 1999

Stepwise CTL Model Checking of State/Event Systems.
Proceedings of the Computer Aided Verification, 11th International Conference, 1999

1998
Verification of Large State/Event Systems Using Compositionality and Dependency Analysis.
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1998

1997
A Comparison of Modular Verification Techniques.
Proceedings of the TAPSOFT'97: Theory and Practice of Software Development, 1997

Partial Model Checking with ROBDDs.
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1997

Boolean Expression Diagrams (Extended Abstract).
Proceedings of the Proceedings, 12th Annual IEEE Symposium on Logic in Computer Science, Warsaw, Poland, June 29, 1997

A Universal Reactive Machine.
Proceedings of the CONCUR '97: Concurrency Theory, 1997

1995
Describing a Signal Analyzer in the Process Algebra PMC - A Case Study.
Proceedings of the TAPSOFT'95: Theory and Practice of Software Development, 1995

Partial Model Checking (Extended Abstract)
Proceedings of the Proceedings, 1995

Efficient Checking of Behavioural Relations and Modal Assertions using Fixed-Point Inversion.
Proceedings of the Computer Aided Verification, 1995

1994
A Compositional Proof System for the Modal mu-Calculus
Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS '94), 1994

On Model Checking Infinite-State Systems.
Proceedings of the Logical Foundations of Computer Science, Third International Symposium, 1994

An Asynchronous Algebra with Multiple Clocks.
Proceedings of the Programming Languages and Systems, 1994

1992
Compositional Checking of Satsfaction.
Formal Methods in System Design, 1992

Model Checking and Boolean Graphs.
Proceedings of the ESOP '92, 1992

1991
Compositional Checking of Satisfaction.
Proceedings of the Computer Aided Verification, 3rd International Workshop, 1991


  Loading...