23rd Symposium on Algorithmic Approaches for Transportation Modelling, Optimization, and Systems (ATMOS 2023) OASIcs, Volume 115 Daniele Frigioni and Philine Schiewe (Eds.)

21th International Workshop on Worst-Case Execution Time Analysis (WCET 2023) OASIcs, Volume 114 Peter Wägemann (Ed.)

12th Symposium on Languages, Applications and Technologies (SLATE 2023) OASIcs, Volume 113 Alberto Simões and Mario Marcelo Berón and Filipe Portela (Eds.)

4th International Computer Programming Education Conference (ICPEC 2023) OASIcs, Volume 112 Ricardo Alexandre Peixoto de Queirós and Mário Paulo Teixeira Pinto (Eds.)

4th International Conference on Blockchain Economics, Security and Protocols (Tokenomics 2022) OASIcs, Volume 110 Yackolley Amoussou-Guenou and Aggelos Kiayias and Marianne Verdier (Eds.)

Eelco Visser Commemorative Symposium (EVCS 2023) OASIcs, Volume 109 Ralf Lämmel and Peter D. Mosses and Friedrich Steimann (Eds.)

Fourth Workshop on Next Generation Real-Time Embedded Systems (NG-RES 2023) OASIcs, Volume 108 Federico Terraneo and Daniele Cattaneo (Eds.)

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) OASIcs, Volume 107 João Bispo and Henri-Pierre Charles and Stefano Cherubin and Giuseppe Massari (Eds.)

22nd Symposium on Algorithmic Approaches for Transportation Modelling, Optimization, and Systems (ATMOS 2022) OASIcs, Volume 106 Mattia D'Emidio and Niels Lindner (Eds.)

4th International Workshop on Formal Methods for Blockchains (FMBC 2022) OASIcs, Volume 105 Zaynah Dargaye and Clara Schneidewind (Eds.)

11th Symposium on Languages, Applications and Technologies (SLATE 2022) OASIcs, Volume 104 João Cordeiro and Maria João Pereira and Nuno F. Rodrigues and Sebastião Pais (Eds.)

20th International Workshop on Worst-Case Execution Time Analysis (WCET 2022) OASIcs, Volume 103 Clément Ballabriga (Ed.)

Third International Computer Programming Education Conference (ICPEC 2022) OASIcs, Volume 102 Alberto Simões and João Carlos Silva (Eds.)

5th International Symposium on Foundations and Applications of Blockchain 2022 (FAB 2022) OASIcs, Volume 101 Sara Tucci-Piergiovanni and Natacha Crooks (Eds.)

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) OASIcs, Volume 100 Francesca Palumbo and João Bispo and Stefano Cherubin (Eds.)

International Research School in Artificial Intelligence in Bergen (AIB 2022) OASIcs, Volume 99 Camille Bourgaux and Ana Ozaki and Rafael Peñaloza (Eds.)

Third Workshop on Next Generation Real-Time Embedded Systems (NG-RES 2022) OASIcs, Volume 98 Marko Bertogna and Federico Terraneo and Federico Reghenzani (Eds.)

3rd International Conference on Blockchain Economics, Security and Protocols (Tokenomics 2021) OASIcs, Volume 97 Vincent Gramoli and Hanna Halaburda and Rafael Pass (Eds.)

21st Symposium on Algorithmic Approaches for Transportation Modelling, Optimization, and Systems (ATMOS 2021) OASIcs, Volume 96 Matthias Müller-Hannemann and Federico Perea (Eds.)

3rd International Workshop on Formal Methods for Blockchains (FMBC 2021) OASIcs, Volume 95 Bruno Bernardo and Diego Marmsoler (Eds.)

10th Symposium on Languages, Applications and Technologies (SLATE 2021) OASIcs, Volume 94 Ricardo Queirós and Mário Pinto and Alberto Simões and Filipe Portela and Maria João Pereira (Eds.)

3rd Conference on Language, Data and Knowledge (LDK 2021) OASIcs, Volume 93 Dagmar Gromann and Gilles Sérasset and Thierry Declerck and John P. McCrae and Jorge Gracia and Julia Bosque-Gil and Fernando Bobillo and Barbara Heinisch (Eds.)

4th International Symposium on Foundations and Applications of Blockchain 2021 (FAB 2021) OASIcs, Volume 92 Vincent Gramoli and Mohammad Sadoghi (Eds.)

Second International Computer Programming Education Conference (ICPEC 2021) OASIcs, Volume 91 Pedro Rangel Henriques and Filipe Portela and Ricardo Queirós and Alberto Simões (Eds.)

27th IFIP WG 1.5 International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA 2021) OASIcs, Volume 90 Alonso Castillo-Ramirez and Pierre Guillon and Kévin Perrot (Eds.)

2nd International Conference of the DFG International Research Training Group 2057 – Physical Modeling for Virtual Manufacturing (iPMVM 2020) OASIcs, Volume 89 Christoph Garth and Jan C. Aurich and Barbara Linke and Ralf Müller and Bahram Ravani and Gunther Weber and Benjamin Kirsch (Eds.)

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) OASIcs, Volume 88 João Bispo and Stefano Cherubin and José Flich (Eds.)

Second Workshop on Next Generation Real-Time Embedded Systems (NG-RES 2021) OASIcs, Volume 87 Marko Bertogna and Federico Terraneo (Eds.)

Recent Developments in the Design and Implementation of Programming Languages OASIcs, Volume 86 Frank S. de Boer and Jacopo Mauro (Eds.)

20th Symposium on Algorithmic Approaches for Transportation Modelling, Optimization, and Systems (ATMOS 2020) OASIcs, Volume 85 Dennis Huisman and Christos D. Zaroliagis (Eds.)

2nd Workshop on Formal Methods for Blockchains (FMBC 2020) OASIcs, Volume 84 Bruno Bernardo and Diego Marmsoler (Eds.)

9th Symposium on Languages, Applications and Technologies (SLATE 2020) OASIcs, Volume 83 Alberto Simões and Pedro Rangel Henriques and Ricardo Queirós (Eds.)

2nd International Conference on Blockchain Economics, Security and Protocols (Tokenomics 2020) OASIcs, Volume 82 Emmanuelle Anceaume and Christophe Bisière and Matthieu Bouvard and Quentin Bramas and Catherine Casamatta (Eds.)

First International Computer Programming Education Conference (ICPEC 2020) OASIcs, Volume 81 Ricardo Queirós and Filipe Portela and Mário Pinto and Alberto Simões (Eds.)

2nd Workshop on Fog Computing and the IoT (Fog-IoT 2020) OASIcs, Volume 80 Anton Cervin and Yang Yang (Eds.)

2nd International Workshop on Autonomous Systems Design (ASD 2020) OASIcs, Volume 79 Sebastian Steinhorst and Jyotirmoy V. Deshmukh (Eds.)

Joint Post-proceedings of the First and Second International Conference on Microservices (Microservices 2017/2019) OASIcs, Volume 78 Luís Cruz-Filipe and Saverio Giallorenzo and Fabrizio Montesi and Marco Peressotti and Florian Rademacher and Sabine Sachweh (Eds.)

Workshop on Next Generation Real-Time Embedded Systems (NG-RES 2020) OASIcs, Volume 77 Marko Bertogna and Federico Terraneo (Eds.)

10th Workshop on Evaluation and Usability of Programming Languages and Tools (PLATEAU 2019) OASIcs, Volume 76 Sarah Chasins and Elena L. Glassman and Joshua Sunshine (Eds.)

19th Symposium on Algorithmic Approaches for Transportation Modelling, Optimization, and Systems (ATMOS 2019) OASIcs, Volume 75 Valentina Cacchiani and Alberto Marchetti-Spaccamela (Eds.)

8th Symposium on Languages, Applications and Technologies (SLATE 2019) OASIcs, Volume 74 Ricardo Rodrigues and Jan Janousek and Luís Ferreira and Luísa Coheur and Fernando Batista and Hugo Gonçalo Oliveira (Eds.)

4th International Workshop on Security and Dependability of Critical Embedded Real-Time Systems (CERTS 2019) OASIcs, Volume 73 Mikael Asplund and Michael Paulitsch (Eds.)

19th International Workshop on Worst-Case Execution Time Analysis (WCET 2019) OASIcs, Volume 72 Sebastian Altmeyer (Ed.)

International Conference on Blockchain Economics, Security and Protocols (Tokenomics 2019) OASIcs, Volume 71 Vincent Danos and Maurice Herlihy and Maria Potop-Butucaru and Julien Prat and Sara Tucci-Piergiovanni (Eds.)

2nd Conference on Language, Data and Knowledge (LDK 2019) OASIcs, Volume 70 Maria Eskevich and Gerard de Melo and Christian Fäth and John P. McCrae and Paul Buitelaar and Christian Chiarcos and Bettina Klimek and Milan Dojchinovski (Eds.)

2nd Symposium on Simplicity in Algorithms (SOSA 2019) OASIcs, Volume 69 Jeremy T. Fineman and Michael Mitzenmacher (Eds.)

Workshop on Autonomous Systems Design (ASD 2019) OASIcs, Volume 68 Selma Saidi and Rolf Ernst and Dirk Ziegenbein (Eds.)

9th Workshop on Evaluation and Usability of Programming Languages and Tools (PLATEAU 2018) OASIcs, Volume 67 Titus Barik and Joshua Sunshine and Sarah Chasins (Eds.)

2018 Imperial College Computing Student Workshop (ICCSW 2018) OASIcs, Volume 66 Edoardo Pirovano and Eva Graversen (Eds.)

18th Workshop on Algorithmic Approaches for Transportation Modelling, Optimization, and Systems (ATMOS 2018) OASIcs, Volume 65 Ralf Borndörfer and Sabine Storandt (Eds.)

Technical Communications of the 34th International Conference on Logic Programming (ICLP 2018) OASIcs, Volume 64 Alessandro Dal Palu' and Paul Tarau and Neda Saeedloei and Paul Fodor (Eds.)

18th International Workshop on Worst-Case Execution Time Analysis (WCET 2018) OASIcs, Volume 63 Florian Brandner (Ed.)

7th Symposium on Languages, Applications and Technologies (SLATE 2018) OASIcs, Volume 62 Pedro Rangel Henriques and José Paulo Leal and António Menezes Leitão and Xavier Gómez Guinovart (Eds.)

1st Symposium on Simplicity in Algorithms (SOSA 2018) OASIcs, Volume 61 Raimund Seidel (Ed.)

2017 Imperial College Computing Student Workshop (ICCSW 2017) OASIcs, Volume 60 Fergus Leahy and Juliana Franco (Eds.)

17th Workshop on Algorithmic Approaches for Transportation Modelling, Optimization, and Systems (ATMOS 2017) OASIcs, Volume 59 Gianlorenzo D'Angelo and Twan Dollevoet (Eds.)

Technical Communications of the 33rd International Conference on Logic Programming (ICLP 2017) OASIcs, Volume 58 Ricardo Rocha and Tran Cao Son and Christopher Mears and Neda Saeedloei (Eds.)

17th International Workshop on Worst-Case Execution Time Analysis (WCET 2017) OASIcs, Volume 57 Jan Reineke (Ed.)

6th Symposium on Languages, Applications and Technologies (SLATE 2017) OASIcs, Volume 56 Ricardo Queirós and Mário Pinto and Alberto Simões and José Paulo Leal and Maria João Varanda (Eds.)

16th International Workshop on Worst-Case Execution Time Analysis (WCET 2016) OASIcs, Volume 55 Martin Schoeberl (Ed.)

16th Workshop on Algorithmic Approaches for Transportation Modelling, Optimization, and Systems (ATMOS 2016) OASIcs, Volume 54 Marc Goerigk and Renato Werneck (Eds.)

7th Workshop on Computational Models of Narrative (CMN 2016) OASIcs, Volume 53 Ben Miller and Antonio Lieto and Rémi Ronfard and Stephen G. Ware and Mark A. Finlayson (Eds.)

Technical Communications of the 32nd International Conference on Logic Programming (ICLP 2016) OASIcs, Volume 52 Manuel Carro and Andy King and Neda Saeedloei and Marina De Vos (Eds.)

5th Symposium on Languages, Applications and Technologies (SLATE'16) OASIcs, Volume 51 Marjan Mernik and José Paulo Leal and Hugo Gonçalo Oliveira (Eds.)

5th Student Conference on Operational Research (SCOR 2016) OASIcs, Volume 50 Bradley Hardy and Abroon Qazi and Stefan Ravizza (Eds.)

2015 Imperial College Computing Student Workshop (ICCSW 2015) OASIcs, Volume 49 Claudia Schulz and Daniel Liew (Eds.)

15th Workshop on Algorithmic Approaches for Transportation Modelling, Optimization, and Systems (ATMOS 2015) OASIcs, Volume 48 Giuseppe F. Italiano and Marie Schmidt (Eds.)

15th International Workshop on Worst-Case Execution Time Analysis (WCET 2015) OASIcs, Volume 47 Francisco J. Cazorla (Ed.)

2nd International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2015) OASIcs, Volume 46 Yuki Chiba and Santiago Escobar and Naoki Nishida and David Sabel and Manfred Schmidt-Schauß (Eds.)

6th Workshop on Computational Models of Narrative (CMN 2015) OASIcs, Volume 45 Mark A. Finlayson and Ben Miller and Antonio Lieto and Remi Ronfard (Eds.)

2nd International Workshop on Synthesis of Complex Parameters (SynCoP'15) OASIcs, Volume 44 Étienne André and Goran Frehse (Eds.)

2014 Imperial College Computing Student Workshop OASIcs, Volume 43 Rumyana Neykova and Nicholas Ng (Eds.)

14th Workshop on Algorithmic Approaches for Transportation Modelling, Optimization, and Systems OASIcs, Volume 42 Stefan Funke and Matúš Mihalák (Eds.)

2014 Workshop on Computational Models of Narrative OASIcs, Volume 41 Mark A. Finlayson and Jan Christoph Meister and Emile G. Bruneau (Eds.)

First International Workshop on Rewriting Techniques for Program Transformations and Evaluation OASIcs, Volume 40 Manfred Schmidt-Schauß and Masahiko Sakai and David Sabel and Yuki Chiba (Eds.)

14th International Workshop on Worst-Case Execution Time Analysis OASIcs, Volume 39 Heiko Falk (Ed.)

3rd Symposium on Languages, Applications and Technologies OASIcs, Volume 38 Maria João Varanda Pereira and José Paulo Leal and Alberto Simões (Eds.)

4th Student Conference on Operational Research OASIcs, Volume 37 Pedro Crespo Del Granado and Martim Joyce-Moniz and Stefan Ravizza (Eds.)

5th Workshop on Medical Cyber-Physical Systems OASIcs, Volume 36 Volker Turau and Marta Kwiatkowska and Rahul Mangharam and Christoph Weyer (Eds.)

2013 Imperial College Computing Student Workshop OASIcs, Volume 35 Andrew V. Jones and Nicholas Ng (Eds.)

German Conference on Bioinformatics 2013 OASIcs, Volume 34 Tim Beißbarth and Martin Kollmar and Andreas Leha and Burkhard Morgenstern and Anne-Kathrin Schultz and Stephan Waack and Edgar Wingender (Eds.)

13th Workshop on Algorithmic Approaches for Transportation Modelling, Optimization, and Systems OASIcs, Volume 33 Daniele Frigioni and Sebastian Stiller (Eds.)

2013 Workshop on Computational Models of Narrative OASIcs, Volume 32 Mark A. Finlayson and Bernhard Fisseni and Benedikt Löwe and Jan Christoph Meister (Eds.)

1st French Singaporean Workshop on Formal Methods and Applications (FSFMA 2013) OASIcs, Volume 31 Christine Choppy and Jun Sun (Eds.)

13th International Workshop on Worst-Case Execution Time Analysis OASIcs, Volume 30 Claire Maiza (Ed.)

2nd Symposium on Languages, Applications and Technologies OASIcs, Volume 29 José Paulo Leal and Ricardo Rocha and Alberto Simões (Eds.)

2012 Imperial College Computing Student Workshop OASIcs, Volume 28 Andrew V. Jones (Ed.)

Visualization of Large and Unstructured Data Sets: Applications in Geospatial Planning, Modeling and Engineering - Proceedings of IRTG 1131 Workshop 2011 OASIcs, Volume 27 Christoph Garth and Ariane Middel and Hans Hagen (Eds.)

German Conference on Bioinformatics 2012 OASIcs, Volume 26 Sebastian Böcker and Franziska Hufsky and Kerstin Scheubert and Jana Schleicher and Stefan Schuster (Eds.)

12th Workshop on Algorithmic Approaches for Transportation Modelling, Optimization, and Systems OASIcs, Volume 25 Daniel Delling and Leo Liberti (Eds.)

6th International Workshop on Systems Software Verification OASIcs, Volume 24 Jörg Brauer and Marco Roveri and Hendrik Tews (Eds.)

12th International Workshop on Worst-Case Execution Time Analysis OASIcs, Volume 23 Tullio Vardanega (Ed.)

3rd Student Conference on Operational Research OASIcs, Volume 22 Stefan Ravizza and Penny Holborn (Eds.)

1st Symposium on Languages, Applications and Technologies OASIcs, Volume 21 Alberto Simões and Ricardo Queirós and Daniela da Cruz (Eds.)

11th Workshop on Algorithmic Approaches for Transportation Modelling, Optimization, and Systems OASIcs, Volume 20 Alberto Caprara and Spyros Kontogiannis (Eds.)

Visualization of Large and Unstructured Data Sets - Applications in Geospatial Planning, Modeling and Engineering (IRTG 1131 Workshop) OASIcs, Volume 19 Ariane Middel and Inga Scheler and Hans Hagen (Eds.)

Bringing Theory to Practice: Predictability and Performance in Embedded Systems OASIcs, Volume 18 Philipp Lucas and Lothar Thiele and Benoit Triquet and Theo Ungerer and Reinhard Wilhelm (Eds.)

17th GI/ITG Conference on Communication in Distributed Systems (KiVS 2011) OASIcs, Volume 17 Norbert Luttenberger and Hagen Peters (Eds.)

Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'10) -- Selected Papers OASIcs, Volume 16 Ludek Matyska and Michal Kozubek and Tomáš Vojnar and Pavel Zemcík and David Antos (Eds.)

10th International Workshop on Worst-Case Execution Time Analysis (WCET 2010) OASIcs, Volume 15 Björn Lisper (Ed.)

10th Workshop on Algorithmic Approaches for Transportation Modelling, Optimization, and Systems (ATMOS'10) OASIcs, Volume 14 Thomas Erlebach and Marco Lübbecke (Eds.)

Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'09) OASIcs, Volume 13 Petr Hlinený and Václav Matyáš and Tomáš Vojnar (Eds.)

9th Workshop on Algorithmic Approaches for Transportation Modeling, Optimization, and Systems (ATMOS'09) OASIcs, Volume 12 Jens Clausen and Gabriele Di Stefano (Eds.)

6th International Conference on Computability and Complexity in Analysis (CCA'09) OASIcs, Volume 11 Andrej Bauer and Peter Hertling and Ker-I Ko (Eds.)

9th International Workshop on Worst-Case Execution Time Analysis (WCET'09) OASIcs, Volume 10 Niklas Holsti (Ed.)

8th Workshop on Algorithmic Approaches for Transportation Modeling, Optimization, and Systems (ATMOS'08) OASIcs, Volume 9 Matteo Fischetti and Peter Widmayer (Eds.)

8th International Workshop on Worst-Case Execution Time WCET Analysis (WCET'08) OASIcs, Volume 8 Raimund Kirner (Ed.)

7th Workshop on Algorithmic Methods and Models for Optimization of Railways (ATMOS'07) OASIcs, Volume 7 Christian Liebchen and Ravindra K. Ahuja and Juan A. Mesa (Eds.)

7th International Workshop on Worst-Case Execution Time Analysis (WCET'07) OASIcs, Volume 6 Christine Rochange (Ed.)

6th Workshop on Algorithmic Methods and Models for Optimization of Railways (ATMOS'06) OASIcs, Volume 5 Riko Jacob and Matthias Müller-Hannemann (Eds.)

6th International Workshop on Worst-Case Execution Time Analysis (WCET'06) OASIcs, Volume 4 Frank Mueller (Ed.)

Workshop on Trustworthy Software OASIcs, Volume 3 Serge Autexier and Stephan Merz and Leon van der Torre and Reinhard Wilhelm and Pierre Wolper (Eds.)

5th Workshop on Algorithmic Methods and Models for Optimization of Railways (ATMOS'05) OASIcs, Volume 2 Leo G. Kroon and Rolf H. Möhring (Eds.)

5th International Workshop on Worst-Case Execution Time Analysis (WCET'05) OASIcs, Volume 1 Reinhard Wilhelm (Ed.)