Follow
Miguel Sozinho Ramalho
Miguel Sozinho Ramalho
Researcher, University of Porto - FEUP
Verified email at fe.up.pt - Homepage
Title
Cited by
Cited by
Year
Aspect composition for multiple target languages using LARA
P Pinto, T Carvalho, J Bispo, MA Ramalho, JMP Cardoso
Computer Languages, Systems & Structures 53, 1-26, 2018
212018
Towards an architecture for smart garbage collection in urban settings
MA Ramalho, RJF Rossetti, N Cacho
2017 International Smart Cities Conference (ISC2), 1-6, 2017
92017
Experiences on teaching alloy with an automated assessment platform
N Macedo, A Cunha, J Pereira, R Carvalho, R Silva, ACR Paiva, ...
International Conference on Rigorous State-Based Methods, 61-77, 2020
82020
Sharing and learning Alloy on the web
N Macedo, A Cunha, J Pereira, R Carvalho, R Silva, ACR Paiva, ...
arXiv preprint arXiv:1907.02275, 2019
42019
Incremental multi-dimensional recommender systems: co-factorization vs tensors
MS Ramalho, J Vinagre, AM Jorge, R Bastos
2nd Workshop on Online Recommender Systems and User Modeling, 21-35, 2019
32019
Experiences on teaching alloy with an automated assessment platform
N Macedo, A Cunha, J Pereira, R Carvalho, R Silva, ACR Paiva, ...
Science of Computer Programming 211, 102690, 2021
12021
MIN_PT: An European Portuguese Lexicon for Minorities Related Terms
P Fortuna, V Cortez, MS Ramalho, L Pérez-Mayos
Proceedings of the 5th Workshop on Online Abuse and Harms (WOAH 2021), 76-80, 2021
12021
SmartGC: a software architecture for garbage collection in smart cities
MS Ramalho, RJF Rossetti, N Cacho, A Souza
International Journal of Bio-Inspired Computation 16 (2), 79-93, 2020
12020
High-level Approaches to Detect Malicious Political Activity on Twitter
MAP dos Santos Sozinho
2020
Constraint Definition in Student Scheduling with Adversarial Behaviour in Mind
MS Ramalho
12th International Conference of the Practice and Theory of Automated …, 2018
2018
The system can't perform the operation now. Try again later.
Articles 1–10