Priami, Corrado
Priami, Corrado
"Computational Methods in Systems Biology" for BioSystems
2004-01-01 Priami, Corrado
"Computational Methods in Systems Biology" for Theoretical Computer Science
2004-01-01 Priami, Corrado
"Security in Global computing" for the International Journal of Information Security
2004-01-01 Priami, Corrado
A BetaWB Model for the NFkB Pathway
2007-01-01 Larcher, Roberto; Ihekwaba, Adaoha; Priami, Corrado
A Biospi Model of Lymphocyte-Endothelial Interactions in Inflamed Brain Venules
2004-01-01 Lecca, Paola; Priami, Corrado; C., Laudanna; G., Constantin
A Bounded-Optimistic, Parallel Beta-Binders Simulator
2008-01-01 S., Leye; A. M., Uhrmacher; Priami, Corrado
A causal semantics for CCS via rewriting logics
2002-01-01 P., Degano; F., Gadducci; Priami, Corrado
A closed-loop multi-level model of glucose homeostasis
2018-01-01 Uluseker, Cansu; Simoni, Giulia; Marchetti, Luca; Dauriz, Marco; Matone, Alice; Priami, Corrado
A Community Challenge for Inferring Genetic Predictors of Gene Essentialities through Analysis of a Functional Screen of Cancer Cell Lines
2017-01-01 Gönen, Mehmet; Weir, Barbara A.; Cowley, Glenn S.; Vazquez, Francisca; Guan, Yuanfang; Jaiswal, Alok; Karasuyama, Masayuki; Uzunangelov, Vladislav; Wang, Tao; Tsherniak, Aviad; Howell, Sara; Marbach, Daniel; Hoff, Bruce; Norman, Thea C.; Airola, Antti; Bivol, Adrian; Bunte, Kerstin; Carlin, Daniel; Chopra, Sahil; Deran, Alden; Ellrott, Kyle; Gopalacharyulu, Peddinti; Graim, Kiley; Kaski, Samuel; Khan, Suleiman A.; Newton, Yulia; Ng, Sam; Pahikkala, Tapio; Paull, Evan; Sokolov, Artem; Tang, Hao; Tang, Jing; Wennerberg, Krister; Xie, Yang; Zhan, Xiaowei; Zhu, Fan; Afsari, Bahman; Airola, Antti; Aittokallio, Tero; Bivol, Adrian; Boehm, Jesse S.; Bunte, Kerstin; Carlin, Daniel; Chang, Yu-Chuan; Chen, Tenghui; Chong, Zechen; Chopra, Sahil; Cowley, Glenn S.; Deran, Alden; Ellrott, Kyle; Elmarakeby, Haitham; Fertig, Elana J.; Gonçalves, Emanuel; Gönen, Mehmet; Gong, Pinghua; Gopalacharyulu, Peddinti; Graim, Kiley; Guan, Yuanfang; Hafemeister, Christoph; Hahn, William C.; Heath, Lenwood; Hoff, Bruce; Howell, Sara; Jaiswal, Alok; Karasuyama, Masayuki; Kaski, Samuel; Kędziorski, Łukasz; Khan, Suleiman A.; Khemka, Niraj; King, Erh-kan; Lauria, Mario; Liu, Mark; Machado, Daniel; Mamitsuka, Hiroshi; Marbach, Daniel; Margolin, Adam A.; Mazurkiewicz, Mateusz; Menden, Michael P.; Migacz, Szymon; Newton, Yulia; Ng, Sam; Nie, Zhi; Norman, Thea C.; Pahikkala, Tapio; Paull, Evan; Praveen, Paurush; Priami, Corrado; Rizzetto, Simone; Rocha, Miguel; Root, David E.; Rudd, Cameron; Rudnicki, Witold R.; Saez-Rodriguez, Julio; Sokolov, Artem; Song, Lei; Stolovitzky, Gustavo; Stuart, Joshua M.; Sun, Duanchen; Szalai, Bence; Tang, Hao; Tang, Jing; Tsherniak, Aviad; Uzunangelov, Vladislav; Vazquez, Francisca; Wang, Tao; Wang, Difei; Weir, Barbara A.; Wennerberg, Krister; Wu, Ling-yun; Xiao, Guanghua; Xie, Yang; Ye, Jieping; Ye, Yuting; Zhan, Xiaowei; Zhou, Wanding; Zhu, Fan; Aittokallio, Tero; Mamitsuka, Hiroshi; Stuart, Joshua M.; Boehm, Jesse S.; Root, David E.; Xiao, Guanghua; Stolovitzky, Gustavo; Hahn, William C.; Margolin, Adam A.
A compact representation of finite state processes
1994-01-01 P., Degano; Priami, Corrado
A comparison of deterministic and stochastic approaches for sensitivity analysis in computational systems biology
2020-01-01 Simoni, G.; Vo, H. T.; Priami, C.; Marchetti, L.
A Decidable Extension of Hennessy-Milner Logic with Spatial Operators
2006-01-01 Mardare, Radu; Priami, Corrado
A Formal and Integrated Framework to Simulate Evolution of Biological Pathways
2007-01-01 Dematte', Lorenzo; Priami, Corrado; Soyer, Orkun; Romanel, Alessandro
A Formal and Integrated Framework to Simulate Evolution of Biological Pathways
2007-01-01 Demattè, Lorenzo; Priami, Corrado; Romanel, Alessandro; O., Soyer
A Formal Language for Computational Systems Biology
2004-01-01 D., Errampalli; Priami, Corrado; Quaglia, Paola
A Formal Language for Computational Systems Biology
2004-01-01 D., Errampalli; Priami, Corrado; Quaglia, Paola
A formal paradigm for multiview distributed debugging environments
1993-01-01 Priami, Corrado; D., Yankelevich
A hybrid stochastic model of folate-mediated one-carbon metabolism: Effect of the common C677T MTHFR variant on de novo thymidylate biosynthesis
2017-01-01 Misselbeck, Karla; Marchetti, Luca; Field, Martha S; Scotti, Marco; Priami, Corrado; Stover, Patrick J.
A logical approach to security in the context of ambient calculus
2004-01-01 R., Mardare; Priami, Corrado
A mathematical theory of programming languages and their implementations
1998-01-01 Priami, Corrado