Author of the publication

A Mathematical Model to Study the Dynamics of Epithelial Cellular Networks.

, , , , , , and . IEEE ACM Trans. Comput. Biol. Bioinform., 9 (6): 1607-1620 (2012)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

On approximation metrics for linear temporal model-checking of stochastic systems., and . HSCC, page 193-202. ACM, (2014)Formula-free finite abstractions for linear temporal verification of stochastic hybrid systems., and . HSCC, page 283-292. ACM, (2013)Formal verification of complex systems: model-based and data-driven methods.. MEMOCODE, page 91-93. ACM, (2017)Reachability Computation for Switching Diffusions: Finite Abstractions with Certifiable and Tuneable Precision., , , , , and . HSCC, page 55-64. ACM, (2017)Versatile spectral methods for point set matching., , , and . Pattern Recognit. Lett., 32 (5): 731-739 (2011)Multiobjective Optimal Control With Safety as a Priority., and . IEEE Trans. Contr. Sys. Techn., 26 (3): 1015-1027 (2018)Probabilistic Reach-Avoid Computation for Partially Degenerate Stochastic Processes., and . IEEE Trans. Automat. Contr., 59 (2): 528-534 (2014)Adaptive and Sequential Gridding Procedures for the Abstraction and Verification of Stochastic Processes., and . SIAM J. Applied Dynamical Systems, 12 (2): 921-956 (2013)Aggregation and Control of Populations of Thermostatically Controlled Loads by Formal Abstractions., and . CoRR, (2013)Stabilization of Discrete-Time Switched Linear Systems: A Control-Lyapunov Function Approach., , and . HSCC, volume 5469 of Lecture Notes in Computer Science, page 411-425. Springer, (2009)