Luis Miguel Rosário da Silva Pinho


AuthID: R-000-9SC

Publicações Confirmadas: 213



31
TÍTULO: Safe Parallelism: Compiler Analysis Techniques for Ada and OpenMP
AUTORES: Royuela, S; Martorell, X; Quinones, E; Pinho, LM ;
PUBLICAÇÃO: 2018, FONTE: 23rd Ada-Europe International Conference on Reliable Software Technologies (Ada-Europe) in RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2018, VOLUME: 10873
INDEXADO EM: Scopus WOS CrossRef: 2 Handle
NO MEU: ORCID | CIÊNCIAVITAE
32
TÍTULO: Timing analysis methodology
AUTORES: Nélis, V; Yomsi, PM; Pinho, LM ;
PUBLICAÇÃO: 2018, FONTE: High-Performance and Time-Predictable Embedded Computing
INDEXADO EM: Scopus Handle
NO MEU: ORCID | CIÊNCIAVITAE
33
TÍTULO: A serious game enhancing social tenants' behavioral change towards energy efficiency
AUTORES: Casals, M; Gangolells, M; Macarulla, M; Fuertes, A; Vimont, V; Pinho, LM ;
PUBLICAÇÃO: 2017, FONTE: 2017 Global Internet of Things Summit, GIoTS 2017 in GIoTS 2017 - Global Internet of Things Summit, Proceedings
INDEXADO EM: Scopus CrossRef: 18
NO MEU: ORCID | CIÊNCIAVITAE
34
TÍTULO: Combining dataflow applications and real-time task sets on multi-core platforms
AUTORES: Ali, HI; Akesson, B; Pinho, LM ;
PUBLICAÇÃO: 2017, FONTE: 20th International Workshop on Software and Compilers for Embedded Systems, SCOPES 2017 in Proceedings of the 20th International Workshop on Software and Compilers for Embedded Systems, SCOPES 2017
INDEXADO EM: Scopus CrossRef Handle
NO MEU: ORCID | CIÊNCIAVITAE
35
TÍTULO: Contract based verification of IEC 61499  Full Text
AUTORES: Lindgren, P; Lindner, M; Pereira, D ; Pinho, LM ;
PUBLICAÇÃO: 2017, FONTE: 14th IEEE International Conference on Industrial Informatics, INDIN 2016 in IEEE International Conference on Industrial Informatics (INDIN)
INDEXADO EM: Scopus CrossRef: 3 Handle
NO MEU: ORCID | CIÊNCIAVITAE
36
TÍTULO: Editorial
AUTORES: Luís Miguel Pinho ;
PUBLICAÇÃO: 2017, FONTE: Ada User Journal, VOLUME: 38, NÚMERO: 2
INDEXADO EM: Scopus
NO MEU: ORCID
37
TÍTULO: Editorial
AUTORES: Pinho, LM ;
PUBLICAÇÃO: 2017, FONTE: Ada User Journal, VOLUME: 38, NÚMERO: 1
INDEXADO EM: Scopus
NO MEU: ORCID
38
TÍTULO: Editorial
AUTORES: Pinho, LM ;
PUBLICAÇÃO: 2017, FONTE: Ada User Journal, VOLUME: 38, NÚMERO: 3
INDEXADO EM: Scopus
NO MEU: ORCID
39
TÍTULO: End-to-End Response Time of IEC 61499 Distributed Applications Over Switched Ethernet
AUTORES: Lindgren, P; Eriksson, J; Lindner, M; Lindner, A; Pereira, D ; Pinho, LM ;
PUBLICAÇÃO: 2017, FONTE: IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, VOLUME: 13, NÚMERO: 1
INDEXADO EM: Scopus WOS CrossRef: 11
NO MEU: ORCID | CIÊNCIAVITAE
40
Página 4 de 22. Total de resultados: 213.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2025 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service