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

37 Team Members
Filters -> Year: 2025
321
TÍTULO: Multi-dimensional lock-free arrays for multithreaded mode-directed tabling in Prolog. Multi-Dimensional Lock-Free Arrays for Multithreaded Mode-Directed Tabling in Prolog  Full Text
AUTORES: Miguel Areias ; Rocha, R ;
PUBLICAÇÃO: 2019, FONTE: 10th International Symposium on High-Level Parallel Programming and Applications (HLPP) in CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, VOLUME: 31, NÚMERO: 5
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
322
TÍTULO: Ncryptr: a symmetric and asymmetric encryption application
AUTORES: Goncalo Ribeiro; Marin Grabovschi; Mario Antunes ; Luis Frazao;
PUBLICAÇÃO: 2019, FONTE: 14th Iberian Conference on Information Systems and Technologies (CISTI) in 2019 14TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI), VOLUME: 2019-June
INDEXADO EM: Scopus WOS CrossRef: 2
323
TÍTULO: On the Development of a Model to Prevent Failures, Built from Interactions with Moodle
AUTORES: Bruno Cabral; Alvaro Figueira ;
PUBLICAÇÃO: 2019, FONTE: 18th Annual International Conference on Web-Based Learning (ICWL) in ADVANCES IN WEB-BASED LEARNING - ICWL 2019, VOLUME: 11841, PÁGINAS: 352-356
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
324
TÍTULO: Performance of Hash Functions in Blockchain Applied to IoT Devices
AUTORES: Jessica Ferreira; Mykyta Zhygulskyy; Mario Antunes ; Luis Frazao;
PUBLICAÇÃO: 2019, FONTE: 14th Iberian Conference on Information Systems and Technologies (CISTI) in 2019 14TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI), VOLUME: 2019-June
INDEXADO EM: Scopus WOS CrossRef: 3
325
TÍTULO: Polar coding for physical-layer security without knowledge of the eavesdropper's channel  Full Text
AUTORES: Pinto, T; Gomes, M; Vilela, JP ; Harrison, WK;
PUBLICAÇÃO: 2019, FONTE: 89th IEEE Vehicular Technology Conference, VTC Spring 2019 in IEEE Vehicular Technology Conference, VOLUME: 2019-April
INDEXADO EM: Scopus CrossRef: 1
326
TÍTULO: Polar Coding for Physical-layer Security without Knowledge of the Eavesdropper's Channel
AUTORES: Thyago Monteiro; Marco Gomes; Joao P Vilela ; Willie K Harrison;
PUBLICAÇÃO: 2019, FONTE: 89th IEEE Vehicular Technology Conference (VTC Spring) in 2019 IEEE 89TH VEHICULAR TECHNOLOGY CONFERENCE (VTC2019-SPRING)
INDEXADO EM: WOS
327
TÍTULO: Pre-grammars and Inhabitation for a Subset of Rank 2 Intersection Types
AUTORES: Sandra Alves ; Sabine Broda ;
PUBLICAÇÃO: 2019, FONTE: 13th Workshop on Logical and Semantic Frameworks with Applications (LSFA) in ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 344, PÁGINAS: 25-45
INDEXADO EM: Scopus WOS DBLP CrossRef
328
TÍTULO: Preface
AUTORES: Paulo Novais ; Jung, JJ; Villarrubia, G; Fernández Caballero, A; Navarro, E; González, P; Carneiro, D ; Pinto, A ; Campbell, AT; Duraes, D ;
PUBLICAÇÃO: 2019, FONTE: 9th International Symposium on Ambient Intelligence, ISAmI 2018 in Advances in Intelligent Systems and Computing, VOLUME: 806
INDEXADO EM: Scopus CrossRef
329
TÍTULO: Preventing Failures by Predicting Students' Grades through an Analysis of Logged Data of Online Interactions
AUTORES: Cabral, B; Figueira, A ;
PUBLICAÇÃO: 2019, FONTE: 11th International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management, IC3K 2019 in KDIR: PROCEEDINGS OF THE 11TH INTERNATIONAL JOINT CONFERENCE ON KNOWLEDGE DISCOVERY, KNOWLEDGE ENGINEERING AND KNOWLEDGE MANAGEMENT - VOL 1: KDIR, VOLUME: 1, PÁGINAS: 491-499
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
330
TÍTULO: Privacy Preservation and Mandate Representation In Identity Management Systems
AUTORES: Abubakar Sadiq Shehu ; Antonio Pinto ; Manuel E Correia ;
PUBLICAÇÃO: 2019, FONTE: 14th Iberian Conference on Information Systems and Technologies (CISTI) in 2019 14TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI), VOLUME: 2019-June
INDEXADO EM: Scopus WOS CrossRef: 6
333
TÍTULO: PROud-A Gamification Framework Based on Programming Exercises Usage Data  Full Text
AUTORES: Queiros, R ;
PUBLICAÇÃO: 2019, FONTE: INFORMATION, VOLUME: 10, NÚMERO: 2, PÁGINAS: 54
INDEXADO EM: Scopus WOS DBLP CrossRef: 7
334
TÍTULO: pTASC: Trustable Autonomous Secure Communications. trustable autonomous secure communications
AUTORES: Patricia R Sousa ; Andre Cirne ; Joao S Resende ; Rolando Martins ; Luis Antunes ;
PUBLICAÇÃO: 2019, FONTE: 20th International Conference on Distributed Computing and Networking (ICDCN) in ICDCN '19: PROCEEDINGS OF THE 2019 INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING AND NETWORKING, PÁGINAS: 193-202
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
335
TÍTULO: Quarmic: A Data-Driven Web Development Framework
AUTORES: Pedro Miguel Pereira Cunha; José Paulo Leal ;
PUBLICAÇÃO: 2019, FONTE: 8th Symposium on Languages, Applications and Technologies, SLATE 2019 in 8th Symposium on Languages, Applications and Technologies, SLATE 2019, June 27-28, 2019, Coimbra, Portugal., VOLUME: 74, PÁGINAS: 19:1-19:8
INDEXADO EM: Scopus DBLP
336
TÍTULO: Reputation based approach for improved fairness and robustness in P2P protocols  Full Text
AUTORES: Francis N Nwebonyi ; Rolando Martins ; Manuel E Correia ;
PUBLICAÇÃO: 2019, FONTE: PEER-TO-PEER NETWORKING AND APPLICATIONS, VOLUME: 12, NÚMERO: 4, PÁGINAS: 951-968
INDEXADO EM: Scopus WOS DBLP CrossRef: 16
337
TÍTULO: Reputation-Based Security System For Edge Computing
AUTORES: Francis N Nwebonyi ; Rolando Martins ; Manuel E Correia ;
PUBLICAÇÃO: 2019, FONTE: 13th International Conference on Availability, Reliability and Security (ARES) in 13TH INTERNATIONAL CONFERENCE ON AVAILABILITY, RELIABILITY AND SECURITY (ARES 2018), PÁGINAS: 39:1-39:8
INDEXADO EM: Scopus WOS DBLP CrossRef: 7
338
TÍTULO: SeCoGen - A Service Code Generator
AUTORES: Ricardo Queirós ;
PUBLICAÇÃO: 2019, FONTE: 8th Symposium on Languages, Applications and Technologies, SLATE 2019 in 8th Symposium on Languages, Applications and Technologies, SLATE 2019, June 27-28, 2019, Coimbra, Portugal., VOLUME: 74, PÁGINAS: 23:1-23:8
INDEXADO EM: Scopus DBLP
339
TÍTULO: Secure Provisioning for Achieving End-to-End Secure Communications
AUTORES: Patricia R Sousa ; Joao S Resende ; Rolando Martins ; Luis Antunes ;
PUBLICAÇÃO: 2019, FONTE: 18th International Conference on Ad-Hoc Networks and Wireless (AdHoc-Now) in AD-HOC, MOBILE, AND WIRELESS NETWORKS (ADHOC-NOW 2019), VOLUME: 11803, PÁGINAS: 498-507
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
340
TÍTULO: Security and Fairness in IoT Based e-Health System: A Case Study of Mobile Edge-Clouds
AUTORES: Francis N Nwebonyi; Rolando Martins ; Manuel E Correia ;
PUBLICAÇÃO: 2019, FONTE: 15th International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob) in 2019 INTERNATIONAL CONFERENCE ON WIRELESS AND MOBILE COMPUTING, NETWORKING AND COMMUNICATIONS (WIMOB), VOLUME: 2019-October, PÁGINAS: 318-323
INDEXADO EM: Scopus WOS DBLP CrossRef: 4

Results per Page: 20.
Página 17 de 58. Total de resultados: 1141.