João Paulo Mestre Pinheiro Ramos e Barros


AuthID: R-000-7BV

Confirmed Publications: 97



91
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 CrossRef: 1
IN MY: ORCID | CIÊNCIAVITAE
92
TITLE: Modifying Petri net models by means of crosscutting operations
AUTHORS: Barros, JP ; Gomes, L;
PUBLISHED: 2003, SOURCE: 3rd International Conference on Application of Concurrency to System Design in THIRD INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM DESIGN, PROCEEDINGS, VOLUME: 2003-January
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | CIÊNCIAVITAE
93
TITLE: On structuring mechanisms for Petri nets based system design
AUTHORS: Gomes, L; Barros, JP ;
PUBLISHED: 2003, SOURCE: 9th IEEE International Conference on Emerging Technologies and Factory Automation in ETFA 2003: IEEE CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, VOL 2, PROCEEDINGS, VOLUME: 2, ISSUE: January
INDEXED IN: Scopus WOS CrossRef: 18
IN MY: ORCID | CIÊNCIAVITAE
94
TITLE: Using Lab Exams to Ensure Programming Practice in an Introductory Programming Course
AUTHORS: Barros, JP ; Estevens, L; Dias, R; Pais, R; Soeiro, E;
PUBLISHED: 2003, SOURCE: Proceedings of the 8th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education (ITiCSE 2003) in Proceedings of the Annual SIGCSE Conference on Innovation and Technology in Computer Science Education (ITiSCE), VOLUME: 8
INDEXED IN: Scopus CrossRef: 16
IN MY: ORCID | CIÊNCIAVITAE
95
TITLE: Specific proposals for the use of Petri nets in a concurrent programming course
AUTHORS: Barros, JP ;
PUBLISHED: 2002, SOURCE: Proceedings of the 7th Annual SIGSCE Conference on Innovation and Technology in Computer Science Education (ITiCSE 2002) in Proceedings of the Annual SIGCSE Conference on Innovation and Technology in Computer Science Education (ITiSCE)
INDEXED IN: Scopus
IN MY: ORCID | CIÊNCIAVITAE
96
TITLE: Man-machine interface for real-time telecontrol based on Petri nets specification
AUTHORS: Gomes, L ; Barros, JP ; Costa, A ;
PUBLISHED: 2001, SOURCE: 2001 IEEE International Conference on Systems, Man and Cybernetics in Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, VOLUME: 3
INDEXED IN: Scopus
IN MY: ORCID | CIÊNCIAVITAE
97
TITLE: Use Petri nets to improve your concurrent programming course
AUTHORS: Barros, JP ;
PUBLISHED: 2001, SOURCE: Proceedings of the 6th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education in Proceedings of the Conference on Integrating Technology into Computer Science Education, ITiCSE
INDEXED IN: Scopus
IN MY: ORCID | CIÊNCIAVITAE
Page 10 of 10. Total results: 97.

footer slogan

Useful Links

Get Help

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