João Paulo Mestre Pinheiro Ramos e Barros


AuthID: R-000-7BV

Publicações Confirmadas: 98



61
TÍTULO: An Ecore based Petri net Type Definition for PNML IOPT Models
AUTORES: Jose Ribeiro; Filipe Moutinho; Fernando Pereira; Joao Paulo Barros ; Luis Gomes ;
PUBLICAÇÃO: 2011, FONTE: 9th IEEE International Conference on Industrial Informatics (INDIN) in 2011 9TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN)
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
62
TÍTULO: Concepções sobre qualidade de ensino em estabelecimentos de ensino superior público em Portugal
AUTORES: Maria José D Martins; Teresa Oliveira; Joao Paulo Barros ; José Espírito Santo; Vítor Trindade; Jorge Bonito;
PUBLICAÇÃO: 2011, FONTE: Revista Iberoamericana de Educación, VOLUME: 56
INDEXADO EM: CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
63
TÍTULO: From UML State Machines to Petri nets: History Attribute Translation Strategies
AUTORES: Pais, R; Gomes, L ; Barros, JP ;
PUBLICAÇÃO: 2011, FONTE: ICELIE/IES Industry Forum/37th Annual Conference of the IEEE Industrial-Electronics-Society (IECON) in IECON 2011: 37TH ANNUAL CONFERENCE ON IEEE INDUSTRIAL ELECTRONICS SOCIETY
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
64
TÍTULO: Java2Sequence. a tool for the visualization of object-oriented programs in introductory programming
AUTORES: João Paulo Barros ; Luís Biscaia; Miguel Vitória;
PUBLICAÇÃO: 2011, FONTE: Proceedings of the 16th annual joint conference on Innovation and technology in computer science education - ITiCSE '11
INDEXADO EM: CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
65
TÍTULO: Java2Sequence - A tool for the visualization of object-oriented programs in introductory programming
AUTORES: Barros, JP ; Biscaia, L; Vitoria, M;
PUBLICAÇÃO: 2011, FONTE: 16th Annual Conference on Innovation and Technology in Computer Science, ITiCSE'11 in ITiCSE'11 - Proceedings of the 16th Annual Conference on Innovation and Technology in Computer Science
INDEXADO EM: Scopus
NO MEU: ORCID | CIÊNCIAVITAE
66
TÍTULO: Petri Net Based Specification and Verification of Globally-Asynchronous-Locally-Synchronous System
AUTORES: Filipe Moutinho; Luis Gomes ; Paulo Barbosa; Joao Paulo Barros ; Franklin Ramalho; Jorge Figueiredo; Aniko Costa ; Andre Monteiro;
PUBLICAÇÃO: 2011, FONTE: 2nd IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems in TECHNOLOGICAL INNOVATION FOR SUSTAINABILITY, VOLUME: 349
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
67
TÍTULO: SysVeritas: A framework for verifying IOPT nets and execution semantics within embedded systems design
AUTORES: Barbosa, P; Barros, JP ; Ramalho, F; Gomes, L ; Figueiredo, J; Moutinho, F; Costa, A ; Aranha, A;
PUBLICAÇÃO: 2011, FONTE: 2nd IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2011 in IFIP Advances in Information and Communication Technology, VOLUME: 349 AICT
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
68
TÍTULO: Towards Statecharts to Input-Output Place Transition Nets Transformations
AUTORES: Rui Pais; Luis Gomes ; Joao Paulo Barros ;
PUBLICAÇÃO: 2011, FONTE: 2nd IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems in TECHNOLOGICAL INNOVATION FOR SUSTAINABILITY, VOLUME: 349
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
69
TÍTULO: Assessment and grading for CS1. towards a complete toolbox of criteria and techniques
AUTORES: João Paulo Barros ;
PUBLICAÇÃO: 2010, FONTE: Proceedings of the 10th Koli Calling International Conference on Computing Education Research - Koli Calling '10
INDEXADO EM: CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
70
TÍTULO: Assessment and grading for CS1: Towards a complete toolbox of criteria and techniques
AUTORES: Barros, JP ;
PUBLICAÇÃO: 2010, FONTE: 10th Koli Calling International Conference on Computing Education Research, Koli Calling'10 in Proceedings of the 10th Koli Calling International Conference on Computing Education Research, Koli Calling'10
INDEXADO EM: Scopus
NO MEU: ORCID | CIÊNCIAVITAE
Página 7 de 10. Total de resultados: 98.

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

Links Úteis

Ajuda

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