João Paulo Mestre Pinheiro Ramos e Barros


AuthID: R-000-7BV

Publicações Confirmadas: 34



21
TÍTULO: The input-output place-transition Petri net class and associated tools
AUTORES: Luis Gomes ; Joao Paulo Barros ; Aniko Costa ; Ricardo Nunes;
PUBLICAÇÃO: 2007, FONTE: 5th IEEE International Conference on Industrial Informatics in 2007 5TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS, VOLS 1-3, VOLUME: 1
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
22
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
23
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
24
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
25
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
26
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
27
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
28
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
29
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
30
TÍTULO: On the use of coloured Petri nets for object-oriented design
AUTORES: Barros, JP ; Gomes, L ;
PUBLICAÇÃO: 2004, FONTE: 25th International Conference on Applications and Theory of Petri Nets in APPLICATIONS AND THEORY OF PETRI NETS 2004, PROCEEDINGS, VOLUME: 3099
INDEXADO EM: Scopus WOS CrossRef: 1
NO MEU: ORCID
Página 3 de 4. Total de resultados: 34.

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