![Důležité termíny](https://cdn.muni.cz/media/3716855/image_2.jpg?mode=crop¢er=0.5,0.5&rnd=133667368190000000&heightratio=0.5&width=278)
prof. RNDr. Luboš Brim, CSc.
profesor – Katedra teorie programování
kancelář: A411
Botanická 554/68a
602 00 Brno
telefon: | 549 49 3647 |
---|---|
e‑mail: |
sociální a akademické sítě: |
---|
Počet publikací: 198
2012
-
Towards LTL Model Checking of Unmodified Thread-Based C & C++ Programs
NASA Formal Methods, rok: 2012
-
Using strategy improvement to stay alive
International Journal of Foundations of Computer Science, rok: 2012, ročník: 23, vydání: 3, DOI
2011
-
Computing Optimal Cycle Mean in Parallel on CUDA
Electronic Proceedings in Theoretical Computer Science, rok: 2011, ročník: 72, vydání: 2011, DOI
-
Computing Strongly Connected Components in Parallel on CUDA
Proceedings of 25th IEEE International Parallel & Distributed Processing Symposium, rok: 2011
-
E-photosynthesis: Web-based platform for modeling of complex photosynthetic processes
BioSystems, rok: 2011, ročník: 103, vydání: 2, DOI
-
Faster algorithms for mean-payoff games
Formal Methods in System Design, rok: 2011, ročník: 38, vydání: 2, DOI
-
Flash memory efficient LTL model checking
Science of Computer Programming, rok: 2011, ročník: 76, vydání: 2, DOI
-
Partial Order Reduction for State/Event LTL with Application to Component-Interaction Automata
Science of Computer Programming, rok: 2011, ročník: 76, vydání: 10, DOI
-
Platform Dependent Verification: On Engineering Verification Tools for 21st Century
Electronic Proceedings in Theoretical Computer Science, rok: 2011, ročník: 72, vydání: 2011, DOI
-
Reachability in Biochemical Dynamical Systems by Quantitative Discrete Approximation
Electronic Proceedings in Theoretical Computer Science, rok: 2011, ročník: Neuveden, vydání: 67, DOI