Browse Special Issues

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

2010

Editor: Luke Ong


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

2011

Editor: Parosh A. Abdulla


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

2011

Editors: Aart Middeldorp, Manfred Schmidt-Schauss


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

2011

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


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

2011

Editors: Frank Piessens, Gilles Barthe, Andrew Gordon


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

2011

Editors: Pawel Urzyczyn, Marc Bezem


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

2011

Editors: Vasco Brattka, Peter Hertling, Margaret Archibald


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

2011

Editors: Martin Grohe, Patrick Baillot, Stephan Kreutzer


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

2011

Editors: Bartek Klin, Andrzej Tarlecki


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

2012

Editors: Luca Aceto, Andrzej Tarlecki, Lars Birkedal