CS: Computer Science
CS: Computer Science

Inesc Tecnologia e Ciência (INESC TEC)

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: 8150

531 Team Members
Filters -> Year: 2024
961
962
TÍTULO: Execution Time Program Verification With Tight Bounds
AUTORES: Ana Carolina Silva; Manuel Barbosa ; Mário Florido ;
PUBLICAÇÃO: 2022, FONTE: CoRR, VOLUME: abs/2210.11105
INDEXADO EM: DBLP
963
TÍTULO: Exon: An Oblivious Exactly-Once Messaging Protocol  Full Text
AUTORES: Kassam, Ziad ; Almeida, Paulo Sergio ; Shoker, Ali;
PUBLICAÇÃO: 2022, FONTE: 31st International Conference on Computer Communications and Networks (ICCCN) in 2022 31ST INTERNATIONAL CONFERENCE ON COMPUTER COMMUNICATIONS AND NETWORKS (ICCCN 2022), VOLUME: 2022-July, PÁGINAS: 1-10
INDEXADO EM: Scopus WOS DBLP CrossRef Unpaywall
964
TÍTULO: Expert Validation of the ICT Accessibility Requirements Tool Prototype
AUTORES: Martins, Marcio; Godinho, Francisco; Goncalves, Pedro; Goncalves, Ramiro ;
PUBLICAÇÃO: 2022, FONTE: 16th International Conference on UniversalAccess inHuman-Computer Interaction (UAHCI) Held as Part of the 24th International Conference on Human-Computer Interaction (HCII) in UNIVERSAL ACCESS IN HUMAN-COMPUTER INTERACTION: NOVEL DESIGN APPROACHES AND TECHNOLOGIES, UAHCI 2022, PT I, VOLUME: 13308, PÁGINAS: 40-58
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
965
TÍTULO: Exploiting BIM Objects for Synthetic Data Generation toward Indoor Point Cloud Classification Using Deep Learning  Full Text
AUTORES: Frias, Ernesto; Pinto, Jose ; Sousa, Ricardo ; Lorenzo, Henrique; Diaz Vilarino, Lucia;
PUBLICAÇÃO: 2022, FONTE: JOURNAL OF COMPUTING IN CIVIL ENGINEERING, VOLUME: 36, NÚMERO: 6
INDEXADO EM: Scopus WOS CrossRef Unpaywall
966
TÍTULO: Exploiting Online Services to Enable Anonymous and Confidential Messaging
AUTORES: Pedro Sousa; António Pinto ; Pedro Pinto ;
PUBLICAÇÃO: 2022, FONTE: J. Cybersecur. Priv., VOLUME: 2, NÚMERO: 3, PÁGINAS: 700-713
INDEXADO EM: Scopus DBLP CrossRef
967
TÍTULO: Exploring Timing Covert Channel Performance over the IEEE 802.15.4
AUTORES: Severino, Ricardo; Rodrigues, Joao; Ferreira, Luis Lino ;
PUBLICAÇÃO: 2022, FONTE: IEEE 27th International Conference on Emerging Technologies and Factory Automation (ETFA) in 2022 IEEE 27TH INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA), VOLUME: 2022-September
INDEXADO EM: Scopus WOS
968
TÍTULO: Extending EcoAndroid with Automated Detection of Resource Leaks
AUTORES: Pereira, Ricardo B.; Ferreira, Joao F.; Mendes, Alexandra ; Abreu, Rui;
PUBLICAÇÃO: 2022, FONTE: 9th IEEE/ACM International Conference on Mobile Software Engineering and Systems (MobileSoft) in 9TH IEEE/ACM INTERNATIONAL CONFERENCE ON MOBILE SOFTWARE ENGINEERING AND SYSTEMS, MOBILESOFT 2022, PÁGINAS: 17-27
INDEXADO EM: Scopus WOS DBLP
969
TÍTULO: Extreme heat events in the Iberia Peninsula from extreme value mixture modeling of ERA5-Land air temperature  Full Text
AUTORES: Barbosa, Susana ; Scotto, Manuel G.;
PUBLICAÇÃO: 2022, FONTE: WEATHER AND CLIMATE EXTREMES, VOLUME: 36, PÁGINAS: 100448
INDEXADO EM: Scopus WOS CrossRef: 3
971
TÍTULO: Feasibility of Digital Cognitive Behavioral Therapy for Depressed Older Adults With the Moodbuster Platform: Protocol for 2 Pilot Feasibility Studies
AUTORES: Amarti, K; Schulte, MHJ; Kleiboer, A; Van Genugten, CR; Oudega, M; Sonnenberg, C; Gonçalves, Gc ; Rocha, A ; Riper, H;
PUBLICAÇÃO: 2022, FONTE: JMIR Research Protocols, VOLUME: 11, NÚMERO: 10
INDEXADO EM: Scopus CrossRef Unpaywall
972
TÍTULO: Federated Anomaly Detection over Distributed Data Streams
AUTORES: Paula Raissa Silva ; João Vinagre ; João Gama ;
PUBLICAÇÃO: 2022, FONTE: CoRR, VOLUME: abs/2205.07829
INDEXADO EM: DBLP
973
TÍTULO: Federated Search Using Query Log Evidence
AUTORES: Damas, Joao; Devezas, Jose; Nunes, Sergio ;
PUBLICAÇÃO: 2022, FONTE: 21st EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE, EPIA 2022, VOLUME: 13566, PÁGINAS: 794-805
INDEXADO EM: Scopus WOS DBLP CrossRef
974
TÍTULO: Fifty Years of Prolog and Beyond
AUTORES: Koerner, Philipp; Leuschel, Michael; Barbosa, Joao ; Costa, Vitor Santos ; Dahl, Veronica; Hermenegildo, Manuel, V; Morales, Jose F.; Wielemaker, Jan; Diaz, Daniel; Abreu, Salvador ; Ciatto, Giovanni;
PUBLICAÇÃO: 2022, FONTE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 22, NÚMERO: 6, PÁGINAS: 776-858
INDEXADO EM: WOS DBLP CrossRef: 9
975
TÍTULO: Fifty Years of Prolog and Beyond
AUTORES: Philipp Körner; Michael Leuschel; João Barbosa; Vítor Santos Costa ; Verónica Dahl; Manuel V Hermenegildo; José F Morales; Jan Wielemaker; Daniel Diaz; Salvador Abreu;
PUBLICAÇÃO: 2022, FONTE: Theory Pract. Log. Program., VOLUME: 22, NÚMERO: 6, PÁGINAS: 776-858
INDEXADO EM: DBLP
976
TÍTULO: Fit and Fun: Content Analysis Investigating Positive Body Image Dimensions of Adolescents' Facebook Images  Full Text
AUTORES: Torres, Sandra; Brito, Pedro Quelhas ;
PUBLICAÇÃO: 2022, FONTE: CYBERPSYCHOLOGY-JOURNAL OF PSYCHOSOCIAL RESEARCH ON CYBERSPACE, VOLUME: 16, NÚMERO: 5
INDEXADO EM: Scopus WOS CrossRef
977
TÍTULO: Fit and fun: Content analysis investigating positive body image dimensions of adolescents’ Facebook images  Full Text
AUTORES: Sandra Torres; Pedro Quelhas Brito ;
PUBLICAÇÃO: 2022, FONTE: Cyberpsychology: Journal of Psychosocial Research on Cyberspace, VOLUME: 16, NÚMERO: 5
INDEXADO EM: CrossRef
978
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: 2022, FONTE: Advances in Cryptology – CRYPTO 2023 - 43rd Annual International Cryptology Conference, CRYPTO 2023, Proceedings in Advances in Cryptology - CRYPTO 2023 - 43rd Annual International Cryptology Conference, CRYPTO 2023, Santa Barbara, CA, USA, August 20-24, 2023, Proceedings, Part V, VOLUME: 14085, PÁGINAS: 358-389
INDEXADO EM: Scopus DBLP CrossRef: 2
979
TÍTULO: Flexible Fine-grained Data Access Management for Hyperledger Fabric
AUTORES: Parente, Joao; Alonso, Ana Nunes ; Coelho, Fabio ; Vinagre, Joao ; Bastos, Paulo;
PUBLICAÇÃO: 2022, FONTE: 4th International Conference on Blockchain Computing and Applications (BCCA) in 2022 FOURTH INTERNATIONAL CONFERENCE ON BLOCKCHAIN COMPUTING AND APPLICATIONS (BCCA), PÁGINAS: 76-84
INDEXADO EM: Scopus WOS DBLP CrossRef Unpaywall
980
TÍTULO: Flexible Loads Scheduling Algorithms for Renewable Energy Communities
AUTORES: Fonseca, Tiago; Ferreira, Luis Lino ; Landeck, Jorge; Klein, Lurian; Sousa, Paulo; Ahmed, Fayaz;
PUBLICAÇÃO: 2022, FONTE: ENERGIES, VOLUME: 15, NÚMERO: 23, PÁGINAS: 8875
INDEXADO EM: Scopus WOS CrossRef: 4

Results per Page: 20.
Página 49 de 408. Total de resultados: 8150.