Browse by Volume

Special Issue for the 13th International Conference on "FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES" FOSSACS 2010 (6 articles)


Editor: Luke Ong

Selected Papers of the Confrence 'Tools and Algorithms for the Construction and Analysis of Systems "TACAS" 2011' (7 articles)


Editor: Parosh A. Abdulla

Selected papers of the "22nd International Conference on Rewriting Techniques and Applications (RTA 2011)" (6 articles)


Editors: Aart Middeldorp, Manfred Schmidt-Schauss

Selected Papers of the "22nd International Conference on Concurrency Theory" CONCUR 2011 (5 articles)


Editors: J.-P. Katoen and B. König

Selected Papers of the "20th European Symposium on Programming" ESOP 2011 (9 articles)


Editors: Frank Piessens, Gilles Barthe, Andrew Gordon

Special Issue for the Conference on Computer Science Logic (CSL) 2011 (7 articles)


Editors: Pawel Urzyczyn, Marc Bezem

Special Issue for the Conference "Computability and Complexity in Analysis" (CCA 2011) (8 articles)


Editors: Vasco Brattka, Peter Hertling, Margaret Archibald

Selected Articles of the Conference: Logic in Computer Science (LICS) 2011 (6 articles)


Editors: Martin Grohe, Patrick Baillot, Stephan Kreutzer

Selected papers of the conference "Algebraic and Coalgebraic Methods in Computer Science: CALCO 2011" (7 articles)


Editors: Bartek Klin, Andrzej Tarlecki

Selected papers of the conference on ''Foundations of Software Science and Computation Structures'': FOSSACS 2012 (5 articles)


Editors: Luca Aceto, Andrzej Tarlecki, Lars Birkedal