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
References: 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
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
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