Luis Filipe dos Santos Gomes


AuthID: R-000-9F1

Confirmed Publications: 103



91
TITLE: A tool for tailored code generation from Petri net models
AUTHORS: Pais, R; Barros, JP ; Gomes, L ;
PUBLISHED: 2005, SOURCE: 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
INDEXED IN: Scopus WOS CrossRef: 7
IN MY: ORCID
92
TITLE: From use cases to building monitoring systems through Petri nets
AUTHORS: Gomes, L ; Costa, A ; Meira, P;
PUBLISHED: 2005, SOURCE: IEEE International Symposium on Industrial Electronics in ISIE 2005: Proceedings of the IEEE International Symposium on Industrial Electronics 2005, Vols 1- 4, VOLUME: IV
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
93
TITLE: On conflict resolution in Petri nets models through model structuring and composition
AUTHORS: Gomes, L ;
PUBLISHED: 2005, SOURCE: 3rd IEEE International Conference on Industrial Informatics (INDIN) in 2005 3rd IEEE International Conference on Industrial Informatics (INDIN), VOLUME: 2005
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
94
TITLE: Programmable logic devices supporting embedded system design curriculum
AUTHORS: Gomes, L ;
PUBLISHED: 2005, SOURCE: 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
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
95
TITLE: Remote laboratory support for an introductory microprocessor course
AUTHORS: Gomes, L ; Costa, AK ;
PUBLISHED: 2005, SOURCE: IEEE International Conference on Microelectronic Systems Education in 2005 IEEE International Conference on Microelectronic Systems Education, Proceedings, VOLUME: 2005
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
96
TITLE: Structuring and composability issues in Petri nets modeling
AUTHORS: Luis Gomes ; Joao Paulo Barros ;
PUBLISHED: 2005, SOURCE: IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, VOLUME: 1, ISSUE: 2
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
97
TITLE: Teaching formal methods within system-on-a-programmable-chip design
AUTHORS: Gomes, L ; Costa, A ;
PUBLISHED: 2005, SOURCE: IEEE International Conference on Microelectronic Systems Education in 2005 IEEE International Conference on Microelectronic Systems Education, Proceedings, VOLUME: 2005
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
98
TITLE: Towards usage of formal methods within embedded systems co-design
AUTHORS: Gomes, L ; Barros, JP ; Costa, A ; Pais, R; Moutinho, F;
PUBLISHED: 2005, SOURCE: 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
INDEXED IN: Scopus WOS CrossRef: 18
IN MY: ORCID
99
TITLE: Addition of fault detection capabilities in automation applications using Petri nets
AUTHORS: Gomes, L ; Barros, JP ; Lino, R;
PUBLISHED: 2004, SOURCE: IEEE International Symposium on Industrial Electronics in Proceedings of the IEEE-ISIE 2004, Vols 1 and 2, VOLUME: 1
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
100
TITLE: Net model composition and modification by net operations: a pragmatic approach
AUTHORS: Barros, JP ; Gomes, L ;
PUBLISHED: 2004, SOURCE: 2nd IEEE International Conference on Industrial Informatics in 2004 2ND IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS: COLLABORATIVE AUTOMATION - ONE KEY FOR INTELLIGENT INDUSTRIAL ENVIRONMENTS
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
Page 10 of 11. Total results: 103.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service