João Paulo Mestre Pinheiro Ramos e Barros


AuthID: R-000-7BV

Publicações Confirmadas: 97



81
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 | CIÊNCIAVITAE
82
TÍTULO: Model transformations for an elevator controller: Coloured petri nets in object-oriented analysis and design
AUTORES: Barros, JP ; Jorgensen, JB;
PUBLICAÇÃO: 2005, FONTE: 2nd International Workshop on Model-Based Methodologies for Pervasive and Embedded Software, MOMPES 2005 in Proceedings of MOMPES 2005 - 2nd International Workshop on Model-Based Methodologies for Pervasive and Embedded Software
INDEXADO EM: Scopus
NO MEU: ORCID | CIÊNCIAVITAE
83
TÍTULO: Modeling formalisms for embedded system design
AUTORES: Luís Gomes; João Paulo Barros ; Anikó Costa;
PUBLICAÇÃO: 2005, FONTE: Embedded Systems: Handbook
INDEXADO EM: Scopus
NO MEU: ORCID | CIÊNCIAVITAE
84
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 | CIÊNCIAVITAE
85
TÍTULO: Structuring mechanisms in Petri net models: From specification to FPGA-based implementations  Full Text
AUTORES: Luís Gomes; João Paulo Barros ; Anikó Costa;
PUBLICAÇÃO: 2005, FONTE: Design of Embedded Control Systems
INDEXADO EM: Scopus
NO MEU: ORCID | CIÊNCIAVITAE
86
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 | CIÊNCIAVITAE
87
TÍTULO: Two possible approaches for an intermediate GUI course
AUTORES: Pais, R; Barros, JP ;
PUBLICAÇÃO: 2005, FONTE: ITiCSE 2005: 10th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education in Proceedings of the 10th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
88
TÍTULO: Use of flash movies for teaching GUI programming
AUTORES: Pais, R; Barros, JP ;
PUBLICAÇÃO: 2005, FONTE: ITiCSE 2005: 10th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education in Proceedings of the 10th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education
INDEXADO EM: Scopus
NO MEU: ORCID | CIÊNCIAVITAE
89
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 | CIÊNCIAVITAE
90
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 | CIÊNCIAVITAE
Página 9 de 10. Total de resultados: 97.

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

Links Úteis

Ajuda

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