Rune Møller Jensen

Rune Møller Jensen

Associate Professor

 https://orcid.org/0000-0001-5651-1377
1997 …2024

Research activity per year

Filter
Article in proceedings

Search results

  • 2023

    Towards a Deep Reinforcement Learning Model of Master Bay Stowage Planning

    van Twiller, J., Grbic, D. & Jensen, R. M., 7 Sept 2023, ICCL 2023: Computational Logistics. Daduna, J. R., Liedtke, G., Shi, X. & Voß, S. (eds.). Berlin: Springer, Vol. 14239. p. 105-121 17 p. 6. (Lecture Notes in Computer Science, Vol. 14239).

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

  • 2022

    A Linear Time Algorithm for Optimal Quay Crane Scheduling

    Herup, M. O., Thiesgaard, G. C. W., van Twiller, J. & Jensen, R. M., 14 Sept 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
  • 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 Sept 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
  • 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 Sept 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

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

    Ajspur, M. L., Jensen, R. M. & Andersen, K. H., 30 Sept 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
  • 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
  • 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

  • 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

  • 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

  • 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 Sept 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

  • 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
  • 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
  • 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
  • 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
  • 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, p. 133-140 8 p.

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

    Open Access
    File

  • 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
  • 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

  • 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

  • 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

  • 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

  • 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
  • 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

  • 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

  • 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
  • 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