Parameter Identification and Model Ranking of Thomas Networks. - Hannes Klarner; Adam Streck; David Safránek; Juraj Kolcák; Heike Siebert (CMSB, 2012)

On Parameter Synthesis by Parallel Model Checking. - Jiri Barnat; Lubos Brim; Adam Krejci; Adam Streck; David Safránek; Martin Vejnar; Tomas Vejpustek (IEEE ACM Trans. Comput. Biol. Bioinform., 2012)

Equivalences in Multi-valued Asynchronous Models of Regulatory Networks. - Adam Streck; Heike Siebert (ACRI, 2014)

Model Integration and Crosstalk Analysis of Logical Regulatory Networks. - Kirsten Thobe; Adam Streck; Hannes Klarner; Heike Siebert (CMSB, 2014)

Analysing Cell Line Specific EGFR Signalling via Optimized Automata Based Model Checking. - Adam Streck; Kirsten Thobe; Heike Siebert (CMSB, 2015)

Comparative Statistical Analysis of Qualitative Parametrization Sets. - Adam Streck; Kirsten Thobe; Heike Siebert (HSB, 2015)

Logical-continuous modelling of post-translationally regulated bistability of curli fiber expression in Escherichia coli. - Kaveh Yousef; Adam Streck; Christof Schütte; Heike Siebert; Regine Hengge; Max von Kleist (BMC Syst. Biol., 2015)

Minimization and equivalence in multi-valued logical models of regulatory networks. - Adam Streck; Therese Lorenz; Heike Siebert (Nat. Comput., 2015)

Data-driven optimizations for model checking of multi-valued regulatory networks. - Adam Streck; Kirsten Thobe; Heike Siebert (Biosyst., 2016)

Toolkit for Reverse Engineering of Molecular Pathways via Parameter Identification. - Adam Streck (2016)

PyBoolNet: a python package for the generation, analysis and visualization of boolean networks. - Hannes Klarner; Adam Streck; Heike Siebert (Bioinform., 2017)

Using Discrete Time Markov Chains for Control of Idle Character Animation. - Adam Streck; Thomas Wolbers (CIG, 2018)

neomento SAD - VR Treatment For Social Anxiety. - Adam Streck; Philipp Stepnicka; Jens Klaubert; Thomas Wolbers (AIVR, 2019)

neomento - Towards Building a Universal Solution for Virtual Reality Exposure Psychotherapy. - Adam Streck; Philipp Stepnicka; Jens Klaubert; Thomas Wolbers (CoG, 2019)

SMITH: spatially constrained stochastic model for simulation of intra-tumour heterogeneity. - Adam Streck; Tom L. Kaufmann; Roland F. Schwarz (Bioinform., 2023)