Milan Ceska

Cited by

	All	Since 2018
Citations	1343	768
h-index	21	17
i10-index	32	25

140

105

20082009201020112012201320142015201620172018201920202021202220239 11 33 45 62 69 65 70 112 65 139 137 121 140 108 121

Public access

View all

15 articles

2 articles

available

not available

Based on funding mandates

Co-authors

Luboš BrimMasaryk university, Faculty of InformaticsVerified email at fi.muni.cz
Jiří BarnatMasaryk University, Faculty of InformaticsVerified email at fi.muni.cz
Tomas VojnarFIT, Brno University of TechnologyVerified email at fit.vutbr.cz
Marta KwiatkowskaProfessor of Computing Systems, University of OxfordVerified email at comlab.ox.ac.uk
Nicola PaolettiDepartment of Informatics, King's College LondonVerified email at kcl.ac.uk
David Safranekassistant professor, Masaryk university, Faculty of informaticsVerified email at safranek.cz
Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteVerified email at cs.rwth-aachen.de
Sebastian JungesAssistant Professor, Radboud University, NijmegenVerified email at ru.nl
Radu CalinescuProfessor of Computer Science, University of YorkVerified email at york.ac.uk
Vojtech MrazekAssistant professor & researcher, Brno University of TechnologyVerified email at fit.vutbr.cz
Lukas SekaninaProfessor of Computer Science and Engineering, Brno University of TechnologyVerified email at fit.vutbr.cz
Zdenek VasicekBrno University of TechnologyVerified email at fit.vutbr.cz
Alessandro AbateProfessor of Verification and Control, University of Oxford, UKVerified email at cs.ox.ac.uk
Ivana CernaMasaryk University, Brno, Czech RepublicVerified email at fi.muni.cz
Simos GerasimouAssociate Professor (Senior Lecturer) in Computer Science, University of YorkVerified email at york.ac.uk
Jana TumovaKTHVerified email at kth.se
Petr RočkaiFaculty of Informatics, Masaryk University in BrnoVerified email at mornfall.net
Nils JansenFull Professor, Ruhr-University BochumVerified email at science.ru.nl
Lukas HolikBrno University of TehcnologyVerified email at fit.vutbr.cz
Ondřej LengálBrno University of TechnologyVerified email at fit.vutbr.cz

Milan Ceska

Brno University of Technology

Verified email at fit.vutbr.cz - Homepage

Formal methods parameter synthesis computational systems biology parallel algorithms


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Computing strongly connected components in parallel on CUDA J Barnat, P Bauch, L Brim, M Ceška 2011 IEEE International Parallel & Distributed Processing Symposium, 544-555, 2011	133	2011
Divine: Parallel distributed model checker J Barnat, L Brim, M Češka, P Ročkai 2010 ninth international workshop on parallel and distributed methods in …, 2010	122	2010
Precise parameter synthesis for stochastic biochemical systems M Češka, F Dannenberg, P Nicola, M Kwiatkowska, L Brim Acta Informatica, 1-35, 2016	111	2016
Precise Parameter Synthesis for Stochastic Biochemical Systems M Češka, F Dannenberg, M Kwiatkowska, N Paoletti Computational Methods in Systems Biology 8859, 86-98, 2014	111	2014
Approximating complex arithmetic circuits with formal error guarantees: 32-bit multipliers accomplished M Češka, J Matyáš, V Mrazek, L Sekanina, Z Vasicek, T Vojnar 2017 IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 416-423, 2017	64	2017
Designing fast LTL model checking algorithms for many-core GPUs J Barnat, P Bauch, L Brim, M Češka Journal of Parallel and Distributed Computing 72 (9), 1083-1097, 2012	60	2012
Exploring parameter space of stochastic biochemical systems using quantitative model checking L Brim, M Češka, S Dražan, D Šafránek International Conference on Computer Aided Verification, 107-123, 2013	59	2013
CUDA accelerated LTL model checking J Barnat, L Brim, M Ceška, T Lamr 2009 15th International Conference on Parallel and Distributed Systems, 34-41, 2009	59	2009
Model checking of biological systems L Brim, M Češka, D Šafránek International School on Formal Methods for the Design of Computer …, 2013	55	2013
Efficient synthesis of robust models for stochastic systems R Calinescu, M Češka, S Gerasimou, M Kwiatkowska, N Paoletti Journal of Systems and Software 143, 140-158, 2018	52	2018
PRISM-PSY: precise GPU-accelerated parameter synthesis for stochastic systems M Češka, P Pilař, N Paoletti, L Brim, M Kwiatkowska International Conference on Tools and Algorithms for the Construction and …, 2016	41	2016
Petriho sítě: úvod do teorie a nástrojů pro aplikaci Petriho sítí M Češka CERM, 1994	38	1994
ProbDiVinE-MC: Multi-core LTL model checker for probabilistic systems J Barnat, L Brim, I Cerná, M Ceška, J Tumova 2008 Fifth International Conference on Quantitative Evaluation of Systems, 77-78, 2008	36	2008
Shepherding hordes of Markov chains M Češka, N Jansen, S Junges, JP Katoen International Conference on Tools and Algorithms for the Construction and …, 2019	35	2019
Syntax-guided optimal synthesis for chemical reaction networks L Cardelli, M Češka, M Fränzle, M Kwiatkowska, L Laurenti, N Paoletti, ... Computer Aided Verification: 29th International Conference, CAV 2017 …, 2017	35	2017
Parameter synthesis by parallel coloured CTL model checking L Brim, M Češka, M Demko, S Pastva, D Šafránek International Conference on Computational Methods in Systems Biology, 251-263, 2015	35	2015
Employing multiple CUDA devices to accelerate LTL model checking J Barnat, P Bauch, L Brim, M Češka 2010 IEEE 16th International Conference on Parallel and Distributed Systems …, 2010	34	2010
Designing robust software systems through parametric Markov chain synthesis R Calinescu, M Češka, S Gerasimou, M Kwiatkowska, N Paoletti 2017 IEEE International Conference on Software Architecture (ICSA), 131-140, 2017	33	2017
Approximate reduction of finite automata for high-speed network intrusion detection M Češka, V Havlena, L Holík, O Lengál, T Vojnar International Journal on Software Tools for Technology Transfer 22 (5), 523-539, 2020	30	2020
Adaptive aggregation of Markov chains: Quantitative analysis of chemical reaction networks A Abate, L Brim, M Češka, M Kwiatkowska International Conference on Computer Aided Verification, 195-213, 2015	26	2015

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors