From Homepage of Rune Møller Jensen

Main: Publications

• Recent publications in Pure
• Stowage Planning Optimization: The Last Mile, Invited conference talk, Applications of Optimization, Danish Operations Research Society (DORS), 2017.
• Semi-Automatic Stowage Planning, Invited conference talk, Navis World, San Francisco, 2017.
• Introduction to Stowage Planning and StowmanS, R.M. Jensen, Invited talk, Paderborn University, 2017.
• Symbolic Configuration for Interactive Container Ship Stowage Planning, C. Kroer, M.K. Svendsen, R.M. Jensen, J. Kiniry, and E. Leknes, Computational Intelligence, Volume 32, Issue 2, pp. 259-283, 2016.
• Optimization Based Support of Container Vessel Stowage Planning, Invited talk, Technical University of Denmark, 2016.
• StowManS – A Stowage Planning Optimization Tool, R.M. Jensen, Invited talk, Technical University of Denmark, 2016.
• Optimization Based Support of Container Vessel Stowage Planning, R.M. Jensen, Invited talk, Paderborn University, 2016.
• The Cargo Composition Problem, A. Delgado, D. Pacino, and R.M. Jensen, Technical presentation at 27th European Conference of Operational Research (EURO27), 2015.
• Solving the Liner Shipping Fleet Repositioning Problem, K. Tierney, B. Áskelsdóttir, R.M. Jensen, and D. Pisinger, In press, Transportation Science, 2013. Published online 2014.
• On the Complexity of Container Stowage Planning Problems, K. Tierney, D. Pacino, and R.M. Jensen, Volume 169, Discrete Applied Mathematics, pp. 225-230, 2014. Note: The version of this paper available here is a pre-print.
• Column Generation for the Liner Shipping Fleet Repositioning Problem, K. Tierney, D. Pisinger, and R.M. Jensen, Abstract only, Multikonferenz Wirtschaftsinformatik 2014 (MKWI14), 2014.
• Computational Logistics, 4th International Conference, ICCL'13, Copenhagen, Denmark, September 2013, Proceedings, D. Pacino, S. Voss, and R.M. Jensen (Eds.), LNCS 8197, Springer, 2013.
• A Node Flow Model for the Inflexible Visitation Liner Shipping Fleet Repositioning Problem with Cargo Flows, K. Tierney, R.M. Jensen, In Proceedings of the 4th International Conference on Computational Logistics (ICCL 2013), pp. 18 - 34, 2013.
• Stowing the Right Containers on Container Vessels, R.M. Jensen, Selected Talk, INFORMS Conference on Business Analytics and & Operations Research, San Antonio, April 7-9, 2013.
• A Placement Heuristic for a Commercial Decision Support System for Container Vessel Stowage, A. Delgado, R.M. Jensen, and N. Guilbert, In Proceedings of the 38th Conferencia Latinoamericana En Informatica (CLEI), ISBN: 978-1-4673-0794-9, 2012.
• An Accurate Model for Seaworthy Container Vessel Stowage Planning with Ballast Tanks, D. Pacino, A. Delgado, R.M. Jensen, and T. Bebbington, In the Proceedings of the 3rd International Conference on Computational Logistics (ICCL'12), LNCS 7555, pp. 17-32, 2012.
• The Liner Shipping Fleet Repositioning Problem with Cargo Flows, K. Tierney and R.M. Jensen, In the Proceedings of the 3rd International Conference on Computational Logistics (ICCL'12), LNCS 7555, pp. 1-16, 2012.
• The Liner Shipping Fleet Repositioning Problem with Cargo Flows., K. Tierney and R.M. Jensen, Technical Presentation, The Third International Conference on Computational Sustainability, July, 2012.
• Automated Planning for Liner Shipping Fleet Repositioning, K. Tierney, A.J. Coles, A.I. Coles, C. Kroer, A. Britt, R.M. Jensen, In the Proceedings of the 22nd International Conference on Automated Planning and Scheduling (ICAPS'12), pp. 279-287, 2012.
• A PDDL Domain for the Liner Shipping Fleet Repositioning Problem, K. Tierney, A. Coles, A. Coles, and R.M. Jensen, Technical Report, TR-2012-152, IT University of Copenhagen, 2012.
• Fast Interactive Decision Support for Modifying Stowage Plans Using Binary Decision Diagrams, R.M. Jensen, E. Leknes, and T. Bebbington, In the Proceedings of the International MultiConference of Engineers and Computer Scientists 2012 (IMECS'12), Vol II, pages 1555-1561, 2012.
• Constraint-Based Local Search for Container Stowage Slot Planning, D. Pacino and R.M. Jensen, In the Proceedings of the International MultiConference of Engineers and Computer Scientists 2012 (IMECS'12), Vol II, pages 1467-1472, 2012.
• A Constraint Programming Model for Fast Optimal Stowage of Container Vessel Bays, A. Delgado, R.M. Jensen, K. Janstrup, T.H. Rose, and K.H. Andersen, European Journal of Operational Research, Volume 220, Issue 1, Pages 251–261, 2012.
• AngleStow: A Commercial Optimization-Based Decision Support Tool for Stowage Planning, A. Delgado, R.M. Jensen, and N. Guilbert, Presented at the 2nd International Conference on Computational Logistics (ICCL'11), 2011.
• Liner Shipping Fleet Repositioning, K. Tierney and R.M. Jensen, Presented at the 2nd International Conference on Computational Logistics (ICCL'11), 2011.
• Fast Generation of Near-Optimal Plans for Eco-Efficient Stowage of Large Container Vessels, D. Pacino, A. Delgado, R.M. Jensen, and T. Bebbington, In the Proceedings of the 2nd International Conference on Computational Logistics (ICCL'11), Springer, LNCS 6971, pages 286-301, 2011.
• Temporal Optimization Planning for Fleet Repositioning, K. Tierney and R.M. Jensen, The 21st International Conference on Automated Planning and Scheduling (ICAPS-11) Workshop on Scheduling and Planning Applications (SPARK-11), pages 90-97, 2011.
• Phase Recognition during Surgical Procedures using Embedded and Body-worn Sensors, J.E. Bardram, A. Doryab, R.M. Jensen, P.M. Lange, K.L.G. Nielsen, and S.T. Petersen, IEEE International Conference on Pervasive Computing and Communications (PerCom-11), IEEE International, pages 45-53, 2011.
• On the Complexity of Container Stowage Planning: the Capacitated Zero-Shift Problem and the Hatch Overstow Problem, R.M. Jensen, ITU-TR-137, IT University of Copenhagen, 2010.
• A Constraint Programming Model for Fast Optimal Stowage of Container Vessel Bays, A. Delgado, R.M. Jensen, K. Janstrup, T.H. Rose, and K.H. Andersen, Technical Report, ITU-TR-133, IT University of Copenhagen, 2010.
• Generating Optimal Stowage Plans for Container Vessel Bays, A. Delgado, R.M. Jensen, and C. Schulte, In Proceedings of the 15th International Conference on Principles and Practice of Constraint Programming (CP-09), Springer, LNCS Series, Vol. 5732, pages 6-20, 2009.
• A Local Search Extended Placement Heuristic for Stowing Under Deck Bays of Container Vessels, D. Pacino and R.M. Jensen, The Fourth International Workshop on Freight Transportation and Logistics (ODYSSEUS 2009), 2009.
• Combining Binary Decision Diagrams and Backtracking Search for Scalable Backtrack-Free Interactive Product Configuration, A.H. Nørgaard, M.R. Boysen, R.M. Jensen, and P. Tiedemann, The 21st International Joint Conferences on Artificial Intelligence (IJCAI-09) Workshop on Configuration, 2009.
• State-set branching: Leveraging BDDs for heuristic search, R.M. Jensen, R.E. Bryant, and M.M. Veloso, Artificial Intelligence, Vol. 172, pages 103-139, 2008
• Minimizing Lid Overstows in Master Stowage Plans for Container Vessels is NP-Complete, M.L. Ajspur, R.M. Jensen, and N. Guilbert, Technical Report ITU-TR-2008-107, IT University of Copenhagen, 2008.
• Constraint Optimization for Highly Constrained Logistic Problems, M.M. Mochnacs, M.A. Tanaka, A. Nyborg, and R.M. Jensen, Technical Report ITU-TR-2008-104, IT University of Copenhagen, 2008.
• Proceedings of the Systems Demonstrations of the 17th International Conference on Automated Planning and scheduling (ICAPS-07), R.M. Jensen and F. Kabanza (eds.), Electronic publication, AAAI, 2007.
• Learning Non-Deterministic Multi-Agent Planning Domains, R.M. Jensen and M. M. Veloso, In Proceedings of the 17th International Conference on Automated Planning and Scheduling (ICAPS-07) Workshop on Artificial Intelligence Planning and Learning, 2007.
• Memory-Efficient Symbolic Heuristic Search, R.M. Jensen, E.A. Hansen, S. Richards, and R. Zhou, In proceedings of the 16th International Conference on Automated Planning and Scheduling (ICAPS-06), pages 304-313, 2006.
• Multiagent Planning in the Presence of Multiple Goals, M.H. Bowling, R.M. Jensen and M. M. Veloso, In Planning in Intelligent Systems: Aspects, Motivations, and Methods, Rene Jorna, Wout van Wezel, and Alex Meystel (Eds.), Wiley, Intelligent Series, pages 303-326, 2005.
• ASET: a Multi-Agent Planning Language with Non-Deterministic Durative Tasks for BDD-based Fault Tolerant Planning, R.M. Jensen and M.M. Veloso, In Proceedings of the 15th International Conference on Automated Planning and Scheduling (ICAPS-05) Workshop on Multi-Agent Planning and Scheduling, p. 58-66, 2005.
• Calculating Valid Domains for BDD-Based Interactive Configuration, T. Hadzic, R. M. Jensen, Henrik R. Andersen, IT University of Copenhagen, 2005.
• Fast Backtrack Free Product Configuration using Precompiled Solution Space Representations, T. Hadzic, S. Sathiamoorthy, R.M. Jensen, H.R. Andersen, J. Moller and H. Hulgaard., In the Proceedings of the International Conference on Economic, Technical and Organisational aspects of Product Configuration Systems, Pages 131-198, 2004.
• Fault Tolerant Planning: Toward Probabilistic Uncertainty Models in Symbolic Non-Deterministic Planning, R.M. Jensen, M.M. Veloso, and R.E. Bryant, In Proceedings of the 14th International Conference on Automated Planning and Scheduling (ICAPS-04), p. 335-344, 2004.
• Comparing Two Implementations of a Complete and Backtrack-Free Interactive Configurator, S. Sathiamoorthy, R.M. Jensen, T. Hadzic, H.R. Andersen, J. Moller and H. Hulgaard. In Proceedings of the Tenth International Conference on Principles and Practice of Constraint Programming (CP-04) Workshop on CSP Techniques with Immediate Application, 2004.
• CLab: a C++ Library for Fast Backtrack-Free Interactive Product Configuration, R.M. Jensen, In Proceedings of the Tenth International Conference on Principles and Practice of Constraint Programming (CP-04), page 816, 2004.
• CLab 1.0 User Manual, R.M. Jensen, Technical Report ITU-TR-2003-46, IT University of Copenhagen, 2004.
• Guided Symbolic Universal Planning, R.M. Jensen, M.M. Veloso, and R.E. Bryant, Proceedings of the 13th International Conference on Automated Planning and Scheduling (ICAPS-03), pages 123-132, Trento, Italy, 2003.
• Synthesis of Fault Tolerant Plans for Non-Deterministic Domains, R.M. Jensen, M.M. Veloso and R.E. Bryant, ICAPS'03 Workshop on Planning under Uncertainty and Incomplete Information, pages 64-73, 2003.
• UMOP 1.2 Software Demonstration, R.M. Jensen and M.M. Veloso, In Printed Notes of ICAPS-03 System Demos, 2003.
• Substitution and Flip BDDs, R.M. Jensen and H.R. Andersen, Technical Report ITU-TR-2003-41, IT University of Copenhagen, 2003.
• DES Controller Synthesis and Fault Tolerant Control, R.M. Jensen, Technical Report ITU-TR-2003-40, IT University of Copenhagen, 2003.
• Efficient BDD-Based Planning for Non-Deterministic, Fault-Tolerant, and Adversarial Domains, R.M. Jensen, PhD Thesis, Computer Science Dept., Carnegie Mellon University, CMU-CS-03-139, June, 2003.
• A formalization of equilibria for multiagent planning, M.H .Bowling, R.M. Jensen, and M.M. Veloso, Eighteenth National Conference on Artificial Intelligence (AAAI-02) Workshop on Planning with and for Multiagent Systems, 2002.
• An Efficient BDD-based A* Algorithm, R.M. Jensen, R.E. Bryant and M.M. Veloso, AIPS-02 Workshop on Planning via Model Checking, pages 72-80, 2002.
• SetA* Applied to Channel Routing, R.M. Jensen, R.E. Bryant, and M.M. Veloso, Technical Report CMU-CS-02-172, Computer Science Department, Carnegie Mellon University, 2002.
• A Comparison Study between the CUDD and BuDDy OBDD Package Applied to AI-Planning problems, R.M. Jensen, Tecnical Report CMU-CS-02-173, Computer Science Department, Carnegie Mellon University, 2002.
• State-Set Branching: Leveraging OBDDs for Heuristic Search, R.M. Jensen, R.E. Bryant, and M.M. Veloso, Tecnical Report CMU-CS-02-174, Computer Science Department, Carnegie Mellon University, 2002.
• SetA*: An efficient BDD-Based Heuristic Search Algorithm, R.M. Jensen, R.E. Bryant and M.M. Veloso, In Proceedings of 18th National Conference on Artificial Intelligence (AAAI'02), pages 668-673, 2002.
• OBDD-Based Optimistic and Strong Cyclic Adversarial Planning, R.M. Jensen, M.M. Veloso and M.H. Bowling, In Proceedings of the 6th European Conference on Planning (ECP-01), Springer-Verlag, pages 265-276, 2001.
• OBDD-based Universal Planning for Synchronized Agents in Non-Deterministic Domains, R.M. Jensen and M. M. Veloso, Journal of Artificial Intelligence Research, Volume 13, pages 189-226, 2000.
• OBDD-based Universal Planning for Multiple Synchronized Agents in Non-Deterministic Domains, R.M. Jensen and M. M. Veloso, In Proceedings of the 5th International Conference on Artificial Intelligence Planning and Scheduling (AIPS-00), AAAI Press, pages 167-176, 2000.
• OBDD-based Deterministic Planning using the UMOP Planning Framework, R.M. Jensen and M. M. Veloso, AIPS-00 Workshop on Model-Theoretic Approaches to Planning, 2000.
• OBDD-based Universal Planning in Multi-Agent, Non-Deterministic Domains, R.M. Jensen, Master's Thesis, Technical University of Denmark, Department of Automation, IAU99F02, 1999.
• OBDD-based Universal Planning: Specifying and Solving Planning Problems for Synchronized Agents in Non-Deterministic Domains, R.M. Jensen and M.M. Veloso, In Artificial Intelligence Today, Recent Trends and Developments, M.J. Wooldrige and M. Veloso (Eds.), Springer-Verlag, pages 212-248, 1999.
• Specification and Verification of Complex Robotics Tasks, R.M. Jensen, In Proceeedings of ESSLLI'98 Workshop on Duration Calculus: A Logical Approach to Real-Time Systems, pages 79-90, 1998.
• Interleaving Deliberative and Reactive Planning in Dynamic Multi-Agent Domains, R.M. Jensen and M.M. Veloso, AAAI Fall Symposium on Integrated Planning for Autonomous Agent Architectures, AAAI Press, 1998.
• Is Visual Attention Attracted by One’s Own Name?, C. Bundesen, S. Kyllingsbæk, K.J. Houmann and R.M. Jensen, Perception & Psychophysics, 59(5), pages 714-720, 1997.