publicações selecionadas
-
artigo académico
- Palipocus: The Use of POCUS in the Palliative Care Setting 2022
- PT-CRIS: Um miradouro sobre o universo científico nacional 2015
- Structural alignment of plain text books. Lrec 2012 - Eighth International Conference on Language Resources and Evaluation. 2012
-
artigo de conferência
- The High-Assurance ROS Framework 2021
- Verification of system-wide safety properties of ROS applications. IEEE International Conference on Intelligent Robots and Systems. 2020
- Static-Time Extraction and Analysis of the ROS Computation Graph 2019
- Ontology-Based Meta-model for Hybrid Collaborative Scheduling. AI Communications. 2018
- Property-Based Testing for the Robot Operating System 2018
- PT-CRIS: Um miradouro sobre o universo científico nacional 2015
- Bigorna : a toolkit for orthography migration challenges 2010
- Agile, a structured editor, analyzer, metric evaluator, and transformer for attribute grammars 2010
- Bigorna - A toolkit for orthography migration challenges 2010
-
artigo de revista
- Analysis of a Collaborative Scheduling Model Applied in a Job Shop Manufacturing Environment. Machines. 2022
- Leaves and decoction of Juglans regia L.: Different performances regarding bioactive compounds and in vitro antioxidant and antitumor effects. Dyes and Pigments. 2013
- Oued Bouhlou: A new hope for the Moroccan pearl mussel. Aquatic Conservation: Marine and Freshwater Ecosystems.
-
capítulo de livro
-
documento
-
livro