Adam Streck

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