Concepedia

Adam Streck

AS

Statistics

Publications

3

Citations

190

H-Index

3

Active since

2011

Affiliations

Freie Universität Berlin(Current)

Adam Streck is an author at Freie Universität Berlin specializing in computational biology, computer science, and parallel programming.

Top concepts

EngineeringVerificationFormal MethodsSystems BiologyComputer ScienceParallel ComputingAutomated ReasoningFormal VerificationSystems EngineeringParallel Programming

Publications per year

2011–2016

3

Publications

3

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

Hannes Klarner, Adam Streck, Heike Siebert · Bioinformatics · 2016 · 128 citations · Full text

On Parameter Synthesis by Parallel Model Checking

Jǐŕı Barnat, Luboš Brim, A. Krejci et al. · IEEE/ACM Transactions on Computational Biology and Bioinformatics · 2011 · 46 citations

Engineering, Verification, Computer-aided Verification +19

Logical-continuous modelling of post-translationally regulated bistability of curli fiber expression in Escherichia coli

Kaveh Pouran Yousef, Adam Streck, Christof Schütte et al. · BMC Systems Biology · 2015 · 16 citations · Full text

1–3 of 3