Manuel Luis de Sousa Matos Lopes
AuthID: R-000-A6Y
11
TITLE: Formal Verification of Safety-Critical User Interfaces: a space system case study
AUTHORS: Manuel Sousa; José Creissac Campos ; Miriam C Bergue Alves; Michael D Harrison ;
PUBLISHED: 2014, SOURCE: 2014 AAAI Spring Symposium in 2014 AAAI Spring Symposia, Stanford University, Palo Alto, California, USA, March 24-26, 2014, VOLUME: SS-14-02
AUTHORS: Manuel Sousa; José Creissac Campos ; Miriam C Bergue Alves; Michael D Harrison ;
PUBLISHED: 2014, SOURCE: 2014 AAAI Spring Symposium in 2014 AAAI Spring Symposia, Stanford University, Palo Alto, California, USA, March 24-26, 2014, VOLUME: SS-14-02
INDEXED IN: 
Scopus 
DBLP
Scopus DBLP12
TITLE: From Molecules to Crystals: The Solvent Plays an Active Role Throughout the Nucleation Pathway of Molecular Organic Crystals Full Text
AUTHORS: Carlos E S Bernardes; Manuel L S M Matos Lopes; Jose R Ascenso; Manuel E M Minas da Piedade;
PUBLISHED: 2014, SOURCE: CRYSTAL GROWTH & DESIGN, VOLUME: 14, ISSUE: 11
AUTHORS: Carlos E S Bernardes; Manuel L S M Matos Lopes; Jose R Ascenso; Manuel E M Minas da Piedade;
PUBLISHED: 2014, SOURCE: CRYSTAL GROWTH & DESIGN, VOLUME: 14, ISSUE: 11
13
TITLE: Current research and future applications of nano- and ionano-fluids Full Text
AUTHORS: Sohel Murshed, SMS ; Nieto de Castro, CAN ; Lourenco, MJV ; Lopes, MLM; Santos, FJV ;
PUBLISHED: 2012, SOURCE: 6th European Thermal Sciences Conference (Eurotherm) in 6TH EUROPEAN THERMAL SCIENCES CONFERENCE (EUROTHERM 2012), VOLUME: 395, ISSUE: 1
AUTHORS: Sohel Murshed, SMS ; Nieto de Castro, CAN ; Lourenco, MJV ; Lopes, MLM; Santos, FJV ;
PUBLISHED: 2012, SOURCE: 6th European Thermal Sciences Conference (Eurotherm) in 6TH EUROPEAN THERMAL SCIENCES CONFERENCE (EUROTHERM 2012), VOLUME: 395, ISSUE: 1
IN MY: 
ResearcherID
ResearcherID14
TITLE: Accurate Measurement of Physicochemical Properties on Ionic Liquids and Molten Salts
AUTHORS: Nunes, VMB; Lourenco, MJV ; Santos, FJV ; Lopes, MLSM; Nieto De Castro, CA ;
PUBLISHED: 2012, SOURCE: Molten Salts and Ionic Liquids: Never the Twain?
AUTHORS: Nunes, VMB; Lourenco, MJV ; Santos, FJV ; Lopes, MLSM; Nieto De Castro, CA ;
PUBLISHED: 2012, SOURCE: Molten Salts and Ionic Liquids: Never the Twain?
15
TITLE: Ionanofluids: New heat transfer fluids for green processes development
AUTHORS: De Castro, CAN; Sohel Murshed, SM ; Lourenço, MJV; Santos, FJV; Lopes, MLM; França, JMP;
PUBLISHED: 2012, SOURCE: Green Solvents I: Properties and Applications in Chemistry
AUTHORS: De Castro, CAN; Sohel Murshed, SM ; Lourenço, MJV; Santos, FJV; Lopes, MLM; França, JMP;
PUBLISHED: 2012, SOURCE: Green Solvents I: Properties and Applications in Chemistry
INDEXED IN: Scopus 
CrossRef
Scopus CrossRef16
TITLE: Superposition of activations of SWI and fMRI acquisitions of the motor cortex
AUTHORS: Matos, M; Secca, MF ; Noseworthy, M;
PUBLISHED: 2010, SOURCE: 12th Mediterranean Conference on Medical and Biological Engineering and Computing, MEDICON 2010 in IFMBE Proceedings, VOLUME: 29
AUTHORS: Matos, M; Secca, MF ; Noseworthy, M;
PUBLISHED: 2010, SOURCE: 12th Mediterranean Conference on Medical and Biological Engineering and Computing, MEDICON 2010 in IFMBE Proceedings, VOLUME: 29
INDEXED IN: Scopus CrossRef
Scopus CrossRef17
TITLE: Influence of Thermophysical Properties of Ionic Liquids in Chemical Process Design † Full Text
AUTHORS: João M P França; Carlos A Nieto de Castro; Manuel Matos Lopes; Valentim M B Nunes;
PUBLISHED: 2009, SOURCE: Journal of Chemical & Engineering Data - J. Chem. Eng. Data, VOLUME: 54, ISSUE: 9
AUTHORS: João M P França; Carlos A Nieto de Castro; Manuel Matos Lopes; Valentim M B Nunes;
PUBLISHED: 2009, SOURCE: Journal of Chemical & Engineering Data - J. Chem. Eng. Data, VOLUME: 54, ISSUE: 9
18
TITLE: Elemental composition of Demospongiae from the eastern Atlantic coastal waters
AUTHORS: Araujo, MF ; Cruz, A; Humanes, M; Lopes, MT; da Silva, JAL; da Silva, JJRF ;
PUBLISHED: 1999, SOURCE: CHEMICAL SPECIATION AND BIOAVAILABILITY, VOLUME: 11, ISSUE: 1
AUTHORS: Araujo, MF ; Cruz, A; Humanes, M; Lopes, MT; da Silva, JAL; da Silva, JJRF ;
PUBLISHED: 1999, SOURCE: CHEMICAL SPECIATION AND BIOAVAILABILITY, VOLUME: 11, ISSUE: 1
INDEXED IN: Scopus WOS
Scopus WOS19
TITLE: Thermal diffusivity and thermal conductivity of toluene by photon correlation spectroscopy: A test of the accuracy of the method
AUTHORS: Kraft, K; Matos Lopes, M; Leipertz, A;
PUBLISHED: 1995, SOURCE: International Journal of Thermophysics - Int J Thermophys, VOLUME: 16, ISSUE: 2
AUTHORS: Kraft, K; Matos Lopes, M; Leipertz, A;
PUBLISHED: 1995, SOURCE: International Journal of Thermophysics - Int J Thermophys, VOLUME: 16, ISSUE: 2
20
TITLE: Mutual diffusivity of a mixture of n-hexane and nitrobenzene near its consolute point
AUTHORS: Matos Lopes, MLS; Nieto de Castro, CA; Sengers, JV;
PUBLISHED: 1992, SOURCE: International Journal of Thermophysics - Int J Thermophys, VOLUME: 13, ISSUE: 2
AUTHORS: Matos Lopes, MLS; Nieto de Castro, CA; Sengers, JV;
PUBLISHED: 1992, SOURCE: International Journal of Thermophysics - Int J Thermophys, VOLUME: 13, ISSUE: 2
