João Paulo Mestre Pinheiro Ramos e Barros


AuthID: R-000-7BV

Publicações Confirmadas: 100



81
TÍTULO: Petri net based building automation and monitoring system
AUTORES: Luis Gomes ; Aniko Costa ; Joao Paulo Barros ; Rui Pais; Tiago Rodrigues; Richard Ferreira;
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 | CIÊNCIAVITAE
82
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 | CIÊNCIAVITAE
83
TÍTULO: Structuring Mechanisms in Petri Net Models  Full Text
AUTORES: Luís Gomes; João Paulo Barros ; Anikó Costa;
PUBLICAÇÃO: 2006, FONTE: Design of Embedded Control Systems
INDEXADO EM: CrossRef: 10
NO MEU: ORCID | CIÊNCIAVITAE
84
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
85
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
86
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
87
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
88
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
89
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
90
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
Página 9 de 10. Total de resultados: 100.

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