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

37 Team Members
Filters -> Year: 2024
121
TÍTULO: Linear Rank Intersection Types
AUTORES: Fábio Reis; Sandra Alves ; Mário Florido ;
PUBLICAÇÃO: 2022, FONTE: 28th International Conference on Types for Proofs and Programs, TYPES 2022 in 28th International Conference on Types for Proofs and Programs, TYPES 2022, June 20-25, 2022, LS2N, University of Nantes, France, VOLUME: 269, PÁGINAS: 8:1-8:21
INDEXADO EM: Scopus DBLP
122
TÍTULO: Managing Gamified Programming Courses with the FGPE Platform  Full Text
AUTORES: Paiva, JC ; Queiros, R ; Leal, JP ; Swacha, J; Miernik, F;
PUBLICAÇÃO: 2022, FONTE: INFORMATION, VOLUME: 13, NÚMERO: 2, PÁGINAS: 45
INDEXADO EM: Scopus WOS DBLP CrossRef: 13
124
TÍTULO: Novel features for time series analysis: a complex networks approach  Full Text
AUTORES: Silva, Vanessa Freitas ; Silva, Maria Eduarda ; Ribeiro, Pedro ; Silva, Fernando ;
PUBLICAÇÃO: 2022, FONTE: DATA MINING AND KNOWLEDGE DISCOVERY, VOLUME: 36, NÚMERO: 3, PÁGINAS: 1062-1101
INDEXADO EM: Scopus WOS DBLP CrossRef: 9
125
TÍTULO: On Creation of Synthetic Samples from GANs for Fake News Identification Algorithms
AUTORES: Vaz, Bruno; Bernardes, Vitor; Figueira, Alvaro ;
PUBLICAÇÃO: 2022, FONTE: World Conference on Information Systems and Technologies (WorldCIST) in INFORMATION SYSTEMS AND TECHNOLOGIES, WORLDCIST 2022, VOL 3, VOLUME: 470, PÁGINAS: 316-326
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
126
TÍTULO: On the correctness of a lock-free compression-based elastic mechanism for a hash trie design  Full Text
AUTORES: Areias, Miguel ; Rocha, Ricardo ;
PUBLICAÇÃO: 2022, FONTE: COMPUTING, VOLUME: 104, NÚMERO: 10, PÁGINAS: 2279-2305
INDEXADO EM: Scopus WOS DBLP CrossRef
127
TÍTULO: Online Learning of Logic Based Neural Network Structures
AUTORES: Guimaraes, Victor; Costa, Vitor Santos ;
PUBLICAÇÃO: 2022, FONTE: 30th International Conference on Inductive Logic Programming (ILP) held as part of the 1st International Joint Conference on Learning and Reasoning (IJCLR) in INDUCTIVE LOGIC PROGRAMMING (ILP 2021), VOLUME: 13191, PÁGINAS: 140-155
INDEXADO EM: Scopus WOS CrossRef
128
TÍTULO: Parallel Logic Programming: A Sequel
AUTORES: Dovier, Agostino; Formisano, Andrea; Gupta, Gopal; Hermenegildo, Manuel, V; Pontelli, Enrico; Rocha, Ricardo ;
PUBLICAÇÃO: 2022, FONTE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 22, NÚMERO: 6, PÁGINAS: 905-973
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
129
TÍTULO: Poster: Students' Usability Evaluation of the FGPE Gamified Programming Learning Environment
AUTORES: Jakub Swacha; Filip Miernik; Marzena Sylwia Ignasiak; Raffaele Montella; Ciro Giuseppe De Vita; Gennaro Mellone; Ricardo Queirós ; José Carlos Paiva ; José Paulo Leal ; Sokol Kosta;
PUBLICAÇÃO: 2022, FONTE: Information Systems Development: Artificial Intelligence for Information Systems Development and Operations (ISD2022 Proceedings), Cluj-Napoca, Romania, 31 August - 2 September 2022.
INDEXADO EM: DBLP CrossRef
130
TÍTULO: Prediction of Mobile App Privacy Preferences with User Profiles via Federated Learning
AUTORES: Brandao, Andre; Mendes, Ricardo; Vilela, Joao P. ;
PUBLICAÇÃO: 2022, FONTE: ACM Conference on Data and Application Security and Privacy (CODASPY) in CODASPY'22: PROCEEDINGS OF THE TWELVETH ACM CONFERENCE ON DATA AND APPLICATION SECURITY AND PRIVACY, PÁGINAS: 89-100
INDEXADO EM: Scopus WOS CrossRef: 7 Unpaywall
131
TÍTULO: Preface
AUTORES: Ribeiro, P ; Silva, F ; Mendes, JF ; Laureano, R ;
PUBLICAÇÃO: 2022, FONTE: 7th International Conference and School of Network Science, NetSci-X 2022 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 13197 LNCS
INDEXADO EM: Scopus
132
TÍTULO: Preface
AUTORES: Prieto, J; Partida, A; Leitão, P; Pinto, A ;
PUBLICAÇÃO: 2022, FONTE: 3rd International Congress on Blockchain and Applications, BLOCKCHAIN 2021 in Lecture Notes in Networks and Systems, VOLUME: 320 LNNS
INDEXADO EM: Scopus
133
TÍTULO: Proceedings of the 1st Workshop on Middleware for the Edge, MIDDLEWEDGE 2022, Quebec City, Quebec, Canada, 7 November 2022
AUTORES: Rolando Martins ; Luís Veiga; Adrien Lebre;
PUBLICAÇÃO: 2022, FONTE: MIDDLEWEDGE@Middleware
INDEXADO EM: DBLP
134
TÍTULO: Profiling the Portuguese Data Protection Officer in the Context of GDPR
AUTORES: Pereira, J; Cepa, A; Carneiro, P; Pinto, A ; Pinto, P ;
PUBLICAÇÃO: 2022, FONTE: European Data Protection Law Review, VOLUME: 8, NÚMERO: 4, PÁGINAS: 527-531
INDEXADO EM: Scopus CrossRef Unpaywall
135
TÍTULO: Quantitative Weak Linearisation
AUTORES: Sandra Alves ; Daniel Ventura;
PUBLICAÇÃO: 2022, FONTE: 19th International Colloquium on Theoretical Aspects of Computing, ICTAC 2022 in Theoretical Aspects of Computing - ICTAC 2022 - 19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings, VOLUME: 13572, PÁGINAS: 78-95
INDEXADO EM: Scopus DBLP CrossRef
136
TÍTULO: Report on women in logic 2020 & 2021
AUTORES: Sandra Alves ; Sandra Kiefer; Ana Sokolova;
PUBLICAÇÃO: 2022, FONTE: ACM SIGLOG News, VOLUME: 9, NÚMERO: 2, PÁGINAS: 31-33
INDEXADO EM: DBLP
137
TÍTULO: ScraPE - An Automated Tool for Programming Exercises Scraping
AUTORES: Ricardo Queirós ;
PUBLICAÇÃO: 2022, FONTE: 11th Symposium on Languages, Applications and Technologies, SLATE 2022 in 11th Symposium on Languages, Applications and Technologies, SLATE 2022, July 14-15, 2022, Universidade da Beira Interior, Covilhã, Portugal., VOLUME: 104, PÁGINAS: 18:1-18:7
INDEXADO EM: Scopus DBLP
138
TÍTULO: Structural Rules and Algebraic Properties of Intersection Types
AUTORES: Sandra Alves ; Mário Florido ;
PUBLICAÇÃO: 2022, FONTE: 19th International Colloquium on Theoretical Aspects of Computing, ICTAC 2022 in Theoretical Aspects of Computing - ICTAC 2022 - 19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings, VOLUME: 13572, PÁGINAS: 60-77
INDEXADO EM: Scopus DBLP CrossRef: 1
139
TÍTULO: Survey on Synthetic Data Generation, Evaluation Methods and GANs  Full Text
AUTORES: Figueira, Alvaro ; Vaz, Bruno;
PUBLICAÇÃO: 2022, FONTE: MATHEMATICS, VOLUME: 10, NÚMERO: 15, PÁGINAS: 2733
INDEXADO EM: Scopus WOS CrossRef: 98
140
TÍTULO: The case for blockchain in IoT identity management
AUTORES: Sousa, PR ; Resende, JS ; Rolando Martins ; Antunes, L ;
PUBLICAÇÃO: 2022, FONTE: JOURNAL OF ENTERPRISE INFORMATION MANAGEMENT, VOLUME: 35, NÚMERO: 6, PÁGINAS: 1477-1505
INDEXADO EM: Scopus WOS DBLP CrossRef: 20

Results per Page: 20.
Página 7 de 56. Total de resultados: 1120.