default search action
OpenAccess Series in Informatics (OASIcs)
- OASICS Home Page @ Schloss Dagstuhl - Leibniz Center for Informatics
- OASICS Volumes
- ... more Dagstuhl publications on DBLP
- 125Ingo Pill, Avraham Natan, Franz Wotawa:
35th International Conference on Principles of Diagnosis and Resilient Systems, DX 2024, November 4-7, 2024, Vienna, Austria. OASIcs 125, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2024, ISBN 978-3-95977-356-0 [contents] - 124Boudewijn R. Haverkort, Aldert de Jongste, Pieter van Kuilenburg, Ruben D. Vromans:
Commit2Data. OASIcs 124, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2024, ISBN 978-3-95977-351-5 [contents] - 123Paul C. Bouman, Spyros C. Kontogiannis:
24th Symposium on Algorithmic Approaches for Transportation Modelling, Optimization, and Systems, ATMOS 2024, September 5-6, 2024, Royal Holloway, London, United Kingdom. OASIcs 123, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2024, ISBN 978-3-95977-350-8 [contents] - 122André L. Santos, Maria Pinto-Albuquerque:
5th International Computer Programming Education Conference, ICPEC 2024, June 27-28, 2024, Lisbon, Portugal. 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, July 9, 2024, Lille, France. OASIcs 121, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2024, ISBN 978-3-95977-346-1 [contents] - 120Mário Rodrigues, José Paulo Leal, Filipe Portela:
13th Symposium on Languages, Applications and Technologies, SLATE 2024, July 4-5, 2024, Águeda, Portugal. OASIcs 120, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2024, ISBN 978-3-95977-321-8 [contents] - 119Antoine Amarilli, Alin Deutsch:
The Provenance of Elegance in Computation - Essays Dedicated to Val Tannen, Tannen's Festschrift, May 24-25, 2024, University of Pennsylvania, Philadelphia, PA, USA. 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, April 7, 2024, Luxembourg City, Luxembourg. OASIcs 118, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2024, ISBN 978-3-95977-317-1 [contents] - 117Patrick Meumeu Yomsi, Stefan Wildermann:
Fifth Workshop on Next Generation Real-Time Embedded Systems, NG-RES 2024, January 17-19, 2024, Munich, Germany. OASIcs 117, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2024, ISBN 978-3-95977-313-3 [contents] - 116João Bispo, Sotirios Xydis, Serena Curzel, Luís Miguel Sousa:
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, January 18, 2024, Munich, Germany. OASIcs 116, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2024, ISBN 978-3-95977-307-2 [contents] - 115Daniele Frigioni, Philine Schiewe:
23rd Symposium on Algorithmic Approaches for Transportation Modelling, Optimization, and Systems, ATMOS 2023, September 7-8, 2023, Amsterdam, The Netherlands. 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, July 11, 2023, Vienna, Austria. OASIcs 114, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2023, ISBN 978-3-95977-293-8 [contents] - 113Alberto Simões, Mario Marcelo Berón, Filipe Portela:
12th Symposium on Languages, Applications and Technologies, SLATE 2023, June 26-28, 2023, Vila do Conde, Portugal. OASIcs 113, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2023, ISBN 978-3-95977-291-4 [contents] - 112Ricardo Alexandre Peixoto de Queirós, Mario Paulo Teixeira Pinto:
4th International Computer Programming Education Conference, ICPEC 2023, June 26-28, 2023, Vila do Conde, Portugal. OASIcs 112, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2023, ISBN 978-3-95977-290-7 [contents] - 111Gokila Dorai, Maurizio Gabbrielli, Giulio Manzonetto, Aomar Osmani, Marco Prandini, Gianluigi Zavattaro, Olaf Zimmermann:
Joint Post-proceedings of the Third and Fourth International Conference on Microservices, Microservices 2020/2022, May 10-12, 2022, Paris, France. 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, December 12-13, 2022, Paris, France. 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, April 5, 2023, Delft, The Netherlands. 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, January 18, 2023, Toulouse, France. 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, January 17, 2023, Toulouse, France. 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, September 8-9, 2022, Potsdam, Germany. 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, August 11, 2022, Haifa, Israel. OASIcs 105, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2022, ISBN 978-3-95977-250-1 [contents] - 104João Cordeiro, Maria João Pereira, Nuno F. Rodrigues, Sebastião Pais:
11th Symposium on Languages, Applications and Technologies, SLATE 2022, July 14-15, 2022, Universidade da Beira Interior, Covilhã, Portugal. 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, July 5, 2022, Modena, Italy. OASIcs 103, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2022, ISBN 978-3-95977-244-0 [contents] - 102Alberto Simões, João Carlos Silva:
Third International Computer Programming Education Conference, ICPEC 2022, June 2-3, 2022, Polytechnic Institute of Cávado and Ave (IPCA), Barcelos, Portugal. OASIcs 102, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2022, ISBN 978-3-95977-229-7 [contents] - 101Sara Tucci Piergiovanni, Natacha Crooks:
5th International Symposium on Foundations and Applications of Blockchain 2022, FAB 2022, June 3, 2022, Berkeley, CA, USA. OASIcs 101, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2022, ISBN 978-3-95977-248-8 [contents] - 100Francesca Palumbo, João Bispo, Stefano Cherubin:
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, June 22, 2022, Budapest, Hungary. OASIcs 100, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2022, ISBN 978-3-95977-231-0 [contents] - 99Camille Bourgaux, Ana Ozaki, Rafael Peñaloza:
International Research School in Artificial Intelligence in Bergen, AIB 2022, June 7-11, 2022, University of Bergen, Norway. OASIcs 99, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2022, ISBN 978-3-95977-228-0 [contents] - 98Marko Bertogna, Federico Terraneo, Federico Reghenzani:
Third Workshop on Next Generation Real-Time Embedded Systems, NG-RES@HiPEAC 2022, June 22, 2022, Budapest, Hungary. OASIcs 98, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2022, ISBN 978-3-95977-221-1 [contents] - 97Vincent Gramoli, Hanna Halaburda, Rafael Pass:
3rd International Conference on Blockchain Economics, Security and Protocols, Tokenomics 2021, November 18-19, 2021, New York University, USA (Virtual Conference). OASIcs 97, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2022, ISBN 978-3-95977-220-4 [contents] - 96Matthias Müller-Hannemann, Federico Perea:
21st Symposium on Algorithmic Approaches for Transportation Modelling, Optimization, and Systems, ATMOS 2021, September 9-10, 2021, Lisbon, Portugal (Virtual Conference). 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, July 18-19, 2021, Los Angeles, California, USA (Virtual Conference). OASIcs 95, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2021, ISBN 978-3-95977-209-9 [contents] - 94Ricardo Queirós, Mário Pinto, Alberto Simões, Filipe Portela, Maria João Pereira:
10th Symposium on Languages, Applications and Technologies, SLATE 2021, July 1-2, 2021, Vila do Conde/Póvoa de Varzim, Portugal. OASIcs 94, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2021, ISBN 978-3-95977-202-0 [contents] - 93Dagmar Gromann, Gilles Sérasset, Thierry Declerck, John P. McCrae, Jorge Gracia, Julia Bosque-Gil, Fernando Bobillo, Barbara Heinisch:
3rd Conference on Language, Data and Knowledge, LDK 2021, September 1-3, 2021, Zaragoza, Spain. OASIcs 93, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2021, ISBN 978-3-95977-199-3 [contents] - 92Vincent Gramoli, Mohammad Sadoghi:
4th International Symposium on Foundations and Applications of Blockchain 2021, FAB 2021, May 7, 2021, University of California, Davis, California, USA (Virtual Conference). OASIcs 92, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2021, ISBN 978-3-95977-196-2 [contents] - 91Pedro Rangel Henriques, Filipe Portela, Ricardo Queirós, Alberto Simões:
Second International Computer Programming Education Conference, ICPEC 2021, May 27-28, 2021, University of Minho, Braga, Portugal. OASIcs 91, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2021, ISBN 978-3-95977-194-8 [contents] - 90Alonso Castillo-Ramirez, Pierre Guillon, Kévin Perrot:
27th IFIP WG 1.5 International Workshop on Cellular Automata and Discrete Complex Systems, AUTOMATA 2021, July 12-14, 2021, Aix-Marseille University, France. OASIcs 90, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2021, ISBN 978-3-95977-189-4 [contents] - 89Christoph Garth, Jan C. Aurich, Barbara Linke, Ralf Müller, Bahram Ravani, Gunther H. Weber, Benjamin Kirsch:
2nd International Conference of the DFG International Research Training Group 2057 - Physical Modeling for Virtual Manufacturing, iPMVM 2020, November 16-18, 2020, Schloss Dagstuhl, Wadern, Germany (Virtual Conference). OASIcs 89, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2021, ISBN 978-3-95977-183-2 [contents] - 88João Bispo, Stefano Cherubin, José Flich:
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, January 19, 2021, Budapest, Hungary. OASIcs 88, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2021, ISBN 978-3-95977-181-8 [contents] - 87Marko Bertogna, Federico Terraneo:
Second Workshop on Next Generation Real-Time Embedded Systems, NG-RES@HiPEAC 2021, January 20, 2021, Budapest, Hungary. 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, November 27, 2020, Bologna, Italy. 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, September 7-8, 2020, Pisa, Italy (Virtual Conference). 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, July 20-21, 2020, Los Angeles, California, USA (Virtual Conference). OASIcs 84, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2020, ISBN 978-3-95977-169-6 [contents] - 83Alberto Simões, Pedro Rangel Henriques, Ricardo Queirós:
9th Symposium on Languages, Applications and Technologies, SLATE 2020, July 13-14, 2020, School of Technology, Polytechnic Institute of Cávado and Ave, Portugal (Virtual Conference). OASIcs 83, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2020, ISBN 978-3-95977-165-8 [contents] - 82Emmanuelle Anceaume, Christophe Bisière, Matthieu Bouvard, Quentin Bramas, Catherine Casamatta:
2nd International Conference on Blockchain Economics, Security and Protocols, Tokenomics 2020, October 26-27, 2020, Toulouse, France. OASIcs 82, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2021, ISBN 978-3-95977-157-3 [contents] - 81Ricardo Queirós, Filipe Portela, Mário Pinto, Alberto Simões:
First International Computer Programming Education Conference, ICPEC 2020, June 25-26, 2020, ESMAD, Vila do Conde, Portugal (Virtual Conference). OASIcs 81, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2020, ISBN 978-3-95977-153-5 [contents] - 80Anton Cervin, Yang Yang:
2nd Workshop on Fog Computing and the IoT, Fog-IoT 2020, April 21, 2020, Sydney, Australia. OASIcs 80, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2020, ISBN 978-3-95977-144-3 [contents] - 79Sebastian Steinhorst, Jyotirmoy V. Deshmukh:
2nd International Workshop on Autonomous Systems Design, ASD 2020, March 13, 2020, Grenoble, France (Virtual Conference). 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, Sabine Sachweh:
Joint Post-proceedings of the First and Second International Conference on Microservices, Microservices 2017/2019, October 23-27, 2017, Odense, Denmark / February 19-21, 2019, Dortmund, Germany. OASIcs 78, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2020, ISBN 978-3-95977-137-5 [contents] - 77Marko Bertogna, Federico Terraneo:
Workshop on Next Generation Real-Time Embedded Systems, NG-RES@HiPEAC 2020, January 21, 2020, Bologna, Italy. OASIcs 77, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2020, ISBN 978-3-95977-136-8 [contents] - 76Sarah E. Chasins, Elena L. Glassman, Joshua Sunshine:
10th Workshop on Evaluation and Usability of Programming Languages and Tools, PLATEAU@UIST 2019, October 24, 2019, New Orleans, Louisiana, USA. 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, September 12-13, 2019, Munich, Germany. OASIcs 75, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2019, ISBN 978-3-95977-128-3 [contents] - 74Ricardo Rodrigues, Jan Janousek, Luís Ferreira, Luísa Coheur, Fernando Batista, Hugo Gonçalo Oliveira:
8th Symposium on Languages, Applications and Technologies, SLATE 2019, June 27-28, 2019, Coimbra, Portugal. 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, July 9, 2019, Stuttgart, Germany. 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, July 9, 2019, Stuttgart, Germany. 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, May 6-7, 2019, Paris, France. OASIcs 71, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2020, ISBN 978-3-95977-108-5 [contents] - 70Maria Eskevich, Gerard de Melo, Christian Fäth, John P. McCrae, Paul Buitelaar, Christian Chiarcos, Bettina Klimek, Milan Dojchinovski:
2nd Conference on Language, Data and Knowledge, LDK 2019, May 20-23, 2019, Leipzig, Germany. 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, January 8-9, 2019, San Diego, CA, USA. 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, March 29, 2019, Florence, Italy. 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, November 5, 2018, Boston, Massachusetts, USA. 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, September 20-21, 2018, London, United Kingdom. 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, August 23-24, 2018, Helsinki, Finland. 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, July 14-17, 2018, Oxford, United Kingdom. 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, July 3, 2018, Barcelona, Spain. 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, June 21-22, 2018, Guimaraes, Portugal. 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, January 7-10, 2018, New Orleans, LA, USA. 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, September 26-27, 2017, London, UK. 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, September 7-8, 2017, Vienna, Austria. 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, August 28 to September 1, 2017, Melbourne, Australia. 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, June 27, 2017, Dubrovnik, Croatia. 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, June 26-27, 2017, Vila do Conde, Portugal. 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, July 5, 2016, Toulouse, France. 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, August 25, 2016, Aarhus, Denmark. 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, July 11-12, 2016, Kraków, Poland. 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, October 16-21, 2016, New York City, USA. 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, June 20-21, 2016, Maribor, Slovenia. 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, April 8-10, 2016, Nottingham, UK. 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, September 24-25, 2015, London, United Kingdom. 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, September 17, 2015, Patras, Greece. 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, July 7, 2015, Lund, Sweden. 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, July 2, 2015, Warsaw, Poland. 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, May 26-28, 2015, Atlanta, GA, USA. 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, April 11, 2015, London, United Kingdom. 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, September 25-26, 2014, London, United Kingdom. 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, September 11, 2014, Wroclaw, Poland. 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, July 31 - August 2, 2014, Quebec City, Canada. 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, July 13, 2014, Vienna, Austria. 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, July 8, 2014, Ulm, Germany. 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, June 19-20, 2014 - Bragança, Portugal. 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, May 2-4, 2014, Nottingham, UK. 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, September 26/27, 2013, London, United Kingdom. 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, September 10-13, 2013, Göttingen, Germany. 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, September 5, 2013, Sophia Antipolis, France. 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, August 4-6, 2013, Hamburg, Germany. 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, July 15-16, 2013, Singapore. 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, July 9, 2013, Paris, France. 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, June 20-21, 2013 - Porto, Portugal. 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, September 27-28, 2012, London, United Kingdom. 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, June 10-11, 2011, Kaiserslautern, Germany. OASIcs 27, Schloss Dagstuhl - Leibniz-Zentrum fuer 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, September 13, 2012, Ljubljana, Slovenia. 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, August 26, 2011, Nijmegen, The Netherlands. 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, July 10, 2012, Pisa, Italy. 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, April 20-22, 2012, Nottingham, UK. 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:
ATMOS 2011 - 11th Workshop on Algorithmic Approaches for Transportation Modelling, Optimization, and Systems, Saarbrücken, Germany, September 8, 2011. OASIcs 20, Schloss Dagstuhl - Leibniz-Zentrum fuer 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, March 19-21, 2010, Bodega Bay, CA, USA. OASIcs 19, Schloss Dagstuhl - Leibniz-Zentrum fuer 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, March 18, 2011, Grenoble, France. OASIcs 18, Schloss Dagstuhl - Leibniz-Zentrum fuer 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, March 8-11, 2011, Kiel, Germany. OASIcs 17, Schloss Dagstuhl - Leibniz-Zentrum fuer 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, Selected Papers, October 22-24, 2010, Mikulov, Czech Republic. OASIcs 16, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany 2011, ISBN 978-3-939897-22-4 [contents] - 15Björn Lisper:
10th International Workshop on Worst-Case Execution Time Analysis, WCET 2010, July 6, 2010, Brussels, Belgium. OASIcs 15, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany 2010, ISBN 978-3-939897-21-7 [contents] - 14