João Paulo Mestre Pinheiro Ramos e Barros
AuthID: R-000-7BV
31
TITLE: Merging and splitting petri net models within distributed embedded controller design
AUTHORS: Gomes, L; Costa, A; Barros, JP; Moutinho, F; Pereira, F;
PUBLISHED: 2013, SOURCE: Embedded Computing Systems: Applications, Optimization, and Advanced Design
AUTHORS: Gomes, L; Costa, A; Barros, JP; Moutinho, F; Pereira, F;
PUBLISHED: 2013, SOURCE: Embedded Computing Systems: Applications, Optimization, and Advanced Design
INDEXED IN: 
Scopus 
CrossRef
Scopus CrossRef32
TITLE: Educating for mobile computing. addressing the new challenges
AUTHORS: Barry Burd; João Paulo Barros; Chris Johnson; Stan Kurkovsky; Arnold Rosenbloom; Nikolai Tillman;
PUBLISHED: 2012, SOURCE: Proceedings of the final reports on Innovation and technology in computer science education 2012 working groups - ITiCSE-WGR '12
AUTHORS: Barry Burd; João Paulo Barros; Chris Johnson; Stan Kurkovsky; Arnold Rosenbloom; Nikolai Tillman;
PUBLISHED: 2012, SOURCE: Proceedings of the final reports on Innovation and technology in computer science education 2012 working groups - ITiCSE-WGR '12
33
TITLE: Towards a Complete Description for Individual Course Units A follow-up to the Bologna proposals
AUTHORS: Joao Paulo Barros; Luis Gomes; Luis Garcia;
PUBLISHED: 2012, SOURCE: 15th International Conference on Interactive Collaborative Learning (ICL) in 2012 15TH INTERNATIONAL CONFERENCE ON INTERACTIVE COLLABORATIVE LEARNING (ICL)
AUTHORS: Joao Paulo Barros; Luis Gomes; Luis Garcia;
PUBLISHED: 2012, SOURCE: 15th International Conference on Interactive Collaborative Learning (ICL) in 2012 15TH INTERNATIONAL CONFERENCE ON INTERACTIVE COLLABORATIVE LEARNING (ICL)
INDEXED IN: 
WOS
WOS34
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
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
35
TITLE: SysVeritas: A Framework for Verifying IOPT Nets and Execution Semantics within Embedded Systems Design
AUTHORS: Paulo Barbosa; Joao Paulo Barros; Franklin Ramalho; Luis Gomes; Jorge Figueiredo; Filipe Moutinho; Aniko Costa; Andre Aranha;
PUBLISHED: 2011, SOURCE: 2nd IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems in TECHNOLOGICAL INNOVATION FOR SUSTAINABILITY, VOLUME: 349
AUTHORS: Paulo Barbosa; Joao Paulo Barros; Franklin Ramalho; Luis Gomes; Jorge Figueiredo; Filipe Moutinho; Aniko Costa; Andre Aranha;
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: WOS
WOS36
TITLE: Scenario-based modeling in industrial information systems
AUTHORS: Machado, RJ; Fernandes, JM; Barros, JP; Gomes, L;
PUBLISHED: 2010, SOURCE: 7th IFIP TC 10 Working Conference on Distributed and Parallel Embedded Systems, DIPES 2010 and 3rd IFIP TC 10 International Conference on Biologically-Inspired Collaborative Computing, BICC 2010 Held as Part of 21st IFIP World Computer Congress, WCC 2010 in IFIP Advances in Information and Communication Technology, VOLUME: 329
AUTHORS: Machado, RJ; Fernandes, JM; Barros, JP; Gomes, L;
PUBLISHED: 2010, SOURCE: 7th IFIP TC 10 Working Conference on Distributed and Parallel Embedded Systems, DIPES 2010 and 3rd IFIP TC 10 International Conference on Biologically-Inspired Collaborative Computing, BICC 2010 Held as Part of 21st IFIP World Computer Congress, WCC 2010 in IFIP Advances in Information and Communication Technology, VOLUME: 329
INDEXED IN: Scopus
Scopus37
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
AUTHORS: João Paulo Barros;
PUBLISHED: 2010, SOURCE: Proceedings of the 10th Koli Calling International Conference on Computing Education Research - Koli Calling '10
38
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
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
INDEXED IN: WOS
WOS39
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
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
INDEXED IN: WOS CrossRef
WOS CrossRef40
TITLE: Man-machine interface for real-time telecontrol based on Petri nets specification
AUTHORS: Gomes, L; Barros, JP; Costa, A;
PUBLISHED: 2002, SOURCE: IEEE International Conference on Systems, Man and Cybernetics (SMC) in 2001 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5: E-SYSTEMS AND E-MAN FOR CYBERNETICS IN CYBERSPACE
AUTHORS: Gomes, L; Barros, JP; Costa, A;
PUBLISHED: 2002, SOURCE: IEEE International Conference on Systems, Man and Cybernetics (SMC) in 2001 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5: E-SYSTEMS AND E-MAN FOR CYBERNETICS IN CYBERSPACE
INDEXED IN: WOS
WOS