Campus E1 4
66123 Saarbrücken (Germany)
Space-Efficient Data Structures, Streams, and Algorithms
FSTTCS'13 Conference on Foundations of Software Technology and Theoretical Computer Science
Algorithmica
Electronic Colloquium on Computational Complexity (ECCC)
SODA
SODA 2012 - ACM/SIAM Symposium on Discrete Algorithms
ICALP
ICALP '12 - International Colloquium on Automata Languages and Programming
Theoretical Computer Science
Dagstuhl Reports
CAV
Proc. of the 23rd International Conference on Computer Aided Verification (CAV 2011)