Miguel S. Ramalho

According to our database, Miguel S. Ramalho authored at least 6 papers between 2019 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Experiences on teaching alloy with an automated assessment platform.

Nuno Macedo, Alcino Cunha, José Pereira, Renato Carvalho, Ricardo Silva, Ana C. R. Paiva, Miguel Sozinho Ramalho, Daniel Castro Silva

Sci. Comput. Program., 2021

High-level Approaches to Detect Malicious Political Activity on Twitter.

Miguel Sozinho Ramalho

CoRR, 2021

2020

SmartGC: a software architecture for garbage collection in smart cities.

Miguel Sozinho Ramalho, Rosaldo J. F. Rossetti, Nélio Cacho, Arthur Souza

Int. J. Bio Inspired Comput., 2020

Experiences on Teaching Alloy with an Automated Assessment Platform.

Nuno Macedo, Alcino Cunha, José Pereira, Renato Carvalho, Ricardo Silva, Ana C. R. Paiva, Miguel Sozinho Ramalho, Daniel Castro Silva

Proceedings of the Rigorous State-Based Methods - 7th International Conference, 2020

2019

Sharing and Learning Alloy on the Web.

Nuno Macedo, Alcino Cunha, José Pereira, Renato Carvalho, Ricardo Silva, Ana C. R. Paiva, Miguel S. Ramalho, Daniel Castro Silva

CoRR, 2019

Incremental Multi-Dimensional Recommender Systems: Co-Factorization vs Tensors.

Miguel Sozinho Ramalho, João Vinagre, Alípio Mário Jorge, Rafaela Bastos

Proceedings of the 2nd Workshop on Online Recommender Systems and User Modeling, 2019