Computational Methods in Systems Biology

Book title Buchtitel

Publisher Herausgeber

LNCS/Springer

Place of publishing Erscheinungsort

vol. 8130

Series Schriftenreihe

Lecture Notes in Computer Science

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

RIS EndNote Bibtex Send via email

	Author(s)	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	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