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

37 Team Members
Filters -> Year: 2025
21
TÍTULO: On Bridging Prolog and Python to Enhance an Inductive Logic Programming System
AUTORES: Costa, Vitor Santos ; Miguel Areias ;
PUBLICAÇÃO: 2025, FONTE: 27th International Symposium on Practical Aspects of Declarative Languages-PADL in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PADL 2025, VOLUME: 15537, PÁGINAS: 1-17
INDEXADO EM: Scopus WOS DBLP CrossRef
22
TÍTULO: On Exploring Safe Memory Reclamation Methods with a Simplified Lock-Free Hash Map Design
AUTORES: Moreno, Pedro; Miguel Areias ; Rocha, Ricardo;
PUBLICAÇÃO: 2025, FONTE: 30th European Conference on Parallel and Distributed Processing-Euro-Par in EURO-PAR 2024: PARALLEL PROCESSING WORKSHOPS, PT II, VOLUME: 15386, PÁGINAS: 302-306
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
23
TÍTULO: On the Difficulty of NOT being Unique: Fingerprinting Users from Wi-Fi Data in Mobile Devices
AUTORES: Cunha, Mariana; Mendes, Ricardo; de Montjoye, Yves Alexandre; Vilela, Joao P. ;
PUBLICAÇÃO: 2025, FONTE: 40th Symposium on Applied Computing-SAC in 40TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, PÁGINAS: 1335-1342
INDEXADO EM: Scopus WOS CrossRef: 1
24
TÍTULO: Osiris: A Multi-Language Transpiler for Educational Purposes
AUTORES: Breno Marrão; José Paulo Leal ; Ricardo Queirós;
PUBLICAÇÃO: 2025, FONTE: 6th International Computer Programming Education Conference, ICPEC 2025, July 10-11, 2025, PORTIC, Polytechnic of Porto, Portugal, VOLUME: 133, PÁGINAS: 17:1-17:14
INDEXADO EM: DBLP
25
TÍTULO: PAP900: A dataset of semantic relationships between affective words in Portuguese
AUTORES: dos Santos, Andre Fernandes; Leal, Jose Paulo ; Alves, Rui Alexandre; Jacques, Teresa;
PUBLICAÇÃO: 2025, FONTE: DATA IN BRIEF, VOLUME: 61, PÁGINAS: 111726
INDEXADO EM: Scopus WOS CrossRef
26
TÍTULO: Post, Predict, and Rank: Exploring the Relationship Between Social Media Strategy and Higher Education Institution Rankings
AUTORES: Rocha, Bruna; Figueira, Alvaro ;
PUBLICAÇÃO: 2025, FONTE: INFORMATICS-BASEL, VOLUME: 12, NÚMERO: 1, PÁGINAS: 6
INDEXADO EM: Scopus WOS CrossRef Unpaywall
27
TÍTULO: Program Synthesis Using Inductive Logic Programming for the Abstraction and Reasoning Corpus
AUTORES: Filipe Marinho Rocha; Inês Dutra ; Vítor Santos Costa ;
PUBLICAÇÃO: 2025, FONTE: 3rd International Workshop on Hybrid Models for Coupling Deductive and Inductive Reasoning, HYDRA 2024 in INTELLIGENZA ARTIFICIALE, VOLUME: abs/2405.06399, PÁGINAS: 52-68
INDEXADO EM: Scopus WOS DBLP CrossRef
28
TÍTULO: QIDLEARNINGLIB: A Python library for quasi-identifier recognition and evaluation  Full Text
AUTORES: Simoes, Sancho Amaral; Vilela, Joao P. ; Santos, Miriam Seoane; Abreu, Pedro Henriques;
PUBLICAÇÃO: 2025, FONTE: NEUROCOMPUTING, VOLUME: 654, PÁGINAS: 131239
INDEXADO EM: Scopus WOS CrossRef
29
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
30
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
31
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
32
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
33
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
34
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
35
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
36
TÍTULO: Automated identification of building features with deep learning for risk analysis
AUTORES: Gouveia, Feliz; Silva, Vitor; Lopes, Jorge; Moreira, Rui S. ; Jose M Torres ; Simas Guerreiro, Maria ;
PUBLICAÇÃO: 2024, FONTE: DISCOVER APPLIED SCIENCES, VOLUME: 6, NÚMERO: 9
INDEXADO EM: Scopus WOS CrossRef: 3
37
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
38
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, VOLUME: 20, NÚMERO: 2, PÁGINAS: 1581-1592
INDEXADO EM: Scopus WOS DBLP CrossRef: 2 Unpaywall
39
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
40
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

Results per Page: 20.
Página 2 de 59. Total de resultados: 1162.