Adam Streck
Adam Streck
DZNE, Berlin
Verified email at fu-berlin.de
Title
Cited by
Cited by
Year
Inferring causal molecular networks: empirical assessment through a community-based effort
SM Hill, LM Heiser, T Cokelaer, M Unger, NK Nesser, DE Carlin, Y Zhang, ...
Nature methods 13 (4), 310-318, 2016
1822016
On parameter synthesis by parallel model checking
J Barnat, L Brim, A Krejci, A Streck, D Safranek, M Vejnar, T Vejpustek
IEEE/ACM Transactions on Computational Biology and Bioinformatics 9 (3), 693-705, 2011
692011
PyBoolNet: a python package for the generation, analysis and visualization of boolean networks
H Klarner, A Streck, H Siebert
Bioinformatics 33 (5), 770-772, 2017
382017
Parameter identification and model ranking of thomas networks
H Klarner, A Streck, D Šafránek, J Kolčák, H Siebert
International Conference on Computational Methods in Systems Biology, 207-226, 2012
382012
Toolkit for reverse engineering of molecular pathways via parameter identification
A Streck
112016
Logical-continuous modelling of post-translationally regulated bistability of curli fiber expression in Escherichia coli
KP Yousef, A Streck, C Schütte, H Siebert, R Hengge, M Von Kleist
BMC systems biology 9 (1), 1-17, 2015
112015
Model integration and crosstalk analysis of logical regulatory networks
K Thobe, A Streck, H Klarner, H Siebert
International Conference on Computational Methods in Systems Biology, 32-44, 2014
92014
Analysing cell line specific EGFR signalling via optimized automata based model checking
A Streck, K Thobe, H Siebert
International Conference on Computational Methods in Systems Biology, 264-276, 2015
82015
Minimization and equivalence in multi-valued logical models of regulatory networks
A Streck, T Lorenz, H Siebert
Natural Computing 14 (4), 555-566, 2015
62015
Extensions for LTL model checking of Thomas networks
A Streck, H Siebert
Adv Syst Synth Biol, 2015
62015
Esther: Introducing an online platform for parameter identification of boolean networks
A Streck, J Kolcák, H Siebert, D Šafránek
CMSB, 257-258, 2013
62013
Data-driven optimizations for model checking of multi-valued regulatory networks
A Streck, K Thobe, H Siebert
Biosystems 149, 125-138, 2016
52016
Comparative statistical analysis of qualitative parametrization sets
A Streck, K Thobe, H Siebert
International Workshop on Hybrid Systems Biology, 20-34, 2015
32015
On parameter synthesis by parallel model checking
A Streck, A Krejci, L Brim, J Barnat, D Safranek, M Vejnar, T Vejpustek
IEEE Computer Architecture Letters 9 (03), 693-705, 2012
32012
Equivalences in Multi-valued Asynchronous Models of Regulatory Networks
HS Adam Streck
11th International Conference on Cellular Automata for Research and Industry …, 2014
2*2014
Model building for Parsybone Version 2.1
A Streck
Discrete Biomathematics, FU Berlin, 2014
22014
neomento-Towards Building a Universal Solution for Virtual Reality Exposure Psychotherapy
A Streck, P Stepnicka, J Klaubert, T Wolbers
2019 IEEE Conference on Games (CoG), 1-2, 2019
12019
Using Discrete Time Markov Chains for Control of Idle Character Animation
A Streck, T Wolbers
2018 IEEE Conference on Computational Intelligence and Games (CIG), 1-4, 2018
12018
neomento SAD-VR treatment for social anxiety
A Streck, P Stepnicka, J Klaubert, T Wolbers
2019 IEEE International Conference on Artificial Intelligence and Virtual …, 2019
2019
Efektivní identifikace parametrů genových regulačních sítí
A Streck
Masarykova univerzita, Fakulta informatiky, 2013
2013
The system can't perform the operation now. Try again later.
Articles 1–20