OASIcs, Volume 12
ATMOS 2009, September 10, 2009, Copenhagen, Denmark
Editors: Jens Clausen and Gabriele Di Stefano
Published in: OASIcs, Volume 116, 15th Workshop on Parallel Programming and Run-Time Management Techniques for Many-Core Architectures and 13th Workshop on Design Tools and Architectures for Multicore Embedded Computing Platforms (PARMA-DITAM 2024)
Gabriele Magnani, Lev Denisov, Daniele Cattaneo, Giovanni Agosta, and Stefano Cherubin. Precision Tuning the Rust Memory-Safe Programming Language. In 15th Workshop on Parallel Programming and Run-Time Management Techniques for Many-Core Architectures and 13th Workshop on Design Tools and Architectures for Multicore Embedded Computing Platforms (PARMA-DITAM 2024). Open Access Series in Informatics (OASIcs), Volume 116, pp. 4:1-4:12, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
@InProceedings{magnani_et_al:OASIcs.PARMA-DITAM.2024.4, author = {Magnani, Gabriele and Denisov, Lev and Cattaneo, Daniele and Agosta, Giovanni and Cherubin, Stefano}, title = {{Precision Tuning the Rust Memory-Safe Programming Language}}, booktitle = {15th Workshop on Parallel Programming and Run-Time Management Techniques for Many-Core Architectures and 13th Workshop on Design Tools and Architectures for Multicore Embedded Computing Platforms (PARMA-DITAM 2024)}, pages = {4:1--4:12}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-307-2}, ISSN = {2190-6807}, year = {2024}, volume = {116}, editor = {Bispo, Jo\~{a}o and Xydis, Sotirios and Curzel, Serena and Sousa, Lu{\'\i}s Miguel}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.PARMA-DITAM.2024.4}, URN = {urn:nbn:de:0030-drops-196989}, doi = {10.4230/OASIcs.PARMA-DITAM.2024.4}, annote = {Keywords: Approximate Computing, Memory Safety, Precision Tuning} }
Published in: LIPIcs, Volume 288, 32nd EACSL Annual Conference on Computer Science Logic (CSL 2024)
Stefano Berardi, Gabriele Buriola, and Peter Schuster. A General Constructive Form of Higman’s Lemma. In 32nd EACSL Annual Conference on Computer Science Logic (CSL 2024). Leibniz International Proceedings in Informatics (LIPIcs), Volume 288, pp. 16:1-16:17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
@InProceedings{berardi_et_al:LIPIcs.CSL.2024.16, author = {Berardi, Stefano and Buriola, Gabriele and Schuster, Peter}, title = {{A General Constructive Form of Higman’s Lemma}}, booktitle = {32nd EACSL Annual Conference on Computer Science Logic (CSL 2024)}, pages = {16:1--16:17}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-310-2}, ISSN = {1868-8969}, year = {2024}, volume = {288}, editor = {Murano, Aniello and Silva, Alexandra}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CSL.2024.16}, URN = {urn:nbn:de:0030-drops-196599}, doi = {10.4230/LIPIcs.CSL.2024.16}, annote = {Keywords: intuitionistic logic, constructive mathematics, formal proof, inductive predicate, bar induction, well quasi-order, Higman’s lemma} }
Published in: OASIcs, Volume 107, 14th Workshop on Parallel Programming and Run-Time Management Techniques for Many-Core Architectures and 12th Workshop on Design Tools and Architectures for Multicore Embedded Computing Platforms (PARMA-DITAM 2023)
Andrea Galimberti, Gabriele Montanaro, William Fornaciari, and Davide Zoni. An Evaluation of the State-Of-The-Art Software and Hardware Implementations of BIKE. In 14th Workshop on Parallel Programming and Run-Time Management Techniques for Many-Core Architectures and 12th Workshop on Design Tools and Architectures for Multicore Embedded Computing Platforms (PARMA-DITAM 2023). Open Access Series in Informatics (OASIcs), Volume 107, pp. 4:1-4:12, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@InProceedings{galimberti_et_al:OASIcs.PARMA-DITAM.2023.4, author = {Galimberti, Andrea and Montanaro, Gabriele and Fornaciari, William and Zoni, Davide}, title = {{An Evaluation of the State-Of-The-Art Software and Hardware Implementations of BIKE}}, booktitle = {14th Workshop on Parallel Programming and Run-Time Management Techniques for Many-Core Architectures and 12th Workshop on Design Tools and Architectures for Multicore Embedded Computing Platforms (PARMA-DITAM 2023)}, pages = {4:1--4:12}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-269-3}, ISSN = {2190-6807}, year = {2023}, volume = {107}, editor = {Bispo, Jo\~{a}o and Charles, Henri-Pierre and Cherubin, Stefano and Massari, Giuseppe}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.PARMA-DITAM.2023.4}, URN = {urn:nbn:de:0030-drops-177249}, doi = {10.4230/OASIcs.PARMA-DITAM.2023.4}, annote = {Keywords: Post-quantum cryptography, QC-MDPC code-based cryptography, BIKE, software execution, hardware acceleration, hardware-software co-design, performance evaluation} }
Published in: OASIcs, Volume 98, Third Workshop on Next Generation Real-Time Embedded Systems (NG-RES 2022)
Daniele Cattaneo, Gabriele Magnani, Stefano Cherubin, and Giovanni Agosta. Ahead-Of-Real-Time (ART): A Methodology for Static Reduction of Worst-Case Execution Time. In Third Workshop on Next Generation Real-Time Embedded Systems (NG-RES 2022). Open Access Series in Informatics (OASIcs), Volume 98, pp. 4:1-4:10, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)
@InProceedings{cattaneo_et_al:OASIcs.NG-RES.2022.4, author = {Cattaneo, Daniele and Magnani, Gabriele and Cherubin, Stefano and Agosta, Giovanni}, title = {{Ahead-Of-Real-Time (ART): A Methodology for Static Reduction of Worst-Case Execution Time}}, booktitle = {Third Workshop on Next Generation Real-Time Embedded Systems (NG-RES 2022)}, pages = {4:1--4:10}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-221-1}, ISSN = {2190-6807}, year = {2022}, volume = {98}, editor = {Bertogna, Marko and Terraneo, Federico and Reghenzani, Federico}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.NG-RES.2022.4}, URN = {urn:nbn:de:0030-drops-161120}, doi = {10.4230/OASIcs.NG-RES.2022.4}, annote = {Keywords: Approximate Computing, Precision Tuning, Worst-Case Execution Time} }
Published in: OASIcs, Volume 100, 13th Workshop on Parallel Programming and Run-Time Management Techniques for Many-Core Architectures and 11th Workshop on Design Tools and Architectures for Multicore Embedded Computing Platforms (PARMA-DITAM 2022)
Gabriele Magnani, Lev Denisov, Daniele Cattaneo, and Giovanni Agosta. Precision Tuning in Parallel Applications. In 13th Workshop on Parallel Programming and Run-Time Management Techniques for Many-Core Architectures and 11th Workshop on Design Tools and Architectures for Multicore Embedded Computing Platforms (PARMA-DITAM 2022). Open Access Series in Informatics (OASIcs), Volume 100, pp. 5:1-5:9, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)
@InProceedings{magnani_et_al:OASIcs.PARMA-DITAM.2022.5, author = {Magnani, Gabriele and Denisov, Lev and Cattaneo, Daniele and Agosta, Giovanni}, title = {{Precision Tuning in Parallel Applications}}, booktitle = {13th Workshop on Parallel Programming and Run-Time Management Techniques for Many-Core Architectures and 11th Workshop on Design Tools and Architectures for Multicore Embedded Computing Platforms (PARMA-DITAM 2022)}, pages = {5:1--5:9}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-231-0}, ISSN = {2190-6807}, year = {2022}, volume = {100}, editor = {Palumbo, Francesca and Bispo, Jo\~{a}o and Cherubin, Stefano}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.PARMA-DITAM.2022.5}, URN = {urn:nbn:de:0030-drops-161210}, doi = {10.4230/OASIcs.PARMA-DITAM.2022.5}, annote = {Keywords: Compilers, Parallel Programming, Precision Tuning} }
Published in: OASIcs, Volume 88, 12th Workshop on Parallel Programming and Run-Time Management Techniques for Many-core Architectures and 10th Workshop on Design Tools and Architectures for Multicore Embedded Computing Platforms (PARMA-DITAM 2021)
Gabriele Magnani, Daniele Cattaneo, Michele Chiari, and Giovanni Agosta. The Impact of Precision Tuning on Embedded Systems Performance: A Case Study on Field-Oriented Control. In 12th Workshop on Parallel Programming and Run-Time Management Techniques for Many-core Architectures and 10th Workshop on Design Tools and Architectures for Multicore Embedded Computing Platforms (PARMA-DITAM 2021). Open Access Series in Informatics (OASIcs), Volume 88, pp. 3:1-3:13, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2021)
@InProceedings{magnani_et_al:OASIcs.PARMA-DITAM.2021.3, author = {Magnani, Gabriele and Cattaneo, Daniele and Chiari, Michele and Agosta, Giovanni}, title = {{The Impact of Precision Tuning on Embedded Systems Performance: A Case Study on Field-Oriented Control}}, booktitle = {12th Workshop on Parallel Programming and Run-Time Management Techniques for Many-core Architectures and 10th Workshop on Design Tools and Architectures for Multicore Embedded Computing Platforms (PARMA-DITAM 2021)}, pages = {3:1--3:13}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-181-8}, ISSN = {2190-6807}, year = {2021}, volume = {88}, editor = {Bispo, Jo\~{a}o and Cherubin, Stefano and Flich, Jos\'{e}}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.PARMA-DITAM.2021.3}, URN = {urn:nbn:de:0030-drops-136390}, doi = {10.4230/OASIcs.PARMA-DITAM.2021.3}, annote = {Keywords: Approximate Computing, Field-oriented control, Precision Tuning} }
Published in: OASIcs, Volume 12, 9th Workshop on Algorithmic Approaches for Transportation Modeling, Optimization, and Systems (ATMOS'09) (2009)
9th Workshop on Algorithmic Approaches for Transportation Modeling, Optimization, and Systems (ATMOS'09). Open Access Series in Informatics (OASIcs), Volume 12, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
@Proceedings{clausen_et_al:OASIcs.ATMOS.2009, title = {{OASIcs, Volume 12, ATMOS'09, Complete Volume}}, booktitle = {9th Workshop on Algorithmic Approaches for Transportation Modeling, Optimization, and Systems (ATMOS'09)}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-11-8}, ISSN = {2190-6807}, year = {2012}, volume = {12}, editor = {Clausen, Jens and Di Stefano, Gabriele}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.ATMOS.2009}, URN = {urn:nbn:de:0030-drops-35741}, doi = {10.4230/OASIcs.ATMOS.2009}, annote = {Keywords: Analysis of Algorithms and Problem Complexity, Optimization, Graph Theory, Applications} }
Published in: OASIcs, Volume 12, 9th Workshop on Algorithmic Approaches for Transportation Modeling, Optimization, and Systems (ATMOS'09) (2009)
9th Workshop on Algorithmic Approaches for Transportation Modeling, Optimization, and Systems (ATMOS'09). Open Access Series in Informatics (OASIcs), Volume 12, pp. i-iii, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)
@InProceedings{clausen_et_al:OASIcs.ATMOS.2009.2294, author = {Clausen, Jens and Di Stefano, Gabriele}, title = {{ATMOS 2009 Preface -- 9th Workshop on Algorithmic Approaches for Transportation Modeling, Optimization, and Systems}}, booktitle = {9th Workshop on Algorithmic Approaches for Transportation Modeling, Optimization, and Systems (ATMOS'09)}, pages = {i--iii}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-11-8}, ISSN = {2190-6807}, year = {2009}, volume = {12}, editor = {Clausen, Jens and Di Stefano, Gabriele}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.ATMOS.2009.2294}, URN = {urn:nbn:de:0030-drops-22943}, doi = {10.4230/OASIcs.ATMOS.2009.2294}, annote = {Keywords: Combinatorial optimization, transportation, scheduling, infrastructure planning, timetables} }
Published in: OASIcs, Volume 12, 9th Workshop on Algorithmic Approaches for Transportation Modeling, Optimization, and Systems (ATMOS'09) (2009)
Annabell Berger, Daniel Delling, Andreas Gebhardt, and Matthias Müller-Hannemann. Accelerating Time-Dependent Multi-Criteria Timetable Information is Harder Than Expected. In 9th Workshop on Algorithmic Approaches for Transportation Modeling, Optimization, and Systems (ATMOS'09). Open Access Series in Informatics (OASIcs), Volume 12, pp. 1-21, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)
@InProceedings{berger_et_al:OASIcs.ATMOS.2009.2148, author = {Berger, Annabell and Delling, Daniel and Gebhardt, Andreas and M\"{u}ller-Hannemann, Matthias}, title = {{Accelerating Time-Dependent Multi-Criteria Timetable Information is Harder Than Expected}}, booktitle = {9th Workshop on Algorithmic Approaches for Transportation Modeling, Optimization, and Systems (ATMOS'09)}, pages = {1--21}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-11-8}, ISSN = {2190-6807}, year = {2009}, volume = {12}, editor = {Clausen, Jens and Di Stefano, Gabriele}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.ATMOS.2009.2148}, URN = {urn:nbn:de:0030-drops-21481}, doi = {10.4230/OASIcs.ATMOS.2009.2148}, annote = {Keywords: Timetable information, multi-criteria search, time-dependent networks, arc flags, contraction Timetable information, multi-criteria search, time-dependent networks, arc flags, contraction} }
Published in: OASIcs, Volume 12, 9th Workshop on Algorithmic Approaches for Transportation Modeling, Optimization, and Systems (ATMOS'09) (2009)
Peter Márton, Jens Maue, and Marc Nunkesser. An Improved Train Classification Procedure for the Hump Yard Lausanne Triage. In 9th Workshop on Algorithmic Approaches for Transportation Modeling, Optimization, and Systems (ATMOS'09). Open Access Series in Informatics (OASIcs), Volume 12, pp. 1-15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)
@InProceedings{marton_et_al:OASIcs.ATMOS.2009.2142, author = {M\'{a}rton, Peter and Maue, Jens and Nunkesser, Marc}, title = {{An Improved Train Classification Procedure for the Hump Yard Lausanne Triage}}, booktitle = {9th Workshop on Algorithmic Approaches for Transportation Modeling, Optimization, and Systems (ATMOS'09)}, pages = {1--15}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-11-8}, ISSN = {2190-6807}, year = {2009}, volume = {12}, editor = {Clausen, Jens and Di Stefano, Gabriele}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.ATMOS.2009.2142}, URN = {urn:nbn:de:0030-drops-21427}, doi = {10.4230/OASIcs.ATMOS.2009.2142}, annote = {Keywords: Train classification, shunting of rolling stock, simulation tools for transport operations, infrastructure planning, freight trains Train classification, shunting of rolling stock, simulation tools for transport operations, infrastructure planning, freight trains} }
Published in: OASIcs, Volume 12, 9th Workshop on Algorithmic Approaches for Transportation Modeling, Optimization, and Systems (ATMOS'09) (2009)
Emanuele Berrettini, Gianlorenzo D'Angelo, and Daniel Delling. Arc-Flags in Dynamic Graphs. In 9th Workshop on Algorithmic Approaches for Transportation Modeling, Optimization, and Systems (ATMOS'09). Open Access Series in Informatics (OASIcs), Volume 12, pp. 1-18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)
@InProceedings{berrettini_et_al:OASIcs.ATMOS.2009.2149, author = {Berrettini, Emanuele and D'Angelo, Gianlorenzo and Delling, Daniel}, title = {{Arc-Flags in Dynamic Graphs}}, booktitle = {9th Workshop on Algorithmic Approaches for Transportation Modeling, Optimization, and Systems (ATMOS'09)}, pages = {1--18}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-11-8}, ISSN = {2190-6807}, year = {2009}, volume = {12}, editor = {Clausen, Jens and Di Stefano, Gabriele}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.ATMOS.2009.2149}, URN = {urn:nbn:de:0030-drops-21490}, doi = {10.4230/OASIcs.ATMOS.2009.2149}, annote = {Keywords: Shortest Path, Speed-Up Technique, Dynamic Graph Algorithm Shortest Path, Speed-Up Technique, Dynamic Graph Algorithm} }
Published in: OASIcs, Volume 12, 9th Workshop on Algorithmic Approaches for Transportation Modeling, Optimization, and Systems (ATMOS'09) (2009)
Twan Dollevoet, Dennis Huisman, Marie Schmidt, and Anita Schoebel. Delay Management with Re-Routing of Passengers. In 9th Workshop on Algorithmic Approaches for Transportation Modeling, Optimization, and Systems (ATMOS'09). Open Access Series in Informatics (OASIcs), Volume 12, pp. 1-17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)
@InProceedings{dollevoet_et_al:OASIcs.ATMOS.2009.2143, author = {Dollevoet, Twan and Huisman, Dennis and Schmidt, Marie and Schoebel, Anita}, title = {{Delay Management with Re-Routing of Passengers}}, booktitle = {9th Workshop on Algorithmic Approaches for Transportation Modeling, Optimization, and Systems (ATMOS'09)}, pages = {1--17}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-11-8}, ISSN = {2190-6807}, year = {2009}, volume = {12}, editor = {Clausen, Jens and Di Stefano, Gabriele}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.ATMOS.2009.2143}, URN = {urn:nbn:de:0030-drops-21433}, doi = {10.4230/OASIcs.ATMOS.2009.2143}, annote = {Keywords: Transportation, Delay Management, Re-Routing, OD-pairs Transportation, Delay Management, Re-Routing, OD-pairs} }
Published in: OASIcs, Volume 12, 9th Workshop on Algorithmic Approaches for Transportation Modeling, Optimization, and Systems (ATMOS'09) (2009)
Olaf Beyersdorff and Yevgen Nebesov. Edges as Nodes - a New Approach to Timetable Information. In 9th Workshop on Algorithmic Approaches for Transportation Modeling, Optimization, and Systems (ATMOS'09). Open Access Series in Informatics (OASIcs), Volume 12, pp. 1-12, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)
@InProceedings{beyersdorff_et_al:OASIcs.ATMOS.2009.2147, author = {Beyersdorff, Olaf and Nebesov, Yevgen}, title = {{Edges as Nodes - a New Approach to Timetable Information}}, booktitle = {9th Workshop on Algorithmic Approaches for Transportation Modeling, Optimization, and Systems (ATMOS'09)}, pages = {1--12}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-11-8}, ISSN = {2190-6807}, year = {2009}, volume = {12}, editor = {Clausen, Jens and Di Stefano, Gabriele}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.ATMOS.2009.2147}, URN = {urn:nbn:de:0030-drops-21478}, doi = {10.4230/OASIcs.ATMOS.2009.2147}, annote = {Keywords: Timetable infomation, earliest arrival problem, minimum number of transfers problem, time-expanded model Timetable infomation, earliest arrival problem, minimum number of transfers problem, time-expanded model} }
Published in: OASIcs, Volume 12, 9th Workshop on Algorithmic Approaches for Transportation Modeling, Optimization, and Systems (ATMOS'09) (2009)
Daniel Delling, Thomas Pajor, Dorothea Wagner, and Christos Zaroliagis. Efficient Route Planning in Flight Networks. In 9th Workshop on Algorithmic Approaches for Transportation Modeling, Optimization, and Systems (ATMOS'09). Open Access Series in Informatics (OASIcs), Volume 12, pp. 1-17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)
@InProceedings{delling_et_al:OASIcs.ATMOS.2009.2145, author = {Delling, Daniel and Pajor, Thomas and Wagner, Dorothea and Zaroliagis, Christos}, title = {{Efficient Route Planning in Flight Networks}}, booktitle = {9th Workshop on Algorithmic Approaches for Transportation Modeling, Optimization, and Systems (ATMOS'09)}, pages = {1--17}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-939897-11-8}, ISSN = {2190-6807}, year = {2009}, volume = {12}, editor = {Clausen, Jens and Di Stefano, Gabriele}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.ATMOS.2009.2145}, URN = {urn:nbn:de:0030-drops-21450}, doi = {10.4230/OASIcs.ATMOS.2009.2145}, annote = {Keywords: Timetable information, flight modeling, shortest paths, multi criteria, table lookups Timetable information, flight modeling, shortest paths, multi criteria, table lookups} }
Feedback for Dagstuhl Publishing