default search action
OpenAccess Series in Informatics (OASIcs)
- OASICS Home Page @ Schloss Dagstuhl - Leibniz Center for Informatics
- OASICS Volumes
- ... more Dagstuhl publications on DBLP
- 143Antonio Filieri
, Peter Backeman
30th Ada-Europe International Conference on Reliable Software Technologies, AEiC 2026, Västerås, Sweden, June 9-12, 2026. OASIcs 143, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2026, ISBN 978-3-95977-425-3 [contents] - 142Massimo Bartoletti
7th International Workshop on Formal Methods for Blockchains, FMBC 2026, Turin, Italy, April 11, 2026. OASIcs 142, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2026, ISBN 978-3-95977-424-6 [contents] - 141Davide Baroffio
17th Workshop on Parallel Programming and Run-Time Management Techniques for Many-Core Architectures and 15th Workshop on Design Tools and Architectures for Multicore Embedded Computing Platforms, PARMA-DITAM 2026, Krakow, Poland, January 27, 2026. OASIcs 141, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2026, ISBN 978-3-95977-416-1 [contents] - 140Hazem Ismail Ali
7th Workshop on Next Generation Real-Time Embedded Systems, NG-RES 2026, Kraków, Poland, January 28, 2026. OASIcs 140, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2026, ISBN 978-3-95977-415-4 [contents] - 139Katerina J. Argyraki
1st New Ideas in Networked Systems, NINeS 2026, Virtual Conference, February 10, 2026. OASIcs 139, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2026, ISBN 978-3-95977-414-7 [contents] - 138Alessandro Artale
Joint Proceedings of the 20th and 21st Reasoning Web Summer Schools, RW 2024, Bucharest, Romania, September 19-22, 2024 / RW 2025, Istanbul, Turkey, September 25-28, 2025. OASIcs 138, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2025, ISBN 978-3-95977-405-5 [contents] - 137Jonas Sauer
25th Symposium on Algorithmic Approaches for Transportation Modelling, Optimization, and Systems, ATMOS 2025, Warsaw, Poland, September 18-19, 2025. OASIcs 137, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2025, ISBN 978-3-95977-404-8 [contents] - 136Marcos Quiñones-Grueiro
36th International Conference on Principles of Diagnosis and Resilient Systems, DX 2025, Nashville, TN, USA, September 22-24, 2025. OASIcs 136, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2025, ISBN 978-3-95977-394-2 [contents] - 135Jorge Baptista
14th Symposium on Languages, Applications and Technologies, SLATE 2025, Faro, Portugal, June 26-27, 2025. OASIcs 135, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2025, ISBN 978-3-95977-387-4 [contents] - 134Jonathan Edwards
Companion Proceedings of the 9th International Conference on the Art, Science, and Engineering of Programming, Programming 2025, Prague, Czechia, June 2-6, 2025. OASIcs 134, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2025, ISBN 978-3-95977-382-9 [contents] - 133Ricardo Queirós
6th International Computer Programming Education Conference, ICPEC 2025, PORTIC, Polytechnic of Porto, Portugal, July 10-11, 2025. OASIcs 133, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2025, ISBN 978-3-95977-393-5 [contents] - 132Alessio Conte
From Strings to Graphs, and Back Again: A Festschrift for Roberto Grossi's 60th Birthday, Grossi's Festschrift, Venice, Italy, July 25, 2025. OASIcs 132, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2025, ISBN 978-3-95977-391-1 [contents] - 131Paolo Ferragina
The Expanding World of Compressed Data: A Festschrift for Giovanni Manzini's 60th Birthday, Manzini's Festschrift, Venice, Italy, July 25, 2025. OASIcs 131, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2025, ISBN 978-3-95977-390-4 [contents] - 130Leonie Bensch
Advancing Human-Computer Interaction for Space Exploration, SpaceCHI 2025, European Astronaut Centre (EAC), Cologne, Germany, June 23-24, 2025. OASIcs 130, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2025, ISBN 978-3-95977-384-3 [contents] - 129Diego Marmsoler
6th International Workshop on Formal Methods for Blockchains, FMBC 2025, Hamilton, Canada, May 4, 2025. OASIcs 129, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2025, ISBN 978-3-95977-371-3 [contents] - 128Patrick Meumeu Yomsi
Sixth Workshop on Next Generation Real-Time Embedded Systems, NG-RES 2025, Barcelona, Spain, January 20, 2025. OASIcs 128, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2025, ISBN 978-3-95977-366-9 [contents] - 127Daniele Cattaneo
16th Workshop on Parallel Programming and Run-Time Management Techniques for Many-Core Architectures and 14th Workshop on Design Tools and Architectures for Multicore Embedded Computing Platforms, PARMA-DITAM 2025, Barcelona, Spain, January 22, 2025. OASIcs 127, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2025, ISBN 978-3-95977-363-8 [contents] - 126Rebekka Görge
Symposium on Scaling AI Assessments, SAIA 2024, Cologne, Germany, September 30 - October 1, 2024. OASIcs 126, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2025, ISBN 978-3-95977-357-7 [contents] - 125Ingo Pill
35th International Conference on Principles of Diagnosis and Resilient Systems, DX 2024, Vienna, Austria, November 4-7, 2024. OASIcs 125, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2024, ISBN 978-3-95977-356-0 [contents] - 124Boudewijn R. Haverkort
Commit2Data. OASIcs 124, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2024, ISBN 978-3-95977-351-5 [contents] - 123Paul C. Bouman
24th Symposium on Algorithmic Approaches for Transportation Modelling, Optimization, and Systems, ATMOS 2024, Royal Holloway, London, United Kingdom, September 5-6, 2024. OASIcs 123, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2024, ISBN 978-3-95977-350-8 [contents] - 122André L. Santos
5th International Computer Programming Education Conference, ICPEC 2024, Lisbon, Portugal, June 27-28, 2024. OASIcs 122, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2024, ISBN 978-3-95977-347-8 [contents] - 121Thomas Carle
22nd International Workshop on Worst-Case Execution Time Analysis, WCET 2024, Lille, France, July 9, 2024. OASIcs 121, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2024, ISBN 978-3-95977-346-1 [contents] - 120Mário Rodrigues
13th Symposium on Languages, Applications and Technologies, SLATE 2024, Águeda, Portugal, July 4-5, 2024. OASIcs 120, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2024, ISBN 978-3-95977-321-8 [contents] - 119Antoine Amarilli
The Provenance of Elegance in Computation - Essays Dedicated to Val Tannen, Tannen's Festschrift, University of Pennsylvania, Philadelphia, PA, USA, May 24-25, 2024. OASIcs 119, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2024, ISBN 978-3-95977-320-1 [contents] - 118Bruno Bernardo, Diego Marmsoler
5th International Workshop on Formal Methods for Blockchains, FMBC 2024, Luxembourg City, Luxembourg, April 7, 2024. OASIcs 118, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2024, ISBN 978-3-95977-317-1 [contents] - 117Patrick Meumeu Yomsi
Fifth Workshop on Next Generation Real-Time Embedded Systems, NG-RES 2024, Munich, Germany, January 17-19, 2024. OASIcs 117, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2024, ISBN 978-3-95977-313-3 [contents] - 116João Bispo
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, Munich, Germany, January 18, 2024. OASIcs 116, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2024, ISBN 978-3-95977-307-2 [contents] - 115Daniele Frigioni
23rd Symposium on Algorithmic Approaches for Transportation Modelling, Optimization, and Systems, ATMOS 2023, Amsterdam, The Netherlands, September 7-8, 2023. OASIcs 115, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2023, ISBN 978-3-95977-302-7 [contents] - 114Peter Wägemann
21th International Workshop on Worst-Case Execution Time Analysis, WCET 2023, Vienna, Austria, July 11, 2023. OASIcs 114, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2023, ISBN 978-3-95977-293-8 [contents] - 113Alberto Simões
12th Symposium on Languages, Applications and Technologies, SLATE 2023, Vila do Conde, Portugal, June 26-28, 2023. OASIcs 113, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2023, ISBN 978-3-95977-291-4 [contents] - 112Ricardo Alexandre Peixoto de Queirós
4th International Computer Programming Education Conference, ICPEC 2023, Vila do Conde, Portugal, June 26-28, 2023. OASIcs 112, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2023, ISBN 978-3-95977-290-7 [contents] - 111Gokila Dorai
Joint Post-proceedings of the Third and Fourth International Conference on Microservices, Microservices 2020/2022, Bologna, Italy (Virtual Conference), September 2020 / Paris, France, May 10-12, 2022. OASIcs 111, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2023, ISBN 978-3-95977-306-5 [contents] - 110Yackolley Amoussou-Guenou, Aggelos Kiayias, Marianne Verdier:
4th International Conference on Blockchain Economics, Security and Protocols, Tokenomics 2022, Paris, France, December 12-13, 2022. OASIcs 110, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2023, ISBN 978-3-95977-274-7 [contents] - 109Ralf Lämmel, Peter D. Mosses, Friedrich Steimann:
Eelco Visser Commemorative Symposium, EVCS 2023, Delft, The Netherlands, April 5, 2023. OASIcs 109, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2023, ISBN 978-3-95977-267-9 [contents] - 108Federico Terraneo, Daniele Cattaneo:
Fourth Workshop on Next Generation Real-Time Embedded Systems, NG-RES 2023, Toulouse, France, January 18, 2023. OASIcs 108, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2023, ISBN 978-3-95977-268-6 [contents] - 107João Bispo, Henri-Pierre Charles, Stefano Cherubin, Giuseppe Massari:
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, Toulouse, France, January 17, 2023. OASIcs 107, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2023, ISBN 978-3-95977-269-3 [contents] - 106Mattia D'Emidio, Niels Lindner:
22nd Symposium on Algorithmic Approaches for Transportation Modelling, Optimization, and Systems, ATMOS 2022, Potsdam, Germany, September 8-9, 2022. OASIcs 106, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2022, ISBN 978-3-95977-259-4 [contents] - 105Zaynah Dargaye, Clara Schneidewind:
4th International Workshop on Formal Methods for Blockchains, FMBC@CAV 2022, Haifa, Israel, August 11, 2022. OASIcs 105, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2022, ISBN 978-3-95977-250-1 [contents] - 104João Cordeiro
11th Symposium on Languages, Applications and Technologies, SLATE 2022, Universidade da Beira Interior, Covilhã, Portugal, July 14-15, 2022. OASIcs 104, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2022, ISBN 978-3-95977-245-7 [contents] - 103Clément Ballabriga:
20th International Workshop on Worst-Case Execution Time Analysis, WCET 2022, Modena, Italy, July 5, 2022. OASIcs 103, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2022, ISBN 978-3-95977-244-0 [contents] - 102Alberto Simões
Third International Computer Programming Education Conference, ICPEC 2022, Polytechnic Institute of Cávado and Ave (IPCA), Barcelos, Portugal, June 2-3, 2022. OASIcs 102, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2022, ISBN 978-3-95977-229-7 [contents] - 101Sara Tucci Piergiovanni
5th International Symposium on Foundations and Applications of Blockchain 2022, FAB 2022, Berkeley, CA, USA, June 3, 2022. OASIcs 101, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2022, ISBN 978-3-95977-248-8 [contents] - 100Francesca Palumbo
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, Budapest, Hungary, June 22, 2022. OASIcs 100, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2022, ISBN 978-3-95977-231-0 [contents] - 99Camille Bourgaux
International Research School in Artificial Intelligence in Bergen, AIB 2022, University of Bergen, Norway, June 7-11, 2022. OASIcs 99, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2022, ISBN 978-3-95977-228-0 [contents] - 98Marko Bertogna
Third Workshop on Next Generation Real-Time Embedded Systems, NG-RES@HiPEAC 2022, Budapest, Hungary, June 22, 2022. OASIcs 98, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2022, ISBN 978-3-95977-221-1 [contents] - 97Vincent Gramoli
3rd International Conference on Blockchain Economics, Security and Protocols, Tokenomics 2021, New York University, USA (Virtual Conference), November 18-19, 2021. OASIcs 97, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2022, ISBN 978-3-95977-220-4 [contents] - 96Matthias Müller-Hannemann
21st Symposium on Algorithmic Approaches for Transportation Modelling, Optimization, and Systems, ATMOS 2021, Lisbon, Portugal (Virtual Conference), September 9-10, 2021. OASIcs 96, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2021, ISBN 978-3-95977-213-6 [contents] - 95Bruno Bernardo, Diego Marmsoler
3rd International Workshop on Formal Methods for Blockchains, FMBC@CAV 2021, Los Angeles, California, USA (Virtual Conference), July 18-19, 2021. OASIcs 95, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2021, ISBN 978-3-95977-209-9 [contents] - 94Ricardo Queirós
10th Symposium on Languages, Applications and Technologies, SLATE 2021, Vila do Conde/Póvoa de Varzim, Portugal, July 1-2, 2021. OASIcs 94, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2021, ISBN 978-3-95977-202-0 [contents] - 93Dagmar Gromann
3rd Conference on Language, Data and Knowledge, LDK 2021, Zaragoza, Spain, September 1-3, 2021. OASIcs 93, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2021, ISBN 978-3-95977-199-3 [contents] - 92Vincent Gramoli
4th International Symposium on Foundations and Applications of Blockchain 2021, FAB 2021, University of California, Davis, California, USA (Virtual Conference), May 7, 2021. OASIcs 92, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2021, ISBN 978-3-95977-196-2 [contents] - 91Pedro Rangel Henriques
Second International Computer Programming Education Conference, ICPEC 2021, University of Minho, Braga, Portugal, May 27-28, 2021. OASIcs 91, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2021, ISBN 978-3-95977-194-8 [contents] - 90Alonso Castillo-Ramirez
27th IFIP WG 1.5 International Workshop on Cellular Automata and Discrete Complex Systems, AUTOMATA 2021, Aix-Marseille University, France, July 12-14, 2021. OASIcs 90, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2021, ISBN 978-3-95977-189-4 [contents] - 89Christoph Garth
2nd International Conference of the DFG International Research Training Group 2057 - Physical Modeling for Virtual Manufacturing, iPMVM 2020, Schloss Dagstuhl, Wadern, Germany (Virtual Conference), November 16-18, 2020. OASIcs 89, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2021, ISBN 978-3-95977-183-2 [contents] - 88João Bispo
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, Budapest, Hungary, January 19, 2021. OASIcs 88, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2021, ISBN 978-3-95977-181-8 [contents] - 87Marko Bertogna
Second Workshop on Next Generation Real-Time Embedded Systems, NG-RES@HiPEAC 2021, Budapest, Hungary, January 20, 2021. OASIcs 87, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2021, ISBN 978-3-95977-178-8 [contents] - 86Frank S. de Boer, Jacopo Mauro
Recent Developments in the Design and Implementation of Programming Languages, Gabbrielli's Festschrift, Bologna, Italy, November 27, 2020. OASIcs 86, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2020, ISBN 978-3-95977-171-9 [contents] - 85Dennis Huisman, Christos D. Zaroliagis
20th Symposium on Algorithmic Approaches for Transportation Modelling, Optimization, and Systems, ATMOS 2020, Pisa, Italy (Virtual Conference), September 7-8, 2020. OASIcs 85, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2020, ISBN 978-3-95977-170-2 [contents] - 84Bruno Bernardo, Diego Marmsoler
2nd Workshop on Formal Methods for Blockchains, FMBC@CAV 2020, Los Angeles, California, USA (Virtual Conference), July 20-21, 2020. OASIcs 84, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2020, ISBN 978-3-95977-169-6 [contents] - 83Alberto Simões
9th Symposium on Languages, Applications and Technologies, SLATE 2020, Polytechnic Institute of Cávado and Ave, Portugal (Virtual Conference), July 13-14, 2020. OASIcs 83, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2020, ISBN 978-3-95977-165-8 [contents] - 82Emmanuelle Anceaume
2nd International Conference on Blockchain Economics, Security and Protocols, Tokenomics 2020, Toulouse, France, October 26-27, 2020. OASIcs 82, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2021, ISBN 978-3-95977-157-3 [contents] - 81Ricardo Queirós
First International Computer Programming Education Conference, ICPEC 2020, ESMAD, Vila do Conde, Portugal (Virtual Conference), June 25-26, 2020. OASIcs 81, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2020, ISBN 978-3-95977-153-5 [contents] - 80Anton Cervin
2nd Workshop on Fog Computing and the IoT, Fog-IoT 2020, Sydney, Australia, April 21, 2020. OASIcs 80, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2020, ISBN 978-3-95977-144-3 [contents] - 79Sebastian Steinhorst
2nd International Workshop on Autonomous Systems Design, ASD 2020, Grenoble, France (Virtual Conference), March 13, 2020. OASIcs 79, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2020, ISBN 978-3-95977-141-2 [contents] - 78Luís Cruz-Filipe, Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher
Joint Post-proceedings of the First and Second International Conference on Microservices, Microservices 2017/2019, Odense, Denmark, October 23-27, 2017 / Dortmund, Germany, February 19-21, 2019. OASIcs 78, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2020, ISBN 978-3-95977-137-5 [contents] - 77Marko Bertogna
Workshop on Next Generation Real-Time Embedded Systems, NG-RES@HiPEAC 2020, Bologna, Italy, January 21, 2020. OASIcs 77, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2020, ISBN 978-3-95977-136-8 [contents] - 76Sarah E. Chasins, Elena L. Glassman
10th Workshop on Evaluation and Usability of Programming Languages and Tools, PLATEAU@UIST 2019, New Orleans, Louisiana, USA, October 24, 2019. OASIcs 76, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2020, ISBN 978-3-95977-135-1 [contents] - 75Valentina Cacchiani, Alberto Marchetti-Spaccamela:
19th Symposium on Algorithmic Approaches for Transportation Modelling, Optimization, and Systems, ATMOS 2019, Munich, Germany, September 12-13, 2019. OASIcs 75, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2019, ISBN 978-3-95977-128-3 [contents] - 74Ricardo Rodrigues
8th Symposium on Languages, Applications and Technologies, SLATE 2019, Coimbra, Portugal, June 27-28, 2019. OASIcs 74, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2019, ISBN 978-3-95977-114-6 [contents] - 73Mikael Asplund, Michael Paulitsch:
4th International Workshop on Security and Dependability of Critical Embedded Real-Time Systems, CERTS@ECRTS 2019, Stuttgart, Germany, July 9, 2019. OASIcs 73, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2019, ISBN 978-3-95977-119-1 [contents] - 72Sebastian Altmeyer:
19th International Workshop on Worst-Case Execution Time Analysis, WCET 2019, Stuttgart, Germany, July 9, 2019. OASIcs 72, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2019, ISBN 978-3-95977-118-4 [contents] - 71Vincent Danos, Maurice Herlihy, Maria Potop-Butucaru, Julien Prat, Sara Tucci Piergiovanni:
International Conference on Blockchain Economics, Security and Protocols, Tokenomics 2019, Paris, France, May 6-7, 2019. OASIcs 71, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2020, ISBN 978-3-95977-108-5 [contents] - 70Maria Eskevich
2nd Conference on Language, Data and Knowledge, LDK 2019, Leipzig, Germany, May 20-23, 2019. OASIcs 70, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2019, ISBN 978-3-95977-105-4 [contents] - 69Jeremy T. Fineman, Michael Mitzenmacher:
2nd Symposium on Simplicity in Algorithms, SOSA 2019, San Diego, CA, USA, January 8-9, 2019. OASIcs 69, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2019, ISBN 978-3-95977-099-6 [contents] - 68Selma Saidi, Rolf Ernst, Dirk Ziegenbein:
Workshop on Autonomous Systems Design, ASD 2019, Florence, Italy, March 29, 2019. OASIcs 68, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2019, ISBN 978-3-95977-102-3 [contents] - 67Titus Barik, Joshua Sunshine, Sarah E. Chasins:
9th Workshop on Evaluation and Usability of Programming Languages and Tools, PLATEAU@SPLASH 2018, Boston, Massachusetts, USA, November 5, 2018. OASIcs 67, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2019, ISBN 978-3-95977-091-0 [contents] - 66Edoardo Pirovano, Eva Graversen:
2018 Imperial College Computing Student Workshop, ICCSW 2018, London, United Kingdom, September 20-21, 2018. OASIcs 66, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2019, ISBN 978-3-95977-097-2 [contents] - 65Ralf Borndörfer, Sabine Storandt:
18th Workshop on Algorithmic Approaches for Transportation Modelling, Optimization, and Systems, ATMOS 2018, Helsinki, Finland, August 23-24, 2018. OASIcs 65, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2018, ISBN 978-3-95977-096-5 [contents] - 64Alessandro Dal Palù, Paul Tarau, Neda Saeedloei, Paul Fodor:
Technical Communications of the 34th International Conference on Logic Programming, ICLP 2018, Oxford, United Kingdom, July 14-17, 2018. OASIcs 64, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2018, ISBN 978-3-95977-090-3 [contents] - 63Florian Brandner:
18th International Workshop on Worst-Case Execution Time Analysis, WCET 2018, Barcelona, Spain, July 3, 2018. OASIcs 63, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2018, ISBN 978-3-95977-073-6 [contents] - 62Pedro Rangel Henriques, José Paulo Leal, António Menezes Leitão, Xavier Gómez Guinovart:
7th Symposium on Languages, Applications and Technologies, SLATE 2018, Guimaraes, Portugal, June 21-22, 2018. OASIcs 62, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2018, ISBN 978-3-95977-072-9 [contents] - 61Raimund Seidel:
1st Symposium on Simplicity in Algorithms, SOSA 2018, New Orleans, LA, USA, January 7-10, 2018. OASIcs 61, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2018, ISBN 978-3-95977-064-4 [contents] - 60Fergus Leahy, Juliana Franco:
2017 Imperial College Computing Student Workshop, ICCSW 2017, London, United Kingdom, September 26-27, 2017. OASIcs 60, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2018, ISBN 978-3-95977-059-0 [contents] - 59Gianlorenzo D'Angelo, Twan Dollevoet:
17th Workshop on Algorithmic Approaches for Transportation Modelling, Optimization, and Systems, ATMOS 2017, Vienna, Austria, September 7-8, 2017. OASIcs 59, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2017, ISBN 978-3-95977-042-2 [contents] - 58Ricardo Rocha, Tran Cao Son, Christopher Mears, Neda Saeedloei:
Technical Communications of the 33rd International Conference on Logic Programming, ICLP 2017, Melbourne, Australia, August 28 - September 1, 2017. OASIcs 58, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2018, ISBN 978-3-95977-058-3 [contents] - 57Jan Reineke:
17th International Workshop on Worst-Case Execution Time Analysis, WCET 2017, Dubrovnik, Croatia, June 27, 2017. OASIcs 57, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2017, ISBN 978-3-95977-057-6 [contents] - 56Ricardo Queirós, Mário Pinto, Alberto Simões, José Paulo Leal, Maria João Varanda Pereira:
6th Symposium on Languages, Applications and Technologies, SLATE 2017, Vila do Conde, Portugal, June 26-27, 2017. OASIcs 56, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2017, ISBN 978-3-95977-056-9 [contents] - 55Martin Schoeberl:
16th International Workshop on Worst-Case Execution Time Analysis, WCET 2016, Toulouse, France, July 5, 2016. OASIcs 55, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2016, ISBN 978-3-95977-025-5 [contents] - 54Marc Goerigk, Renato F. Werneck:
16th Workshop on Algorithmic Approaches for Transportation Modelling, Optimization, and Systems, ATMOS 2016, Aarhus, Denmark, August 25, 2016. OASIcs 54, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2016, ISBN 978-3-95977-021-7 [contents] - 53Ben Miller, Antonio Lieto, Rémi Ronfard, Stephen G. Ware, Mark A. Finlayson:
7th Workshop on Computational Models of Narrative, CMN 2016, Kraków, Poland, July 11-12, 2016. OASIcs 53, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2016, ISBN 978-3-95977-020-0 [contents] - 52Manuel Carro, Andy King, Neda Saeedloei, Marina De Vos:
Technical Communications of the 32nd International Conference on Logic Programming, ICLP 2016 TCs, New York City, USA, October 16-21, 2016. OASIcs 52, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2016, ISBN 978-3-95977-007-1 [contents] - 51Marjan Mernik, José Paulo Leal, Hugo Gonçalo Oliveira:
5th Symposium on Languages, Applications and Technologies, SLATE 2016, Maribor, Slovenia, June 20-21, 2016. OASIcs 51, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2016, ISBN 978-3-95977-006-4 [contents] - 50Bradley Hardy, Abroon Qazi, Stefan Ravizza:
5th Student Conference on Operational Research, SCOR 2016, Nottingham, UK, April 8-10, 2016. OASIcs 50, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2016, ISBN 978-3-95977-004-0 [contents] - 49Claudia Schulz, Daniel Liew:
2015 Imperial College Computing Student Workshop, ICCSW 2015, London, United Kingdom, September 24-25, 2015. OASIcs 49, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2015, ISBN 978-3-95977-000-2 [contents] - 48Giuseppe F. Italiano, Marie Schmidt:
15th Workshop on Algorithmic Approaches for Transportation Modelling, Optimization, and Systems, ATMOS 2015, Patras, Greece, September 17, 2015. OASIcs 48, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2015, ISBN 978-3-939897-99-6 [contents] - 47Francisco J. Cazorla:
15th International Workshop on Worst-Case Execution Time Analysis, WCET 2015, Lund, Sweden, July 7, 2015. OASIcs 47, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2015, ISBN 978-3-939897-95-8 [contents] - 46Yuki Chiba, Santiago Escobar, Naoki Nishida, David Sabel, Manfred Schmidt-Schauß:
2nd International Workshop on Rewriting Techniques for Program Transformations and Evaluation, WPTE@RDP 2015, Warsaw, Poland, July 2, 2015. OASIcs 46, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2015, ISBN 978-3-939897-94-1 [contents] - 45Mark A. Finlayson, Ben Miller, Antonio Lieto, Rémi Ronfard:
6th Workshop on Computational Models of Narrative, CMN 2015, Atlanta, GA, USA, May 26-28, 2015. OASIcs 45, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2015, ISBN 978-3-939897-93-4 [contents] - 44Étienne André, Goran Frehse:
2nd International Workshop on Synthesis of Complex Parameters, SynCoP 2015, London, United Kingdom, April 11, 2015. OASIcs 44, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2015, ISBN 978-3-939897-82-8 [contents] - 43Rumyana Neykova, Nicholas Ng:
2014 Imperial College Computing Student Workshop, ICCSW 2014, London, United Kingdom, September 25-26, 2014. OASIcs 43, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2014, ISBN 978-3-939897-76-7 [contents] - 42Stefan Funke, Matús Mihalák:
14th Workshop on Algorithmic Approaches for Transportation Modelling, Optimization, and Systems, ATMOS 2014, Wroclaw, Poland, September 11, 2014. OASIcs 42, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2014, ISBN 978-3-939897-75-0 [contents] - 41Mark A. Finlayson, Jan Christoph Meister, Emile G. Bruneau:
2014 Workshop on Computational Models of Narrative, CMN 2014, Quebec City, Canada, July 31 - August 2, 2014. OASIcs 41, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2014, ISBN 978-3-939897-71-2 [contents] - 40Manfred Schmidt-Schauß, Masahiko Sakai, David Sabel, Yuki Chiba:
First International Workshop on Rewriting Techniques for Program Transformations and Evaluation, WPTE@RTA 2014, Vienna, Austria, July 13, 2014. OASIcs 40, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2014, ISBN 978-3-939897-70-5 [contents] - 39Heiko Falk:
14th International Workshop on Worst-Case Execution Time Analysis, WCET 2014, Ulm, Germany, July 8, 2014. OASIcs 39, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2014, ISBN 978-3-939897-69-9 [contents] - 38Maria João Varanda Pereira, José Paulo Leal, Alberto Simões:
3rd Symposium on Languages, Applications and Technologies, SLATE 2014, Bragança, Portugal, June 19-20, 2014. OASIcs 38, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2014, ISBN 978-3-939897-68-2 [contents] - 37Pedro Crespo Del Granado, Martim Joyce-Moniz, Stefan Ravizza:
4th Student Conference on Operational Research, SCOR 2014, Nottingham, UK, May 2-4, 2014. OASIcs 37, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2014, ISBN 978-3-939897-67-5 [contents] - 36Volker Turau, Marta Z. Kwiatkowska, Rahul Mangharam, Christoph Weyer:
5th Workshop on Medical Cyber-Physical Systems, MCPS 2014, Berlin, Germany, April 14, 2014. OASIcs 36, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2014, ISBN 978-3-939897-66-8 [contents] - 35Andrew V. Jones, Nicholas Ng:
2013 Imperial College Computing Student Workshop, ICCSW 2013, London, United Kingdom, September 26-27, 2013. OASIcs 35, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany 2013, ISBN 978-3-939897-63-7 [contents] - 34Tim Beißbarth, Martin Kollmar, Andreas Leha, Burkhard Morgenstern, Anne-Kathrin Schultz, Stephan Waack, Edgar Wingender:
German Conference on Bioinformatics 2013, GCB 2013, Göttingen, Germany, September 10-13, 2013. OASIcs 34, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2013, ISBN 978-3-939897-59-0 [contents] - 33Daniele Frigioni, Sebastian Stiller:
13th Workshop on Algorithmic Approaches for Transportation Modelling, Optimization, and Systems, ATMOS 2013, Sophia Antipolis, France, September 5, 2013. OASIcs 33, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2013, ISBN 978-3-939897-58-3 [contents] - 32Mark A. Finlayson, Bernhard Fisseni, Benedikt Löwe, Jan Christoph Meister:
2013 Workshop on Computational Models of Narrative, CMN 2013, Hamburg, Germany, August 4-6, 2013. OASIcs 32, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2013, ISBN 978-3-939897-57-6 [contents] - 31Christine Choppy, Jun Sun:
1st French Singaporean Workshop on Formal Methods and Applications, FSFMA 2013, Singapore, July 15-16, 2013. OASIcs 31, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2013, ISBN 978-3-939897-56-9 [contents] - 30Claire Maiza:
13th International Workshop on Worst-Case Execution Time Analysis, WCET 2013, Paris, France, July 9, 2013. OASIcs 30, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2013, ISBN 978-3-939897-54-5 [contents] - 29José Paulo Leal, Ricardo Rocha, Alberto Simões:
2nd Symposium on Languages, Applications and Technologies, SLATE 2013, Porto, Portugal, June 20-21, 2013. OASIcs 29, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2013, ISBN 978-3-939897-52-1 [contents] - 28Andrew V. Jones:
2012 Imperial College Computing Student Workshop, ICCSW 2012, London, United Kingdom, September 27-28, 2012. OASIcs 28, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany 2012, ISBN 978-3-939897-48-4 [contents] - 27Christoph Garth, Ariane Middel, Hans Hagen:
Visualization of Large and Unstructured Data Sets: Applications in Geospatial Planning, Modeling and Engineering - Proceedings of IRTG 1131 Workshop 2011, VLUDS 2011, Kaiserslautern, Germany, June 10-11, 2011. OASIcs 27, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2012, ISBN 978-3-939897-46-0 [contents] - 26Sebastian Böcker, Franziska Hufsky, Kerstin Scheubert, Jana Schleicher, Stefan Schuster:
German Conference on Bioinformatics 2012, GCB 2012, Jena, Germany, September 20-22, 2012. OASIcs 26, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2012, ISBN 978-3-939897-44-6 [contents] - 25Daniel Delling, Leo Liberti:
12th Workshop on Algorithmic Approaches for Transportation Modelling, Optimization, and Systems, ATMOS 2012, Ljubljana, Slovenia, September 13, 2012. OASIcs 25, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2012, ISBN 978-3-939897-45-3 [contents] - 24Jörg Brauer, Marco Roveri, Hendrik Tews:
6th International Workshop on Systems Software Verification, SSV 2011, Nijmegen, The Netherlands, August 26, 2011. OASIcs 24, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2012, ISBN 978-3-939897-36-1 [contents] - 23Tullio Vardanega:
12th International Workshop on Worst-Case Execution Time Analysis, WCET 2012, Pisa, Italy, July 10, 2012. OASIcs 23, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2012, ISBN 978-3-939897-41-5 [contents] - 22Stefan Ravizza, Penny L. Holborn:
3rd Student Conference on Operational Research, SCOR 2012, Nottingham, UK, April 20-22, 2012. OASIcs 22, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2012, ISBN 978-3-939897-39-2 [contents] - 21Alberto Simões, Ricardo Queirós, Daniela Carneiro da Cruz:
1st Symposium on Languages, Applications and Technologies, SLATE 2012, Braga, Portugal, June 21-22, 2012. OASIcs 21, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2012, ISBN 978-3-939897-40-8 [contents] - 20Alberto Caprara, Spyros C. Kontogiannis:
11th Workshop on Algorithmic Approaches for Transportation Modelling, Optimization, and Systems, ATMOS 2011, Saarbrücken, Germany, September 8, 2011. OASIcs 20, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2011, ISBN 978-3-939897-33-0 [contents] - 19Ariane Middel, Inga Scheler, Hans Hagen:
Visualization of Large and Unstructured Data Sets - Applications in Geospatial Planning, Modeling and Engineering (IRTG 1131 Workshop), VLUDS 2010, Bodega Bay, CA, USA, March 19-21, 2010. OASIcs 19, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2011, ISBN 978-3-939897-29-3 [contents] - 18Philipp Lucas, Lothar Thiele, Benoit Triquet, Theo Ungerer, Reinhard Wilhelm:
Bringing Theory to Practice: Predictability and Performance in Embedded Systems, DATE Workshop PPES 2011, Grenoble, France, March 18, 2011. OASIcs 18, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2011, ISBN 978-3-939897-28-6 [contents] - 17Norbert Luttenberger, Hagen Peters:
17th GI/ITG Conference on Communication in Distributed Systems, KiVS 2011, Kiel, Germany, March 8-11, 2011. OASIcs 17, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2011, ISBN 978-3-939897-27-9 [contents] - 16Ludek Matyska, Michal Kozubek, Tomás Vojnar, Pavel Zemcík, David Antos:
Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2010, Mikulov, Czech Republic, October 22-24, 2010, Selected Papers. OASIcs 16, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2011, ISBN 978-3-939897-22-4 [contents] - 15Björn Lisper:
10th International Workshop on Worst-Case Execution Time Analysis, WCET 2010, Brussels, Belgium, July 6, 2010. OASIcs 15, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2010, ISBN 978-3-939897-21-7 [contents] - 14Thomas Erlebach, Marco E. Lübbecke:
10th Workshop on Algorithmic Approaches for Transportation Modelling, Optimization, and Systems, ATMOS 2010, Liverpool, United Kingdom, September 6-10, 2010. OASIcs 14, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2010 [contents] - 13Petr Hlinený, Václav Matyás, Tomás Vojnar:
Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2009, Prestige Hotel, Znojmo, Czech Republic, November 13-15, 2009. OASIcs 13, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2009 [contents] - 12Jens Clausen, Gabriele Di Stefano:
9th Workshop on Algorithmic Approaches for Transportation Modeling, Optimization, and Systems, ATMOS 2009, IT University of Copenhagen, Denmark, September 10, 2009. OASIcs 12, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2009 [contents] - 11Andrej Bauer, Peter Hertling, Ker-I Ko:
Sixth International Conference on Computability and Complexity in Analysis, CCA 2009, Ljubljana, Slovenia, August 18-22, 2009. OASIcs 11, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2009 [contents] - 10Niklas Holsti:
9th International Workshop on Worst-Case Execution Time Analysis, WCET 2009, Dublin, Ireland, July 1-3, 2009. OASIcs 10, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2009 [contents] - 9Matteo Fischetti, Peter Widmayer:
8th Workshop on Algorithmic Approaches for Transportation Modeling, Optimization, and Systems, ATMOS 2008, Karlsruhe, Germany, September 18, 2008. OASIcs 9, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2008 [contents] - 8Raimund Kirner:
8th International Workshop on Worst-Case Execution Time Analysis, WCET 2008, Prague, Czech Republic, July 1, 2008. OASIcs 8, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2008 [contents] - 7Christian Liebchen, Ravindra K. Ahuja, Juan A. Mesa:
7th Workshop on Algorithmic Approaches for Transportation Modeling, Optimization, and Systems, ATMOS 2007, Sevilla, SpainNovember 15-16, 2007. OASIcs 7, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007 [contents] - 6Christine Rochange:
7th International Workshop on Worst-Case Execution Time Analysis, WCET 2007, Pisa, Italy, July 3, 2007. OASIcs 6, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007 [contents] - 5Riko Jacob, Matthias Müller-Hannemann:
6th Workshop on Algorithmic Methods and Models for Optimization of Railways, ATMOS 2006, ETH Zürich, Zurich, Switzerland, September 14, 2006, Selected Papers. OASIcs 6, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2006 [contents] - 4Frank Mueller:
6th International Workshop on Worst-Case Execution Time Analysis, WCET 2006, Dresden, Germany, July 4, 2006. OASIcs 4, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2006 [contents] - 3Serge Autexier, Stephan Merz, Leendert W. N. van der Torre, Reinhard Wilhelm, Pierre Wolper:
Workshop "Trustworthy Software" 2006, Saarland University, Saarbrücken, Germany, May 18-19, 2006. OASIcs 3, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2006 [contents] - 2Leo G. Kroon, Rolf H. Möhring:
5th Workshop on Algorithmic Methods and Models for Optimization of Railways, ATMOS 2005, Palma de Mallorca, Spain, September 14, 2005. OASIcs 2, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2006 [contents] - 1Reinhard Wilhelm:
5th International Workshop on Worst-Case Execution Time Analysis, WCET 2005, Palma de Mallorca, Spain, July 5, 2005. OASIcs 1, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007 [contents]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-06-12 21:05 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: