Center for Research in Advanced Computing Systems (CRACS)
Center for Research in Advanced Computing Systems

Inesc Tecnologia e Ciência (INESC TEC) :: CS: Computer 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: 1150

37 Team Members
Filters -> Year: 2025
21
TÍTULO: Regular Typed Unification  Full Text
AUTORES: Barbosa, Joao ; Florido, Mario ; Costa, Vitor Santos ;
PUBLICAÇÃO: 2025, FONTE: 40th International Conference on Logic Programming (ICLP) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 416, NÚMERO: 416, PÁGINAS: 236-252
INDEXADO EM: Scopus WOS DBLP CrossRef Unpaywall
22
TÍTULO: Studying and Improving Graph Neural Network-based Motif Estimation
AUTORES: Pedro C Vieira; Miguel E P Silva ; Pedro Manuel Pinto Ribeiro;
PUBLICAÇÃO: 2025, FONTE: CoRR, VOLUME: abs/2506.15709
INDEXADO EM: DBLP
23
TÍTULO: WiFi-Based Location Tracking: A Still Open Door on Laptops
AUTORES: Cunha, Mariana; Mendes, Ricardo; de Montjoye, Yves Alexandre; Vilela, Joao P. ;
PUBLICAÇÃO: 2025, FONTE: IEEE OPEN JOURNAL OF THE COMPUTER SOCIETY, VOLUME: 6, PÁGINAS: 822-833
INDEXADO EM: Scopus WOS CrossRef
24
TÍTULO: 13th Symposium on Languages, Applications and Technologies, SLATE 2024, July 4-5, 2024, Águeda, Portugal
AUTORES: Mário Rodrigues; José Paulo Leal ; Filipe, Portela ;
PUBLICAÇÃO: 2024, FONTE: 13th Symposium on Languages, Applications and Technologies, SLATE 2024 in SLATE, VOLUME: 120
INDEXADO EM: Scopus DBLP
25
TÍTULO: A blockchain architecture with smart contracts for an additive symbiotic network - a case study  Full Text
AUTORES: Ferreira, Ines A.; Palazzo, Guido; Pinto, Antonio ; Pinto, Pedro; Sousa, Pedro; Godina, Radu; Carvalho, Helena;
PUBLICAÇÃO: 2024, FONTE: OPERATIONS MANAGEMENT RESEARCH
INDEXADO EM: Scopus WOS CrossRef
26
TÍTULO: A Privacy-Aware Remapping Mechanism for Location Data
AUTORES: Duarte, Guilherme; Cunha, Mariana ; Vilela, Joao P. ;
PUBLICAÇÃO: 2024, FONTE: 39th Annual ACM Symposium on Applied Computing (SAC) in 39TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, SAC 2024, PÁGINAS: 1433-1440
INDEXADO EM: Scopus WOS CrossRef: 2
27
TÍTULO: Authoring Programming Exercises for Automated Assessment Assisted by Generative AI
AUTORES: Yannik Bauer; José Paulo Leal ; Ricardo Queirós ;
PUBLICAÇÃO: 2024, FONTE: 5th International Computer Programming Education Conference, ICPEC 2024 in 5th International Computer Programming Education Conference, ICPEC 2024, June 27-28, 2024, Lisbon, Portugal, VOLUME: 122, PÁGINAS: 21:1-21:8
INDEXADO EM: Scopus DBLP
28
TÍTULO: Client-Side Gamification Engine for Enhanced Programming Learning
AUTORES: Ricardo Queirós ; Robertas Damasevicius; Rytis Maskeliunas; Jakub Swacha;
PUBLICAÇÃO: 2024, FONTE: 5th International Computer Programming Education Conference, ICPEC 2024 in 5th International Computer Programming Education Conference, ICPEC 2024, June 27-28, 2024, Lisbon, Portugal, VOLUME: 122, PÁGINAS: 11:1-11:12
INDEXADO EM: Scopus DBLP
29
TÍTULO: Clustering source code from automated assessment of programming assignments
AUTORES: Paiva, Jose Carlos ; Leal, Jose Paulo ; Figueira, Alvaro ;
PUBLICAÇÃO: 2024, FONTE: INTERNATIONAL JOURNAL OF DATA SCIENCE AND ANALYTICS
INDEXADO EM: Scopus WOS CrossRef: 2 Unpaywall
30
TÍTULO: Comparing Semantic Graph Representations of Source Code: The Case of Automatic Feedback on Programming Assignments  Full Text
AUTORES: Paiva, Jose Carlos ; Leal, Jose Paulo ; Figueira, Alvaro ;
PUBLICAÇÃO: 2024, FONTE: COMPUTER SCIENCE AND INFORMATION SYSTEMS, VOLUME: 21, NÚMERO: 1, PÁGINAS: 117-142
INDEXADO EM: Scopus WOS DBLP CrossRef: 1 Unpaywall
31
TÍTULO: Computation-Limited Signals: A Channel Capacity Regime Constrained by Computational Complexity  Full Text
AUTORES: Queiroz, Saulo; Vilela, Joao P. ; Monteiro, Edmundo;
PUBLICAÇÃO: 2024, FONTE: IEEE COMMUNICATIONS LETTERS, VOLUME: 28, NÚMERO: 8, PÁGINAS: 1909-1913
INDEXADO EM: WOS CrossRef: 1
32
TÍTULO: Computing Motifs in Hypergraphs
AUTORES: Nobrega, Duarte ; Ribeiro, Pedro ;
PUBLICAÇÃO: 2024, FONTE: 15th Conference on Complex Networks (CompleNet) in COMPLEX NETWORKS XV, COMPLENET 2024, PÁGINAS: 55-70
INDEXADO EM: Scopus WOS CrossRef Unpaywall
33
TÍTULO: Deep-Graph-Sprints: Accelerated Representation Learning in Continuous-Time Dynamic Graphs
AUTORES: Ahmad Naser Eddin; Jacopo Bono; David Oliveira Aparício; Hugo Ferreira; Pedro Manuel Pinto Ribeiro ; Pedro Bizarro;
PUBLICAÇÃO: 2024, FONTE: Trans. Mach. Learn. Res., VOLUME: 2024
INDEXADO EM: Scopus DBLP
35
TÍTULO: Dvorak: A Browser Credential Dumping Malware
AUTORES: José Areia; Bruno Santos; Mário Antunes ;
PUBLICAÇÃO: 2024, FONTE: 21st International Conference on Security and Cryptography, SECRYPT 2024 in Proceedings of the 21st International Conference on Security and Cryptography, SECRYPT 2024, Dijon, France, July 8-10, 2024., PÁGINAS: 434-441
INDEXADO EM: Scopus DBLP
36
TÍTULO: Early Findings in Using LLMs to Assess Semantic Relations Strength
AUTORES: André Fernandes dos Santos; José Paulo Leal ;
PUBLICAÇÃO: 2024, FONTE: 13th Symposium on Languages, Applications and Technologies, SLATE 2024 in OpenAccess Series in Informatics, VOLUME: 120
INDEXADO EM: Scopus
37
TÍTULO: Early Findings in Using LLMs to Assess Semantic Relations Strength (Short Paper)
AUTORES: André Fernandes dos Santos; José Paulo Leal ;
PUBLICAÇÃO: 2024, FONTE: 13th Symposium on Languages, Applications and Technologies, SLATE 2024, July 4-5, 2024, Águeda, Portugal, VOLUME: 120, PÁGINAS: 4:1-4:9
INDEXADO EM: DBLP
38
TÍTULO: Enhanced authentication and device integrity protection for GDOI using blockchain  Full Text
AUTORES: Mukhandi, Munkenyi; Andrade, Eduardo; Granjal, Jorge; Vilela, Joao P. ;
PUBLICAÇÃO: 2024, FONTE: TRANSACTIONS ON EMERGING TELECOMMUNICATIONS TECHNOLOGIES, VOLUME: 35, NÚMERO: 5
INDEXADO EM: Scopus WOS CrossRef Unpaywall
39
TÍTULO: Exercisify: An AI-Powered Statement Evaluator
AUTORES: Ricardo Queirós ;
PUBLICAÇÃO: 2024, FONTE: 5th International Computer Programming Education Conference, ICPEC 2024 in 5th International Computer Programming Education Conference, ICPEC 2024, June 27-28, 2024, Lisbon, Portugal, VOLUME: 122, PÁGINAS: 19:1-19:6
INDEXADO EM: Scopus DBLP
40
TÍTULO: Exploring HEIs Students' Perceptions of Artificial Intelligence on their Learning Process
AUTORES: Lurdes Babo ; Jorge P Mendonca; Ricardo Queiros ; Carla A Pinto ; Mario Cruz ; Daniela Mascarenhas;
PUBLICAÇÃO: 2024, FONTE: 5th International Conference in Electronic Engineering, Information Technology and Education, EEITE 2024 in EEITE 2024 - Proceedings of 2024 5th International Conference in Electronic Engineering, Information Technology and Education, PÁGINAS: 1-5
INDEXADO EM: Scopus CrossRef

Results per Page: 20.
Página 2 de 58. Total de resultados: 1150.