Computational Methods in Systems Biology

Book title Buchtitel

ISBN

978-3-031-15034-0

Editor Herausgeber_in

Petre Ion
Păun Andrei

Publisher Herausgeber

Springer Cham

DOI

10.1007/978-3-031-15034-0

Volume Band

13447

Results 1-5 of 5 (Search time: 0.002 seconds).

RIS EndNote Bibtex Send via email

	Authors / Editors	Title	Type	Issue Date
1	Bartocci, Ezio ; Bortolussi, Luca ; Nenzi, Laura	A Temporal Logic Approach to Modular Design of Synthetic Biological Circuits	Konferenzbeitrag Inproceedings	2013
2	Murthy, Abhishek ; Ariful, Islam ; Bartocci, Ezio ; Cherry, Elizabeth ; Fenton, Flavio H. ; Glimm, James ; Smolka, Scott A. ; Grosu, Radu	Approximate Bisimulations for Sodium Channel Dynamics	Konferenzbeitrag Inproceedings	2012
3	Islam, Md. Ariful ; Byrne, Greg ; Kong, Soonho ; Clarke, Edmund M. ; Cleaveland, Rance ; Fenton, Flavio H. ; Grosu, Radu ; Jones, Paul L. ; Smolka, Scott A.	Bifurcation Analysis of Cardiac Alternans Using $$\delta $$ -Decidability	Konferenzbeitrag Inproceedings	2016
4	Desoeuvres, Aurélien ; Szmolyan, Peter ; Radulescu, Ovidiu ; Petre Ion ; Păun Andrei	Qualitative Dynamics of Chemical Reaction Networks: An Investigation Using Partial Tropical Equilibrations	Inproceedings Konferenzbeitrag	19-Aug-2022
5	Abbas, Houssam ; Rodionova, Alena ; Bartocci, Ezio ; Smolka, Scott A. ; Grosu, Radu	Quantitative Regular Expressions for Arrhythmia Detection Algorithms	Konferenzbeitrag Inproceedings	2017