Chong Liu
AuthID: R-00H-5QW
1
TITLE: Validating multiple variants of an automotive light system with Alloy 6 Full Text
AUTHORS: Cunha, Alcino ; Macedo, Nuno ; Liu, Chong;
PUBLISHED: 2024, SOURCE: INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, VOLUME: 26, ISSUE: 3
AUTHORS: Cunha, Alcino ; Macedo, Nuno ; Liu, Chong;
PUBLISHED: 2024, SOURCE: INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, VOLUME: 26, ISSUE: 3
INDEXED IN: 
Scopus 
WOS 
DBLP
Scopus WOS DBLP2
TITLE: Merging cloned Alloy models with colorful refactorings Full Text
AUTHORS: Liu, Chong; Macedo, Nuno ; Cunha, Alcino ;
PUBLISHED: 2022, SOURCE: 23rd Brazilian Symposium on Formal Methods (SBMF) in SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 220
AUTHORS: Liu, Chong; Macedo, Nuno ; Cunha, Alcino ;
PUBLISHED: 2022, SOURCE: 23rd Brazilian Symposium on Formal Methods (SBMF) in SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 220
3
TITLE: Coarse Particulate Air Pollution and Daily Mortality A Global Study in 205 Cities
AUTHORS: 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; ...More
PUBLISHED: 2022, SOURCE: AMERICAN JOURNAL OF RESPIRATORY AND CRITICAL CARE MEDICINE, VOLUME: 206, ISSUE: 8
AUTHORS: 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; ...More
PUBLISHED: 2022, SOURCE: AMERICAN JOURNAL OF RESPIRATORY AND CRITICAL CARE MEDICINE, VOLUME: 206, ISSUE: 8
4
TITLE: Green Ports - Building a Shore Power Load Model for Simulation
AUTHORS: Esteves, Joao; Gouveia, Alexandre; da Silva, Nuno Pinho; Liu, Chang; Qu, Bo; Yang, Ping;
PUBLISHED: 2022, SOURCE: 3rd IEEE International Power and Renewable Energy Conference (IPRECON) in 2022 IEEE INTERNATIONAL POWER AND RENEWABLE ENERGY CONFERENCE, IPRECON
AUTHORS: Esteves, Joao; Gouveia, Alexandre; da Silva, Nuno Pinho; Liu, Chang; Qu, Bo; Yang, Ping;
PUBLISHED: 2022, SOURCE: 3rd IEEE International Power and Renewable Energy Conference (IPRECON) in 2022 IEEE INTERNATIONAL POWER AND RENEWABLE ENERGY CONFERENCE, IPRECON
INDEXED IN: Scopus WOS
Scopus WOS5
TITLE: Validating Multiple Variants of an Automotive Light System with Electrum
AUTHORS: Alcino Cunha ; Nuno Macedo ; Chong Liu;
PUBLISHED: 2020, SOURCE: 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
AUTHORS: Alcino Cunha ; Nuno Macedo ; Chong Liu;
PUBLISHED: 2020, SOURCE: 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
TITLE: Tidying-up the plant nuclear space: domains, functions, and dynamics Full Text
AUTHORS: Ana Paula Santos; Valerie Gaudin; Iva Mozgova; Frederic Pontvianne; Daniel Schubert; Ahmet L Tek; Martina Dvorackova; Chang Liu; Paul Fransz; Stefanie Rosa; Sara Farrona;
PUBLISHED: 2020, SOURCE: JOURNAL OF EXPERIMENTAL BOTANY, VOLUME: 71, ISSUE: 17
AUTHORS: Ana Paula Santos; Valerie Gaudin; Iva Mozgova; Frederic Pontvianne; Daniel Schubert; Ahmet L Tek; Martina Dvorackova; Chang Liu; Paul Fransz; Stefanie Rosa; Sara Farrona;
PUBLISHED: 2020, SOURCE: JOURNAL OF EXPERIMENTAL BOTANY, VOLUME: 71, ISSUE: 17
INDEXED IN: Scopus WOS
Scopus WOS