Nuno Macedo

Alcino Cunha	grad student		HASLab, Universidade do Porto and INESC TEC
José Nuno Oliveira	grad student		HASLab, Universidade do Minho and INESC TEC

grad student

You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.
Macedo N, Cunha A, Pereira J, et al. (2021) Experiences on teaching alloy with an automated assessment platform Science of Computer Programming. 211: 102690
Brunel J, Chemouil D, Cunha A, et al. (2019) Simulation under Arbitrary Temporal Logic Constraints Electronic Proceedings in Theoretical Computer Science. 310: 63-69
Cunha A, Macedo N. (2019) Validating the Hybrid ERTMS/ETCS Level 3 concept with Electrum International Journal On Software Tools For Technology Transfer. 22: 281-296
Couto R, Campos JC, Macedo N, et al. (2018) Improving the Visualization of Alloy Instances Electronic Proceedings in Theoretical Computer Science. 284: 37-52
Almeida JB, Cunha A, Macedo N, et al. (2018) Teaching how to program using automated assessment and functional glossy games (experience report) Proceedings of the Acm On Programming Languages. 2: 1-17
Macedo N, Jorge T, Cunha A. (2017) A Feature-Based Classification of Model Repair Approaches Ieee Transactions On Software Engineering. 43: 615-640
Mendes Moreira J, Cunha A, Macedo N. (2015) An ORCID based synchronization framework for a national CRIS ecosystem. F1000research. 4: 181
Macedo N, Cunha A. (2014) Least-change bidirectional model transformation with QVT-R and ATL Software & Systems Modeling. 15: 783-810