João Paulo Mestre Pinheiro Ramos e Barros
AuthID: R-000-7BV
1
TITLE: Assessing the Digital Competencies of Graduates for Sustainable Development: Bridging the Gap Between Academia and Industry
AUTHORS: Fernanda Pereira; Marta Amaral; Luis Bruno; Isabel Brito; João Paulo Barros; André Silva; Carlos Delgado;
PUBLISHED: 2025, SOURCE: Information Systems Engineering and Management - Environmental, Social, Governance and Digital Transformation in Organizations
AUTHORS: Fernanda Pereira; Marta Amaral; Luis Bruno; Isabel Brito; João Paulo Barros; André Silva; Carlos Delgado;
PUBLISHED: 2025, SOURCE: Information Systems Engineering and Management - Environmental, Social, Governance and Digital Transformation in Organizations
2
TITLE: EXPERIMENTAL AND NUMERICAL STUDY OF DIFFUSER AUGMENTED WIND TURBINE - DAWT
AUTHORS: Maia, L; Paulo, J; Ribeiro, JE ; Ribeiro, LF;
PUBLISHED: 2018, SOURCE: 6th International Conference on Integrity-Reliability-Failure (IRF) in IRF2018: PROCEEDINGS OF THE 6TH INTERNATIONAL CONFERENCE ON INTEGRITY-RELIABILITY-FAILURE
AUTHORS: Maia, L; Paulo, J; Ribeiro, JE ; Ribeiro, LF;
PUBLISHED: 2018, SOURCE: 6th International Conference on Integrity-Reliability-Failure (IRF) in IRF2018: PROCEEDINGS OF THE 6TH INTERNATIONAL CONFERENCE ON INTEGRITY-RELIABILITY-FAILURE
INDEXED IN: 
WOS 
Handle
WOS Handle3
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
WOS4
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
WOS5
TITLE: Using hierarchical structuring mechanisms with Petri nets for PLD based system design
AUTHORS: Gomes, L; Barros, JP;
PUBLISHED: 2001, SOURCE: International Workshop on Discrete-Event System Design (DESDes 01) in DESDES '1: PROCEEDINGS OF THE INTERNATIONAL WORKSHOP ON DISCRETE-EVENT SYSTEM DESIGN
AUTHORS: Gomes, L; Barros, JP;
PUBLISHED: 2001, SOURCE: International Workshop on Discrete-Event System Design (DESDes 01) in DESDES '1: PROCEEDINGS OF THE INTERNATIONAL WORKSHOP ON DISCRETE-EVENT SYSTEM DESIGN
INDEXED IN: WOS
WOS6
TITLE: Implementation of a non-autonomous high-level Petri net model for reactive real-time systems
AUTHORS: Barros, JP; Gomes, L; Steiger Garcao, A;
PUBLISHED: 1997, SOURCE: 4th IFAC Workshop on Algorithms and Architectures for Real-Time Control (AARTC 97) in ALGORITHMS AND ARCHITECTURES FOR REAL-TIME CONTROL 1997
AUTHORS: Barros, JP; Gomes, L; Steiger Garcao, A;
PUBLISHED: 1997, SOURCE: 4th IFAC Workshop on Algorithms and Architectures for Real-Time Control (AARTC 97) in ALGORITHMS AND ARCHITECTURES FOR REAL-TIME CONTROL 1997
INDEXED IN: WOS
WOS