João Paulo Mestre Pinheiro Ramos e Barros


AuthID: R-000-7BV

Publicações Confirmadas: 97



91
TÍTULO: On the use of coloured Petri nets for object-oriented design
AUTORES: Barros, JP ; Gomes, L ;
PUBLICAÇÃO: 2004, FONTE: 25th International Conference on Applications and Theory of Petri Nets in APPLICATIONS AND THEORY OF PETRI NETS 2004, PROCEEDINGS, VOLUME: 3099
INDEXADO EM: Scopus WOS CrossRef: 1
NO MEU: ORCID | CIÊNCIAVITAE
92
TÍTULO: Modifying Petri net models by means of crosscutting operations
AUTORES: Barros, JP ; Gomes, L;
PUBLICAÇÃO: 2003, FONTE: 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
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
93
TÍTULO: On structuring mechanisms for Petri nets based system design
AUTORES: Gomes, L; Barros, JP ;
PUBLICAÇÃO: 2003, FONTE: 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, NÚMERO: January
INDEXADO EM: Scopus WOS CrossRef: 18
NO MEU: ORCID | CIÊNCIAVITAE
94
TÍTULO: Using Lab Exams to Ensure Programming Practice in an Introductory Programming Course
AUTORES: Barros, JP ; Estevens, L; Dias, R; Pais, R; Soeiro, E;
PUBLICAÇÃO: 2003, FONTE: 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
INDEXADO EM: Scopus CrossRef: 16
NO MEU: ORCID | CIÊNCIAVITAE
95
TÍTULO: Specific proposals for the use of Petri nets in a concurrent programming course
AUTORES: Barros, JP ;
PUBLICAÇÃO: 2002, FONTE: 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)
INDEXADO EM: Scopus
NO MEU: ORCID | CIÊNCIAVITAE
96
TÍTULO: Man-machine interface for real-time telecontrol based on Petri nets specification
AUTORES: Gomes, L ; Barros, JP ; Costa, A ;
PUBLICAÇÃO: 2001, FONTE: 2001 IEEE International Conference on Systems, Man and Cybernetics in Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, VOLUME: 3
INDEXADO EM: Scopus
NO MEU: ORCID | CIÊNCIAVITAE
97
TÍTULO: Use Petri nets to improve your concurrent programming course
AUTORES: Barros, JP ;
PUBLICAÇÃO: 2001, FONTE: 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
INDEXADO EM: Scopus
NO MEU: ORCID | CIÊNCIAVITAE
Página 10 de 10. Total de resultados: 97.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2025 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service