Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 11 di 11
Titolo Data di pubblicazione Autore(i) File
Expression of IP-10 and its receptor CXCR3 in hepatic stellate cells identifies a novel autocrine and paracrine system. 2000 A. Bonacchi; P. Romagnani; R.G. Romanelli; E. Efsen; G. Galli; F. Annunziato; C. Mavilia; G. Laffi; P. Gentilini; F. Marra.
CXCR3-binding chemokines as survival factors in human hepatic stellate cells. 2001 A. Bonacchi; R.G. Romanelli; P. Romagnani; G. Laffi; M. Pinzani; P. Gentilini; F. Marra.
Differential requirement of members of the MAPK family for CCL2 expression by hepatic stellate cells 2004 Marra F; Delogu W; Petrai I; Pastacaldi S; Bonacchi A; Efsen E; Aleffi S; Bertolani C; Pinzani M; Gentilini P
Overexpression of Bcl-2 by activated human hepatic stellate cells: resistance to apoptosis as a mechanism of progressive hepatic fibrogenesis in humans. 2006 NOVO E; MARRA F; ZAMARA E; VALFRE DI BONZO L; MONITILLO L; CANNITO S; PETRAI I; MAZZOCCA A; BONACCHI A; DE FRANCO RS; COLOMBATTO S; AUTELLI R; M. PINZANI; PAROLA M
Thrombopoietin stimulates migration and activates multiple signaling pathways in hepatoblastoma cells. 2006 Romanelli RG; Petrai I; Robino G; Efsen E; Novo E; Bonacchi A; Pagliai G; Grossi A; Parola M; Navari N; Delogu W; Vizzutti F; Rombouts K; Gentilini P; Laffi G; Marra F.
A GUI Testability Problem: A Case Study in the Railway Signaling Domain 2012 Andrea Bonacchi; Alessandro Fantechi; Stefano Bacherini; Matteo Tempestini; Leonardo Cipriani
Formal safety proof: a real case study in a railway interlocking system 2013 Andrea Bonacchi
Validation of Railway Interlocking Systems by Formal Verification, A Case Study 2014 Andrea, Bonacchi; Alessandro, Fantechi; Stefano, Bacherini; Matteo, Tempestini; Leonardo, Cipriani
Validation of Interlocking Systems by Testing their Models 2014 Bonacchi, Andrea; Fantechi, Alessandro
Review of the validation process for critical software applications in railway signalling 2015 Bonacchi, Andrea
Validation process for railway interlocking systems 2016 Bonacchi, A.; Fantechi, A; Bacherini, S.; Tempestini, M.
Mostrati risultati da 1 a 11 di 11
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile