Luis Filipe dos Santos Gomes


AuthID: R-000-9F1

Confirmed Publications: 103



21
TITLE: Model-checking Framework for Embedded Systems Controllers Development using IOPT Petri Nets
AUTHORS: Fernando Pereira; Filipe Moutinho; Luis Gomes ;
PUBLISHED: 2012, SOURCE: 21st IEEE International Symposium on Industrial Electronics (ISIE) in 2012 IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS (ISIE)
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
22
TITLE: On the Verification of Non-autonomous Petri Net Models Using Autonomous Petri Net Tools
AUTHORS: Joao Paulo Barros ; Luis Gomes ; Aniko Costa ;
PUBLISHED: 2012, SOURCE: 38th Annual Conference on IEEE-Industrial-Electronics-Society (IECON ) in 38TH ANNUAL CONFERENCE ON IEEE INDUSTRIAL ELECTRONICS SOCIETY (IECON 2012)
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
23
TITLE: Petri Nets based Study Plan Construction supporting Student's Evolution Monitoring
AUTHORS: Rogerio Campos Rebelo; Aniko Costa ; Luis Gomes ;
PUBLISHED: 2012, SOURCE: 6th IEEE International Conference on E-Learning in Industrial Electronics (ICELIE) in 2012 6TH IEEE INTERNATIONAL CONFERENCE ON E-LEARNING IN INDUSTRIAL ELECTRONICS (ICELIE)
INDEXED IN: Scopus WOS
IN MY: ORCID
24
TITLE: Raising Awareness for Value Creation Potential in Engineering Research
AUTHORS: Luis M Camarinha Matos ; Joao Goes ; Luis Gomes ; Joao Martins ;
PUBLISHED: 2012, SOURCE: 3rd IFIP/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems in TECHNOLOGICAL INNOVATION FOR VALUE CREATION, VOLUME: 372
INDEXED IN: Scopus WOS
IN MY: ORCID
25
TITLE: State Space Generation for Petri nets-based GALS Systems
AUTHORS: Filipe Moutinho; Luis Gomes ;
PUBLISHED: 2012, SOURCE: IEEE International Conference on Industrial Technology (ICIT) in 2012 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL TECHNOLOGY (ICIT)
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
26
TITLE: Towards a complete description for individual course units: A follow-up to the Bologna proposals
AUTHORS: Barros, JP ; Gomes, L ; Garcia, L;
PUBLISHED: 2012, SOURCE: 2012 15th International Conference on Interactive Collaborative Learning, ICL 2012 in 2012 15th International Conference on Interactive Collaborative Learning, ICL 2012
INDEXED IN: Scopus CrossRef
IN MY: ORCID
27
TITLE: Web Based IOPT Petri Net Editor with an Extensible Plugin Architecture to Support Generic Net Operations
AUTHORS: Fernando Pereira; Filipe Moutinho; Jose Ribeiro; Luis Gomes ;
PUBLISHED: 2012, SOURCE: 38th Annual Conference on IEEE-Industrial-Electronics-Society (IECON ) in 38TH ANNUAL CONFERENCE ON IEEE INDUSTRIAL ELECTRONICS SOCIETY (IECON 2012)
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
28
TITLE: Welcome message from the general chairs
AUTHORS: Fodor, J; Gomes, L ;
PUBLISHED: 2012, SOURCE: IEEE 16th International Conference on Intelligent Engineering Systems, INES 2012 in INES 2012 - IEEE 16th International Conference on Intelligent Engineering Systems, Proceedings
INDEXED IN: Scopus CrossRef
IN MY: ORCID
29
TITLE: Welcome to ICIT'2012
AUTHORS: Koubias, S; Gomes, L ; Serpanos, D; Jasperneite, J; Ibrahim, Y; Gialelis, J; Valla, MI;
PUBLISHED: 2012, SOURCE: 2012 IEEE International Conference on Industrial Technology, ICIT 2012 in 2012 IEEE International Conference on Industrial Technology, ICIT 2012, Proceedings
INDEXED IN: Scopus CrossRef
IN MY: ORCID
30
TITLE: A polyphase comb filter using interlaying multiplexers for high-speed single-bit sigma-delta modulators
AUTHORS: Abdollahvand, S; Goes, J ; Paulino, N ; Nowacki, B; Gomes, L ;
PUBLISHED: 2011, SOURCE: 18th International Conference - Mixed Design of Integrated Circuits and Systems, MIXDES 2011 in Proceedings of the 18th International Conference - Mixed Design of Integrated Circuits and Systems, MIXDES 2011
INDEXED IN: Scopus
IN MY: ORCID
Page 3 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