Óscar Rafael da Silva Ferreira Ribeiro
AuthID: R-000-DYW
1
TÃTULO: Cement Mortars with Incorporation of Foundry Industry Wastes: Physical, Mechanical and Durability Behavior
AUTORES: Sandra Cunha; Raphael Silva; José Aguiar;
PUBLICAÇÃO: 2025, FONTE: Springer Proceedings in Materials, VOLUME: 61
AUTORES: Sandra Cunha; Raphael Silva; José Aguiar;
PUBLICAÇÃO: 2025, FONTE: Springer Proceedings in Materials, VOLUME: 61
INDEXADO EM: 
Scopus 
CrossRef
Scopus CrossRef2
TÃTULO: Progressive Web Apps Development: Study of Caching Mechanisms
AUTORES: Correia, Fernando; Ribeiro, Oscar; Silva, J. C.;
PUBLICAÇÃO: 2021, FONTE: 21st International Conference on Computational Science and Its Applications (ICCSA) in 2021 21ST INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE AND ITS APPLICATIONS ICCSA 2021
AUTORES: Correia, Fernando; Ribeiro, Oscar; Silva, J. C.;
PUBLICAÇÃO: 2021, FONTE: 21st International Conference on Computational Science and Its Applications (ICCSA) in 2021 21ST INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE AND ITS APPLICATIONS ICCSA 2021
INDEXADO EM: Scopus 
WOS
Scopus WOS3
TÃTULO: Evaluation of BPM Tools Open Source/Freeware
AUTORES: Sousa, M; Lopes, N; Ribeiro, O; Silva, J ;
PUBLICAÇÃO: 2018, FONTE: 13th Iberian Conference on Information Systems and Technologies (CISTI) in 2018 13TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI), VOLUME: 2018-June
AUTORES: Sousa, M; Lopes, N; Ribeiro, O; Silva, J ;
PUBLICAÇÃO: 2018, FONTE: 13th Iberian Conference on Information Systems and Technologies (CISTI) in 2018 13TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI), VOLUME: 2018-June
4
TÃTULO: Technical Assistance to School Network using BPM
AUTORES: Barreto, S; Silva, J ; Lopes, N; Ribeiro, O; Mariz, C;
PUBLICAÇÃO: 2018, FONTE: 13th Iberian Conference on Information Systems and Technologies (CISTI) in 2018 13TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI), VOLUME: 2018-June
AUTORES: Barreto, S; Silva, J ; Lopes, N; Ribeiro, O; Mariz, C;
PUBLICAÇÃO: 2018, FONTE: 13th Iberian Conference on Information Systems and Technologies (CISTI) in 2018 13TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI), VOLUME: 2018-June
5
TÃTULO: The APEX Framework: Prototyping of Ubiquitous Environments Based on Petri Nets
AUTORES: Jose Luis Silva ; Oscar R Ribeiro; Joao M Fernandes ; Jose Creissac Campos ; Michael D Harrison ;
PUBLICAÇÃO: 2010, FONTE: 3rd International Conference on Human-Centred Software Engineering in HUMAN-CENTRED SOFTWARE ENGINEERING, VOLUME: 6409
AUTORES: Jose Luis Silva ; Oscar R Ribeiro; Joao M Fernandes ; Jose Creissac Campos ; Michael D Harrison ;
PUBLICAÇÃO: 2010, FONTE: 3rd International Conference on Human-Centred Software Engineering in HUMAN-CENTRED SOFTWARE ENGINEERING, VOLUME: 6409
6
TÃTULO: Validation of Scenario-based Business Requirements with Coloured Petri Nets
AUTORES: Oscar R Ribeiro; Joao M Fernandes ;
PUBLICAÇÃO: 2009, FONTE: 4th International Conference on Software Engineering Advances in 2009 FOURTH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING ADVANCES (ICSEA 2009)
AUTORES: Oscar R Ribeiro; Joao M Fernandes ;
PUBLICAÇÃO: 2009, FONTE: 4th International Conference on Software Engineering Advances in 2009 FOURTH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING ADVANCES (ICSEA 2009)
7
TÃTULO: Translating synchronous Petri nets into PROMELA for verifying behavioural properties
AUTORES: Oscar R Ribeiro; Joao M Fernandes ;
PUBLICAÇÃO: 2007, FONTE: International Symposium on Industrial Embedded Systems in 2007 INTERNATIONAL SYMPOSIUM ON INDUSTRIAL EMBEDDED SYSTEMS
AUTORES: Oscar R Ribeiro; Joao M Fernandes ;
PUBLICAÇÃO: 2007, FONTE: International Symposium on Industrial Embedded Systems in 2007 INTERNATIONAL SYMPOSIUM ON INDUSTRIAL EMBEDDED SYSTEMS
8
TÃTULO: Validation of Reactive Software from Scenario-Based Models
AUTORES: Oscar R Ribeiro; Joao M Fernandes;
PUBLICAÇÃO: 2007, FONTE: 6th International Conference on the Quality of Information and Communications Technology (QUATIC 2007)
AUTORES: Oscar R Ribeiro; Joao M Fernandes;
PUBLICAÇÃO: 2007, FONTE: 6th International Conference on the Quality of Information and Communications Technology (QUATIC 2007)
INDEXADO EM: CrossRef
CrossRef9
TÃTULO: Model checking embedded systems with PROMELA
AUTORES: Ribeiro, OR; Fernandes, JM ; Pinto, LF ;
PUBLICAÇÃO: 2005, FONTE: 12th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems in 12TH IEEE INTERNATIONAL CONFERENCE AND WORKSHOPS ON THE ENGINEERING OF COMPUTER-BASED SYSTEMS, PROCEEDINGS
AUTORES: Ribeiro, OR; Fernandes, JM ; Pinto, LF ;
PUBLICAÇÃO: 2005, FONTE: 12th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems in 12TH IEEE INTERNATIONAL CONFERENCE AND WORKSHOPS ON THE ENGINEERING OF COMPUTER-BASED SYSTEMS, PROCEEDINGS
