Concepedia

Luboš Brim

LB

Statistics

Publications

44

Citations

1.4K

H-Index

22

Active since

2001

Affiliations

Masaryk University(Current)

Luboš Brim is an author at Masaryk University specializing in computing, computer science, and model checking.

Publications per year

2001–2023

44

Publications

44

Faster algorithms for mean-payoff games

Luboš Brim, Jakub Chaloupka, Laurent Doyen et al. · Formal Methods in System Design · 2010 · 134 citations

Social Sciences, Computer Science, Economics +11

Computing Strongly Connected Components in Parallel on CUDA

Petr Bauch, Luboš Brim, Milan Ceka · 2011 · 98 citations

Computing, Computer Science, High-performance Computing +17

Distributed LTL model-checking in SPIN

Jǐŕı Barnat, Luboš Brim, Jitka Stříbrná · 2001 · 95 citations

Computing, Computer Engineering, Computer Science +10

Precise parameter synthesis for stochastic biochemical systems

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

Engineering, Biological Engineering, Biochemical Engineering +13

Component-interaction automata as a verification-oriented component-based system specification

Luboš Brim, Ivana Černá, Pavlína Vařeková et al. · ACM SIGSOFT Software Engineering Notes · 2005 · 70 citations

Computing, Computer Science, Systems Engineering +15

1–5 of 44