João Paulo Mestre Pinheiro Ramos e Barros
AuthID: R-000-7BV
1
TÃTULO: Assessing the Digital Competencies of Graduates for Sustainable Development: Bridging the Gap Between Academia and Industry
AUTORES: Fernanda Pereira; Marta Amaral; Luis Bruno; Isabel Brito; João Paulo Barros; André Silva; Carlos Delgado;
PUBLICAÇÃO: 2025, FONTE: Information Systems Engineering and Management - Environmental, Social, Governance and Digital Transformation in Organizations
AUTORES: Fernanda Pereira; Marta Amaral; Luis Bruno; Isabel Brito; João Paulo Barros; André Silva; Carlos Delgado;
PUBLICAÇÃO: 2025, FONTE: Information Systems Engineering and Management - Environmental, Social, Governance and Digital Transformation in Organizations
2
TÃTULO: EXPERIMENTAL AND NUMERICAL STUDY OF DIFFUSER AUGMENTED WIND TURBINE - DAWT
AUTORES: Maia, L; Paulo, J; Ribeiro, JE ; Ribeiro, LF;
PUBLICAÇÃO: 2018, FONTE: 6th International Conference on Integrity-Reliability-Failure (IRF) in IRF2018: PROCEEDINGS OF THE 6TH INTERNATIONAL CONFERENCE ON INTEGRITY-RELIABILITY-FAILURE
AUTORES: Maia, L; Paulo, J; Ribeiro, JE ; Ribeiro, LF;
PUBLICAÇÃO: 2018, FONTE: 6th International Conference on Integrity-Reliability-Failure (IRF) in IRF2018: PROCEEDINGS OF THE 6TH INTERNATIONAL CONFERENCE ON INTEGRITY-RELIABILITY-FAILURE
INDEXADO EM: 
WOS 
Handle
WOS Handle3
TÃTULO: SysVeritas: A Framework for Verifying IOPT Nets and Execution Semantics within Embedded Systems Design
AUTORES: Paulo Barbosa; Joao Paulo Barros; Franklin Ramalho; Luis Gomes; Jorge Figueiredo; Filipe Moutinho; Aniko Costa; Andre Aranha;
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
AUTORES: Paulo Barbosa; Joao Paulo Barros; Franklin Ramalho; Luis Gomes; Jorge Figueiredo; Filipe Moutinho; Aniko Costa; Andre Aranha;
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: WOS
WOS4
TÃTULO: Man-machine interface for real-time telecontrol based on Petri nets specification
AUTORES: Gomes, L; Barros, JP; Costa, A;
PUBLICAÇÃO: 2002, FONTE: 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
AUTORES: Gomes, L; Barros, JP; Costa, A;
PUBLICAÇÃO: 2002, FONTE: 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
INDEXADO EM: WOS
WOS5
TÃTULO: Using hierarchical structuring mechanisms with Petri nets for PLD based system design
AUTORES: Gomes, L; Barros, JP;
PUBLICAÇÃO: 2001, FONTE: International Workshop on Discrete-Event System Design (DESDes 01) in DESDES '1: PROCEEDINGS OF THE INTERNATIONAL WORKSHOP ON DISCRETE-EVENT SYSTEM DESIGN
AUTORES: Gomes, L; Barros, JP;
PUBLICAÇÃO: 2001, FONTE: International Workshop on Discrete-Event System Design (DESDes 01) in DESDES '1: PROCEEDINGS OF THE INTERNATIONAL WORKSHOP ON DISCRETE-EVENT SYSTEM DESIGN
INDEXADO EM: WOS
WOS6
TÃTULO: Implementation of a non-autonomous high-level Petri net model for reactive real-time systems
AUTORES: Barros, JP; Gomes, L; Steiger Garcao, A;
PUBLICAÇÃO: 1997, FONTE: 4th IFAC Workshop on Algorithms and Architectures for Real-Time Control (AARTC 97) in ALGORITHMS AND ARCHITECTURES FOR REAL-TIME CONTROL 1997
AUTORES: Barros, JP; Gomes, L; Steiger Garcao, A;
PUBLICAÇÃO: 1997, FONTE: 4th IFAC Workshop on Algorithms and Architectures for Real-Time Control (AARTC 97) in ALGORITHMS AND ARCHITECTURES FOR REAL-TIME CONTROL 1997
INDEXADO EM: WOS
WOS