Producing a Set of Models for the Iron Homeostasis Network

by Nicolas Mobilia, Alexandre Donzé, Jean Marc Moulis, Éric Fanchon
Published 2013-08-01

STL-based analysis of TRAIL-induced apoptosis challenges the notion of type I/type II cell line classification.

by Szymon Stoma, Alexandre Donzé, François Bertaux, Oded Maler, Gregory Batt
Published 2013-01-01

Robustness analysis and behavior discrimination in enzymatic reaction networks.

by Alexandre Donzé, Eric Fanchon, Lucie Martine Gattepaille, Oded Maler, Philippe Tracqui
Published 2011-01-01

A Contract-Based Methodology for Aircraft Electric Power System Design

by Pierluigi Nuzzo, Huan Xu, Necmiye Ozay, John B. Finn, Alberto L. Sangiovanni-Vincentelli, Richard M. Murray, Alexandre Donze, Sanjit A. Seshia
Published 2014-01-01