Rune Møller Jensen

Research output

Research output per year 1997 2002 2003 2004 2011 2012 2013 2019 2022 2022

• 28 Article in proceedings
• 14 Report
• 13 Conference abstract for conference
• 9 Journal article
• 13 More
  • 3 Book chapter
  • 3 Conference article
  • 2 Paper
  • 2 Patent
  • 1 Ph.D. thesis
  • 1 Review
  • 1 Other contribution

Research output per year

Research output per year

Search results

• 2022

  A Linear Time Algorithm for Optimal Quay Crane Scheduling

  Herup, M. O., Thiesgaard, G. C. W., van Twiller, J. & Jensen, R. M., 14 Sep 2022, International Conference on Computational Logistics: Lecture Notes in Computer Science. Springer, Vol. 13557. p. 60–73 13 p.

  Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

  Open Access

  File

  • Cranes 100%
  • Scheduling 63%
• 2021

  Destination Prediction of Oil Tankers Using Graph Abstractions and Recurrent Neural Networks

  Magnussen, B. B., Bläser, N., Jensen, R. M. & Ylänen, K., 27 Sep 2021, Computational Logistics: 12th International Conference, ICCL 2021 Enschede, The Netherlands, September 27–29, 2021 Proceedings. Springer, Vol. 13004. p. 51-65 15 p. (Lecture Notes in Computer Science).

  Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

  Open Access

  File

  • Oil tankers 100%
  • Recurrent neural networks 72%
  • Oils 29%
  • Automatic identification 27%
  • Anomaly detection 24%
• 2019

  A Decision Support Tool for Energy-Optimising Railway Timetables Based on Behavioural Data

  Madsen, M. B., Als, M. V. H., Jensen, R. M. & Edinger Gram, S., 30 Sep 2019, Proceedings of the 10th International Conference on Computational Logistics (ICCL19). Springer, p. 397-412 16 p. (Lecture Notes in Computer Science, Vol. 11756).

  Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

  Open Access

  File

  • Data reduction 100%
  • Anomaly detection 88%
  • Energy utilization 60%

• A Decomposed Fourier-Motzkin Elimination Framework to Derive Vessel Capacity Models

  Ajspur, M. L., Jensen, R. M. & Andersen, K. H., 30 Sep 2019, Proceedings of the 10th International Conference on Computational Logistics (ICCL19). Springer, p. 85-100 16 p. (Lecture Notes in Computer Science, Vol. 11756).

  Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

  Open Access

  File

  • Refrigerated containers 100%
  • Network management 59%
  • Freight transportation 59%
  • Containers 51%
  • Decision making 40%
• 2018

  The Standard Capacity Model: Towards a polyhedron representation of container vessel capacity

  Jensen, R. M. & Ajspur, M. L., 2018, Computational Logistics: 9th International conference, ICCL 2018. Cerulli, R., Raiconi, A. & Voss, S. (eds.). Springer, p. 175-190 (Lecture Notes in Computer Science, Vol. 11184).

  Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

  Open Access

  File

  • Containers 100%
  • Freight transportation 19%
• 2013

  A Placement Heuristic for a Commercial Decision Support System for Container Vessel Stowage

  Delgado-Ortegon, A., Jensen, R. M. & Guilbert, N., 4 Feb 2013, Informatica (CLEI), 2012 XXXVIII Conferencia Latinoamericana En. IEEE Computer Society Press, p. 1-9 9 p.

  Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

  • Decision support systems 100%
  • Containers 90%
  • Feedback 12%
  • Industry 8%
• 2012

  Automated Planning for Liner Shipping Fleet Repositioning.

  Tierney, K., Jensen, R. M., Kroer, C., Britt, A., Coles, A. & Coles, A., 2012, ICAPS 2012, the 22nd International Conference on Automated Planning and Scheduling . AAAI Press, p. 279-287 8 p.

  Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

  • Freight transportation 100%
  • Planning 59%
  • Industry 6%
  • Costs 5%

• Constraint-based local search for container stowage slot planning

  Pacino, D., Jensen, R. M. & Bebbington, T., 2012, IMECS 2012: Proceedings of the International MultiConference of Engineers and Computer Scientists. IAENG, Vol. 1. 6 p.

  Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

  • Containers 100%
  • Planning 68%
• 2011

  Fast Generation of Near-Optimal Plans for Eco-Efficient Stowage of Large Container Vessels

  Pacino, D., Jensen, R. M., Delgado-Ortegon, A. & Bebbington, T., 19 Sep 2011, ICCL (2011). Proceedings of the International Conference on Computer Languages. Springer, p. 286-301 15 p.

  Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

  • Containers 100%
  • Integer programming 57%
  • Freight transportation 57%
  • NP-hard 52%
  • Planning 34%

• Phase Recognition during Surgical Procedures using Embedded and Body-worn Sensors

  Bardram, J. E., Doryab, A., Jensen, R. M., Lange, P., Torp, S. & Nielsen, K., 2011, Pervasive Computing and Communications (PerCom), 2011. Proceedings of. IEEE Press

  Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

• 2009

  Combining Binary Decision Diagrams and Backtracking Search for Scalable Backtrack-Free Interactive Product Configuration

  Nørgaard, A. H., Boysen, M. R., Jensen, R. M. & Tiedemann, P., 2009, Proceedings of the 21st International Joint Conferences on Artificial Intelligence (IJCAI-09) Workshop on Configuration. AAAI Press

  Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

  File

  • Binary decision diagrams 100%
• 2007

  Learning Non-Deterministic Multi-Agent Planning Domains

  Jensen, R. M., 2007, Proceedings of the Seventeenth International Conference on Automated Planning and Scheduling (ICAPS-07) Workshop on Artificial Intelligence Planning and Learning.

  Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

  File

  • Planning 100%
  • Binary decision diagrams 70%
  • Decomposition 37%
• 2006

  Memory-Efficient Symbolic Heuristic Search

  Jensen, R. M., Hansen, E. A., Richards, S. & Zhou, R., 2006, Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling (ICAPS-06). AAAI Press, p. 304-313 10 p.

  Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

  Open Access

  File

  • Binary decision diagrams 100%
  • Data storage equipment 91%
  • Scalability 60%
  • Planning 47%
• 2005

  ASET: a Multi-Agent Planning Language with Nondeterministic Durative Tasks for BDD-Based Fault Tolerant Planning

  Jensen, R. M. & Veloso, M. M., 2005, ICAPS 05 WS4: Workshop on Multiagent Planning and Scheduling. Clement, B. (ed.). p. 58-66 9 p.

  Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

  Open Access

  File

  • Planning 100%
• 2004

  CLab: a C++ Library for Fast Backtrack-Free Interactive Product Configuration

  Jensen, R. M., 2004, Principles and Practice of Constraint Programming - CP 2004: 10th International Conference, CP 2004. Springer, p. 816 1 p.

  Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

  Open Access

  File

• Comparing two implementations of a Complete and Backtrack-free Interactive Configurator

  Subbarayan, S., Jensen, R. M., Hadzic, T., Andersen, H. R., Hulgaard, H. & Møller, J., 2004, Proceedings of the Tenth International Conference on Principles and Practice of Constraint Programming (CP-04) Workshop on CSP Techniques with Immediate Application. p. 97-111 15 p.

  Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

  Open Access

  File

• Fast Backtrack-Free Product Configuration using a Precompiled Solution Space Representation

  Hadzic, T., Subbarayan, S., Jensen, R. M., Andersen, H. R., Møller, J. & Hulgaard, H., 2004, Proceedings from the International Conference on Economic, Technical and Organisational aspects of Product Configuration Systems. Technical University of Denmark (DTU), p. 133-140 8 p.

  Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

  Open Access

  File

  • Binary decision diagrams 100%
  • Formal verification 29%
  • Computer hardware 14%
  • Industry 10%

• Fault Tolerant Planning: Toward Probabilistic Uncertainty Models in Symbolic Non-Deterministic Planning

  Jensen, R. M., Veloso, M. M. & Bryant, R. E., 2004, Proceedings of the Fourteenth International Conference on Automated Planning and Scheduling (ICAPS-04). AAAI Press, p. 335-344 10 p.

  Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

  Open Access

  File

  • Planning 100%
  • Uncertainty 98%
• 2003

  Guided Symbolic Universal Planning

  Jensen, R. M., Veloso, M. M. & Bryant, R. E., 2003, Proceedings of the 13th International Conference on Automated Planning and Scheduling (ICAPS-03). AAAI Press, p. 123-132 10 p.

  Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

  Open Access

  File

  • Planning 100%
  • Binary decision diagrams 52%
  • Acoustic waves 31%

• Synthesis of Fault Tolerant Plans for Non-Deterministic Domains

  Jensen, R. M., Veloso, M. M. & Bryant, R. E., 2003, Proceedings of the 13th International Conference on Automated Planning and Scheduling (ICAPS-03) Workshop on Planning under Uncertainty and Incomplete Information. AAAI Press, Vol. https://icaps03.icaps-conference.org/satellite_events/workshops/workshops_2.htm. p. 64-73 10 p.

  Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

  Open Access

  File

  • Planning 100%
  • Recovery 45%
  • Binary decision diagrams 30%

• UMOP 1.2 Software Demonstration

  Jensen, R. M. & Veloso, M. M., 2003, Printed Notes of ICAPS-03 System Demos. AAAI Press

  Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

  Open Access

  File
• 2002

  A formalization of equilibria for multiagent planning

  Bowling, M. H., Jensen, R. M. & Veloso, M. M., 2002, Eighteenth National Conference on Artificial Intelligence (AAAI-02) Workshop on Planning with and for Multiagent Systems. https://aaai.org/Press/Reports/Workshops/ws-02-12.php ed. AAAI Press

  Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

  Open Access

  File

  • Planning 100%
  • Game theory 28%

• An Efficient BDD-based A* Algorithm

  Jensen, R. M., 2002, Proceedings of the International Conference on Artificial Intelligence Planning Systems (AIPS-02) Workshop on Planning via Model Checking. AAAI Press, p. 72-80 9 p.

  Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

  Open Access

  File

  • Polynomials 100%

• SetA*: An efficient BDD-Based Heuristic Search Algorithm

  Jensen, R. M., Veloso, M. M. & Bryant, R. E., 2002, Proceedings of Eighteenth National Conference on Artificial Intelligence (AAAI'02). AAAI Press, p. 668-673 6 p.

  Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

  Open Access

  File

  • Polynomials 100%
• 2001

  OBDD-Based Optimistic and Strong Cyclic Adversarial Planning

  Jensen, R. M., Veloso, M. M. & Bowling, M. H., 2001, Proceedings of the Sixth European Conference on Planning (ECP-01). AAAI Press, p. 265-276 14 p.

  Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

  • Binary decision diagrams 100%
  • Planning 47%
• 2000

  OBDD-based Deterministic Planning using the UMOP Planning Framework

  Jensen, R. M., 2000, Proceedings of AIPS-00 Workshop on Model-Theoretic Approaches to Planning. 6 p.

  Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

  Open Access

  File

  • Binary decision diagrams 100%
  • Planning 47%
  • Model checking 26%

• OBDD-based Universal Planning for Multiple Synchronized Agents in Non-Deterministic Domains,

  Jensen, R. M. & Veloso, M. M., 2000, Proceedings of the 5th International Conference on Artificial Intelligence Planning Systems (AIPS-00). AAAI Press, p. 167-176 10 p.

  Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

  Open Access

  File

  • Binary decision diagrams 100%
  • Planning 47%
  • Model checking 15%
  • Semantics 5%
  • Specifications 4%
• 1998

  Specification and Verification of Complex Robotics Tasks

  Jensen, R. M., 1998, Proceeedings of ESSLLI'98 Workshop on Duration Calculus: A Logical Approach to Real-Time Systems. p. 79-90 13 p.

  Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

  Open Access

  File

  • Robotics 100%
  • Specifications 85%
  • Actuators 49%
  • Controllers 35%
  • Sensors 33%