Home Ricerca Sedi Chi siamo Organigramma Personale Contatti Didattica Login Documenti EN
Progetti in evidenza
INCIPIT
(Link esterno)

ISTAPCA
(1209 visite)

Fondo Europeo Pesca
(622 visite)

Euro-BioImaging
(Link esterno)

Fondazione Veronesi
(Link esterno)

LightDyNAmics
(1094 visite)

 INMiND
(1186 visite)

Instruct-IT
(Link esterno)

 PRIN
(1329 visite)

 eHealthNet
(1090 visite)

Ponrec
(1028 visite)

MFAG Grant
(1134 visite)

MERIT
(Link esterno)


Collegamenti

Contiene: [X]      Estesa     Autori: [X]  Tipo di lavoro: [X]
Data iniziale: Data finale: [X]      Sede: Affiliazione IBB     
    
[Pulisci modulo]


Fusion in Coq (107 visite)

Vitiello M, Finamore E, Falanga A, Raieta K, Cantisani M, Galdiero F, Pedone C, Galdiero M, Galdiero S

Lecture Notes In Computer Science (ISSN: 0302-9743, 0302-974335404636319783540463634, 0302-974335402975459783540297543), 2001; 2178LNCS: 583-596.



Tipo di articolo: Journal Article,

Impact factor: 0.415, Impact factor a 5 anni: 0

Url: http://www.scopus.com/inward/record.url?eid=2-s2.0-35048815731&partnerID=40&md5=ae158650a437b6e54cf1d735c1667b8a

Parole chiave: Constructive Proof, Dependent Types, Generalisation, Inductive-Type, Morphisms, Optimisations, Parametric Polymorphism, Recursive Types, Artificial Intelligence, Computer Science, System Theory, Beta Interferon, Cell Surface Protein, Immunoglobulin Enhancer Binding Protein, Interleukin 10, Mitogen Activated Protein Kinase, Virus Fusion Protein, Article, Cell Membrane, Controlled Study, Cytokine Production, Enzyme Linked Immunosorbent Assay, Filoviridae, Flavivirus, Human, Human Cell, Immunoprecipitation, In Vitro Study, Nonhuman, Orthomyxovirus, Paramyxovirus, Priority Journal, Protein Domain, Protein Interaction, Protein Phosphorylation, Protein Synthesis, Retrovirus, Rhabdovirus, Signal Transduction, Solid Phase Synthesis, Src Homology Domain, Strain Difference, Togavirus, Virus Entry, Virus Strain, Western Blotting, Cell Line, Enzyme-Linked Immunosorbent Assay, Host-Pathogen Interactions, Interferon-Beta, Interleukin-10, Monocytes, Transcriptional Activation, Viral Fusion Proteins,

Affiliazioni:

*** IBB - CNR ***
LFCIA, Dpt. of Computer Science, University of A Coruna, 15071 A Coruna, Spain
IES Carballo Calero, Avda. Castelao, 15406 Ferrol, Spain, Spain
Department of Experimental Medicine, Section of Microbiology and Clinical Microbiology, Second University of Naples, IT-80138 Naples, Italy
Department of Biological Sciences, University of Naples 'Federico II', Institute of Biostructures and Bioimaging, Naples, Italy



Riferimenti:

Arbib, M.A., Manes, E.G., Algebraic approaches to program semantics (1986) The AKM Series in Theoretical Computer Science, , Springer-Verla

Dowek, G., Felty, A., Herbelin, H., Huet, G., Murty, C., Parent, C., Paulin-Mohring, C., Werner, B., (1993) The Coq Proof Assistant User's Guide, , Technical Report 134, INRIA

Erwig, M., Categorical programming with abstract data types (1998) AMAST'98, LNCS 1548, , Springer-Verlag

Freire, J.L., Blanco, A., A. on the abstraction process (1996) Brain Processes, Theories and Models, , MIT Press

Freire, E., Freire, L., Blanco, A.J., Dialgebras in high order programming (1999) Proc. of International Conference on Wiener's Cybernetics: 50 Years of Evolution, , Las Palmas

Gibbons, J., (1994) An Introduction to the Bird-Meertens Formalism, , Technical Report, University of Auckland

Gordon, M.J., Milner, A.J., Wadsworth, C.P., Edinburgh LCF: Mechanised Logic of Computation. LNCS

Greiner, J., (1992) Programming with Inductive and Coinductive Types, , CMU-CS-92-109

Howard, W., The formulae-as-type notion of construction (1980) Essays in Combinatory Logic, Lambda Calculus and Formalism, , H.B.Curry. Academic Press

Meijer, E., Fokkinga, M.M., Paterson, R., Functional programming with bananas lenses, envelopes and barbed wire (1991) FPCA91LNCS 523, , Springer-Verlag

Pauling-mohring, C., Inductive definitions in the system coq-rules and properties (1993) LNCS 664, , Springer-Verlag

Ahmad, R., Ennaciri, J., Cordeiro, P., El Bassam, S., Menezes, J., Herpes simplex virus-1 up-regulates IL-15 gene expression in monocytic cells through the activation of protein tyrosine kinase and PKC zeta/lambda signaling pathways (2007) J. Mol. Biol., 367, pp. 25-3

Azran-Shaish, I., Tabakin-Fix, Y., Huleihel, M., Bakhanashvili, M., Aboud, M., HTLV-1 tax-induced NF-kappaB activation is synergistically enhanced by 12-O-tetradecanoylphorbol-13-acetate: Mechanism and implications for Tax oncogenicity (2008) J. Mol. Med., 86, pp. 799-814

Basbous, J., Arpin, C., Gaudray, G., Devaux, C.P., Mesnard, J.M., The HBZ factor of human T-cell leukaemia virus type I dimerizes with transcription factors JunB and c-Jun. and modulates their transcriptional activity (2003) J. Biol. Chem., 278, pp. 43620-43627

Cooray, S., The pivotal role of phosphatidylinositol 3-kinase-Akt signal transduction in virus survival (2004) J. Gen. Virol., 85, pp. 1065-1076

Falvo, J.V., Parekh, B.S., Lin, C.H., Fraenkel, E., Maniatis, T., Assembly of a functional beta interferon enhanceosome is dependent on ATF-2-c-jun heterodimer orientation (2000) Mol. Cell. Biol., 20, pp. 4814-4825

Galdiero, M., Tortora, A., Damiano, N., Vitiello, M., Longanella, A., Galdiero, E., Induction of cytokine mRNA expression in U937 cells by Salmonella typhimurium porins is regulated by different phosphorylation pathways (2005) Med. Microbiol. Immunol., 194, pp. 13-23

Harrison, S.C., Viral membrane fusion (2008) Nat. Struct Mol. Biol., 15, pp. 690-698

He, R., Leeson, A., Andonov, A., Li, Y., Bastien, N., Cao, J., Osiowy, C., Li, X., Activation of AP-1 signal transduction pathway by SARS coronavirus nucleocapsid protein (2003) Biochem. Biophys. Res. Commun., 311, pp. 870-876

Heldwein, E.E., Lou, H., Bender, F.C., Cohen, G.H., Eisenberg, R.J., Harrison, S.C., Crystal structure of glycoprotein B from herpes simplex virus 1 (2006) Science, 313, pp. 217-220

Hess, J., Angel, P., Schorpp-Kistner, M., AP-1 subunits: Quarrel and harmony among siblings (2004) J. Cell. Sci., 117, pp. 5965-5973

Hiscott, J., Convergence of the NF-kappaB and IRF pathways in the regulation of the innate antiviral response (2007) Cytokine Growth Factor Rev., 18, pp. 483-490

Huang, C.F., Lin, S.S., Ho, Y.C., Chen, F.L., Yang, C.C., The immune response induced by hepatitis B virus principal antigens (2006) Cell. Mol. Immunol., 3, pp. 97-106

Irshad, M., Khushboo, I., Singh, S., Singh, S., Hepatitis C virus (HCV): A review of immunological aspects (2008) Int. Rev. Immunol., 27, pp. 497-517

Kim, S., Yu, S.S., Lee, I.S., Ohno, S., Yim, J., Kim, S., Kang, H.S., Human cytomegalovirus IE1 protein activates AP-1 through a cellular protein kinase (s) (1999) J. Gen. Virol., 80, pp. 961-969

Kim, S.Y., Kim, J.C., Kim, J.K., Kim, H.J., Lee, H.M., Choi, M.S., Maeng, P.J., Ahn, J.K., Hepatitis B virus X protein enhances NFkappaB activity through cooperating with VBP1 (2008) BMB Rep., 41, pp. 158-163

Kong, X., Juan, H.S., Behera, A., Peeples, M.E., Wu, J., Lockey, R.F., Mohapatra, S.S., ERK-1/2 activity is required for efficient RSV infection (2004) FEBS Lett., 559, pp. 33-38

Laemmli, U.K., Cleavage of structural proteins during the assembly of the head of bacteriophage T4 (1970) Nature, 227, pp. 680-685

Mettling, C., Desmetz, C., Fiser, A.L., Réant, B., Corbeau, P., Lin, Y.L., Galphai protein-dependant extracellular signal-regulated kinase-1/2 activation is required for HIV-1 reverse transcription (2008) AIDS, 22, pp. 1569-1576

Monick, M., Staber, J., Thomas, K., Hunninghake, G., Respiratory syncytial virus infection results in activation of multiple protein kinase C isoforms leading to activation of mitogen-activated protein kinase (2001) J. Immunol., 166, pp. 2681-2687

Monje, P., Marinissen, M.J., Gutkind, J.S., Phosphorylation of the carboxyl-terminal transactivation domain of c-Fos by extracellular signal-regulated kinase mediates the transcriptional activation of AP-1 and cellular transformation induced by platelet-derived growth factor (2003) Mol. Cell. Biol., 23, pp. 7030-7043

Murphy, L.O., Smith, S., Chen, R.H., Fingar, D.C., Blenis, J., Molecular interpretation of ERK signal duration by immediate early gene products (2002) Nat. Cell. Biol., 4, pp. 556-564

O'Garra, A., Barrat, F.J., Castro, A.G., Vicari, A., Hawrylowicz, C., Strategies for use of IL-10 or its antagonists in human disease (2008) Immunol. Rev. Jun, 223, pp. 114-131

Pahl, H.L., Sester, M., Burgert, H.G., Baeuerle, P.A., Activation of transcription factor NF-kappaB by the adenovirus E3/19K protein requires its ER retention (1996) J. Cel L Biol., 132, pp. 511-522

Pleschka, S., RNA viruses and the mitogenic Raf/MEK/ERK signal transduction cascade (2008) Biol. Chem., 389, pp. 1273-1282

Renard, P., Ernest, I., Houbion, A., Art, M., Le Calvez, H., Raes, M., Remacle, J., Development of a sensitive multi-well colorimetric assay for active NFkB (2001) Nucl. Acids Res., 29, pp. E21

Roche, S., Bressanelli, S., Rey, F.A., Gaudin, Y., Crystal structure of the low-pH form of the vesicular stomatitis virus glycoprotein G (2006) Science, 313, pp. 187-191

Roche, S., Rey, F.A., Gaudin, Y., Bressanelli, S., Structure of the perfusion form of the vesicular stomatitis virus glycoprotein G (2007) Science, 315, pp. 843-848

Sieczkarski, S.B., Brown, H.A., Whittaker, G.R., Role of protein kinase C betaII in influenza virus entry via late endosomes (2003) J. Virol., 77, pp. 460-469

Smith, C.C., The herpes simplex virus type 2 protein ICP10PK: A master of versatility (2005) Front Biosci., 10, pp. 2820-2831

Sumbayev, V.V., Yasinska, I.M., Role of MAP kinase-dependent apoptotic pathway in innate immune responses and viral infection (2006) Scand. J. Immunol., 63, pp. 391-400

Sun, M., Fuentes, S.M., Timani, K., Sun, D., Murphy, C., Lin, Y., August, A., He, B., Akt plays a critical role in replication of nonsegmented negative-stranded RNA viruses (2008) J. Virol., 82, pp. 105-114

Tanaka, Y., Kanai, F., Ichimura, T., Tateishi, K., Asaoka, Y., Leng, B.G., Zag, A.J., Omata, M., The hepatitis B virus X protein enhances AP-1 activation through interaction with Jab1 (2006) Oncogene, 25, pp. 633-642

Unterstab, G., Ludwig, S., Anton, A., Planz, O., Dauber, B., Krappmann, D., Heins, G., Wolff, T., Viral targeting of the interferon-{beta}-inducing Traf family member-associated NF-{kappa}B activator (TANK)-binding kinase-1 (2005) Proc. Natl. Acad. Sci. USA, 102, pp. 13640-13645

White, J.M., Delos, S.E., Brecher, M., Schornberg, K., Structures and mechanisms of viral membrane fusion proteins: Multiple variations on a common theme (2008) Crit. Rev. Biochem. Mol. Biol., 43, pp. 189-219

Yin, E.T., Galanos, C., Kinsky, S., Bradshaw, R.A., Wessler, S., Lüderitz, O., Sarmiento, M.E., Picogram-sensitive assay for endotoxin: Gelation of Limulus polyphemus blood cell lysate induced by purified lipopolysaccharides and lipid A from gram-negative bacteria (1972) Biochim. Biophys. Acta, 261, pp. 284-289

Zheng, H., Li, L.L., Hu, D.S., Deng, X.Y., Cao, Y., Role of Epstein-Barr virus encoded latent membrane protein 1 in the carcinogenesis of nasopharyngeal carcinoma (2007) Cell. Mol. Immunol., 4, pp. 185-196

Falvo, J. V., Parekh, B. S., Lin, C. H., Fraenkel, E., Maniatis, T., Assembly of a functional beta interferon enhanceosome is dependent on ATF-2-c-jun heterodimer orientation (2000) Mol. Cell. Biol., 20, pp. 4814-4825

Harrison, S. C., Viral membrane fusion (2008) Nat. Struct Mol. Biol., 15, pp. 690-698

Heldwein, E. E., Lou, H., Bender, F. C., Cohen, G. H., Eisenberg, R. J., Harrison, S. C., Crystal structure of glycoprotein B from herpes simplex virus 1 (2006) Science, 313, pp. 217-220

Huang, C. F., Lin, S. S., Ho, Y. C., Chen, F. L., Yang, C. C., The immune response induced by hepatitis B virus principal antigens (2006) Cell. Mol. Immunol., 3, pp. 97-106

Kim, S., Yu, S. S., Lee, I. S., Ohno, S., Yim, J., Kim, S., Kang, H. S., Human cytomegalovirus IE1 protein activates AP-1 through a cellular protein kinase (s) (1999) J. Gen. Virol., 80, pp. 961-969

Kim, S. Y., Kim, J. C., Kim, J. K., Kim, H. J., Lee, H. M., Choi, M. S., Maeng, P. J., Ahn, J. K., Hepatitis B virus X protein enhances NFkappaB activity through cooperating with VBP1 (2008) BMB Rep., 41, pp. 158-163

Kong, X., Juan, H. S., Behera, A., Peeples, M. E., Wu, J., Lockey, R. F., Mohapatra, S. S., ERK-1/2 activity is required for efficient RSV infection (2004) FEBS Lett., 559, pp. 33-38

Laemmli, U. K., Cleavage of structural proteins during the assembly of the head of bacteriophage T4 (1970) Nature, 227, pp. 680-685

Murphy, L. O., Smith, S., Chen, R. H., Fingar, D. C., Blenis, J., Molecular interpretation of ERK signal duration by immediate early gene products (2002) Nat. Cell. Biol., 4, pp. 556-564

Pahl, H. L., Sester, M., Burgert, H. G., Baeuerle, P. A., Activation of transcription factor NF-kappaB by the adenovirus E3/19K protein requires its ER retention (1996) J. Cel L Biol., 132, pp. 511-522

Roche, S., Rey, F. A., Gaudin, Y., Bressanelli, S., Structure of the perfusion form of the vesicular stomatitis virus glycoprotein G (2007) Science, 315, pp. 843-848

Sieczkarski, S. B., Brown, H. A., Whittaker, G. R., Role of protein kinase C betaII in influenza virus entry via late endosomes (2003) J. Virol., 77, pp. 460-469

Smith, C. C., The herpes simplex virus type 2 protein ICP10PK: A master of versatility (2005) Front Biosci., 10, pp. 2820-2831

Sumbayev, V. V., Yasinska, I. M., Role of MAP kinase-dependent apoptotic pathway in innate immune responses and viral infection (2006) Scand. J. Immunol., 63, pp. 391-400

White, J. M., Delos, S. E., Brecher, M., Schornberg, K., Structures and mechanisms of viral membrane fusion proteins: Multiple variations on a common theme (2008) Crit. Rev. Biochem. Mol. Biol., 43, pp. 189-219

Yin, E. T., Galanos, C., Kinsky, S., Bradshaw, R. A., Wessler, S., L deritz, O., Sarmiento, M. E., Picogram-sensitive assay for endotoxin: Gelation of Limulus polyphemus blood cell lysate induced by purified lipopolysaccharides and lipid A from gram-negative bacteria (1972) Biochim. Biophys. Acta, 261, pp. 284-289

Zheng, H., Li, L. L., Hu, D. S., Deng, X. Y., Cao, Y., Role of Epstein-Barr virus encoded latent membrane protein 1 in the carcinogenesis of nasopharyngeal carcinoma (2007) Cell. Mol. Immunol., 4, pp. 185-196



Fusion theorem is a classical result that allows the simplification of the morphisms among homogeneus structures [10]. We present this theorem and some generalizations in the context of the constructive proof assistant tool Coq [2] where we have dependent types and parametric polymorphism. The work is organised as follows: afther the classical interpretation of the fusion law for catamorphisms in a categoric context, examples of fusion for programs defined with recursive types in Coq are analysed and the theorems of corresponding optimisation are shown. Finally, a generalisation of fusion law for inductive types is presented which is applied to a specific case. © 2011 Springer-Verlag Berlin Heidelberg.
Nessun risultato.

Contiene: [X]      Estesa     Autori: [X]  Tipo di lavoro: [X]
Data iniziale: Data finale: [X]      Sede: Affiliazione IBB     
    
[Pulisci modulo]


Colucci-D'Amato L, Cicatiello AE, Reccia MG, Volpicelli F, Severino V, Russo R, Sandomenico A, Doti N, D'Esposito V, Formisano P, Chambery A
* A targeted secretome profiling by multiplexed immunoassay revealed that secreted chemokine ligand 2 (MCP-1/CCL2) affects neural differentiation in mesencephalic neural progenitor cells (155 visite)
Proteomics (ISSN: 1615-9853), 2015 Feb; 15(4): 714-724.
Impact Factor: 4.079
Dettagli    Esporta in BibTeX    Esporta in EndNote

Tornatore L, Sandomenico A, Raimondo D, Low C, Rocci A, Tralau-Stewart C, Capece D, D'Andrea D, Bua M, Boyle E, van Duin M, Zoppoli P, Jaxa-Chamiec A, Thotakura AK, Dyson J, Walker BA, Leonardi A, Chambery A, Driessen C, Sonneveld P, Morgan G, Palumbo A, Tramontano A, Rahemtulla A, Ruvo M, Franzoso G
* Cancer-selective targeting of the NF-kappaB survival pathway with GADD45beta/MKK7 inhibitors (225 visite)
Cancer Cell (ISSN: 1878-3686, 1535-6108), 2014 Oct 13; 26(4): 495-508.
Impact Factor: 23.523
Dettagli    Esporta in BibTeX    Esporta in EndNote

Sorriento D, Fusco A, Ciccarelli M, Rungi A, Anastasio A, Carillo A, Dorn II GW, Trimarco B, Iaccarino G
* Mitochondrial G protein coupled receptor kinase 2 regulates proinflammatory responses in macrophages (109 visite)
Febs Lett (ISSN: 0014-5793, 0014-5793print, 1873-3468electronic), 2013; 587(21): 3487-3494.
Impact Factor: 3.341
Dettagli    Esporta in BibTeX    Esporta in EndNote

Galdiero S, Falanga A, Cantisani M, Tarallo R, della Pepa ME, D'Oriano V, Galdiero M
* Microbe-Host Interactions: Structure and Role of Gram-Negative Bacterial Porins (120 visite)
Curr Protein Pept Sci (ISSN: 1389-2037), 2012 Dec; 13(8): 843-854.
Impact Factor: 2.326
Dettagli    Esporta in BibTeX    Esporta in EndNote

Calabrese V, Cornelius C, Dinkova-Kostova AT, Iavicoli I, Di Paola R, Koverech A, Cuzzocrea S, Rizzarelli E, Calabrese EJ
* Cellular stress responses, hormetic phytochemicals and vitagenes in aging and longevity (171 visite)
Biochim Biophys Acta (ISSN: 0006-3002, 0925-4439, 1570-9639), 2012 May; 1822(5): 753-783.
Impact Factor: 3.733
Dettagli    Esporta in BibTeX    Esporta in EndNote

Vitiello M, Galdiero M, Finamore E, Galdiero S, Galdiero M
* NF-κB as a potential therapeutic target in microbial diseases (117 visite)
Mol Biosyst (ISSN: 1742-206x), 2012; 8(4): 1108-1120.
Impact Factor: 3.35
Dettagli    Esporta in BibTeX    Esporta in EndNote

Cantisani M, Vitiello M, Falanga A, Finamore E, Galdiero M, Galdiero S
* Peptides complementary to the active loop of porin P2 from Haemophilus influenzae modulate its activity (163 visite)
Int J Nanomed (ISSN: 1178-2013, 1176-9114, 1178-2013electronic), 2012; 7: 2361-2371.
Impact Factor: 3.463
Dettagli    Esporta in BibTeX    Esporta in EndNote

Bastianello S, Giugni E, Amato MP, Tola MR, Trojano M, Galletti S, Luccichenti G, Quarantelli M, Picconi O, Patti F, COGIMUS
* Changes In Magnetic Resonance Imaging Disease Measures Over 3 Years In Mildly Disabled Patients With Relapsing-Remitting Multiple Sclerosis Receiving Interferon Beta-1a In The Cognitive Impairment In Multiple Sclerosis (cogimus) Study (96 visite) (PDF 116 visite)
Bmc Neurol (ISSN: 1471-2377), 2011 Oct 14; 11: 125-125.
Impact Factor: 2.167
Dettagli    Esporta in BibTeX    Esporta in EndNote

Palmieri G, Bergamo P, Luini A, Ruvo M, Gogliettino M, Langella E, Saviano M, Hegde RN, Sandomenico A, Rossi M
* Acylpeptide Hydrolase Inhibition as Targeted Strategy to Induce Proteasomal Down-Regulation (160 visite)
Plosone (ISSN: 1932-6203, 1932-6203electronic), 2011 Oct 10; 6(10): N/D-N/D.
Impact Factor: 4.092
Dettagli    Esporta in BibTeX    Esporta in EndNote

Calabrese V, Cornelius C, Cuzzocrea S, Iavicoli I, Rizzarelli E, Calabrese EJ
* Hormesis, cellular stress response and vitagenes as critical determinants in aging and longevity (209 visite)
Molecular Aspects Of Medicine (ISSN: 1872-9452, 0098-2997), 2011 Sep; 32(4-6): 279-304.
Impact Factor: 9.97
Dettagli    Esporta in BibTeX    Esporta in EndNote

Janda E, Palmieri C, Pisano A, Pontoriero M, Iaccino E, Falcone C, Fiume G, Gaspari M, Nevolo M, Di Salle E, Rossi A, De Laurentiis A, Greco A, Di Napoli D, Verheij E, Britti D, Lavecchia L, Quinto I, Scala G
* Btk regulation in human and mouse B cells via protein kinase C phosphorylation of IBtkγ (106 visite)
Blood (ISSN: 0006-4971, 0006-6497, 0390-6078), 2011 Jun 16; 117(24): 6520-6531.
Impact Factor: 9.898
Dettagli    Esporta in BibTeX    Esporta in EndNote

Acampa W, Di Taranto MD, Morgante A, Salvatore B, Evangelista L, Ricci F, Costanzo P, De Sisto E, Filardi PP, Petretta M, Fortunato G, Cuocolo A
* C-reactive protein levels are associated with paraoxonase polymorphism L55M in patients undergoing cardiac SPECT imaging (145 visite)
Scand J Clin Lab Invest (ISSN: 0036-5513, 1502-7686), 2011 May; 71(3): 179-184.
Impact Factor: 1.156
Dettagli    Esporta in BibTeX    Esporta in EndNote

Lanzillo R, Orefice G, Prinster A, Ventrella G, Liuzzi R, Scarano V, Florio C, Vacca G, Brunetti A, Alfano B, Brescia Morra V, Bonavita V
* Predictive factors of neutralizing antibodies development in relapsing-remitting multiple sclerosis patients on interferon Beta-1b therapy (93 visite) (PDF 114 visite)
Neurol Sci (ISSN: 1590-1874, 1590-3478), 2011 Apr; 32(2): 287-292.
Impact Factor: 1.315
Dettagli    Esporta in BibTeX    Esporta in EndNote

Ciccarelli M, Sorriento D, Cipolletta E, Santulli G, Fusco A, Zhou R-H, Eckhart AD, Peppel K, Koch WJ, Trimarco B, Iaccarino G
* Impaired neoangiogenesis in β2-adrenoceptor gene-deficient mice: Restoration by intravascular human β2-adrenoceptor gene transfer and role of NFkB and CREB transcription factors (113 visite)
Br J Pharmacol British Journal Of Pharmacology (ISSN: 0007-1188), 2011; 162(3): 712-721.
Impact Factor: 4.409
Dettagli    Esporta in BibTeX    Esporta in EndNote

Palmieri C, Falcone C, Iaccino E, Tuccillo FM, Gaspari M, Trimboli F, De Laurentiis A, Luberto L, Pontoriero M, Pisano A, Vecchio E, Fierro O, Panico M, Larobina M, Gargiulo S, Costa N, Dal Piaz F, Schiavone M, Arra C, Giudice A,  Palma G, Barbieri A, Quinto I, Scala G
* In vivo targeting and growth inhibition of the A20 murine B-cell lymphoma by an idiotype-specific peptide binder (152 visite)
Blood (ISSN: 0006-4971, 0006-6497, 0390-6078), 2010 Jul 15; 116(2): 226-238.
Impact Factor: 10.558
Dettagli    Esporta in BibTeX    Esporta in EndNote

Lanzillo R, Orefice G, Quarantelli M, Rinaldi C, Prinster A, Ventrella G, Spitaleri D, Lus G, Vacca G, Carotenuto B, Salvatore E, Brunetti A, Tedeschi G, Brescia Morra V
* Atorvastatin combined to interferon to verify the efficacy (ACTIVE) in relapsing-remitting active multiple sclerosis patients: A longitudinal controlled trial of combination therapy (109 visite)
Mult Scler (ISSN: 1352-4585, 1477-0970, 1352-4585linking), 2010 Apr; 16(4): 450-454.
Impact Factor: 4.23
Dettagli    Esporta in BibTeX    Esporta in EndNote

Romano S, D'Angelillo A, Pacelli R, Staibano S, De Luna E, Bisogni R, Eskelinen EL, Mascolo M, Calì G, Arra C, Romano MF
* Role of FK506-binding protein 51 in the control of apoptosis of irradiated melanoma cells (86 visite)
Cell Death Differ (ISSN: 1350-9047, 1476-5403electronic, 1350-9047linking), 2010 Jan; 17(1): 145-157.
Impact Factor: 9.05
Dettagli    Esporta in BibTeX    Esporta in EndNote

Sorriento D, Santulli G, Fusco A, Anastasio A, Trimarco B, Iaccarino G
* Intracardiac injection of AdGRK5-NT reduces left ventricular hypertrophy by inhibiting NF-κB-Dependent hypertrophic gene expression (88 visite)
Hypertensionhypertension (ISSN: 0194-911x), 2010; 56(4): 696-704.
Impact Factor: 6.908
Dettagli    Esporta in BibTeX    Esporta in EndNote

Sorriento D, Iaccarino G, Trimarco B
The role of the transcription factor nuclear factor kappa B in the regulation of cardiac hypertrophy (123 visite)
High Blood Press Cardiovasc Prev High Blood Pressure And Cardiovascular Prevention (ISSN: 1120-9879), 2010; 17(4): 209-217.
Impact Factor: 0
Dettagli    Esporta in BibTeX    Esporta in EndNote

Vitiello M, Finamore E, Falanga A, Raieta K, Cantisani M, Galdiero F, Pedone C, Galdiero M, Galdiero S
* Viral fusion peptides induce several signal transduction pathway activations that are essential for interleukin-10 and beta-interferon production (128 visite)
Intervirology (ISSN: 1423-0100, 0300-5526), 2010; 53(6): 381-389.
Impact Factor: 1.756
Dettagli    Esporta in BibTeX    Esporta in EndNote

Marasco D, Stilo R, Sandomenico A, Monti SM, Tizzano B, De Capua A, Varricchio E, Liguoro D, Zotti T, Formisano S, Ruvo M, Vito P
* Generation And Functional Characterization Of A Bcl10-Inhibitory Peptide That Represses Nf-Kappa B Activation (123 visite)
Biochem J (ISSN: 0264-6021, 1470-8728electronic, 0264-6021linking), 2009 Sep 15; 422(3): 553-561.
Impact Factor: 5.155
Dettagli    Esporta in BibTeX    Esporta in EndNote

Sandomenico A, Monti SM, Sabatella M, De Capua A, Tornatore L, Doti N, Viparelli F, Dathan NA, Pedone C, Ruvo M, Marasco D
* Protein-protein interactions: a simple strategy to identify binding sites and peptide antagonists (124 visite)
Chem Biol Drug Des Chemical Biology And Drug Design (ISSN: 1747-0285, 1747-0277), 2009 May; 73(5): 483-493.
Impact Factor: 2.473
Dettagli    Esporta in BibTeX    Esporta in EndNote

Sorriento D, Campanile A, Santulli G, Leggiero E, Pastore L, Trimarco B, Iaccarino G
* A new synthetic protein, TAT-RH, inhibits tumor growth through the regulation of NFκB activity (110 visite)
Mol Cancermolecular Cancer (ISSN: 1476-4598), 2009; 8: N/D-N/D.
Impact Factor: 4.16
Dettagli    Esporta in BibTeX    Esporta in EndNote

Arpaia P, Clemente F, Manna C, Montenero G
* Automatic modeling based on cultural programming for osseointegration diagnosis (94 visite)
Vols 1 3i2mtc (ISSN: 1091-5281), 2009; N/D: 1278-1283.
Impact Factor: 0
Dettagli    Esporta in BibTeX    Esporta in EndNote

Chiechio S, Zammataro M, Morales ME, Busceti CL, Drago F, Th Gereau RW, Copani A, Nicoletti F
* Epigenetic modulation of mGlu2 receptors by histone deacetylase inhibitors in the treatment of inflammatory pain (109 visite)
Mol Pharmacol (ISSN: 0026-895x), 2009; 75(5): 1014-1020.
Impact Factor: 4.531
Dettagli    Esporta in BibTeX    Esporta in EndNote

Calabrese V, Cornelius C, Mancuso C, Pennisi G, Calafato S, Bellia F, Bates TE, Giuffrida Stella AM, Schapira T, Dinkova Kostova AT, Rizzarelli E
* Cellular stress response: a novel target for chemoprevention and nutritional neuroprotection in aging, neurodegenerative disorders and longevity (297 visite)
Neurochemical Research (ISSN: 1573-6903, 0364-3190), 2008 Dec; 33(12): 2444-2471.
Impact Factor: 2.26
Dettagli    Esporta in BibTeX    Esporta in EndNote

Salvatore B, Acampa W, Evangelista L, Ricci F, Costanzo P, Di Taranto MD, De Falco T, Vassallo S, Petretta M, Fortunato G, Cuocolo A
* Relationship Between Paraoxonase Polymorphisms and Stress-induced Myocardial Ischemia in Patients With Suspected Coronary Artery Disease (78 visite)
Eur J Nucl Med (ISSN: 1619-7070, 1619-7089, 0340-6997), 2008 Oct; 35: N/D-N/D.
Impact Factor: 4.532
Dettagli    Esporta in BibTeX    Esporta in EndNote

Sorriento D, Ciccarelli M, Santulli G, Campanile A, Altobelli GG, Cimini V, Galasso G, Astone D, Piscione F, Pastore L, Trimarco B, Iaccarino G
* The G-protein-coupled receptor kinase 5 inhibits NFκB transcriptional activity by inducing nuclear accumulation of IκBα (97 visite)
Proc Natl Acad Sci U S A (ISSN: 0027-8424, 1091-6490, 0027-8424print), 2008; 105(46): 17818-17823.
Impact Factor: 9.38
Dettagli    Esporta in BibTeX    Esporta in EndNote

Lanzillo R, Prinster A, Scarano V, Liuzzi R, Coppola G, Florio C, Salvatore E, Schiavone V, Brunetti A, Muto M, Orefice G, Alfano B, Bonavita V, Brescia Morra V
* Neuropsychological assessment, quantitative MRI and ApoE gene polymorphisms in a series of MS patients treated with IFN beta-1b (97 visite) (PDF 113 visite)
J Neurol Sci (ISSN: 0022-510x), 2006 Jun 15; 245(1-2): 141-145.
Impact Factor: 2.412
Dettagli    Esporta in BibTeX    Esporta in EndNote

Iaccarino G, Izzo R, Trimarco V, Cipolletta E, Lanni F, Sorriento D, Iovino GL, Rozza F, De Luca N, Priante O, Di Renzo G, Trimarco B
* β 2-Adrenergic receptor polymorphisms and treatment-induced regression of left ventricular hypertrophy in hypertension (100 visite)
Clin Pharmacol Ther Clinical Pharmacology And Therapeutics (ISSN: 0009-9236), 2006; 80(6): 633-645.
Impact Factor: 8.066
Dettagli    Esporta in BibTeX    Esporta in EndNote

Borgatti M, Finotti A, Romanelli A, Saviano M, Bianchi N, Lampronti I, Lambertini E, Penolazzi L, Nastruzzi C, Mischiati C, Piva R, Pedone C, Gambari R
* Peptide nucleic acids (PNA)-DNA chimeras targeting transcription factors as a tool to modify gene expression (132 visite)
Curr Drug Targets (ISSN: 1389-4501), 2004 Nov; 5(8): 735-744.
Impact Factor: 4.104
Dettagli    Esporta in BibTeX    Esporta in EndNote

Mischiati C, Sereni A, Finotti A, Breda L, Cortesi R, Nastruzzi C, Romanelli A, Saviano M, Bianchi N, Pedone C, Borgatti M, Gambari R
* Complexation to cationic microspheres of double-stranded peptide nucleic acid-DNA chimeras exhibiting decoy activity (109 visite)
Journal Of Biomedical Science (ISSN: 1021-7770), 2004 Sep; 11(5): 697-704.
Impact Factor: 1.567
Dettagli    Esporta in BibTeX    Esporta in EndNote

Penolazzi L, Borgatti M, Lambertini E, Mischiati C, Finotti A, Romanelli A, Saviano M, Pedone C, Piva R, Gambari R
* Peptide nucleic acid-DNA decoy chimeras targeting NF-kappa B transcription factors: Induction of apoptosis in human primary osteoclasts (115 visite)
International Journal Of Molecular Medicine (ISSN: 1107-3756), 2004 Sep; 14(2): 145-152.
Impact Factor: 3.19
Dettagli    Esporta in BibTeX    Esporta in EndNote

Galdiero M, Vitiello M, Galdiero S
* Eukaryotic cell signaling and transcriptional activation induced by bacterial porins (117 visite)
Fems Microbiology Letters (ISSN: 0378-1097), 2003 Sep 12; 226(1): 57-64.
Impact Factor: 1.932
Dettagli    Esporta in BibTeX    Esporta in EndNote

Borgatti M, Romanelli A, Saviano M, Pedone C, Lampronti I, Breda L, Nastruzzi C, Bianchi N, Mischiati C, Gambari R
* Resistance of decoy PNA-DNA chimeras to enzymatic degradation in cellular extracts and serum (98 visite)
Oncology Research (ISSN: 0965-0407), 2003; 13(5): 279-287.
Impact Factor: 1.794
Dettagli    Esporta in BibTeX    Esporta in EndNote

Borgatti M, Breda L, Cortesi R, Nastruzzi C, Romanelli A, Saviano M, Bianchi N, Mischiati C, Pedone C, Gambari R
* Cationic Liposomes As Delivery Systems For Double-Stranded Pna-Dna Chimeras Exhibiting Decoy Activity Against Nf-Kappab Transcription Factors (107 visite)
Biochem Pharmacol Biochemical Pharmacology (ISSN: 1873-2968, 0006-2952), 2002 Sep 15; 64(4): 609-616.
Impact Factor: 3.542
Dettagli    Esporta in BibTeX    Esporta in EndNote

Acampa W, He W, di Nuzzo C, Cuocolo A
* Quantification of SPECT myocardial perfusion imaging (83 visite)
J Nucl Cardiol (ISSN: 1071-3581, 1532-6551, 1532-6551electronic), 2002 May; 9(3): 338-342.
Impact Factor: 1.167
Dettagli    Esporta in BibTeX    Esporta in EndNote

Romanelli A, Pedone C, Saviano M, Bianchi N, Borgatti M, Mischiati C, Gambari R
* Molecular interactions between nuclear factor κB (NF-κB) transcription factors and a PNA-DNA chimera mimicking NF-κB binding sites (105 visite)
Eur J Biochem (ISSN: 0014-2956, 0014-2956print, 0014-2956linking), 2001 Dec; 268(23): 6066-6075.
Impact Factor: 2.849
Dettagli    Esporta in BibTeX    Esporta in EndNote

Molko N, Pappata S, Mangin JF, Poupon C, Vahedi K, Jobert A, LeBihan D, Bousser MG, Chabriat H
* Diffusion tensor imaging study of subcortical gray matter in CADASIL (98 visite)
Stroke (ISSN: 0039-2499), 2001 Sep; 32(9): 2049-2054.
Impact Factor: 5.33
Dettagli    Esporta in BibTeX    Esporta in EndNote

Saviano M, Romanelli A, Bucci E, Pedone C, Mischiati C, Bianchi N, Feriotto G, Borgatti M, Gambari R
Computational procedures to explain the different biological activity of DNA/DNA, DNA/PNA and PNA/PNA hybrid molecules mimicking NF-κB binding sites (105 visite)
J Biomol Struct Dyn (ISSN: 0739-1102, 1538-0254electronic), 2000 Dec; 18(3): 353-362.
Impact Factor: 1.826
Dettagli    Esporta in BibTeX    Esporta in EndNote

Renda A, Iovino F, Capasso L, Ricciardelli L, Tammaro V, Acampa W
Radioimmunoguided surgery in colorectal cancer: A 6-year experience with four different technical solutions (95 visite)
Semin Surg Oncol Wiley Liss Inc (ISSN: 8756-0437), 1998 Dec; 15(4): 226-230.
Impact Factor: 1.045
Dettagli    Esporta in BibTeX    Esporta in EndNote



41 Records (38 escludendo Abstract e Conferenze).
Impact factor totale: 180.639 (169.848 escludendo Abstract e Conferenze).
Impact factor a 5 anni totale: 190.155 (178.363 escludendo Abstract e Conferenze).







    Esporta in BibTeX    Esporta in EndNote

Ultima modifica di Marco Comerci in data Thursday 19 March 2015, 16:43:15
107 visite. Ultima visita in data Sunday 30 December 2018, 15:08:52

Webmaster and developer: Marco Comerci
Per problemi e suggerimenti: adminibb.cnr.it
Ultimo aggiornamento: Friday 15 February 2019, 13:06:47