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
122018
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
42017
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
32019
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
22020
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
22019
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–8