Inesc Tecnologia e Ciência (INESC TEC)
Inesc Technology and Science

Publications Actions
Publicações no Perfil Institucional do Authenticus

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.
External   Internal

Update Citation

No data about last update.
Rules:
 This actions updates publications citations of every team member.
 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!

Update PrePrints

No data about last update.
Rules:
 This actions updates all pre print publications of the group/institution.
 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: 18407

1699 Team Members
Filters -> Year: 2024
1381
TÍTULO: Fixing and Mechanizing the Security Proof of Fiat-Shamir with Aborts and Dilithium
AUTORES: Manuel Barbosa ; Gilles Barthe; Christian Doczkal; Jelle Don; Serge Fehr; Benjamin Grégoire; Yu Hsuan Huang; Andreas Hülsing; Yi Lee; Xiaodi Wu;
PUBLICAÇÃO: 2023, FONTE: IACR Cryptol. ePrint Arch., VOLUME: 2023, PÁGINAS: 246
INDEXADO EM: DBLP
1382
TÍTULO: Fixing and Mechanizing the Security Proof of Fiat-Shamir with Aborts and Dilithium
AUTORES: Barbosa, Manuel ; Barthe, Gilles; Doczkal, Christian; Don, Jelle; Fehr, Serge; Gregoire, Benjamin; Huang, Yu Hsuan; Hulsing, Andreas; Lee, Yi; Wu, Xiaodi;
PUBLICAÇÃO: 2023, FONTE: 43rd International Cryptology Conference (CRYPTO) in ADVANCES IN CRYPTOLOGY - CRYPTO 2023, PT V, VOLUME: 14085, PÁGINAS: 358-389
INDEXADO EM: Scopus WOS DBLP CrossRef
1383
TÍTULO: Flexcomm Simulator: Exploring Energy Flexibility in Software Defined Networks with ns-3
AUTORES: Monteiro, Rui Pedro C. ; Silva, Joao Marco C. ;
PUBLICAÇÃO: 2023, FONTE: 15th Workshop on Network Simulator-3 (WNS3) in PROCEEDINGS OF THE 2023 WORKSHOP ON NS-3, WNS3 2023, PÁGINAS: 94-101
INDEXADO EM: Scopus WOS DBLP CrossRef Unpaywall
1384
TÍTULO: Flexibility Modeling and Trading in Renewable Energy Communities
AUTORES: Agrela, Joao ; Rezende, Igor ; Soares, Tiago ; Gouveia, Clara ; Silva, Ricardo ; Villar, Jose ;
PUBLICAÇÃO: 2023, FONTE: 19th International Conference on the European Energy Market (EEM) in 2023 19TH INTERNATIONAL CONFERENCE ON THE EUROPEAN ENERGY MARKET, EEM, VOLUME: 2023-June
INDEXADO EM: Scopus WOS CrossRef Unpaywall
1385
TÍTULO: FLOOR - Forklift Laser OmnidirectiOnal Robot
AUTORES: Pinto, Vitor H. ; Ribeiro, Francisco M.; Brito, Thadeu ; Pereira, Ana I.; Lima, Jose; Costa, Paulo ;
PUBLICAÇÃO: 2023, FONTE: IEEE International Conference on Autonomous Robot Systems and Competitions (ICARSC) in 2023 IEEE INTERNATIONAL CONFERENCE ON AUTONOMOUS ROBOT SYSTEMS AND COMPETITIONS, ICARSC, PÁGINAS: 245-250
INDEXADO EM: Scopus WOS CrossRef
1386
TÍTULO: FluidHarmony: Defining an equal-tempered and hierarchical harmonic lexicon in the Fourier space  Full Text
AUTORES: Bernardes, Gilberto ; Carvalho, Nadia ; Pereira, Samuel ;
PUBLICAÇÃO: 2023, FONTE: JOURNAL OF NEW MUSIC RESEARCH, PÁGINAS: 1-20
INDEXADO EM: Scopus WOS CrossRef: 1 Unpaywall
1387
TÍTULO: Foreword
AUTORES: José Fernando Oliveira ;
PUBLICAÇÃO: 2023, FONTE: 22nd Congress of the Portuguese Association of Operational Research, APDIO 2022 in Springer Proceedings in Mathematics and Statistics, VOLUME: 437
INDEXADO EM: Scopus
1388
TÍTULO: Formally verifying Kyber Episode IV: Implementation correctness. Episode IV: Implementation correctness
AUTORES: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe; Benjamin Grégoire; Vincent Laporte; Jean Christophe Léchenet; Tiago Oliveira; Hugo Pacheco ; Miguel Quaresma; Peter Schwabe; Antoine Séré; Pierre Yves Strub;
PUBLICAÇÃO: 2023, FONTE: IACR Trans. Cryptogr. Hardw. Embed. Syst., VOLUME: 2023, NÚMERO: 3, PÁGINAS: 164-193
INDEXADO EM: Scopus DBLP CrossRef: 1
1389
TÍTULO: Formally verifying Kyber Part I: Implementation Correctness
AUTORES: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe; Benjamin Grégoire; Vincent Laporte; Jean Christophe Léchenet; Tiago Oliveira; Hugo Pacheco ; Miguel Quaresma; Peter Schwabe; Antoine Séré; Pierre Yves Strub;
PUBLICAÇÃO: 2023, FONTE: IACR Cryptol. ePrint Arch., VOLUME: 2023, PÁGINAS: 215
INDEXADO EM: DBLP
1390
TÍTULO: Fostering pedagogy through micro and adaptive learning in higher education: Trends, tools, and applications. Trends, Tools, and Applications
AUTORES: Ricardo Queirós ; Mario Cruz; Carla Pinto ; Daniela Mascarenhas;
PUBLICAÇÃO: 2023, FONTE: Fostering Pedagogy Through Micro and Adaptive Learning in Higher Education: Trends, Tools, and Applications, PÁGINAS: 1-376
INDEXADO EM: Scopus CrossRef: 1 Openlibrary
1391
TÍTULO: Foundational DevOps Patterns
AUTORES: Paulo Marques; Filipe F Correia ;
PUBLICAÇÃO: 2023, FONTE: CoRR, VOLUME: abs/2302.01053
INDEXADO EM: DBLP
1392
TÍTULO: Fractal Bilinear Deep Neural Network Models for Gastric Intestinal Metaplasia Detection
AUTORES: Pedroso, Maria; Martins, Miguel L. ; Libanio, Diogo ; Dinis Ribeiro, Mario ; Coimbra, Miguel ; Renna, Francesco ;
PUBLICAÇÃO: 2023, FONTE: IEEE-EMBS International Conference on Biomedical and Health Informatics (BHI) in 2023 IEEE EMBS INTERNATIONAL CONFERENCE ON BIOMEDICAL AND HEALTH INFORMATICS, BHI, PÁGINAS: 1-5
INDEXADO EM: Scopus WOS DBLP
1393
TÍTULO: Framework for the Analysis and Configuration of Real-Time OpenMP Applications
AUTORES: Carvalho, Tiago ; Pinho, Luis Miguel ; Samadi, Mohammad; Royuela, Sara; Munera, Adrian; Quinones, Eduardo;
PUBLICAÇÃO: 2023, FONTE: IEEE 21st International Conference on Industrial Informatics (INDIN) in 2023 IEEE 21ST INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS, INDIN, VOLUME: 2023-July
INDEXADO EM: Scopus WOS CrossRef
1394
TÍTULO: From 10 Blue Links Pages to Feature-Full Search Engine Results Pages - Analysis of the Temporal Evolution of SERP Features
AUTORES: Bruno Oliveira; Carla Teixeira Lopes ;
PUBLICAÇÃO: 2023, FONTE: Proceedings of the 2023 Conference on Human Information Interaction and Retrieval, CHIIR 2023, Austin, TX, USA, March 19-23, 2023, PÁGINAS: 338-345
INDEXADO EM: Scopus DBLP CrossRef: 3
1395
TÍTULO: From a Visual Scene to a Virtual Representation: A Cross-Domain Review
AUTORES: Pereira, Americo ; Carvalho, Pedro ; Pereira, Nuno ; Viana, Paula ; Corte Real, Luis ;
PUBLICAÇÃO: 2023, FONTE: IEEE ACCESS, VOLUME: 11, PÁGINAS: 57916-57933
INDEXADO EM: WOS CrossRef
1396
TÍTULO: From ISAD(G) to Linked Data Archival Descriptions
AUTORES: Koch, Ines ; Pires, Catarina; Lopes, Carla Teixeira ; Ribeiro, Cristina ; Nunes, Sergio ;
PUBLICAÇÃO: 2023, FONTE: 27th International Conference on Theory and Practice of Digital Libraries (TPDL) in LINKING THEORY AND PRACTICE OF DIGITAL LIBRARIES, TPDL 2023, VOLUME: 14241, PÁGINAS: 303-309
INDEXADO EM: Scopus WOS DBLP CrossRef Unpaywall
1397
TÍTULO: From random-walks to graph-sprints: a low-latency node embedding framework on continuous-time dynamic graphs
AUTORES: Eddin, Ahmad Naser; Bono, Jacopo; Aparicio, David; Ferreira, Hugo; Ascensao, Joao; Ribeiro, Pedro ; Bizarro, Pedro;
PUBLICAÇÃO: 2023, FONTE: 4th ACM International Conference on AI in Finance (ICAIF) in PROCEEDINGS OF THE 4TH ACM INTERNATIONAL CONFERENCE ON AI IN FINANCE, ICAIF 2023, PÁGINAS: 176-184
INDEXADO EM: Scopus WOS DBLP CrossRef Unpaywall
1398
TÍTULO: From the first to the fourth critical period of COVID-19: what has changed in nursing practice environments in hospital settings?  Full Text
AUTORES: Ribeiro, Olga Maria Pimenta Lopes ; Cardoso, Maria Filomena; Trindade, Leticia de Lima; da Rocha, Carla Gomes; Teles, Paulo Joao Figueiredo Cabral ; Pereira, Soraia; Coimbra, Vania; Ribeiro, Marlene Patricia; Reis, Ana ; Faria, Ana da Conceicao Alves; da Silva, Joao Miguel Almeida Ventura; Leite, Paula; Barros, Sonia; Sousa, Clemente ;
PUBLICAÇÃO: 2023, FONTE: BMC NURSING, VOLUME: 22, NÚMERO: 1
INDEXADO EM: Scopus WOS CrossRef: 3
1399
TÍTULO: Full distributed P2P market and distribution network operation based on ADMM: Testing and evaluation
AUTORES: Oliveira, Carlos; Simoes, Micael ; Soares, Tiago ; Matos, Manuel A. ; Bitencourt, Leonardo;
PUBLICAÇÃO: 2023, FONTE: 19th International Conference on the European Energy Market (EEM) in 2023 19TH INTERNATIONAL CONFERENCE ON THE EUROPEAN ENERGY MARKET, EEM, VOLUME: 2023-June
INDEXADO EM: Scopus WOS CrossRef
1400
TÍTULO: Future perspectives of deep learning in laparoscopic tool detection, classification, and segmentation: a systematic review
AUTORES: Fernandes, Nuno; Oliveira, Eva; Rodrigues, Nuno Feixa ;
PUBLICAÇÃO: 2023, FONTE: IEEE 11th International Conference on Serious Games and Applications for Health (SeGAH) in 2023 IEEE 11TH INTERNATIONAL CONFERENCE ON SERIOUS GAMES AND APPLICATIONS FOR HEALTH, SEGAH
INDEXADO EM: Scopus WOS CrossRef

Results per Page: 20.
Página 70 de 921. Total de resultados: 18407.