João Paulo Mestre Pinheiro Ramos e Barros


AuthID: R-000-7BV

Confirmed Publications: 98



81
TITLE: Structuring Mechanisms in Petri Net Models  Full Text
AUTHORS: Luís Gomes; João Paulo Barros ; Anikó Costa;
PUBLISHED: 2006, SOURCE: Design of Embedded Control Systems
INDEXED IN: CrossRef: 10
IN MY: ORCID | CIÊNCIAVITAE
82
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
83
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
84
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
85
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
86
87
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
88
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
89
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
90
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
Page 9 of 10. Total results: 98.

footer slogan

Useful Links

Get Help

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