PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Safránek, David"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
On algorithmic analysis of transcriptional regulation by LTL model checking.

, , , , , und . Theor. Comput. Sci., 410 (33-34): 3128-3148 (2009)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Dr. Marie Davidova University of Stuttgart

David Schneider University of Stuttgart

preCICE Distribution Version v2404.0, , , , , , , , , und 14 andere Autor(en). Software, (2024)

Univ. -Prof. Dr. David Remy University of Stuttgart

Periodic Trajectories of Passive One-Legged Hopper, und . Dataset, (2024)Related to: M. Raff, N. Rosa and C. D. Remy, "Connecting Gaits in Energetically Conservative Legged Systems," in IEEE Robotics and Automation Letters, vol. 7, no. 3, pp. 8407-8414, July 2022,. doi: 10.1109/LRA.2022.3186500.

David Briesenick University of Stuttgart

David Inkermann

 

Weitere Publikationen von Autoren mit dem selben Namen

Reachability in Biochemical Dynamical Systems by Quantitative Discrete Approximation, , , und . CoRR, (2011)BioDiVinE: A Framework for Parallel Analysis of Biological Models, , , , , , , und . COMPMOD, Volume 6 von EPTCS, Seite 31-45. (2009)Pithya: A Parallel Tool for Parameter Synthesis of Piecewise Multi-affine Dynamical Systems., , , , und . CAV (1), Volume 10426 von Lecture Notes in Computer Science, Seite 591-598. Springer, (2017)Toward Modelling and Analysis of Transient and Sustained Behaviour of Signalling Pathways., , , , , und . HSB, Volume 9957 von Lecture Notes in Computer Science, Seite 57-66. (2016)Compact Representation of Photosynthesis Dynamics by Rule-based Models (Full Version)., , und . CoRR, (2014)Parameter space abstraction and unfolding semantics of discrete regulatory networks., , , und . Theor. Comput. Sci., (2019)High-performance analysis of biological systems dynamics with the DiVinE model checker., , und . Briefings in Bioinformatics, 11 (3): 301-312 (2010)Parallel parameter synthesis algorithm for hybrid CTL., , , und . Sci. Comput. Program., (2020)Timed Modelling of Gene Networks with Arbitrarily Precise Expression Discretization., , , und . Electron. Notes Theor. Comput. Sci., (2013)Biochemical Space: A Framework for Systemic Annotation of Biological Models., , , , , und . Electron. Notes Theor. Comput. Sci., (2014)