Milan Ceska
Scholar

Milan Ceska

Google Scholar ID: hdKGh8UAAAAJ
Brno University of Technology
Formal methodsparameter synthesiscomputational systems biologyparallel algorithms
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
757
 
H-index
17
 
i10-index
25
 
Publications
20
 
Co-authors
35
list available
Contact
Emailceskam@fit.vut.czTwitterOpen ↗
Publications
20 items
Browse publications on Google Scholar (top-right) ↗
Resume (English only)
Research Experience
  • Serves as a researcher in the Department of Intelligent Systems, located in A219 office.
Background
  • Milan Češka is a researcher at the Department of Intelligent Systems, Faculty of Information Technology, Brno University of Technology.
Co-authors
35 total
Co-author 1
Co-author 1
Tomas Vojnar
Tomas Vojnar
FI, Masaryk University & FIT, Brno University of Technology
Marta Kwiatkowska
Marta Kwiatkowska
Professor of Computing Systems, University of Oxford
Sebastian Junges
Sebastian Junges
Assistant Professor, Radboud University, Nijmegen
Roman Andriushchenko
Roman Andriushchenko
Ph.D. student, Brno University of Technology
Nicola Paoletti
Nicola Paoletti
Department of Informatics, King's College London
Co-author 7
Co-author 7
Joost-Pieter Katoen
Joost-Pieter Katoen
Distinguished Professor of Computer Science, RWTH Aachen University and University of Twente