Inesc Tecnologia e Ciência (INESC TEC)
Inesc Technology and Science
Uma Instituição (Grupo) no Authenticus é uma organização que engloba um conjunto de Investigadores (equipa da Instituição ou do Grupo). O conjunto de Investigadores depende da estrutura organizacional da instituição em cada ano e pode ser definido no perfil da Instituição, na secção “Investigadores”. Com base na equipa definida, o Authenticus produz listas de publicações, estatísticas e relatórios institucionais.
As publicações listadas no perfil da Instituição no Authenticus dependem de dois parâmetros:
- Investigadores associados à equipa da Instituição em cada ano.
- Origem das Publicações.
As publicações associadas à Instituição podem ter três origens:
- Publicações validadas pelos membros da equipa - Inclui todas as publicações validadas pelos membros da equipa; é necessário que a equipa da Instituição esteja definida.
- Todas as Publicadas pelos membros da equipa - Inclui todas as anteriores mais aquelas em que um dos autores foi identificado com um membro da equipa, ainda que não tenha sido validada; é necessário que a equipa da Instituição esteja definida.
- Com Base na Afiliação - inclui todas as publicações que têm a Instituição ou o Grupo mencionado na afiliação; não é necessário que a equipa da Instituição esteja definida mas, por outro lado, não é garantido que todas as publicações da Instituição sejam listadas.
Only validated by team members publications are included.
Only the current year team is included in this action.>
The action is executed in the background, thus the results are NOT immediate.
This actions can be executed only once a month!
Only validated by current year team members publications are included.
The action is executed in the background, thus the results are NOT immediate.
This actions can be executed only once a day!
Publications Count: 20088
1706 Team MembersFilters -> Year: 2025
AUTORES: Almeida, Jose Bacelar ; Firsov, Denis; Oliveira, Tiago; Unruh, Dominique;
PUBLICAÇÃO: 2025, FONTE: 14th Conference on Certified Programs and Proofs in PROCEEDINGS OF THE 14TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS, CPP 2025, PÁGINAS: 3-16
AUTORES: Pahr, Alexander; Grunow, Martin; Amorim, Pedro ;
PUBLICAÇÃO: 2025, FONTE: EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, VOLUME: 323, NÚMERO: 2, PÁGINAS: 671-685
AUTORES: Cruz, Ricardo P. M. ; Cristino, Rafael; Cardoso, Jaime S. ;
PUBLICAÇÃO: 2025, FONTE: IEEE ACCESS, VOLUME: 13, PÁGINAS: 28369-28380
AUTORES: Lázaro Costa; Susana Barbosa; Jácome Cunha ;
PUBLICAÇÃO: 2025, FONTE: CoRR, VOLUME: abs/2504.10134
AUTORES: José Teixeira; Pascal Klöckner; Diana Montezuma; Melis Erdal Cesur; João Fraga; Hugo M Horlings; Jaime S Cardoso ; Sara Pires de Oliveira;
PUBLICAÇÃO: 2025, FONTE: 5th Workshop on Deep Generative Models for Medical Image Computing and Computer Assisted Intervention, DGM4MICCAI 2025, held in conjunction with the 28th International Conference on Medical Image Computing and Computer Assisted Intervention, MICCAI 2025 in Deep Generative Models - 5th MICCAI Workshop, DGM4MICCAI 2025, Held in Conjunction with MICCAI 2025, Daejeon, South Korea, September 23, 2025, Proceedings, VOLUME: 16128, PÁGINAS: 202-212
AUTORES: Montenegro, Helena ; Cardoso, Jaime S. ;
PUBLICAÇÃO: 2025, FONTE: IEEE OPEN JOURNAL OF SIGNAL PROCESSING, VOLUME: 6, PÁGINAS: 784-794
AUTORES: Jorge Forero Rodriguez; Gilberto Bernardes ;
PUBLICAÇÃO: 2025, FONTE: Proceedings of the 12th International Conference on Digital Libraries for Musicology, PÁGINAS: 53-59
CrossRefAUTORES: Luís Filipe Cunha ; Nana Yu; Purificação Silvano; Ricardo Campos; Alípio Jorge ;
PUBLICAÇÃO: 2025, FONTE: 47th European Conference on Information Retrieval, ECIR 2025 in Advances in Information Retrieval - 47th European Conference on Information Retrieval, ECIR 2025, Lucca, Italy, April 6-10, 2025, Proceedings, Part V, VOLUME: 15576, PÁGINAS: 53-58
AUTORES: Alvarez, Marcos Lazaro; Bahillo, Alfonso; Arjona, Laura; Nogueira, Diogo Marcelo; Gomes, Elsa Ferreira ; Jorge, Alipio M.;
PUBLICAÇÃO: 2025, FONTE: IEEE ACCESS, VOLUME: 13, PÁGINAS: 127240-127251
AUTORES: da Costa, Vinicius Braga Ferreira; Bitencourt, Leonardo; Dias, Bruno Henriques; Soares, Tiago ; Andrade, Jorge Vleberton Bessa de; Bonatto, Benedito Donizeti;
PUBLICAÇÃO: 2025, FONTE: RENEWABLE & SUSTAINABLE ENERGY REVIEWS, VOLUME: 208, PÁGINAS: 114988
AUTORES: Amarelo, Anabela; Amarelo, Bruno; Ferreira, Marta Campos ; Fernandes, Carla Silvia ;
PUBLICAÇÃO: 2025, FONTE: EUROPEAN JOURNAL OF ONCOLOGY NURSING, VOLUME: 77, PÁGINAS: 102921
AUTORES: Rincon, Andre Mesquita; VINCENZI, AURI M. R. ; Faria, Joao Pascoal ;
PUBLICAÇÃO: 2025, FONTE: 2025 International Conference on Software Testing, Verification and Validation Workshops-ICSTW in 2025 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS, ICSTW, PÁGINAS: 21-28
AUTORES: Retorta, Fabio; Mello, Joao; Gouveia, Clara; Silva, Bernardo ; Villar, Jose ; Troncia, Matteo; Chaves Avila, Jose Pablo;
PUBLICAÇÃO: 2025, FONTE: UTILITIES POLICY, VOLUME: 96, PÁGINAS: 102029
AUTORES: Agrela, Joao Carlos ; Soares, Tiago ; Villar, Jose ; Rezende, Igor;
PUBLICAÇÃO: 2025, FONTE: 21st International Conference on the European Energy Market-EEM-Annual in 2025 21ST INTERNATIONAL CONFERENCE ON THE EUROPEAN ENERGY MARKET, EEM, PÁGINAS: 1-7
AUTORES: Baratto, Marie; Crama, Yves; Pedroso, Joao Pedro ; Viana, Ana ;
PUBLICAÇÃO: 2025, FONTE: EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, VOLUME: 320, NÚMERO: 1, PÁGINAS: 20-34
AUTORES: Fernandes, Francisco ; Lopes, Joao Pecas ; Moreira, Carlos ;
PUBLICAÇÃO: 2025, FONTE: IET GENERATION TRANSMISSION & DISTRIBUTION, VOLUME: 19, NÚMERO: 1
AUTORES: Madeira, Alexandre; Oliveira, Jose Nuno ; Proenca, Jose ; Neves, Renato ;
PUBLICAÇÃO: 2025, FONTE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 143, PÁGINAS: 101023
AUTORES: da Silva, P. M.; Mendes, Joao. P. ; Coelho, L. C. C.; de Almeida, J. M. M. M.;
PUBLICAÇÃO: 2025, FONTE: 29th International Conference on Optical Fiber Sensors in 29TH INTERNATIONAL CONFERENCE ON OPTICAL FIBER SENSORS, VOLUME: 13639, PÁGINAS: 466
AUTORES: Penelas, Goncalo; Barbosa, Luis ; Reis, Arsenio; Barroso, Joao ; Pinto, Tiago;
PUBLICAÇÃO: 2025, FONTE: ALGORITHMS, VOLUME: 18, NÚMERO: 2, PÁGINAS: 106
AUTORES: Coelho, Micaella; Ocana, Kary; Pereira, Andre ; Porto, Alexandre; Cardoso, Douglas O.; Lorenzon, Arthur; Oliveira, Rui; Navaux, Philippe O. A.; Osthoff, Carla;
PUBLICAÇÃO: 2025, FONTE: 11th Latin American Conference on High Performance Computing in HIGH PERFORMANCE COMPUTING, CARLA 2024, VOLUME: 2270, PÁGINAS: 186-200