| Reasoning about distributed knowledge of groups with infinitely many agents M Guzmán, S Knight, S Quintero, S Ramírez, C Rueda, F Valencia 30th International Conference on Concurrency Theory (CONCUR 2019), 2019 | 12 | 2019 |
| Formal verification of safety properties for a cache coherence protocol S Ramírez, C Rocha 2015 10th Computing Colombian Conference (10CCC), 9-16, 2015 | 8 | 2015 |
| Counting and computing join-endomorphisms in lattices S Quintero, S Ramirez, C Rueda, F Valencia International Conference on Relational and Algebraic Methods in Computer …, 2020 | 7 | 2020 |
| A Literature Review on Learner Models for MOOC to Support Lifelong Learning. SIR Luelmo, N El Mawas, J Heutte CSEDU (1), 527-539, 2020 | 5 | 2020 |
| Using a mixed analysis process to identify the students’ digital practices L Pierrot, JF Cerisier, H El-Kechaï, S Ramirez, L Pottier Data Driven Approaches in Digital Education: 12th European Conference on …, 2017 | 4 | 2017 |
| Le numérique éducatif à l'école élémentaire en tension entre politiques nationales, politiques locales et logiques d'appropriation par les enseignants É Besneville, C Brillant, M Caesar, JF Cerisier, B Devauchelle, ... Ecoles, territoires et numérique: quelles collaborations? quels apprentissages?, 2019 | 3 | 2019 |
| Analyse des parcours des apprenants du MOOC «La classe inversée à l’ère du numérique». M Slouma, S Ramírez, K Kaldmäe Colloque International Éducation 4.1!, 2019 | 3 | 2019 |
| Machine Learning techniques for Knowledge Tracing: A systematic literature review S Ramirez, N El Mawas, J Heutte Proceedings of the 13th International Conference on Computer Supported …, 2021 | 2 | 2021 |
| Real-Time Rewriting Logic Semantics for Spatial Concurrent Constraint Programming S Ramírez, M Romero, C Rocha, F Valencia Rewriting Logic and Its Applications: 12th International Workshop, WRLA 2018 …, 2018 | 2 | 2018 |
| Towards a Machine Learning flow-predicting model in a MOOC context SI Ramirez Luelmo, N El Mawas, R Bachelet, J Heutte | 1 | 2022 |
| Existing Machine Learning Techniques for Knowledge Tracing: A Review Using the PRISMA Guidelines SI Ramírez Luelmo, N El Mawas, J Heutte International Conference on Computer Supported Education, 73-94, 2022 | 1 | 2022 |
| Reasoning about distributed information with infinitely many agents M Guzmán, S Knight, S Quintero, S Ramírez, C Rueda, F Valencia Journal of Logical and Algebraic Methods in Programming 121, 100674, 2021 | 1 | 2021 |
| Algebraic structures from concurrent constraint programming calculi for distributed information in multi-agent systems M Guzmán, S Knight, S Quintero, S Ramírez, C Rueda, F Valencia arXiv preprint arXiv:2010.10667, 2020 | 1 | 2020 |
| A literature review on Learner Models for MOOC to support Lifelong Learning SI Ramirez Luelmo, N El Mawas, J Heutte Science and Technology Publications, Lda, 2020 | 1 | 2020 |
| Contributions des traces d’activité à l’analyse du comportement des élèves L Pierrot, S Ramírez, JF Cerisier, H El-Kechaï, L Pottier Usages du numérique en éducation, regards critiques, 2018 | 1 | 2018 |
| Intervención psicológica en sujetos durante la reanimación de su parada cardiorrespiratoria AS NAVAJAS, AJ CALVO, RR CALVENTE, EZ PUERTA, ... Clínica y Salud 13 (1), 33-56, 2002 | 1 | 2002 |
| Advances on a Machine Learning flow prediction model in a MOOC SI Ramirez Luelmo, N El Mawas, J Heutte | | 2022 |
| Advances on a Machine Learning flow prediction model in a MOOC S Ramirez, N El Mawas, J Heutte 11th European Flow Researchers Network,(EFRN) meeting, 2022 | | 2022 |
| Counting and Computing Join-Endomorphisms in Lattices (Revisited) C Pinzón, S Quintero, S Ramírez, C Rueda, F Valencia arXiv preprint arXiv:2211.00781, 2022 | | 2022 |
| Optimal experience modelling: detection via Learning Analytics in a Lifelong Learning context SI Ramirez Luelmo, N El Mawas, J Heutte | | 2022 |
