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

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

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

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 NiAl₂O₄ 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

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 H₂ 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

Hydrogen production by aqueous-phase reforming of glycerol over nickel catalysts supported on CeO₂MANFRO, Robinson L; DA COSTA, Aline F; RIBEIRO, Nielson F. P et al.Fuel processing technology. 2011, Vol 92, Num 3, pp 330-335, issn 0378-3820, 6 p.Article

Behaviour analysis and safety conditions : A case study in CMLNIELSON, H. R; AMTOFT, T; NIELSON, F et al.Lecture notes in computer science. 1998, pp 255-269, issn 0302-9743, isbn 3-540-64303-6Conference Paper

Static analysis for secrecy and non-interference in networks of processesBODEI, C; DEGANO, P; NIELSON, F et al.Lecture notes in computer science. 2001, pp 27-41, issn 0302-9743, isbn 3-540-42522-5Conference Paper

Control flow analysis for the π-calculusBODEI, C; DEGANO, P; NIELSON, F et al.Lecture notes in computer science. 1998, pp 84-98, issn 0302-9743, isbn 3-540-64896-8Conference Paper

Flow logic for Imperative objectsNIELSON, F; NIELSON, H. R.Lecture notes in computer science. 1998, pp 220-228, issn 0302-9743, isbn 3-540-64827-5Conference Paper

Static Analysis of processes for no read-up and no write-downBODEI, C; DEGANO, P; NIELSON, F et al.Lecture notes in computer science. 1999, pp 120-134, issn 0302-9743, isbn 3-540-65719-3Conference Paper

Autothermal reforming of methane over nickel catalysts prepared from hydrotalcite-like compoundsSOUZA, Mariana M. V. M; RIBEIRO, Nielson F. P; MACEDO NETO, Octavio R et al.Studies in surface science and catalysis. 2007, pp 451-456, issn 0167-2991, isbn 978-0-444-53078-3, 1Vol, 6 p.Conference Paper

Copper-based catalysts prepared from hydrotalcite precursors Hfor shift reaction at low temperaturesSOUZA, Mariana M. V. M; FERREIRA, Killian A; DE MACEDO NETO, Octavio R et al.Catalysis today. 2008, Vol 133-35, pp 750-754, issn 0920-5861, 5 p.Conference Paper