Luis Filipe dos Santos Gomes


AuthID: R-000-9F1

Publicações Confirmadas: 103



91
TÍTULO: A tool for tailored code generation from Petri net models
AUTORES: Pais, R; Barros, JP ; Gomes, L ;
PUBLICAÇÃO: 2005, FONTE: 10th IEEE International Conference on Emerging Technologies and Factory Automation in ETFA 2005: 10th IEEE International Conference on Emerging Technologies and Factory Automation, Vol 1, Pts 1 and 2, Proceedings, VOLUME: 1 2 VOLS
INDEXADO EM: Scopus WOS CrossRef: 7
NO MEU: ORCID
92
TÍTULO: From use cases to building monitoring systems through Petri nets
AUTORES: Gomes, L ; Costa, A ; Meira, P;
PUBLICAÇÃO: 2005, FONTE: IEEE International Symposium on Industrial Electronics in ISIE 2005: Proceedings of the IEEE International Symposium on Industrial Electronics 2005, Vols 1- 4, VOLUME: IV
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
93
TÍTULO: On conflict resolution in Petri nets models through model structuring and composition
AUTORES: Gomes, L ;
PUBLICAÇÃO: 2005, FONTE: 3rd IEEE International Conference on Industrial Informatics (INDIN) in 2005 3rd IEEE International Conference on Industrial Informatics (INDIN), VOLUME: 2005
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
94
TÍTULO: Programmable logic devices supporting embedded system design curriculum
AUTORES: Gomes, L ;
PUBLICAÇÃO: 2005, FONTE: 31st Annual Conference of the IEEE-Industrial-Electronics-Society in IECON 2005: THIRTY-FIRST ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY, VOLS 1-3, VOLUME: 2005
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
95
TÍTULO: Remote laboratory support for an introductory microprocessor course
AUTORES: Gomes, L ; Costa, AK ;
PUBLICAÇÃO: 2005, FONTE: IEEE International Conference on Microelectronic Systems Education in 2005 IEEE International Conference on Microelectronic Systems Education, Proceedings, VOLUME: 2005
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
96
TÍTULO: Structuring and composability issues in Petri nets modeling
AUTORES: Luis Gomes ; Joao Paulo Barros ;
PUBLICAÇÃO: 2005, FONTE: IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, VOLUME: 1, NÚMERO: 2
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
97
TÍTULO: Teaching formal methods within system-on-a-programmable-chip design
AUTORES: Gomes, L ; Costa, A ;
PUBLICAÇÃO: 2005, FONTE: IEEE International Conference on Microelectronic Systems Education in 2005 IEEE International Conference on Microelectronic Systems Education, Proceedings, VOLUME: 2005
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
98
TÍTULO: Towards usage of formal methods within embedded systems co-design
AUTORES: Gomes, L ; Barros, JP ; Costa, A ; Pais, R; Moutinho, F;
PUBLICAÇÃO: 2005, FONTE: 10th IEEE International Conference on Emerging Technologies and Factory Automation in ETFA 2005: 10th IEEE International Conference on Emerging Technologies and Factory Automation, Vol 1, Pts 1 and 2, Proceedings, VOLUME: 1 2 VOLS
INDEXADO EM: Scopus WOS CrossRef: 18
NO MEU: ORCID
99
TÍTULO: Addition of fault detection capabilities in automation applications using Petri nets
AUTORES: Gomes, L ; Barros, JP ; Lino, R;
PUBLICAÇÃO: 2004, FONTE: IEEE International Symposium on Industrial Electronics in Proceedings of the IEEE-ISIE 2004, Vols 1 and 2, VOLUME: 1
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
100
TÍTULO: Net model composition and modification by net operations: a pragmatic approach
AUTORES: Barros, JP ; Gomes, L ;
PUBLICAÇÃO: 2004, FONTE: 2nd IEEE International Conference on Industrial Informatics in 2004 2ND IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS: COLLABORATIVE AUTOMATION - ONE KEY FOR INTELLIGENT INDUSTRIAL ENVIRONMENTS
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
Página 10 de 11. Total de resultados: 103.

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