CS: Computer Science
CS: Computer Science

Inesc Tecnologia e Ciência (INESC TEC)

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

531 Team Members
Filters -> Year: 2024
1561
TÍTULO: Formal verification of Matrix based MATLAB models using interactive theorem proving
AUTORES: Gauhar, A; Rashid, A; Hasan, O; Bispo, J ; Cardoso, JMP ;
PUBLICAÇÃO: 2021, FONTE: PEERJ COMPUTER SCIENCE, VOLUME: 7
INDEXADO EM: Scopus WOS DBLP CrossRef: 3 Unpaywall
1562
TÍTULO: Fostering Computational Thinking Skills: A Didactic Proposal for Elementary School Grades
AUTORES: Silva, R; Fonseca, B ; Costa, Cecília ; Fernando M.L. Martins ;
PUBLICAÇÃO: 2021, FONTE: EDUCATION SCIENCES, VOLUME: 11, NÚMERO: 9, PÁGINAS: 518
INDEXADO EM: Scopus WOS CrossRef: 9
1563
TÍTULO: FPGAs as General-Purpose Accelerators for Non-Experts via HLS: The Graph Analysis Example
AUTORES: Silva, Pedro Filipe; Bispo, Joao ; Paulino, Nuno ;
PUBLICAÇÃO: 2021, FONTE: 20th International Conference on Field-Programmable Technology (ICFPT) in 2021 INTERNATIONAL CONFERENCE ON FIELD-PROGRAMMABLE TECHNOLOGY (ICFPT), PÁGINAS: 102-105
INDEXADO EM: Scopus WOS DBLP CrossRef
1564
TÍTULO: Framework for designing Business Continuity - Multidisciplinary Evaluation of Organizational Maturity
AUTORES: Russo, Nelson; Reis, Leonilde; Silveira, Clara; Mamede, Henrique Sao ;
PUBLICAÇÃO: 2021, FONTE: 16th Iberian Conference on Information Systems and Technologies (CISTI) in PROCEEDINGS OF 2021 16TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI'2021)
INDEXADO EM: Scopus WOS CrossRef: 2
1565
TÍTULO: From the smart grid to the local electricity market
AUTORES: Lezama, F; Pinto, T ; Vale, Z; Santos, G; Widergren, S;
PUBLICAÇÃO: 2021, FONTE: Local Electricity Markets, PÁGINAS: 63-76
INDEXADO EM: Scopus CrossRef: 5
1566
TÍTULO: Functional Scalability and Replicability Analysis for Smart Grid Functions: The InteGrid Project Approach  Full Text
AUTORES: Menci, SP; Bessa, RJ ; Herndler, B; Korner, C; Rao, BV; Leimgruber, F; Madureira, AA ; Rua, D ; Coelho, F ; Silva, JV; Andrade, JR ; Sampaio, G ; Teixeira, H ; Simoes, M ; Viana, J ; Oliveira, L; Castro, D; Krisper, U; Andre, R;
PUBLICAÇÃO: 2021, FONTE: ENERGIES, VOLUME: 14, NÚMERO: 18, PÁGINAS: 5685
INDEXADO EM: Scopus WOS CrossRef: 2 Unpaywall
1567
TÍTULO: Fundamental privacy rights in a pandemic state  Full Text
AUTORES: Carvalho, T; Faria, P; Antunes, L ; Moniz, N ;
PUBLICAÇÃO: 2021, FONTE: PLOS ONE, VOLUME: 16, NÚMERO: 6
INDEXADO EM: Scopus WOS CrossRef: 3
1568
TÍTULO: Fuzzy Automata as Coalgebras  Full Text
AUTORES: Liu, A; Wang, S; Barbosa, LS ; Sun, M;
PUBLICAÇÃO: 2021, FONTE: MATHEMATICS, VOLUME: 9, NÚMERO: 3, PÁGINAS: 1-21
INDEXADO EM: Scopus WOS CrossRef
1569
TÍTULO: Generalised Partial Association in Causal Rules Discovery
AUTORES: Nogueira, Ana Rita ; Ferreira, Carlos ; Gama, Joao ; Pinto, Alberto ;
PUBLICAÇÃO: 2021, FONTE: 20th EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE (EPIA 2021), VOLUME: 12981, PÁGINAS: 485-497
INDEXADO EM: Scopus WOS DBLP CrossRef Unpaywall
1570
TÍTULO: Generalised Quantum Tree Search
AUTORES: Sequeira, Andre; Santos, Luis Paulo ; Barbosa, Luis Soares ;
PUBLICAÇÃO: 2021, FONTE: 2nd IEEE/ACM International Workshop on Quantum Software Engineering (Q-SE) in 2021 IEEE/ACM 2ND INTERNATIONAL WORKSHOP ON QUANTUM SOFTWARE ENGINEERING (Q-SE 2021), PÁGINAS: 39-40
INDEXADO EM: Scopus WOS DBLP CrossRef
1571
TÍTULO: Generating Test Cases from Use Cases and Structured Scenarios: Experiences with the RSL Language
AUTORES: Ana Catarina Gomes; Ana C R Paiva ; Alberto Rodrigues da Silva;
PUBLICAÇÃO: 2021, FONTE: Information Systems Development: Crossing Boundaries between Development and Operations (DevOps) in Information Systems (ISD2021 Proceedings), Valencia, Spain, September 8-10, 2021.
INDEXADO EM: DBLP
1572
TÍTULO: GenoDedup: Similarity-Based Deduplication and Delta-Encoding for Genome Sequencing Data
AUTORES: Cogo, V ; Paulo, J ; Bessani, A ;
PUBLICAÇÃO: 2021, FONTE: IEEE TRANSACTIONS ON COMPUTERS, VOLUME: 70, NÚMERO: 5, PÁGINAS: 669-681
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
1573
TÍTULO: Glossary on atmospheric electricity and its effects on biology  Full Text
AUTORES: Fdez Arroyabe, P; Kourtidis, K; Haldoupis, C; Savoska, S; Matthews, J; Mir, LM; Kassomenos, P; Cifra, M; Barbosa, S ; Chen, XM; Dragovic, S; Consoulas, C; Hunting, ER; Robert, D; van der Velde, OA; Apollonio, F; Odzimek, A; Chilingarian, A; Roye, D; Mkrtchyan, H; Price, C; Bor, J; Oikonomou, C; Birsan, MV; Crespo Facorro, B; Djordjevic, M; Salcines, C; Lopez Jimenez, A; Donner, RV; Vana, M; Pedersen, JOP; Vorenhout, M; Rycroft, M; ...Mais
PUBLICAÇÃO: 2021, FONTE: INTERNATIONAL JOURNAL OF BIOMETEOROLOGY, VOLUME: 65, NÚMERO: 1, PÁGINAS: 5-29
INDEXADO EM: Scopus WOS CrossRef: 9
1574
TÍTULO: Graceful Degradation for Real-time Visualization of Streaming Geospatial Data
AUTORES: João Rafael; João Moreira; Daniel Mendes ; Mário Alves; Daniel Gonçalves;
PUBLICAÇÃO: 2021, FONTE: 21st Eurographics Conference on Visualization, EuroVis 2019 - Short Papers, Porto, Portugal, June 14-18, 2021, PÁGINAS: 73-77
INDEXADO EM: DBLP
1575
TÍTULO: Green Software Lab: Towards an Engineering Discipline for Green Software
AUTORES: Rui Abreu; Marco Couto ; Luís Cruz; Jácome Cunha ; João Paulo Fernandes ; Rui Pereira ; Alexandre Perez; João Saraiva ;
PUBLICAÇÃO: 2021, FONTE: CoRR, VOLUME: abs/2108.03028
INDEXADO EM: DBLP
1576
TÍTULO: Guest Editorial: IEEE TC Special Section on Compiler Optimizations for FPGA-Based Systems
AUTORES: Cardoso, JMP ; DeHon, A; Pozzi, L;
PUBLICAÇÃO: 2021, FONTE: IEEE TRANSACTIONS ON COMPUTERS, VOLUME: 70, NÚMERO: 12, PÁGINAS: 2013-2014
INDEXADO EM: Scopus WOS DBLP
1577
TÍTULO: Hand Rehabilitation with Virtual Reality: Preliminary learning results
AUTORES: Pereira, MF; Oliveira, E; Rodrigues, NF ; Bressler, M; Kolbenschlag, J; Prahm, C;
PUBLICAÇÃO: 2021, FONTE: 9th IEEE International Conference on Serious Games and Applications for Health, SeGAH 2021 in SeGAH 2021 - 2021 IEEE 9th International Conference on Serious Games and Applications for Health
INDEXADO EM: Scopus CrossRef
1578
TÍTULO: Handling Privacy Preservation in a Software Ecosystem for the Querying and Processing of Deep Sequencing Data
AUTORES: Rocha, A ; Costa, A; Oliveira, MA ; Aguiar, A ;
PUBLICAÇÃO: 2021, FONTE: ERCIM NEWS, VOLUME: 2021, NÚMERO: 126, PÁGINAS: 18-19
INDEXADO EM: WOS DBLP
1579
TÍTULO: Hands-free interaction in immersive virtual reality: A systematic review  Full Text
AUTORES: Monteiro, P ; Goncalves, G ; Coelho, H ; Melo, M ; Bessa, M ;
PUBLICAÇÃO: 2021, FONTE: IEEE TRANSACTIONS ON VISUALIZATION AND COMPUTER GRAPHICS, VOLUME: 27, NÚMERO: 5, PÁGINAS: 2702-2713
INDEXADO EM: Scopus WOS DBLP CrossRef: 45
1580
TÍTULO: Hardening cryptographic operations through the use of secure enclaves  Full Text
AUTORES: Brandao, A; Resende, JS ; Rolando Martins ;
PUBLICAÇÃO: 2021, FONTE: COMPUTERS & SECURITY, VOLUME: 108, PÁGINAS: 102327
INDEXADO EM: Scopus WOS DBLP CrossRef: 7

Results per Page: 20.
Página 79 de 414. Total de resultados: 8279.