![]() |
![]() |
ISSN 2190-6807![]() |
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.) |
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.) |
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.) |
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.) |
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.) |
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.) |
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.) |
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.) |
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.) |
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.) |
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.) |
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.) |
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.) |
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.) |