Luis Miguel Rosário da Silva Pinho


AuthID: R-000-9SC

Publicações Confirmadas: 215



31
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: 2 Handle
NO MEU: ORCID
32
TÍTULO: Editorial
AUTORES: Pinho, LM ;
PUBLICAÇÃO: 2017, FONTE: Ada User Journal, VOLUME: 38, NÚMERO: 1
INDEXADO EM: Scopus
NO MEU: ORCID
33
TÍTULO: Editorial
AUTORES: Pinho, LM ;
PUBLICAÇÃO: 2017, FONTE: Ada User Journal, VOLUME: 38, NÚMERO: 3
INDEXADO EM: Scopus
NO MEU: ORCID
34
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
35
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: 10
NO MEU: ORCID | CIÊNCIAVITAE
36
TÍTULO: Erratum to: Optimal minimal routing and priority assignment for priority-preemptive real-time NoCs
AUTORES: Nikolić, B; Pinho, LM ;
PUBLICAÇÃO: 2017, FONTE: Real-Time Systems, VOLUME: 53, NÚMERO: 4
INDEXADO EM: Scopus CrossRef: 1
NO MEU: ORCID
37
38
TÍTULO: OpenMP Tasking Model for Ada: Safety and Correctness
AUTORES: Royuela, Sara; Martorell, Xavier; Quinones, Eduardo; Pinho, Luis Miguel ;
PUBLICAÇÃO: 2017, FONTE: 22nd Ada-Europe International Conference on Reliable Software Technologies (Ada-Europe) in RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2017, VOLUME: 10300
INDEXADO EM: Scopus WOS CrossRef: 7
NO MEU: ORCID | CIÊNCIAVITAE
39
TÍTULO: Optimal minimal routing and priority assignment for priority-preemptive real-time NoCs  Full Text
AUTORES: Nikolić, B; Pinho, LM ;
PUBLICAÇÃO: 2017, FONTE: Real-Time Systems, VOLUME: 53, NÚMERO: 4
INDEXADO EM: Scopus CrossRef: 3
NO MEU: ORCID | CIÊNCIAVITAE
40
TÍTULO: Optimal minimal routing and priority assignment for priority-preemptive real-time NoCs  Full Text
AUTORES: Nikolic, B; Pinho, LM ;
PUBLICAÇÃO: 2017, FONTE: REAL-TIME SYSTEMS, VOLUME: 53, NÚMERO: 4
INDEXADO EM: WOS
Página 4 de 22. Total de resultados: 215.

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

Links Úteis

Ajuda

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