Sergio Ramírez

Publication Activity (10 Years)

Years Active: 2005-2022
Publications (10 Years): 10

Top Topics

Global Knowledge

Constraint Programming

Top Venues

J. Log. Algebraic Methods Program.

Publications

Santiago Quintero, Carlos Pinzón, Sergio Ramírez, Frank Valencia
On the Computation of Distributed Knowledge as the Greatest Lower Bound of Knowledge. CoRR (2022)
Carlos Pinzón, Santiago Quintero, Sergio Ramírez, Camilo Rueda, Frank Valencia
Counting and Computing Join-Endomorphisms in Lattices (Revisited). CoRR (2022)
Carlos Pinzón, Santiago Quintero, Sergio Ramírez, Frank Valencia
Computing Distributed Knowledge as the Greatest Lower Bound of Knowledge. RAMiCS (2021)
Michell Guzmán, Sophia Knight, Santiago Quintero, Sergio Ramírez, Camilo Rueda, Frank Valencia
Reasoning about distributed information with infinitely many agents. J. Log. Algebraic Methods Program. 121 (2021)
Santiago Quintero, Sergio Ramírez, Camilo Rueda, Frank Valencia
Counting and Computing Join-Endomorphisms in Lattices. RAMiCS (2020)
Michell Guzmán, Sophia Knight, Santiago Quintero, Sergio Ramírez, Camilo Rueda, Frank Valencia
Algebraic Structures from Concurrent Constraint Programming Calculi for Distributed Information in Multi-Agent Systems. CoRR (2020)
Miguel Romero, Sergio Ramírez, Camilo Rocha, Frank Valencia
A Rewriting Logic Approach to Stochastic and Spatial Constraint System Specification and Verification. CoRR (2019)
Michell Guzmán, Sophia Knight, Santiago Quintero, Sergio Ramírez, Camilo Rueda, Frank Valencia
Reasoning About Distributed Knowledge of Groups with Infinitely Many Agents. CONCUR (2019)
Sergio Ramírez, Miguel Romero, Camilo Rocha, Frank Valencia
Real-Time Rewriting Logic Semantics for Spatial Concurrent Constraint Programming. WRLA@ETAPS (2018)
Laëtitia Pierrot, Jean-François Cerisier, Hassina El-Kechaï, Sergio Ramírez, Lucie Pottier
Using a Mixed Analysis Process to Identify the Students' Digital Practices. EC-TEL (2017)
Sergio Ramírez, Tor Johan Mikael Karlsson, Oswaldo Trelles
MAPI: towards the integrated exploitation of bioinformatics Web Services. BMC Bioinform. 12 (2011)
Victoria Martin-Requena, Javier Ríos, Maximiliano García, Sergio Ramírez, Oswaldo Trelles
jORCA: easily integrating bioinformatics Web Services. Bioinform. 26 (4) (2010)
Sergio Ramírez, Antonio Muñoz-Merida, Tor Johan Mikael Karlsson, Maximiliano García, Antonio J. Pérez-Pulido, M. Gonzalo Claros, Oswaldo Trelles
MOWServ: a web client for integration of bioinformatic resources. Nucleic Acids Res. 38 (Web-Server-Issue) (2010)
Sergio Ramírez, Hugo Rosales, Oswaldo Trelles
On-line Distance Learning Platform. WEBIST (3) (2007)
Ismael Navas Delgado, Maria del Mar Rojano-Muñoz, Sergio Ramírez, Antonio J. Pérez-Pulido, Eduardo Andrés León, José Francisco Aldana Montes, Oswaldo Trelles
Intelligent client for integrating bioinformatics services. Bioinform. 22 (1) (2006)
Manuel Hidalgo-Conde, Andrés Rodríguez Moreno, Sergio Ramírez, Oswaldo Trelles
Adaptive Task Scheduling in Computational GRID Environments. EGC (2005)
Sergio Ramírez, E. de Andrés, Ismael Navas Delgado, Antonio J. Pérez-Pulido, José Francisco Aldana Montes, Oswaldo Trelles
Services Integration and Task-scheduling in Bioinformatics Grids. PARCO (2005)