Bridging the Product Configuration Gap Between PLM and ERP – An Automotive Case Study by J. Batchelor, H. R. Andersen. In Proceedings of the 19th International Product Development Management Conference, University of Manchester, U.K., June 17-19, 2012.
Comparing two implementations of a Complete and Backtrack-free Interactive Configurator by S. Subbarayan, R. M. Jensen, T. Hadzic, H. R. Andersen, H. Hulgaard, J. Møller. In Proc. of Workshop on CSP Techniques with Immediate Application, CP04, International Conference on Principles and Practice of Constraint Programming, 27 September – 1 October 2004, Toronto, Canada, pp. 97-111.
BDD-based Recursive and Conditional Modular Interactive Product Configuration by E. R. van der Meer, H. R. Andersen. In Proc. of Workshop on CSP Techniques with Immediate Application, CP04, International Conference on Principles and Practice of Constraint Programming, 27 September – 1 October 2004, Toronto, Canada, pp. 112-126.
Fast Backtrack-Free Product Configuration Using a Precompiled Solution Space Representation by T. Hadzic, S. Subbarayan, R. M. Jensen, H. R. Andersen, J. Møller, and H. Hulgaard. In Proc. of the International Conference on Economic, Technical and Organisational aspects of Product Configuration Systems, 28-29 June 2004, Copenhagen, Denmark.
Timed Verification of Asynchronous Circuits by J. Møller, H. Hulgaard, and H. R. Andersen. In Concurrency and Hardware Design: Advances in Petri Nets, State-of-the-Art Survey, LNCS 2549, pp. 274-312, 2002.
Symbolic Model Checking of Timed Guarded Commands using Difference Decision Diagrams by J. Møller, H. Hulgaard, and H. R. Andersen. In Journal of Logic and Algebraic Programming, vol. 52, no. 1-2, 2002.
Product Configuration over the Internet presented at “The 6th INFORMS Conference on Information Systems and Technology”, November 3-4 2001, Miami Beach, Florida.
Verification of Large State/Event Systems using Compositionality and Dependency Analysis by J. Lind-Nielsen, H. R. Andersen, H. Hulgaard, G. Behrmann, K. Kristoffersen, and K. G. Larsen In Formal Methods in System Design, vol. 18, no. 1, 2001.
Practical Verification of Embedded Software by J. Staunstrup, H. R. Andersen, H. Hulgaard, J. Lind-Nielsen, K. G. Larsen, G. Behrmann, K. Kristoffersen, A. Skou, H. Leerberg, and N. B. Theilgaard. In IEEE Computer, vol. 33, no. 5, 2000.
Difference Decision Diagrams by J. Møller, J. Lichtenberg, H. Hulgaard, and H. R. Andersen. In Proc. 13th International Conference on Computer Science Logic, LNCS 1683, 1999.
Boolean Expression Diagrams by H. R. Andersen, and H. Hulgaard In Proc. of IEEE Symposium on Logic in Computer Science, 1997.
A Comparison of Modular Verification Techniques by H. R. Andersen, J. Staunstrup, and N. Maretti. In Proc. of Theory and Practice of Software Development, LNCS 1214, 1997.
Nonstochastic Analysis of Manufacturing Systems Using Timed-Event Graphs, by T. Amon and H. Hulgaard. In Journal of Manufacturing Systems, vol. 15, no. 3, 1996.
An Algorithm for Exact Bounds on the Time Separation of Events in Concurrent Systems by H. Hulgaard, S. M. Burns, T. Amon, and G. Borriello In IEEE Transactions on Computers, vol. 44, no. 11, 1995.
Efficient Checking of Behavioural Relations and Modal Assertions using Fixed-Point Inversion by H. R. Andersen and B. Vergauwen. In Proc. of Computed Aided Verification, LNCS 939, 1995.
Partial Model Checking by H. R. Andersen. In Proc. of IEEE Symposium on Logic in Computer Science, 1995.
On Model Checking Infinite-State Systems by H. R. Andersen In Proc. of Logical Foundations of Computer Science, LNCS 813, 1994.
A Compositional Proof System for the Modal mu-Calculus by H. R. Andersen, C. Stirling, and G. Winskel. In Proc. of IEEE Symposium on Logic in Computer Science, 1994.
An Asynchronous Process Algebra with Multiple Clocks by H. R. Andersen and M. V. Mendler In Proc. of European Symposium On Programming, LNCS 788, 1994.