| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| An approach to Fuzzy clustering of the iris petals by using Ac-means NES Guitiérrez, SAV Ramírez, JS Méndez | | |
Frank D. ValenciaCNRS, École Polytechnique de ParisVerified email at lix.polytechnique.fr
