João Paulo Mestre Pinheiro Ramos e Barros


AuthID: R-000-7BV

Confirmed Publications: 100



81
TITLE: Petri net based building automation and monitoring system
AUTHORS: Luis Gomes ; Aniko Costa ; Joao Paulo Barros ; Rui Pais; Tiago Rodrigues; Richard Ferreira;
PUBLISHED: 2007, SOURCE: 5th IEEE International Conference on Industrial Informatics in 2007 5TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS, VOLS 1-3, VOLUME: 1
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | CIÊNCIAVITAE
82
TITLE: The input-output place-transition Petri net class and associated tools
AUTHORS: Luis Gomes ; Joao Paulo Barros ; Aniko Costa ; Ricardo Nunes;
PUBLISHED: 2007, SOURCE: 5th IEEE International Conference on Industrial Informatics in 2007 5TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS, VOLS 1-3, VOLUME: 1
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | CIÊNCIAVITAE
83
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
84
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
85
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
86
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
87
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
88
89
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
90
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
Page 9 of 10. Total results: 100.

footer slogan

Useful Links

Get Help

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