EPiC Series in Computing

Goran Frehse and Matthias Althoff (editors).

Kenneth Baclawski, Michael Kozak, Kirstie Bellman, Giuseppe D'Aniello, Alicia Ruvinsky and Candida Da Silva Ferreira Barreto (editors).

Hisham Al-Mubaid, Tamer Aldwairi and Oliver Eulenstein (editors).

Nikolaj Bjørner, Marijn Heule and Andrei Voronkov (editors).

Laura Kovács and Michael Rawson (editors).

Ajay Bandi, Mohammad Hossain and Ying Jin (editors).

Krishna Kambhampaty, Gongzhu Hu and Indranil Roy (editors).

Goran Frehse and Matthias Althoff (editors).

Jean-François Desnos and Martín López Nores (editors).

Ruzica Piskac and Andrei Voronkov (editors).

Aurona Gerber and Knut Hinkelmann (editors).

Hisham Al-Mubaid, Tamer Aldwairi and Oliver Eulenstein (editors).

Ajay Bandi, Mohammad Hossain and Ying Jin (editors).

Goran Frehse, Matthias Althoff, Erwin Schoitsch and Jeremie Guiochet (editors).

Yan Shi, Gongzhu Hu, Krishna Kambhampaty and Takaaki Goto (editors).

Frederick Harris, Alex Redei and Rui Wu (editors).

Ulrich Kühne and Fan Zhang (editors).

Jean-François Desnos, Ramin Yahyapour and Raimund Vogl (editors).

Tokuro Matsuo (editor).

Aurona Gerber (editor).

Knut Hinkelmann and Aurona Gerber (editors).

Hisham Al-Mubaid, Tamer Aldwairi and Oliver Eulenstein (editors).

Bidyut Gupta, Ajay Bandi and Mohammad Hossain (editors).

Goran Frehse and Matthias Althoff (editors).

Yan Shi, Gongzhu Hu, Quan Yuan and Takaaki Goto (editors).

Spiros Bolis, Jean-François Desnos, Lazaros Merakos and Raimund Vogl (editors).

Frederick Harris, Rui Wu and Alex Redei (editors).

Yan Shi, Gongzhu Hu, Takaaki Goto and Quan Yuan (editors).

Alex Redei, Rui Wu and Frederick Harris (editors).

Goran Frehse and Matthias Althoff (editors).

Elvira Albert and Laura Kovacs (editors).

Gregoire Danoy, Jun Pang and Geoff Sutcliffe (editors).

Laura Kovacs and Andrei Voronkov (editors).

Qin Ding, Oliver Eulenstein and Hisham Al-Mubaid (editors).

Gordon Lee and Ying Jin (editors).

Laura Kovacs, Konstantin Korovin and Giles Reger (editors).

Christina Pöpper and Martin Strohmeier (editors).

Meyo Zongo, Antonio Virdis, Vladimir Vesely, Zeynep Vatandas, Asanga Udugama, Koojana Kuladinithi, Michael Kirsche and Anna Förster (editors).

Diego Calvanese and Luca Iocchi (editors).

Frederick Harris, Sergiu Dascalu, Sharad Sharma and Rui Wu (editors).

Quan Yuan, Yan Shi, Les Miller, Gordon Lee, Gongzhu Hu and Takaaki Goto (editors).

Melanie Weber, Laura Bieker-Walz, Robert Hilbrich and Michael Behrisch (editors).

Goran Frehse and Matthias Althoff (editors).

Oliver Eulenstein, Hisham Al-Mubaid and Qin Ding (editors).

Daniel Le Berre and Matti Järvisalo (editors).

Gordon Lee and Ying Jin (editors).

Gilles Barthe, Geoff Sutcliffe and Margus Veanes (editors).

Anna Förster, Asanga Udugama, Antonio Virdis and Giovanni Nardini (editors).

Daniel Lee, Alexander Steen and Toby Walsh (editors).

Goran Frehse (editor).

Laura Kovács and Andrei Voronkov (editors).

Birgit Penzenstadler, Steve Easterbrook, Colin Venters and Syed Ishtiaque Ahmed (editors).

Giles Reger and Dmitriy Traytel (editors).

Christoph Benzmüller, Christine Lisetti and Martin Theobald (editors).

Ulrich Kühne, Jean-Luc Danger and Sylvain Guilley (editors).

Goran Frehse and Matthias Althoff (editors).

Ken Satoh, Mi-Young Kim, Yoshinobu Kano, Randy Goebel and Tiago Oliveira (editors).

Thomas Eiter and David Sands (editors).

Mohamed Mosbah and Michael Rusinowitch (editors).

Laura Kovacs and Andrei Voronkov (editors).

Goran Frehse and Matthias Althoff (editors).

Christoph Benzmüller, Geoff Sutcliffe and Raul Rojas (editors).

Boris Konev, Stephan Schulz and Laurent Simon (editors).

James H. Davenport and Fadoua Ghourabi (editors).

Laura Kovács and Andrei Voronkov (editors).

Sergiy Bogomolov and Ashish Tiwari (editors).

Georg Gottlob, Geoff Sutcliffe and Andrei Voronkov (editors).

Ansgar Fehnker, Annabelle McIver, Geoff Sutcliffe and Andrei Voronkov (editors).

Goran Frehse and Matthias Althoff (editors).

Christoph Benzmüller and Jens Otten (editors).

Makoto Kanazawa, Lawrence S. Moss and Valeria de Paiva (editors).

Stephan Schulz, Leonardo De Moura and Boris Konev (editors).

Temur Kutsia and Andrei Voronkov (editors).

Santiago Escobar, Konstantin Korovin and Vladimir Rybakov (editors).

Nikolaos Galatos, Alexander Kurz and Constantine Tsinakis (editors).

Ken Mcmillan, Aart Middeldorp, Geoff Sutcliffe and Andrei Voronkov (editors).

Irina Virbitskaite and Andrei Voronkov (editors).

Daniel Le Berre (editor).

Alexei Lisitsa and Andrei Nemytykh (editors).

Daniel Le Berre (editor).

Andrei Voronkov and Margarita Korovina (editors).

Konstantin Korovin, Stephan Schulz and Eugenia Ternovska (editors).

Pascal Fontaine, Renate A. Schmidt and Stephan Schulz (editors).

Pascal Fontaine and Amit Goel (editors).

Konstantin Korovin and Barbara Morawska (editors).

Laura Kovacs and Temur Kutsia (editors).

Jacques Fleuriot, Peter Höfner, Annabelle McIver and Alan Smaill (editors).

Alexei Lisitsa and Andrei Nemytykh (editors).

Laura Kovacs and Temur Kutsia (editors).

Jasmin Christian Blanchette and Josef Urban (editors).

Andrei Voronkov, Geoff Sutcliffe, Matthias Baaz and Christian Fermüller (editors).

Alex Simpson (editor).

Geoff Sutcliffe (editor).

Andrei Voronkov (editor).

Andrei Voronkov, Laura Kovacs and Nikolaj Bjorner (editors).

Renate A. Schmidt, Stephan Schulz and Boris Konev (editors).

Daniel Le Berre (editor).

Berndt Müller (editor).

Aaron Stump, Geoff Sutcliffe and Cesare Tinelli (editors).

Ekaterina Komendantskaya, Ana Bove and Milad Niqui (editors).

Agostino Dovier, Alessandro Dal Palù and Sebastian Will (editors).

Markus Aderhold, Serge Autexier and Heiko Mantel (editors).

Geoff Sutcliffe, Stephan Schulz and Eugenia Ternovska (editors).