Milan Ceka is an author at Masaryk University specializing in computer science, parallel computing, and parallel programming.
Top concepts
EngineeringComputer ScienceParallel ComputingParallel ProgrammingVerificationGpu ComputingFormal MethodsFormal VerificationComputer EngineeringComputer Architecture
Publications per year
2008–2011
3
3
Computing Strongly Connected Components in Parallel on CUDA
Petr Bauch, Luboš Brim, Milan Ceka · 2011 · 98 citations
CUDA Accelerated LTL Model Checking
Milan Ceka, Tomá Lamr · 2009 · 37 citations
ProbDiVinE-MC: Multi-core LTL Model Checker for Probabilistic Systems
Luboš Brim, Ivana Černá, Milan Ceka et al. · 2008 · 18 citations
Rows per page
1–3 of 3