João Paulo Mestre Pinheiro Ramos e Barros


AuthID: R-000-7BV

Confirmed Publications: 34



21
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
22
TITLE: A tool for tailored code generation from Petri net models
AUTHORS: Rui Pais; Joao Paulo Barros ; Luis Gomes ;
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
IN MY: ORCID
23
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
24
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
25
TITLE: Towards usage of formal methods within embedded systems co-design
AUTHORS: Luis Gomes ; Joao Paulo Barros ; Aniko Costa ; Rui Pais; Filipe Moutinho;
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
IN MY: ORCID
26
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
27
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
28
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
29
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
30
TITLE: On the use of coloured Petri nets for object-oriented design
AUTHORS: Barros, JP ; Gomes, L ;
PUBLISHED: 2004, SOURCE: 25th International Conference on Applications and Theory of Petri Nets in APPLICATIONS AND THEORY OF PETRI NETS 2004, PROCEEDINGS, VOLUME: 3099
INDEXED IN: Scopus WOS
IN MY: ORCID
Page 3 of 4. Total results: 34.

A place for researchers and their institutions

Useful Links

Get Help

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