Implementation Compliance of Microservices Architectural Patterns: An approach based on Event-B Formal Specifications and Model-Based Testing

Aproximación a la determinación de la calidad de agua en cuencas hidrográficas de Uruguay mediante el uso de índices de estado trófico e isótopos estables en Limnoperna fortunei

Evaluación del uso de sensores remotos para la identificación de oil seeps en áreas offshore de la República Oriental del Uruguay

Diatomeas Bentónicas como indicadores de gradientes ambientales asociados a actividades antrópicas en arroyos de la cuenca del Río Negro