Zdenek Kotásek Jan Bouda Ivana Cerná Lukás Sekanina Tomás Vojnar David Antos Mathematical and Engineering Methods in Computer Science - 7th International Doctoral Workshop, MEMICS 2011, Lednice, Czech Republic, October 14-16, 2011, Revised Selected Papers 7119 2012 Springer Lecture Notes in Computer Science http://dx.doi.org/10.1007/978-3-642-25929-6 978-3-642-25928-9 MEMICS db/conf/memics/memics2011.html