José Nuno Oliveira, researcher coordinator of the High-Assurance Software Laboratory (HASLab) of INESC TEC and professor at the Department of Informatics of the School of Engineering of the University of Minho, is together with Ana Neri (INESC TEC) and in collaboration with Rui Barbosa, Staff Researcher at the International Iberian […]
Research
47 posts
In the early morning of November 23rd, a landslide occurred in the parish of Palmeira de Faro, Esposende, Braga district, killing a 22-year-old couple. In this context, the ANEPC – National Authority for Emergency and Civil Protection requested support from the University of Minho for technical rescue work and was […]
The study by Paulo Sérgio Almeida, INESC TEC researcher and professor at the University of Minho, focuses on Bloom Filters, a very popular probabilistic data structure in the design of databases, distributed systems, and communication networks. The study, which demonstrates the versatility of partitioned Bloom Filters, was accepted for publication […]
The University of Minho has 57 scientists in the group of the 2% most influential in the world over the last year, 35 of which belong to the School of Engineering, according to a study by Stanford University (USA) and the Elsevier publishing group. The list, called “World’s Top 2% […]
ISIC 2022 took place on September 6-9, in Guimarães. This international conference was rebranded in 2019 by the International Intelligent Construction Technologies Group (IICTG), launched in Guimarães, Portugal, during the 3rd International Conference on Transportation Geotechnics in 2016. ISIC 2022 is the third international ISIC conference, following the first conference […]
Alcino Cunha (Haslab-EEUM) and Nuno Macedo (INESC TEC) contributed to the development of Alloy 6, the latest version of one of the most used specification and analysis platforms for the formal analysis of designs in the early stages of software development. This new version of the language presents new primitives […]
The General Secretariat for Education and Science (SGEC) provides, since March 2022, the IT solution Platform@LOGON, which dematerializes all stages of institutional interface between the SGEC and the institutions of the governmental areas of Science, Technology and Higher Education and Education, related to archive management and requests for technical support […]
The removal efficiency of the virus load responsible for COVID-19 in wastewater treatment processes in WWTP is one of the most relevant conclusions of the SARS Control research project. The consortium responsible for the project, involving the Águas de Portugal Group, the University of Lisbon and the University of Minho […]
InfraCrit Project brings together the School of Engineering of UMinho, UCoimbra and PH Informatics, and should be applicable to situations such as storms and attacks The universities of Minho and Coimbra have joined forces with the company PH Informática to create an intelligent system for the protection and management of […]
Book traces history and challenges of information systems in Portugal The Portuguese Association for Information Systems (APSI), based at the University of Minho, has launched the book “Information Systems – Diagnosis and Perspectives”, with 50 authors summarizing 30 years of teaching and research in this area in Portugal and pointing […]