Chong Liu
AuthID: R-00H-5QW
1
TÃTULO: Validating multiple variants of an automotive light system with Alloy 6 Full Text
AUTORES: Cunha, Alcino ; Macedo, Nuno ; Liu, Chong;
PUBLICAÇÃO: 2024, FONTE: INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, VOLUME: 26, NÚMERO: 3
AUTORES: Cunha, Alcino ; Macedo, Nuno ; Liu, Chong;
PUBLICAÇÃO: 2024, FONTE: INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, VOLUME: 26, NÚMERO: 3
INDEXADO EM: 
Scopus 
WOS 
DBLP
Scopus WOS DBLP2
TÃTULO: Merging cloned Alloy models with colorful refactorings Full Text
AUTORES: Liu, Chong; Macedo, Nuno ; Cunha, Alcino ;
PUBLICAÇÃO: 2022, FONTE: 23rd Brazilian Symposium on Formal Methods (SBMF) in SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 220
AUTORES: Liu, Chong; Macedo, Nuno ; Cunha, Alcino ;
PUBLICAÇÃO: 2022, FONTE: 23rd Brazilian Symposium on Formal Methods (SBMF) in SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 220
3
TÃTULO: Coarse Particulate Air Pollution and Daily Mortality A Global Study in 205 Cities
AUTORES: Liu, Cong; Cai, Jing; Chen, Renjie; Sera, Francesco; Guo, Yuming; Tong, Shilu; Li, Shanshan; Lavigne, Eric; Matus Correa, Patricia; Valdes Ortega, Nicolas; Orru, Hans; Maasikmets, Marek; Jaakkola, Jouni J. K.; Ryti, Niilo; Breitner, Susanne; Schneider, Alexandra; Katsouyanni, Klea; Samoli, Evangelia; Hashizume, Masahiro; Honda, Yasushi; ...Mais
PUBLICAÇÃO: 2022, FONTE: AMERICAN JOURNAL OF RESPIRATORY AND CRITICAL CARE MEDICINE, VOLUME: 206, NÚMERO: 8
AUTORES: Liu, Cong; Cai, Jing; Chen, Renjie; Sera, Francesco; Guo, Yuming; Tong, Shilu; Li, Shanshan; Lavigne, Eric; Matus Correa, Patricia; Valdes Ortega, Nicolas; Orru, Hans; Maasikmets, Marek; Jaakkola, Jouni J. K.; Ryti, Niilo; Breitner, Susanne; Schneider, Alexandra; Katsouyanni, Klea; Samoli, Evangelia; Hashizume, Masahiro; Honda, Yasushi; ...Mais
PUBLICAÇÃO: 2022, FONTE: AMERICAN JOURNAL OF RESPIRATORY AND CRITICAL CARE MEDICINE, VOLUME: 206, NÚMERO: 8
4
TÃTULO: Green Ports - Building a Shore Power Load Model for Simulation
AUTORES: Esteves, Joao; Gouveia, Alexandre; da Silva, Nuno Pinho; Liu, Chang; Qu, Bo; Yang, Ping;
PUBLICAÇÃO: 2022, FONTE: 3rd IEEE International Power and Renewable Energy Conference (IPRECON) in 2022 IEEE INTERNATIONAL POWER AND RENEWABLE ENERGY CONFERENCE, IPRECON
AUTORES: Esteves, Joao; Gouveia, Alexandre; da Silva, Nuno Pinho; Liu, Chang; Qu, Bo; Yang, Ping;
PUBLICAÇÃO: 2022, FONTE: 3rd IEEE International Power and Renewable Energy Conference (IPRECON) in 2022 IEEE INTERNATIONAL POWER AND RENEWABLE ENERGY CONFERENCE, IPRECON
INDEXADO EM: Scopus WOS
Scopus WOS5
TÃTULO: Validating Multiple Variants of an Automotive Light System with Electrum
AUTORES: Alcino Cunha ; Nuno Macedo ; Chong Liu;
PUBLICAÇÃO: 2020, FONTE: 7th International Conference on Rigorous State-Based Methods, ABZ 2020 in Rigorous State-Based Methods - 7th International Conference, ABZ 2020, Ulm, Germany, May 27-29, 2020, Proceedings, VOLUME: 12071
AUTORES: Alcino Cunha ; Nuno Macedo ; Chong Liu;
PUBLICAÇÃO: 2020, FONTE: 7th International Conference on Rigorous State-Based Methods, ABZ 2020 in Rigorous State-Based Methods - 7th International Conference, ABZ 2020, Ulm, Germany, May 27-29, 2020, Proceedings, VOLUME: 12071
6
TÃTULO: Tidying-up the plant nuclear space: domains, functions, and dynamics Full Text
AUTORES: Ana Paula Santos; Valerie Gaudin; Iva Mozgova; Frederic Pontvianne; Daniel Schubert; Ahmet L Tek; Martina Dvorackova; Chang Liu; Paul Fransz; Stefanie Rosa; Sara Farrona;
PUBLICAÇÃO: 2020, FONTE: JOURNAL OF EXPERIMENTAL BOTANY, VOLUME: 71, NÚMERO: 17
AUTORES: Ana Paula Santos; Valerie Gaudin; Iva Mozgova; Frederic Pontvianne; Daniel Schubert; Ahmet L Tek; Martina Dvorackova; Chang Liu; Paul Fransz; Stefanie Rosa; Sara Farrona;
PUBLICAÇÃO: 2020, FONTE: JOURNAL OF EXPERIMENTAL BOTANY, VOLUME: 71, NÚMERO: 17
INDEXADO EM: Scopus WOS
Scopus WOS