Nicola Bonzanni

According to our database, Nicola Bonzanni authored at least 9 papers between 2007 and 2016.

Collaborative distances:

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

2016

BioASF: a framework for automatically generating executable pathway models specified in BioPAX.

Reza Haydarlou, Annika Jacobsen, Nicola Bonzanni, K. Anton Feenstra, Sanne Abeln, Jaap Heringa

Bioinform., 2016

2014

Petri Nets Are a Biologist's Best Friend.

Nicola Bonzanni, K. Anton Feenstra, Wan J. Fokkink, Jaap Heringa

Proceedings of the Formal Methods in Macro-Biology - First International Conference, 2014

2013

Hard-wired heterogeneity in blood stem cells revealed using a dynamic regulatory network model.

Nicola Bonzanni, Abhishek Garg, K. Anton Feenstra, Judith Schütte, Sarah Kinston, Diego Miranda-Saavedra, Jaap Heringa, Ioannis Xenarios, Berthold Göttgens

Bioinform., 2013

2011

The role of proteosome-mediated proteolysis in modulating potentially harmful transcription factor activity in <i>Saccharomyces cerevisiae</i>.

Nicola Bonzanni, Nianshu Zhang, Stephen G. Oliver, Jasmin Fisher

Bioinform., 2011

2009

Executing multicellular differentiation: quantitative predictive modelling of C.elegans vulval development.

Nicola Bonzanni, Elzbieta Krepska, K. Anton Feenstra, Wan J. Fokkink, Thilo Kielmann, Henri E. Bal, Jaap Heringa

Bioinform., 2009

Executing multicellular differentiation: quantitative predictive modelling of <i>C.elegans</i> vulval development.

Nicola Bonzanni, Elzbieta Krepska, K. Anton Feenstra, Wan J. Fokkink, Thilo Kielmann, Henri E. Bal, Jaap Heringa

Bioinform., 2009

What Can Formal Methods Bring to Systems Biology?

Nicola Bonzanni, K. Anton Feenstra, Wan J. Fokkink, Elzbieta Krepska

Proceedings of the FM 2009: Formal Methods, 2009

2008

Design Issues for Qualitative Modelling of Biological Cells with Petri Nets.

Elzbieta Krepska, Nicola Bonzanni, K. Anton Feenstra, Wan J. Fokkink, Thilo Kielmann, Henri E. Bal, Jaap Heringa

Proceedings of the Formal Methods in Systems Biology, First International Workshop, 2008

2007

Modeling Symport/Antiport P Systems with a Class of Hierarchical Petri Nets.

Luca Bernardinello, Nicola Bonzanni, Marco Mascheroni, Lucia Pomello

Proceedings of the Membrane Computing, 8th International Workshop, 2007