Henrik Reif Andersen

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

Coauthor Index

1	Gerd Behrmann	[15] [19] [22] [23] [27]
2	Tarik Hadzic	[32] [36] [37] [40] [42] [43]
3	Esben Rune Hansen	[33] [44]
4	Thomas Stuart Henney	[36]
5	I. S. Henriksen	[31]
6	John N. Hooker	[43]
7	Henrik Hulgaard	[13] [15] [17] [18] [19] [20] [22] [23] [24] [25] [26] [27] [28] [29]
8	Rune M. Jensen	[40]
9	Kåre J. Kristoffersen	[15] [22] [23] [30] [39]
10	Kim Guldstrand Larsen	[15] [19] [22] [23] [27]
11	Henrik Leerberg	[22]
12	Jakob Lichtenberg	[18] [20]
13	Jørn Lind-Nielsen	[15] [16] [19] [21] [22] [23] [27]
14	Niels Maretti	[11] [12]
15	Erik Roland van der Meer	[31] [35]
16	Michael Mendler	[7] [8]
17	Jesper B. Møller	[18] [20] [25] [28]
18	Simon Mørk	[14]
19	Rasmus Pagh	[34] [38]
20	Christian Pedersen	[30]
21	Arne Skou	[22]
22	Morten Ulrik Sørensen	[14]
23	Jørgen Staunstrup	[11] [12] [22]
24	Colin Stirling	[5]
25	Sathiamoorthy Subbarayan	[41]
26	Niels Bo Theilgaard	[22]
27	Peter Tiedemann	[34] [36] [38] [43]
28	Bart Vergauwen	[10]
29	Andrzej Wasowski	[35] [42]
30	Poul Frederick Williams	[17] [24] [29]
31	Glynn Winskel	[1] [2] [5]

Colors in the list of coauthors