EPiC Series in Computing

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 C. Harris Jr, Alexander 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 C. Harris Jr, Rui Wu and Alexander Redei (editors).

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

Alexander Redei, Rui Wu and Frederick C. Harris Jr (editors).

Goran Frehse and Matthias Althoff (editors).

Elvira Albert and Laura Kovács (editors).

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

Laura Kovács and Andrei Voronkov (editors).

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

Gordon Lee and Ying Jin (editors).

Laura Kovács, 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 C. Harris Jr, 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 Kovács 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, Larry Moss and Valeria de Paiva (editors).

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

Temur Kutsia and Andrei Voronkov (editors).

Alexei Lisitsa and Andrei Nemytykh (editors).

Daniel Le Berre (editor).

Irina Virbitskaite and Andrei Voronkov (editors).

Kenneth L. McMillan, Aart Middeldorp, Geoff Sutcliffe and Andrei Voronkov (editors).

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

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

Daniel Le Berre (editor).

Andrei Voronkov and Margarita Korovina (editors).

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

Pascal Fontaine and Amit Goel (editors).

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

Konstantin Korovin and Barbara Morawska (editors).

Laura Kovács and Temur Kutsia (editors).

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

Alexei Lisitsa and Andrei Nemytykh (editors).

Laura Kovács 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 Kovács 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).