Concepedia

Milan Češka

MČ

Statistics

Publications

12

Citations

426

H-Index

11

Active since

2010

Affiliations

Brno University of Technology(Current)

Masaryk University

University of Oxford

Stony Brook University

University of York

Milan Češka is an author at Brno University of Technology specializing in engineering, formal methods, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceFormal VerificationComputer EngineeringVerificationParallel ComputingSystems EngineeringParallel ProgrammingComputer Architecture

Publications per year

2010–2021

12

Publications

12

Precise parameter synthesis for stochastic biochemical systems

Milan Češka, Frits Dannenberg, Nicola Paoletti et al. · Acta Informatica · 2016 · 72 citations

Engineering, Stochastic System, Biochemical Engineering +5

DiVinE: Parallel Distributed Model Checker

Luboš Brim, Milan Češka, Petr Ročkai · 2010 · 63 citations

Engineering, Verification, Computer Architecture +19

Approximating complex arithmetic circuits with formal error guarantees: 32-bit multipliers accomplished

Milan Češka, Jiří Matyáš, Vojtěch Mrázek et al. · 2017 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) · 2017 · 54 citations

Circuit Complexity, Computational Complexity Theory, Engineering +20

Designing fast LTL model checking algorithms for many-core GPUs

Petr Bauch, Luboš Brim, Milan Češka · Journal of Parallel and Distributed Computing · 2011 · 48 citations

Gpu Architecture, Engineering, Ltl Model +10

Efficient synthesis of robust models for stochastic systems

Radu Călinescu, Milan Češka, Simos Gerasimou et al. · Journal of Systems and Software · 2018 · 48 citations · Full text

1–5 of 12