Pascal and Francis Bibliographic Databases

Help

Search results

Your search

au.\*:("NIELSON F")

Document Type [dt]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Publication Year[py]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Discipline (document) [di]

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Author Country

A-Z Z-A Frequency ↓ Frequency ↑
Export in CSV

Results 1 to 25 of 40

  • Page / 2

Export

Selection :

  • and

A DENOTATIONAL FRAMEWORK FOR DATA FLOW ANALYSISNIELSON F.1983; ACTA INFORMATICA; ISSN 0001-5903; DEU; DA. 1983; VOL. 18; NO 3; PP. 265-287; BIBL. 15 REF.Article

Perspectives on program analysisNIELSON, F.SIGPLAN notices. 1997, Vol 32, Num 1, pp 89-91, issn 0362-1340Article

Annotated type and effect systemsNIELSON, F.ACM computing surveys. 1996, Vol 28, Num 2, pp 344-345, issn 0360-0300Conference Paper

Two-level semantics and abstract interpretationNIELSON, F.Theoretical computer science. 1989, Vol 69, Num 2, pp 117-242, issn 0304-3975Article

Program transformations in a denotational settingNIELSON, F.ACM transactions on programming languages and systems. 1985, Vol 7, Num 3, pp 359-379, issn 0164-0925Article

Strictness analysis and denotational abstract interpretationNIELSON, F.Information and computation (Print). 1988, Vol 76, Num 1, pp 29-92, issn 0890-5401Article

CELL MEDIATED LYMPHOLYSIS IN MAN. THE IMPACT OF HLA-C ANTIGENSGRUNNET N; KRISTENSEN T; KISSMEYER NIELSON F et al.1976; TISSUE ANTIGENS; DENM.; DA. 1976; VOL. 7; NO 5; PP. 301-309; BIBL. 1 P. 1/2Article

Copper-based catalysts for synthesis of methylamines : the effect of the metal and the role of the supportRIBEIRO, Nielson F. P; HENRIQUES, Cristiane A; SCHMAL, Martin et al.Catalysis letters. 2005, Vol 104, Num 3-4, pp 111-119, issn 1011-372X, 9 p.Article

Two-level semantics and code generationNIELSON, F; NIELSON, H. R.Theoretical computer science. 1988, Vol 56, Num 1, pp 59-133, issn 0304-3975Article

Automatic binding time analysis for a typed λ-calculusNIELSON, H. R; NIELSON, F.Science of computer programming. 1988, Vol 10, Num 2, pp 139-176, issn 0167-6423Article

Synthesis and characterization of Pt/Fe―Zr catalysts for the CO selective oxidationSCHMAL, Martin; SCHEUNEMANN, Ricardo; RIBEIRO, Nielson F. P et al.Applied catalysis. A, General (Print). 2011, Vol 392, Num 1-2, pp 1-10, issn 0926-860X, 10 p.Article

Structural Transformation of Cu-Mg-Al Mixed Oxide Catalysts Derived from Hydrotalcites During Shift ReactionFERREIRA, Killian A; RIBEIRO, Nielson F. P; SOUZA, Mariana M. V. M et al.Catalysis letters. 2009, Vol 132, Num 1-2, pp 58-63, issn 1011-372X, 6 p.Article

Combustion synthesis of copper catalysts for selective CO oxidationRIBEIRO, Nielson F. P; SOUZA, Mariana M. V. M; SCHMAL, Martin et al.Journal of power sources. 2008, Vol 179, Num 1, pp 329-334, issn 0378-7753, 6 p.Article

Influence of the support in selective CO oxidation on Pt catalysts for fuel cell applicationsSOUZA, Mariana M. V. M; RIBEIRO, Nielson F. P; SCHMAL, Martin et al.International journal of hydrogen energy. 2007, Vol 32, Num 3, pp 425-429, issn 0360-3199, 5 p.Article

Interprocedural Control flow AnalysisNIELSON, F; NIELSON, H. R.Lecture notes in computer science. 1999, pp 20-39, issn 0302-9743, isbn 3-540-65699-5Conference Paper

Flow logics for constraint based analysisNIELSON, H. R; NIELSON, F.Lecture notes in computer science. 1998, pp 109-127, issn 0302-9743, isbn 3-540-64304-4Conference Paper

The tensor product in Wadler's analysis of listsNIELSON, F; NIELSON, H. R.Science of computer programming. 1994, Vol 22, Num 3, pp 327-354, issn 0167-6423Conference Paper

Biodiesel production from soybean oil and methanol using hydrotalcites as catalystSILVA, Carla Cristina C. M; RIBEIRO, Nielson F. P; SOUZA, Mariana M. V. M et al.Fuel processing technology. 2010, Vol 91, Num 2, pp 205-210, issn 0378-3820, 6 p.Article

Synthesis of NiAl2O4 with high surface area as precursor of Ni nanoparticles for hydrogen productionRIBEIRO, Nielson F. P; NETO, Raimundo C. R; MOYA, Silvia F et al.International journal of hydrogen energy. 2010, Vol 35, Num 21, pp 11725-11732, issn 0360-3199, 8 p.Article

Investigating the microstructure and catalytic properties of Ni/YSZ cermets as anodes for SOFC applicationsRIBEIRO, Nielson F. P; SOUZA, Mariana M. V. M; MACEDO, Octavio R et al.Applied catalysis. A, General (Print). 2009, Vol 353, Num 2, pp 305-309, issn 0926-860X, 5 p.Article

Steam reforming of model gasification tar compounds over nickel catalysts prepared from hydrotalcite precursorsJOSUINKAS, Fernanda M; QUITETE, Cristina P. B; RIBEIRO, Nielson F. P et al.Fuel processing technology. 2014, Vol 121, pp 76-82, issn 0378-3820, 7 p.Article

Influence of the synthesis method on the porosity, microstructure and electrical properties of La0.7Sr0.3MnO3 cathode materialsDA CONCEICAO, Leandro; SILVA, Camila R. B; RIBEIRO, Nielson F. P et al.Materials characterization. 2009, Vol 60, Num 12, pp 1417-1423, issn 1044-5803, 7 p.Article

Production of renewable hydrogen by aqueous-phase reforming of glycerol over Ni―Cu catalysts derived from hydrotalcite precursorsTUZA, Pablo V; MANFRO, Robinson L; RIBEIRO, Nielson F. P et al.Renewable energy. 2013, Vol 50, pp 408-414, issn 0960-1481, 7 p.Article

Selective CO oxidation in the presence of H2 over Pt and Pt-Sn catalysts supported on niobiaMARQUES, Priscila; RIBEIRO, Nielson F. P; SCHMAL, Martin et al.Journal of power sources. 2006, Vol 158, Num 1, pp 504-508, issn 0378-7753, 5 p.Article

Removal of boron from oilfield wastewater via adsorption with synthetic layered double hydroxidesDELAZARE, Thais; FERREIRA, Letícia P; RIBEIRO, Nielson F. P et al.Journal of environmental science and health. Part A, Toxic/hazardous substances & environmental engineering. 2014, Vol 49, Num 7-8, pp 923-932, issn 1093-4529, 10 p.Article

  • Page / 2