prof. RNDr. Luboš Brim, CSc.
Professor, Department of Computer Science
Office: A411
Botanická 554/68a
602 00 Brno
Phone: | +420 549 49 3647 |
---|---|
E‑mail: |
social and academic networks: |
---|
Total number of publications: 197
2012
-
Using strategy improvement to stay alive
International Journal of Foundations of Computer Science, year: 2012, volume: 23, edition: 3, DOI
2011
-
Computing Optimal Cycle Mean in Parallel on CUDA
Electronic Proceedings in Theoretical Computer Science, year: 2011, volume: 72, edition: 2011, DOI
-
Computing Strongly Connected Components in Parallel on CUDA
Proceedings of 25th IEEE International Parallel & Distributed Processing Symposium, year: 2011
-
E-photosynthesis: Web-based platform for modeling of complex photosynthetic processes
BioSystems, year: 2011, volume: 103, edition: 2, DOI
-
Faster algorithms for mean-payoff games
Formal Methods in System Design, year: 2011, volume: 38, edition: 2, DOI
-
Flash memory efficient LTL model checking
Science of Computer Programming, year: 2011, volume: 76, edition: 2, DOI
-
Partial Order Reduction for State/Event LTL with Application to Component-Interaction Automata
Science of Computer Programming, year: 2011, volume: 76, edition: 10, DOI
-
Platform Dependent Verification: On Engineering Verification Tools for 21st Century
Electronic Proceedings in Theoretical Computer Science, year: 2011, volume: 72, edition: 2011, DOI
-
Reachability in Biochemical Dynamical Systems by Quantitative Discrete Approximation
Electronic Proceedings in Theoretical Computer Science, year: 2011, volume: Neuveden, edition: 67, DOI
2010
-
DiVinE 2.4
Year: 2010