| Control flow analysis for bioambients F Nielson, HR Nielson, C Priami, D Rosa Electronic Notes in Theoretical Computer Science 180 (3), 65-79, 2007 | 58 | 2007 |
| Static analysis for systems biology F Nielson, HR Nielson, C Priami, D Schuch da Rosa University of Trento, 2003 | 32 | 2003 |
| Ten top reasons for systems biology to get into model-driven engineering M Roux-Rouquié, DS da Rosa Proceedings of the 2006 international workshop on Global integrated model …, 2006 | 11 | 2006 |
| A Model-Driven Engineering Perspective on Coding Systems Biology: Proof of Concepts using Transformations to BioAmbients and Analysis. D Schuch-Da-Rosa, M Roux-Rouquié, MN Terrasse, C Priami 7th International Conference on Systems Biology, 2006 | | 2006 |
| A new method towards the formal analysis of large-scale data in systems biology D Schuch-Da-Rosa, M Roux-Rouquié International Conference on Computational Methods in Systems Biology, 2006 | | 2006 |
| UML class hierarchies in bioambients D Schuch-Da-Rosa, M Roux-Rouquié Ingénierie Dirigée par les Modèles (IDM 06), 2006 | | 2006 |
| Ten top reasons for systems biology to get into model-driven engineering DS da Rosa | | 2006 |
| From Systemic Metamodel to Process Algebra via automatic code generator D Schuch-Da-Rosa, M Roux-Rouquié, C Priami Programme interdisciplinaire Complexité du Vivant du CNRS, 2005 | | 2005 |
| BioAmbients and P53: exploring a language for Systems Biology DS da Rosa | | |
CORRADO PRIAMIUniversità di Pisaunipi.it पर सत्यापित ईमेल