Articles with public access mandates - Luboš BrimLearn more
Not available anywhere: 1
Adaptive aggregation of Markov chains: Quantitative analysis of chemical reaction networks
A Abate, L Brim, M Češka, M Kwiatkowska
International Conference on Computer Aided Verification, 195-213, 2015
Mandates: European Commission
Available somewhere: 8
Precise parameter synthesis for stochastic biochemical systems
M Češka, F Dannenberg, N Paoletti, M Kwiatkowska, L Brim
Acta Informatica 54, 589-623, 2017
Mandates: European Commission
PRISM-PSY: precise GPU-accelerated parameter synthesis for stochastic systems
M Češka, P Pilař, N Paoletti, L Brim, M Kwiatkowska
International Conference on Tools and Algorithms for the Construction and …, 2016
Mandates: European Commission
Boolean network sketches: a unifying framework for logical model inference
N Beneš, L Brim, O Huvar, S Pastva, D Šafránek
Bioinformatics 39 (4), btad158, 2023
Mandates: European Commission
Can flash memory help in model checking?
J Barnat, L Brim, S Edelkamp, D Sulewski, P Šimeček
International Workshop on Formal Methods for Industrial Critical Systems …, 2008
Mandates: German Research Foundation
Model Checking C++ with Exceptions
P Rockai, J Barnat, L Brim
Electronic Communications of the EASST 30, 2014
Mandates: German Research Foundation
Repository of logically consistent real-world Boolean network models
S Pastva, D Šafránek, N Beneš, L Brim, T Henzinger
bioRxiv, 2023.06. 12.544361, 2023
Mandates: European Commission
Flash memory efficient LTL model checking
S Edelkamp, D Sulewski, J Barnat, L Brim, P Šimeček
Science of Computer Programming 76 (2), 136-157, 2011
Mandates: German Research Foundation
Phenotype Control of Partially Specified Boolean Networks
N Beneš, L Brim, S Pastva, D Šafránek, E Šmijáková
International Conference on Computational Methods in Systems Biology, 18-35, 2023
Mandates: European Commission
Publication and funding information is determined automatically by a computer program