CS: Computer Science
CS: Computer Science

Inesc Technology and Science (INESC TEC)

Publications Actions
Publications at Authenticus Institutional Profile

An Authenticus institution (group) is an organization which consists of a set of researchers (institutional/group team). The set of researchers depends on the organizational structure of the institution per year and can be set at the institution profile, under ‘Researchers’ interface. Based on the institutional team we produce listings of publications, statistics and institutional reports. 

Publications displayed at an Authenticus institutional profile depend on two parameters:

  • Researchers team associated with the institution per year. 
  • Publications source type. 

We define 3 types of publication sources:

  • Validated by team members - includes all publications validated by team members. Requires the definition of the institutional team. 
  • All published by team members - includes all publications validated by the institution team members plus all not-validated (only identified) publications. Requires the definition of the institutional team. 
  • Affiliation Based - includes publications that have the institution/group in the publication affiliation. Does not require institutional team, but at the same time does not guarantee that all publications will be listed. 
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: 8435

531 Team Members
Filters -> Year: 2024
1102
TITLE: Execution Time Program Verification With Tight Bounds
AUTHORS: Ana Carolina Silva; Manuel Barbosa ; Mário Florido ;
PUBLISHED: 2022, SOURCE: CoRR, VOLUME: abs/2210.11105
INDEXED IN: DBLP
1103
TITLE: Exon: An Oblivious Exactly-Once Messaging Protocol  Full Text
AUTHORS: Kassam, Ziad ; Almeida, Paulo Sergio ; Shoker, Ali;
PUBLISHED: 2022, SOURCE: 31st International Conference on Computer Communications and Networks (ICCCN) in 2022 31ST INTERNATIONAL CONFERENCE ON COMPUTER COMMUNICATIONS AND NETWORKS (ICCCN 2022), VOLUME: 2022-July, PAGES: 1-10
INDEXED IN: Scopus WOS DBLP CrossRef Unpaywall
1104
TITLE: Expert Validation of the ICT Accessibility Requirements Tool Prototype
AUTHORS: Martins, Marcio; Godinho, Francisco; Goncalves, Pedro; Goncalves, Ramiro ;
PUBLISHED: 2022, SOURCE: 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, PAGES: 40-58
INDEXED IN: Scopus WOS DBLP CrossRef: 1
1105
TITLE: Exploiting BIM Objects for Synthetic Data Generation toward Indoor Point Cloud Classification Using Deep Learning  Full Text
AUTHORS: Frias, Ernesto; Pinto, Jose ; Sousa, Ricardo ; Lorenzo, Henrique; Diaz Vilarino, Lucia;
PUBLISHED: 2022, SOURCE: JOURNAL OF COMPUTING IN CIVIL ENGINEERING, VOLUME: 36, ISSUE: 6
INDEXED IN: Scopus WOS CrossRef Unpaywall
1106
TITLE: Exploiting Online Services to Enable Anonymous and Confidential Messaging
AUTHORS: Pedro Sousa; António Pinto ; Pedro Pinto ;
PUBLISHED: 2022, SOURCE: J. Cybersecur. Priv., VOLUME: 2, ISSUE: 3, PAGES: 700-713
INDEXED IN: Scopus DBLP CrossRef
1107
TITLE: Exploring Timing Covert Channel Performance over the IEEE 802.15.4
AUTHORS: Severino, Ricardo; Rodrigues, Joao; Ferreira, Luis Lino ;
PUBLISHED: 2022, SOURCE: 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
INDEXED IN: Scopus WOS
1108
TITLE: Extending EcoAndroid with Automated Detection of Resource Leaks
AUTHORS: Pereira, Ricardo B.; Ferreira, Joao F.; Mendes, Alexandra ; Abreu, Rui;
PUBLISHED: 2022, SOURCE: 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, PAGES: 17-27
INDEXED IN: Scopus WOS DBLP CrossRef: 2
1109
TITLE: Extreme heat events in the Iberia Peninsula from extreme value mixture modeling of ERA5-Land air temperature  Full Text
AUTHORS: Barbosa, Susana ; Scotto, Manuel G.;
PUBLISHED: 2022, SOURCE: WEATHER AND CLIMATE EXTREMES, VOLUME: 36, PAGES: 100448
INDEXED IN: Scopus WOS CrossRef: 3
1111
TITLE: Feasibility of Digital Cognitive Behavioral Therapy for Depressed Older Adults With the Moodbuster Platform: Protocol for 2 Pilot Feasibility Studies
AUTHORS: Amarti, K; Schulte, MHJ; Kleiboer, A; Van Genugten, CR; Oudega, M; Sonnenberg, C; Gonçalves, Gc ; Rocha, A ; Riper, H;
PUBLISHED: 2022, SOURCE: JMIR Research Protocols, VOLUME: 11, ISSUE: 10
INDEXED IN: Scopus CrossRef Unpaywall
1112
TITLE: Federated Anomaly Detection over Distributed Data Streams
AUTHORS: Paula Raissa Silva ; João Vinagre ; João Gama ;
PUBLISHED: 2022, SOURCE: CoRR, VOLUME: abs/2205.07829
INDEXED IN: DBLP
1113
TITLE: Federated Search Using Query Log Evidence
AUTHORS: Damas, Joao; Devezas, Jose; Nunes, Sergio ;
PUBLISHED: 2022, SOURCE: 21st EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE, EPIA 2022, VOLUME: 13566, PAGES: 794-805
INDEXED IN: Scopus WOS DBLP CrossRef
1114
TITLE: Fifty Years of Prolog and Beyond
AUTHORS: 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;
PUBLISHED: 2022, SOURCE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 22, ISSUE: 6, PAGES: 776-858
INDEXED IN: WOS DBLP CrossRef: 9
1115
TITLE: Fifty Years of Prolog and Beyond
AUTHORS: 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;
PUBLISHED: 2022, SOURCE: Theory Pract. Log. Program., VOLUME: 22, ISSUE: 6, PAGES: 776-858
INDEXED IN: DBLP
1116
TITLE: Fit and Fun: Content Analysis Investigating Positive Body Image Dimensions of Adolescents' Facebook Images  Full Text
AUTHORS: Torres, Sandra; Brito, Pedro Quelhas ;
PUBLISHED: 2022, SOURCE: CYBERPSYCHOLOGY-JOURNAL OF PSYCHOSOCIAL RESEARCH ON CYBERSPACE, VOLUME: 16, ISSUE: 5
INDEXED IN: Scopus WOS CrossRef
1117
TITLE: Flexible Fine-grained Data Access Management for Hyperledger Fabric
AUTHORS: Parente, Joao; Alonso, Ana Nunes ; Coelho, Fabio ; Vinagre, Joao ; Bastos, Paulo;
PUBLISHED: 2022, SOURCE: 4th International Conference on Blockchain Computing and Applications (BCCA) in 2022 FOURTH INTERNATIONAL CONFERENCE ON BLOCKCHAIN COMPUTING AND APPLICATIONS (BCCA), PAGES: 76-84
INDEXED IN: Scopus WOS DBLP CrossRef Unpaywall
1118
TITLE: Flexible Loads Scheduling Algorithms for Renewable Energy Communities
AUTHORS: Fonseca, Tiago; Ferreira, Luis Lino ; Landeck, Jorge; Klein, Lurian; Sousa, Paulo; Ahmed, Fayaz;
PUBLISHED: 2022, SOURCE: ENERGIES, VOLUME: 15, ISSUE: 23, PAGES: 8875
INDEXED IN: Scopus WOS CrossRef: 4
1119
TITLE: Forecasting Student s Dropout: A UTAD University Study  Full Text
AUTHORS: da Silva, Diogo E. Moreira; Pires, Eduardo J. Solteiro ; Reis, Arsenio ; Oliveira, Paulo B. de Moura ; Barroso, Joao ;
PUBLISHED: 2022, SOURCE: FUTURE INTERNET, VOLUME: 14, ISSUE: 3, PAGES: 76
INDEXED IN: Scopus WOS DBLP CrossRef: 8
1120
TITLE: Foreword RAGI
AUTHORS: Silva, Paula Alexandra; Magalhaes, Luis Gonzaga; Mendes, Daniel ; Giachetti, Andrea;
PUBLISHED: 2022, SOURCE: COMPUTERS & GRAPHICS-UK, VOLUME: 109
INDEXED IN: Scopus WOS DBLP CrossRef

Results per Page: 20.
Page 56 of 422. Total results: 8435.