João Paulo Mestre Pinheiro Ramos e Barros


AuthID: R-000-7BV

Confirmed Publications: 97



61
TITLE: Concepções sobre qualidade de ensino em estabelecimentos de ensino superior público em Portugal
AUTHORS: Maria José D Martins; Teresa Oliveira; Joao Paulo Barros ; José Espírito Santo; Vítor Trindade; Jorge Bonito;
PUBLISHED: 2011, SOURCE: Revista Iberoamericana de Educación, VOLUME: 56
INDEXED IN: CrossRef
IN MY: ORCID | CIÊNCIAVITAE
62
TITLE: From UML State Machines to Petri nets: History Attribute Translation Strategies
AUTHORS: Pais, R; Gomes, L ; Barros, JP ;
PUBLISHED: 2011, SOURCE: 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
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | CIÊNCIAVITAE
63
TITLE: Java2Sequence. a tool for the visualization of object-oriented programs in introductory programming
AUTHORS: João Paulo Barros ; Luís Biscaia; Miguel Vitória;
PUBLISHED: 2011, SOURCE: Proceedings of the 16th annual joint conference on Innovation and technology in computer science education - ITiCSE '11
INDEXED IN: CrossRef
IN MY: ORCID | CIÊNCIAVITAE
64
TITLE: Java2Sequence - A tool for the visualization of object-oriented programs in introductory programming
AUTHORS: Barros, JP ; Biscaia, L; Vitoria, M;
PUBLISHED: 2011, SOURCE: 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
INDEXED IN: Scopus
IN MY: ORCID | CIÊNCIAVITAE
65
TITLE: Petri Net Based Specification and Verification of Globally-Asynchronous-Locally-Synchronous System
AUTHORS: Filipe Moutinho; Luis Gomes ; Paulo Barbosa; Joao Paulo Barros ; Franklin Ramalho; Jorge Figueiredo; Aniko Costa ; Andre Monteiro;
PUBLISHED: 2011, SOURCE: 2nd IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems in TECHNOLOGICAL INNOVATION FOR SUSTAINABILITY, VOLUME: 349
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | CIÊNCIAVITAE
66
TITLE: SysVeritas: A framework for verifying IOPT nets and execution semantics within embedded systems design
AUTHORS: Barbosa, P; Barros, JP ; Ramalho, F; Gomes, L ; Figueiredo, J; Moutinho, F; Costa, A ; Aranha, A;
PUBLISHED: 2011, SOURCE: 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
INDEXED IN: Scopus CrossRef
IN MY: ORCID | CIÊNCIAVITAE
67
TITLE: Towards Statecharts to Input-Output Place Transition Nets Transformations
AUTHORS: Rui Pais; Luis Gomes ; Joao Paulo Barros ;
PUBLISHED: 2011, SOURCE: 2nd IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems in TECHNOLOGICAL INNOVATION FOR SUSTAINABILITY, VOLUME: 349
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | CIÊNCIAVITAE
68
TITLE: Assessment and grading for CS1. towards a complete toolbox of criteria and techniques
AUTHORS: João Paulo Barros ;
PUBLISHED: 2010, SOURCE: Proceedings of the 10th Koli Calling International Conference on Computing Education Research - Koli Calling '10
INDEXED IN: CrossRef
IN MY: ORCID | CIÊNCIAVITAE
69
TITLE: Assessment and grading for CS1: Towards a complete toolbox of criteria and techniques
AUTHORS: Barros, JP ;
PUBLISHED: 2010, SOURCE: 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
INDEXED IN: Scopus
IN MY: ORCID | CIÊNCIAVITAE
70
TITLE: Ecore Representation for Extending PNML for Input-Output Place-Transition Nets  Full Text
AUTHORS: Filipe Moutinho; Luis Gomes ; Franklin Ramalho; Jorge Figueiredo; Joao Paulo Barros ; Paulo Barbosa; Rui Pais; Aniko Costa ;
PUBLISHED: 2010, SOURCE: 36th Annual Conference of the IEEE Industrial-Electronics-Society/4th IEEE International Conference on E-Learning in Industrial Electronics/IES Industry Forum in IECON 2010 - 36TH ANNUAL CONFERENCE ON IEEE INDUSTRIAL ELECTRONICS SOCIETY
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID | CIÊNCIAVITAE
Page 7 of 10. Total results: 97.

footer slogan

Useful Links

Get Help

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