Sergio Ramírez

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