If you made any changes in Pure these will be visible here soon.
Filter
Article in proceedings

Search results

  • 2022

    Online unit profit knapsack with untrusted predictions

    Boyar, J., Favrholdt, L. M. & Larsen, K. S., 1. Jun 2022, 18th Scandinavian Symposium and Workshops on Algorithm Theory, SWAT 2022. Czumaj, A. & Xin, Q. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 20. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 227).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    Open Access
    File
    1 Downloads (Pure)
  • 2019

    Online bin covering with advice

    Boyar, J., Favrholdt, L. M., Kamali, S. & Larsen, K. S., 12. Jul 2019, Algorithms and Data Structures: 16th International Symposium, WADS 2019, Proceedings. Friggstad, Z., Sack, J-R. & Salavatipour, M. R. (eds.). Springer, p. 225-238 (Lecture Notes in Computer Science, Vol. 11646).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    Open Access
    File
    31 Downloads (Pure)
  • 2018

    Advice complexity of priority algorithms

    Borodin, A., Boyar, J., Larsen, K. S. & Pankratov, D., 2018, Approximation and Online Algorithms - 16th International Workshop, WAOA 2018, Revised Selected Papers. Epstein, L. & Erlebach, T. (eds.). Springer, p. 69-86 (Lecture Notes in Computer Science, Vol. 11312).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    Open Access
    File
    52 Downloads (Pure)
  • Heuristic Variants for A* Search in 3D Flight Planning

    Knudsen, A. N., Chiarandini, M. & Larsen, K. S., 2018, Integration of Constraint Programming, Artificial Intelligence, and Operations Research: 15th International Conference, CPAIOR 2018, Delft, The Netherlands, June 26–29, 2018, Proceedings. van Hoeve, W-J. (ed.). 1 ed. Springer, p. 361-376 (Lecture Notes in Computer Science, Vol. 10848).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    File
    276 Downloads (Pure)
  • 2017

    Batch Coloring of Graphs

    Boyar, J., Epstein, L., Favrholdt, L. M., Larsen, K. S. & Levin, A., 2017, Approximation and Online Algorithms: 14th International Workshop on Approximation and Online Algorithms, WAOA 2016. Mastrolilli, M. & Jansen, K. (eds.). Springer, p. 52-64 (Lecture Notes in Computer Science, Vol. 10138).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  • Constraint Handling in Flight Planning

    Knudsen, A. N., Chiarandini, M. & Larsen, K. S., 2017, 23rd International Conference on Principles and Practice of Constraint Programming. Christopher Beck, J. (ed.). Springer, p. 354-369 (Lecture Notes in Computer Science, Vol. 10416).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  • DNA-Templated Synthesis Optimization

    Hansen, B. N., Larsen, K. S., Merkle, D. & Mihalchuk, A., 2017, 23rd International Conference on DNA Computing and Molecular Programming. Brijder, R. & Qian, L. (eds.). Springer, p. 17-32 (Lecture Notes in Computer Science, Vol. 10467).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  • Flight Planning in Free Route Airspaces

    Kehlet Jensen, C., Chiarandini, M. & Larsen, K. S., 2017, 17th Workshop on Algorithmic Approaches for Transportation Modeling, Optimization, and Systems. D'Angelo, G. & Dollevoet, T. (eds.). Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, p. 14:1-14:14 (OpenAccess Series in Informatics, Vol. 59).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    Open Access
    File
    94 Downloads (Pure)
  • How to Get More Out of Your Oracles

    Cruz-Filipe, L., Larsen, K. S. & Schneider-Kamp, P., 2017, Proceedings of the 8th International Conference on Interactive Theorem Proving. Ayala-Rincón, M. & Muñoz, C. A. (eds.). Springer, p. 164-170 (Lecture Notes in Computer Science, Vol. 10499).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  • Relaxing the Irrevocability Requirement for Online Graph Algorithms

    Boyar, J., Favrholdt, L. M., Kotrbcik, M. & Larsen, K. S., 2017, Algorithms and Data Structures: Proceedings of the 15th International Symposium on Algorithms and Data Structures. Ellen, F., Kolokolova, A. & Sack, J-R. (eds.). Springer, p. 217-228 (Lecture Notes in Computer Science, Vol. 10389).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    File
    135 Downloads (Pure)
  • The Paths to Choreography Extraction

    Cruz-Filipe, L., Larsen, K. S. & Montesi, F., 2017, Foundations of Software Science and Computation Structures: Proceedings of the 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017. Esparza, J. & Murawski, A. S. (eds.). Springer, p. 424-440 (Lecture Notes in Computer Science, Vol. 10203).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    File
    131 Downloads (Pure)
  • 2016

    Online Bounded Analysis

    Boyar, J., Epstein, L., Favrholdt, L. M., Larsen, K. S. & Levin, A., 2016, Computer Science – Theory and Applications: 11th International Computer Science Symposium in Russia, CSR 2016, St. Petersburg, Russia, June 9-13, 2016, Proceedings. Kulikov, A. S. & Woeginger, G. J. (eds.). Springer, p. 131-145 (Lecture Notes in Computer Science, Vol. 9691).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  • Online Dominating Set

    Boyar, J., Eidenbenz, S. J., Favrholdt, L. M., Kotrbcik, M. & Larsen, K. S., 2016, 15th Scandinavian Symposium and Workshops on Algorithm Theory, SWAT 2016. Pagh, R. (ed.). Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, p. 1-15 21. (Leibniz International Proceedings in Informatics, Vol. 53).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    Open Access
    File
    35 Downloads (Pure)
  • Vertical Optimization of Resource Dependent Flight Paths

    Knudsen, A. N., Chiarandini, M. & Larsen, K. S., 2016, Proceedings of the Twenty-Second European Conference on Artificial Intelligence. Kaminka, G. A., Fox, M., Bouquet, P., Hüllermeier, E., Dignum, V., Dignum, F. & van Harmelen, F. (eds.). IOS Press, p. 639-645 (Frontiers in Artificial Intelligence and Applications, Vol. 285).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    Open Access
    File
    105 Downloads (Pure)
  • 2015

    Online Multi-Coloring with Advice

    Christ, M. G., Favrholdt, L. M. & Larsen, K. S., 2015, Approximation and Online Algorithms: 12th International Workshop, WAOA 2014, Wrocław, Poland, September 11-12, 2014, Revised Selected Papers. Bampis, E. & Svensson, O. (eds.). Springer, p. 83-94 (Lecture Notes in Computer Science, Vol. 8952).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  • 2014

    Online Bin Packing with Advice

    Boyar, J., Kamali, S., Larsen, K. S. & López-Ortiz, A., 1. Mar 2014, 31st Symposium on Theoretical Aspects of Computer Science, STACS 2014. Mayr, E. W. & Portier, N. (eds.). Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, Vol. 25. p. 174-186 (Leibniz International Proceedings in Informatics, Vol. 25).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    Open Access
  • On the List Update Problem with Advice

    Boyar, J., Kamali, S., Larsen, K. S. & López-Ortiz, A., 2014, Language and Automata Theory and Applications: 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014. Proceedings. Dediu et al., A-H. (ed.). Springer, p. 210-221 (Lecture Notes in Computer Science, Vol. 8370).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  • 2013

    Online Bin Covering: Expectations vs. Guarantees

    Christ, M. G., Favrholdt, L. M. & Larsen, K. S., 2013, Combinatorial Optimization and Applications: 7th International Conference, COCOA 2013, Chengdu, China, December 12-14, 2013, Proceedings. Widmayer, P., Xu, Y. & Zhu, B. (eds.). Springer, p. 226-237 12 p. (Lecture Notes in Computer Science, Vol. 8287).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  • Relative Interval Analysis of Paging Algorithms on Access Graphs

    Boyar, J., Gupta, S. & Larsen, K. S., 2013, Algorithms and Data Structures - 13th International Symposium, WADS 2013, Proceedings. Springer, Vol. 8037. p. 195-206 (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  • The Frequent Items Problem in Online Streaming under Various Performance Measures

    Boyar, J., Larsen, K. S. & Maiti, A., 2013, Fundamentals of Computation Theory: 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013. Proceedings. Gąsieniec, L. & Wolter, F. (eds.). Springer, Vol. 8. p. 60-71 (Lecture Notes in Computer Science, Vol. 8070).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  • 2011

    List Factoring and Relative Worst Order Analysis

    Ehmsen, M. R., Kohrt, J. S. & Larsen, K. S., 2011, Eighth Workshop on Approximation and Online Algorithms. Springer, p. 118-129 12 p. (Lecture Notes in Computer Science, Vol. 6534).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  • 2010

    Better Bounds on Online Unit Clustering

    Ehmsen, M. R. & Larsen, K. S., 2010, Twelfth Scandinavian Symposium and Workshops on Algorithm Theory. Springer, p. 371-382 12 p. (Lecture Notes in Computer Science, Vol. 6139).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  • 2009

    A comparison of performance measures for online algorithms

    Boyar, J., Irani, S. & Larsen, K. S., 2009, Algorithms and Data Structures: 11th International Symposium, WADS 2009, Banff, Canada, August 21-23, 2009. Proceedings. Dehne, F., Gavrilova, M., Sack, J-R. & Toth, C. D. (eds.). Springer, p. 119-130 (Lecture Notes in Computer Science, Vol. 5664).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  • 2006

    Colour Reassignment in Tabu Search for the Graph Set T-Colouring Problem

    Chiarandini, M., Stützle, T. & Larsen, K. S., 2006, Hybrid Metaheuristics. Almeida, F., Aguilera, M. J. B., Blum, C., Vega, J. M. M., Pérez, M., Roli, A. & Samples, M. (eds.). p. 162-177 16 p. (Lecture Notes in Computer Science; No. 4030).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  • Theoretical Evidence for the Superiority of LRU-2 over LRU for the Paging Problem

    Boyar, J., Ehmsen, M. R. & Larsen, K. S., 2006, Approximation and Online Algorithms. Erlebach, T. & Kaklamanis, C. (eds.). Springer Science+Business Media, p. 95-107 13 p. (Lecture Notes in Computer Science, Vol. 4368).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  • 2005

    Priority Algorithms for Graph Optimization Problems

    Borodin, A., Boyar, J. & Larsen, K. S., 2005, Second Workshop on Approximation and Online Algorithms. Persiano, G. & Solis-Oba, R. (eds.). Springer Science+Business Media, p. 126-139 (Lecture Notes in Computer Science, Vol. 3351).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  • The Maximum Resource Bin Packing Problem

    Boyar, J., Epstein, L., Favrholdt, L. M., Kohrt, J. S., Larsen, K. S., Pedersen, M. M. & Wøhlk, S., 2005, Fifteenth International Symposium on Fundamentals of Computation Theory. Liskiewicz, M. & Reischuk, R. (eds.). Springer Science+Business Media, p. 397-408 (Lecture Notes in Computer Science, Vol. 3623).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  • The Relative Worst Order Ratio Applied to Paging

    Boyar, J., Favrholdt, L. M. & Larsen, K. S., 2005, Ikke angivet. Association for Computing Machinery, p. 718-727

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  • 2003

    On-Line Seat Reservations via Off-Line Seating Arrangements

    Frederiksen, J. S. & Larsen, K. S., 2003, Algorithms and Data Structures, 8th International Workshop, WADS 2003. p. 174-185 12 p. (Lecture Notes in Computer Science, Vol. 2748).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  • 2002

    Extending the Accommodating Function

    Boyar, J., Favrholdt, L. M., Larsen, K. S. & Nielsen, M. N., 2002, Computing and Combinatorics, 8th Annual International Conference, COCOON 2002. Springer, p. 87-96 (Lecture Notes in Computer Science, Vol. 2387).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  • Packet Bundling

    Frederiksen, J. S. & Larsen, K. S., 2002, Algorithm Theory - SWAT 2002, 8th Scandinavian Workshop on Algorithm Theory. p. 328-337 10 p. (Lecture Notes in Computer Science, Vol. 2368).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  • 2001

    Complexity of Layered Binary Search Trees with Relaxed Balance

    Jacobsen, L. & Larsen, K. S., 2001, Theoretical Computer Science, 7th Italian Conference, ICTCS 2001. p. 269-284 16 p. (Lecture Notes in Computer Science, Vol. 2202).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  • Exponentially Decreasing Number of Operations in Balanced Trees

    Jacobsen, L. & Larsen, K. S., 2001, Theoretical Computer Science, 7th Italian Conference, ICTCS 2001. p. 293-311 19 p. (Lecture Notes in Computer Science, Vol. 2202).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  • Relaxed Multi-Way Trees with Group Updates

    Larsen, K. S., 2001, Proceedings of the Twentieth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems. Association for Computing Machinery, p. 93-101 8 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  • Search Trees with Relaxed Balance and Near-Optimal Height

    Fagerberg, R., Jensen, R. E. & Larsen, K. S., 2001, Algorithms and Data Structures, 7th International Workshop, WADS 2001. p. 414-425 12 p. (Lecture Notes in Computer Science, Vol. 2125).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  • 2000

    Better Bounds on the Accommodating Ratio for the Seat Reservation Problem

    Bach, E., Boyar, J., Jiang, T., Larsen, K. S. & Lin, G-H., 2000, Computing and Combinatorics, 6th Annual International Conference, COCOON 2000. p. 221-231 11 p. (Lecture Notes in Computer Science, Vol. 1858).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  • Fair versus Unrestricted Bin Packing

    Azar, Y., Boyar, J., Favrholdt, L. M., Larsen, K. S. & Nielsen, M. N., 2000, Algorithm Theory - SWAT 2000, 7th Scandinavian Workshop on Algorithm Theory. p. 200-213 14 p. (Lecture Notes in Computer Science, Vol. 1851).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  • 1999

    The Accommodating Function: a generalization of the competitive ratio

    Boyar, J., Larsen, K. S. & Nielsen, M. N., 1999, Algorithms and Data Structures, 6th International Workshop, WADS '99. Springer, p. 74-79 6 p. (Lecture Notes in Computer Science, Vol. 1663).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review