Adam Streck

According to our database, Adam Streck authored at least 15 papers between 2012 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

SMITH: spatially constrained stochastic model for simulation of intra-tumour heterogeneity.

Adam Streck, Tom L. Kaufmann, Roland F. Schwarz

Bioinform., 2023

2019

neomento - Towards Building a Universal Solution for Virtual Reality Exposure Psychotherapy.

Adam Streck, Philipp Stepnicka, Jens Klaubert, Thomas Wolbers

Proceedings of the IEEE Conference on Games, 2019

neomento SAD - VR Treatment For Social Anxiety.

Adam Streck, Philipp Stepnicka, Jens Klaubert, Thomas Wolbers

Proceedings of the 2019 IEEE International Conference on Artificial Intelligence and Virtual Reality, 2019

2018

Using Discrete Time Markov Chains for Control of Idle Character Animation.

Adam Streck, Thomas Wolbers

Proceedings of the 2018 IEEE Conference on Computational Intelligence and Games, 2018

2017

PyBoolNet: a python package for the generation, analysis and visualization of boolean networks.

Hannes Klarner, Adam Streck, Heike Siebert

Bioinform., 2017

2016

Toolkit for Reverse Engineering of Molecular Pathways via Parameter Identification.

Adam Streck

PhD thesis, 2016

Data-driven optimizations for model checking of multi-valued regulatory networks.

Adam Streck, Kirsten Thobe, Heike Siebert

Biosyst., 2016

2015

Minimization and equivalence in multi-valued logical models of regulatory networks.

Adam Streck, Therese Lorenz, Heike Siebert

Nat. Comput., 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

Comparative Statistical Analysis of Qualitative Parametrization Sets.

Adam Streck, Kirsten Thobe, Heike Siebert

Proceedings of the Hybrid Systems Biology - Fourth International Workshop, 2015

Analysing Cell Line Specific EGFR Signalling via Optimized Automata Based Model Checking.

Adam Streck, Kirsten Thobe, Heike Siebert

Proceedings of the Computational Methods in Systems Biology, 2015

2014

Model Integration and Crosstalk Analysis of Logical Regulatory Networks.

Kirsten Thobe, Adam Streck, Hannes Klarner, Heike Siebert

Proceedings of the Computational Methods in Systems Biology, 2014

Equivalences in Multi-valued Asynchronous Models of Regulatory Networks.

Adam Streck, Heike Siebert

Proceedings of the Cellular Automata, 2014

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

Parameter Identification and Model Ranking of Thomas Networks.

Hannes Klarner, Adam Streck, David Safránek, Juraj Kolcák, Heike Siebert

Proceedings of the Computational Methods in Systems Biology, 2012