| Reasoning about distributed knowledge of groups with infinitely many agents M Guzmán, S Knight, S Quintero, S Ramírez, C Rueda, FD Valencia CONCUR 2019-30th International Conference on Concurrency Theory 29, 1-29, 2019 | 14 | 2019 |
| 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 | 8 | 2020 |
| 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 |
| Getting past the crisis: Marketing communication of university sustainability SAO Ramírez, ME Sierra Innovar 33 (87), 109-122, 2023 | 3 | 2023 |
| 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 |
| On the antipodes of love and hate: The conception and measurement of brand polarization SAO Ramírez, C Veloutsou, A Morgan-Thomas Journal of Business Research 179, 114687, 2024 | 1 | 2024 |
| Computing Distributed Knowledge as the Greatest Lower Bound of Knowledge C Pinzón, S Quintero, S Ramírez, F Valencia International Conference on Relational and Algebraic Methods in Computer …, 2021 | 1 | 2021 |
| 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 |
| SUPERAR A CRISE: COMUNICAÇÃO DE MARKETING DA SUSTENTABILIDADE UNIVERSITÁRIA SAO Ramírez, ME Sierra Innovar 33 (87), 109-122, 2023 | | 2023 |
| DÉPASSER LA CRISE: LA COMMUNICATION MARKETING DE LA DURABILITÉ DES UNIVERSITÉS SAO Ramírez, ME Sierra Innovar 33 (87), 109-122, 2023 | | 2023 |
| 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 |
| On the Computation of Distributed Knowledge as the Greatest Lower Bound of Knowledge S Quintero, C Pinzón, S Ramírez, F Valencia arXiv preprint arXiv:2210.08128, 2022 | | 2022 |
| Brand Polarization Scale Development: An Abstract SAO Ramírez, C Veloutsou, A Morgan-Thomas Academy of Marketing Science Annual Conference, 293-294, 2022 | | 2022 |
| Getting Past the Crisis: Marketing Communication of University Sustainability [DÉPASSER LA CRISE: LA COMMUNICATION MARKETING DE LA DURABILITÉ DES UNIVERSITÉS][SUPERAR A CRISE … SAO Ramírez, ME Sierra Universidad Nacional de Colombia, 2022 | | 2022 |
| The Usefulness of Brand Polarization to Various Parties: An Abstract SAO Ramírez, C Veloutsou, A Morgan-Thomas Marketing Opportunities and Challenges in a Changing Global Marketplace …, 2020 | | 2020 |
| A Rewriting Logic Approach to Stochastic and Spatial Constraint System Specification and Verification M Romero, S Ramírez, C Rocha, F Valencia arXiv preprint arXiv:1909.03819, 2019 | | 2019 |
Frank D. ValenciaCNRS, École Polytechnique de ParisVerified email at lix.polytechnique.fr
