João Paulo Mestre Pinheiro Ramos e Barros


AuthID: R-000-7BV

Confirmed Publications: 97



81
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 | CIÊNCIAVITAE
82
TITLE: Model transformations for an elevator controller: Coloured petri nets in object-oriented analysis and design
AUTHORS: Barros, JP ; Jorgensen, JB;
PUBLISHED: 2005, SOURCE: 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
INDEXED IN: Scopus
IN MY: ORCID | CIÊNCIAVITAE
83
TITLE: Modeling formalisms for embedded system design
AUTHORS: Luís Gomes; João Paulo Barros ; Anikó Costa;
PUBLISHED: 2005, SOURCE: Embedded Systems: Handbook
INDEXED IN: Scopus
IN MY: ORCID | CIÊNCIAVITAE
84
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 | CIÊNCIAVITAE
85
86
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 | CIÊNCIAVITAE
87
TITLE: Two possible approaches for an intermediate GUI course
AUTHORS: Pais, R; Barros, JP ;
PUBLISHED: 2005, SOURCE: 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
INDEXED IN: Scopus CrossRef
IN MY: ORCID | CIÊNCIAVITAE
88
TITLE: Use of flash movies for teaching GUI programming
AUTHORS: Pais, R; Barros, JP ;
PUBLISHED: 2005, SOURCE: 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
INDEXED IN: Scopus
IN MY: ORCID | CIÊNCIAVITAE
89
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 | CIÊNCIAVITAE
90
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 | CIÊNCIAVITAE
Page 9 of 10. Total results: 97.

footer slogan

Useful Links

Get Help

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