Milan Ceska

Cituota

	Visi	Nuo 2020
Šaltiniai	1595	711
h-rodyklė	25	17
i10-rodyklė	36	23

180

135

20072008200920102011201220132014201520162017201820192020202120222023202420255 10 11 34 44 63 71 65 63 116 67 141 145 121 136 118 150 165 21

Viešas pasiekiamumas

Peržiūrėti viską

20 straipsnių

3 straipsniai

pasiekiami

nepasiekiami

Pagal finansavimo įpareigojimus

Bendraautoriai

Jiří BarnatMasaryk University, Faculty of InformaticsPatvirtintas el. paštas fi.muni.cz
Tomas VojnarFI, Masaryk University & FIT, Brno University of TechnologyPatvirtintas el. paštas fi.muni.cz
Marta KwiatkowskaProfessor of Computing Systems, University of OxfordPatvirtintas el. paštas comlab.ox.ac.uk
Nicola PaolettiDepartment of Informatics, King's College LondonPatvirtintas el. paštas kcl.ac.uk
Sebastian JungesAssistant Professor, Radboud University, NijmegenPatvirtintas el. paštas ru.nl
Roman AndriushchenkoPh.D. student, Brno University of TechnologyPatvirtintas el. paštas vutbr.cz
David Safranekassistant professor, Masaryk university, Faculty of informaticsPatvirtintas el. paštas safranek.cz
Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwentePatvirtintas el. paštas cs.rwth-aachen.de
Radu CalinescuProfessor of Computer Science, University of YorkPatvirtintas el. paštas york.ac.uk
Simos GerasimouAssociate Professor (Senior Lecturer) in Computer Science, University of YorkPatvirtintas el. paštas york.ac.uk
Vojtech MrazekAssistant professor & researcher, Brno University of TechnologyPatvirtintas el. paštas fit.vutbr.cz
Alessandro AbateProfessor of Verification and Control, University of Oxford, UKPatvirtintas el. paštas cs.ox.ac.uk
Lukas SekaninaProfessor of Computer Science and Engineering, Brno University of TechnologyPatvirtintas el. paštas fit.vutbr.cz
Zdenek VasicekBrno University of TechnologyPatvirtintas el. paštas fit.vutbr.cz
Jan KřetínskýMasaryk University Brno; Technical University of MunichPatvirtintas el. paštas fi.muni.cz
Ivana CernaMasaryk University, Brno, Czech RepublicPatvirtintas el. paštas fi.muni.cz
Jana TumovaKTHPatvirtintas el. paštas kth.se
Nils JansenProfessor of Artificial Intelligence and Formal Methods, Ruhr-University BochumPatvirtintas el. paštas rub.de
Petr RočkaiFaculty of Informatics, Masaryk University in BrnoPatvirtintas el. paštas mornfall.net
Lukas HolikBrno University of TehcnologyPatvirtintas el. paštas fit.vutbr.cz

Stebėti

Milan Ceska

Brno University of Technology

Patvirtintas el. paštas fit.vutbr.cz - Pagrindinis puslapis

Formal methods parameter synthesis computational systems biology parallel algorithms


Pavadinimas Rūšiuoti pagal šaltinius Rūšiuoti pagal metus Rūšiuoti pagal pavadinimą	Cituota Cituota	Metai
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	134	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	126	2010
Precise parameter synthesis for stochastic biochemical systems M Češka, F Dannenberg, P Nicola, M Kwiatkowska, L Brim Acta Informatica, 1-35, 2016	123	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	123	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	73	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	69	2012
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	67	2018
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	64	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	63	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	54	2013
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	47	2016
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	42	2019
Petriho sítě: úvod do teorie a nástrojů pro aplikaci Petriho sítí M Češka CERM, 1994	42	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	40	2008
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	39	2015
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	38	2017
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	37	2017
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	37	2010
PAYNT: a tool for inductive synthesis of probabilistic programs R Andriushchenko, M Češka, S Junges, JP Katoen, Š Stupinský International Conference on Computer Aided Verification, 856-869, 2021	35	2021
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

Sistema negali atlikti operacijos. Bandykite vėliau dar kartą.

Straipsniai 1–20

Šaltinių per metus

Dubliuoti šaltiniai

Sujungti šaltiniai

Pridėti bendraautoriusBendraautoriai

Stebėti

Cituota

Bendraautoriai