Sérgio André dos Santos Areias
AuthID: R-001-SPV
1
TITLE: Cytokines and metabolic regulation: A framework of bidirectional influences affecting Leishmania infection
AUTHORS: Bodhale, N; Ohms, M; Ferreira, C; Mesquita, I; Mukherjee, A; Andre, S; Sarkar, A; Estaquier, J; Laskay, T; Saha, B; Silvestre, R;
PUBLISHED: 2021, SOURCE: CYTOKINE, VOLUME: 147
AUTHORS: Bodhale, N; Ohms, M; Ferreira, C; Mesquita, I; Mukherjee, A; Andre, S; Sarkar, A; Estaquier, J; Laskay, T; Saha, B; Silvestre, R;
PUBLISHED: 2021, SOURCE: CYTOKINE, VOLUME: 147
INDEXED IN: 
Scopus 
WOS
Scopus WOS2
TITLE: Formal Verification of ROS-based Robotic Applications using Timed-Automata
AUTHORS: Raju Halder; Jose Proenca ; Nuno Macedo ; Andre Santos;
PUBLISHED: 2017, SOURCE: 5th IEEE/ACM International FME Workshop on Formal Methods in Software Engineering (FormaliSE) in 2017 IEEE/ACM 5TH INTERNATIONAL FME WORKSHOP ON FORMAL METHODS IN SOFTWARE ENGINEERING (FORMALISE) PROCEEDINGS
AUTHORS: Raju Halder; Jose Proenca ; Nuno Macedo ; Andre Santos;
PUBLISHED: 2017, SOURCE: 5th IEEE/ACM International FME Workshop on Formal Methods in Software Engineering (FormaliSE) in 2017 IEEE/ACM 5TH INTERNATIONAL FME WORKSHOP ON FORMAL METHODS IN SOFTWARE ENGINEERING (FORMALISE) PROCEEDINGS
3
TITLE: GammaPolarSlicer Full Text
AUTHORS: Sergio Areias; Daniela da Cruz ; Pedro Rangel Henriques ; Jorge Sousa Pinto ;
PUBLISHED: 2011, SOURCE: COMPUTER SCIENCE AND INFORMATION SYSTEMS, VOLUME: 8, ISSUE: 2
AUTHORS: Sergio Areias; Daniela da Cruz ; Pedro Rangel Henriques ; Jorge Sousa Pinto ;
PUBLISHED: 2011, SOURCE: COMPUTER SCIENCE AND INFORMATION SYSTEMS, VOLUME: 8, ISSUE: 2
4
TITLE: Safe Integration of Annotated Components in Open Source Projects Full Text
AUTHORS: Sergio Areias; Daniela Carneiro da Cruz; Pedro Rangel Henriques ; Jorge Sousa Pinto ;
PUBLISHED: 2010, SOURCE: ECEASST, VOLUME: 33
AUTHORS: Sergio Areias; Daniela Carneiro da Cruz; Pedro Rangel Henriques ; Jorge Sousa Pinto ;
PUBLISHED: 2010, SOURCE: ECEASST, VOLUME: 33
INDEXED IN: Scopus 
DBLP
Scopus DBLP