Petr Bauch is an author at Masaryk University specializing in engineering, parallel programming, and computer engineering.
Top concepts
EngineeringComputer ScienceParallel ComputingComputer EngineeringParallel ProgrammingComputer ArchitectureVerificationFormal MethodsFormal VerificationData Science
Publications per year
2010–2016
4
4
Computing Strongly Connected Components in Parallel on CUDA
Petr Bauch, Luboš Brim, Milan Ceka · 2011 · 98 citations
Analysing sanity of requirements for avionics systems
Petr Bauch, Nikola Beneš, Luboš Brim et al. · Formal Aspects of Computing · 2016 · 24 citations · Full text
Rows per page
1–4 of 4