Fusion in Coq (479 views)
Lecture Notes In Computer Science (ISSN: 0302-9743, 0302-974335404636319783540463634, 0302-974335402975459783540297543), 2001; 2178LNCS: 583-596.
Export to BibTeX Export to EndNote
Paper type: Journal Article,
Impact factor: 0.415, 5-year impact factor: 0
Url: http://www.scopus.com/inward/record.url?eid=2-s2.0-35048815731&partnerID=40&md5=ae158650a437b6e54cf1d735c1667b8a
Keywords: 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,
Affiliations:
*** 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
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
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
Lecture Notes In Computer Science (ISSN: 0302-9743, 0302-974335404636319783540463634, 0302-974335402975459783540297543), 2001; 2178LNCS: 583-596.
Export to BibTeX Export to EndNote
Paper type: Journal Article,
Impact factor: 0.415, 5-year impact factor: 0
Url: http://www.scopus.com/inward/record.url?eid=2-s2.0-35048815731&partnerID=40&md5=ae158650a437b6e54cf1d735c1667b8a
Keywords: 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,
Affiliations:
*** 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
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
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 in Coq
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.
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.
Fusion in Coq
No results. |
Fusion in Coq
Other filter: ([btitle,keywords] "Constructive Proof" ...
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 (507 views)
Stroke (ISSN: 0039-2499), 2001 Sep; 32(9): 2049-2054.
Impact Factor: 5.33
View Export to BibTeX Export to EndNote
* Diffusion tensor imaging study of subcortical gray matter in CADASIL (507 views)
Stroke (ISSN: 0039-2499), 2001 Sep; 32(9): 2049-2054.
Impact Factor: 5.33
View Export to BibTeX Export to EndNote
1 Records (1 excluding Abstracts).
Total impact factor: 5.33 (5.33 excluding Abstracts).
Total 5 year impact factor: 6.757 (6.757 excluding Abstracts).
Total impact factor: 5.33 (5.33 excluding Abstracts).
Total 5 year impact factor: 6.757 (6.757 excluding Abstracts).
479 views. Last view on Saturday 14 January 2023, 17:47:16
ibb.cnr.it
