Adam Streck

ORCID

Publication Activity (10 Years)

Years Active: 2012-2023
Publications (10 Years): 10

Top Venues

Free University of Berlin, Dahlem, Germany (PHD)

Education History

Free University of Berlin, Dahlem, Germany

PHD

Publications

Adam Streck, Tom L. Kaufmann, Roland F. Schwarz
SMITH: spatially constrained stochastic model for simulation of intra-tumour heterogeneity. Bioinform. 39 (3) (2023)
Adam Streck, Philipp Stepnicka, Jens Klaubert, Thomas Wolbers
neomento - Towards Building a Universal Solution for Virtual Reality Exposure Psychotherapy. CoG (2019)
Adam Streck, Philipp Stepnicka, Jens Klaubert, Thomas Wolbers
neomento SAD - VR Treatment For Social Anxiety. AIVR (2019)
Adam Streck, Thomas Wolbers
Using Discrete Time Markov Chains for Control of Idle Character Animation. CIG (2018)
Hannes Klarner, Adam Streck, Heike Siebert
PyBoolNet: a python package for the generation, analysis and visualization of boolean networks. Bioinform. 33 (5) (2017)
Adam Streck, Kirsten Thobe, Heike Siebert
Data-driven optimizations for model checking of multi-valued regulatory networks. Biosyst. 149 (2016)
Adam Streck, Kirsten Thobe, Heike Siebert
Comparative Statistical Analysis of Qualitative Parametrization Sets. HSB (2015)
Adam Streck, Therese Lorenz, Heike Siebert
Minimization and equivalence in multi-valued logical models of regulatory networks. Nat. Comput. 14 (4) (2015)
Kaveh Yousef, Adam Streck, Christof Schütte, Heike Siebert, Regine Hengge, Max von Kleist
Logical-continuous modelling of post-translationally regulated bistability of curli fiber expression in Escherichia coli. BMC Syst. Biol. 9 (2015)
Adam Streck, Kirsten Thobe, Heike Siebert
Analysing Cell Line Specific EGFR Signalling via Optimized Automata Based Model Checking. CMSB (2015)
Adam Streck, Heike Siebert
Equivalences in Multi-valued Asynchronous Models of Regulatory Networks. ACRI (2014)
Kirsten Thobe, Adam Streck, Hannes Klarner, Heike Siebert
Model Integration and Crosstalk Analysis of Logical Regulatory Networks. CMSB (2014)
Hannes Klarner, Adam Streck, David Safránek, Juraj Kolcák, Heike Siebert
Parameter Identification and Model Ranking of Thomas Networks. CMSB (2012)
Jiri Barnat, Lubos Brim, Adam Krejci, Adam Streck, David Safránek, Martin Vejnar, Tomas Vejpustek
On Parameter Synthesis by Parallel Model Checking. IEEE ACM Trans. Comput. Biol. Bioinform. 9 (3) (2012)

Adam Streck.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Adam Streck