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
INDEXED IN: Scopus WOS DBLP
2
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
INDEXED IN: Scopus WOS DBLP CrossRef Unpaywall
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; Ng, Chris Fook Sheng; Hurtado Diaz, Magali; Cruz Valencia, Cesar De la; Rao, Shilpa; Palomares, Alfonso Diz Lois; da Silva, Susana Pereira; Madureira, Joana; Holobac, Iulian Horia; Fratianni, Simona; Scovronick, Noah; Garland, Rebecca M.; Tobias, Aurelio; Iniguez, Carmen; Forsberg, Bertil; Astrom, Christofer; Vicedo Cabrera, Ana Maria; Ragettli, Martina S.; Guo, Yue Liang Leon; Pan, Shih Chun; Milojevic, Ai; Bell, Michelle L.; Zanobetti, Antonella; Schwartz, Joel; Gasparrini, Antonio; Kan, Haidong; ...More
PUBLISHED: 2022, SOURCE: AMERICAN JOURNAL OF RESPIRATORY AND CRITICAL CARE MEDICINE, VOLUME: 206, ISSUE: 8
INDEXED IN: Scopus WOS CrossRef: 40
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
INDEXED IN: Scopus WOS
5
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
INDEXED IN: Scopus DBLP CrossRef
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
INDEXED IN: Scopus WOS