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

43 Team Members
Filters -> Year: 2026
401
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
402
TÍTULO: Preface
AUTORES: Sandra Alves ; Michele Pagani;
PUBLICAÇÃO: 2019, FONTE: Electronic Proceedings in Theoretical Computer Science Eptcs, VOLUME: 293, PÁGINAS: 1-6
INDEXADO EM: Scopus
403
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
404
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
405
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
407
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
408
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
409
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
410
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: 17
411
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
412
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
413
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
414
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
415
TÍTULO: Temporal network alignment via GoT-WAVE  Full Text
AUTORES: Aparício, D ; Ribeiro, P ; Milenkovic, Tijana ; Silva, F ;
PUBLICAÇÃO: 2019, FONTE: BIOINFORMATICS, VOLUME: 35, NÚMERO: 18, PÁGINAS: 3527-3529
INDEXADO EM: Scopus WOS DBLP CrossRef: 22
416
TÍTULO: TENSORCAST: forecasting and mining with coupled tensors  Full Text
AUTORES: Miguel Araujo ; Pedro Ribeiro ; Hyun Ah Song; Christos Faloutsos;
PUBLICAÇÃO: 2019, FONTE: KNOWLEDGE AND INFORMATION SYSTEMS, VOLUME: 59, NÚMERO: 3, PÁGINAS: 497-522
INDEXADO EM: Scopus WOS DBLP CrossRef: 6
417
TÍTULO: Termination of lambda-calculus linearisation methods
AUTORES: Sandra Alves ;
PUBLICAÇÃO: 2019, FONTE: Electronic Proceedings in Theoretical Computer Science Eptcs, VOLUME: 292
INDEXADO EM: Scopus
418
TÍTULO: Towards a Framework for Gamified Programming Education
AUTORES: Jakub Swacha; Ricardo Queiros ; Jose Carlos Paiva ;
PUBLICAÇÃO: 2019, FONTE: International Symposium on Educational Technology (ISET) in 2019 INTERNATIONAL SYMPOSIUM ON EDUCATIONAL TECHNOLOGY (ISET 2019), PÁGINAS: 144-149
INDEXADO EM: Scopus WOS CrossRef: 7
419
TÍTULO: Using Grover's search quantum algorithm to solve Boolean satisfiability problems, part 2
AUTORES: Diogo Fernandes; Carla Silva ; Inês Dutra ;
PUBLICAÇÃO: 2019, FONTE: ACM Crossroads, VOLUME: 26, NÚMERO: 2, PÁGINAS: 68-71
INDEXADO EM: DBLP CrossRef
420
TÍTULO: Using Grover's search quantum algorithm to solve Boolean satisfiability problems: Part I
AUTORES: Diogo Fernandes; Inês Dutra ;
PUBLICAÇÃO: 2019, FONTE: ACM Crossroads, VOLUME: 26, NÚMERO: 1, PÁGINAS: 64-66
INDEXADO EM: DBLP

Results per Page: 20.
Página 21 de 64. Total de resultados: 1280.