Milan Ceska

Milan Ceska

Brno University of Technology - Brno / Czech Republic
Others
AD Scientific Index ID: 1521017
Vysoké ucení technické v Brne
person_outline Milan Ceska's MOST POPULAR ARTICLES
1-) Computing strongly connected components in parallel on CUDAJ Barnat, P Bauch, L Brim, M Ceška2011 IEEE International Parallel & Distributed Processing Symposium, 544-555, 20111222011
2-) Divine: Parallel distributed model checkerJ Barnat, L Brim, M Češka, P Ročkai2010 ninth international workshop on parallel and distributed methods in …, 20101212010
3-) Precise parameter synthesis for stochastic biochemical systemsM Češka, F Dannenberg, P Nicola, M Kwiatkowska, L BrimActa Informatica, 1-35, 2016962016
4-) Precise Parameter Synthesis for Stochastic Biochemical SystemsM Češka, F Dannenberg, M Kwiatkowska, N PaolettiComputational Methods in Systems Biology 8859, 86-98, 20141222014
5-) Approximating complex arithmetic circuits with formal error guarantees: 32-bit multipliers accomplishedM Češka, J Matyáš, V Mrazek, L Sekanina, Z Vasicek, T Vojnar2017 IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 416-423, 2017732017