Inesc Tecnologia e Ciência (INESC TEC)
Inesc Technology and 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: 18083

1699 Team Members
Filters -> Year: 2024
3401
TÍTULO: Formal Methods Teaching. 4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 21, 2021, Proceedings
AUTORES: João F Ferreira; Alexandra Mendes ; Claudio Menghi;
PUBLICAÇÃO: 2021, FONTE: Lecture Notes in Computer Science
INDEXADO EM: CrossRef: 1
3402
TÍTULO: Formal Methods Teaching - 4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 21, 2021, Proceedings
AUTORES: João F Ferreira; Alexandra Mendes ; Claudio Menghi;
PUBLICAÇÃO: 2021, FONTE: FMTea, VOLUME: 13122
INDEXADO EM: DBLP
3403
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
3404
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
3405
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
3406
TÍTULO: Fractal Brownian Motion Assessment of the Center of Pressure Excursion During Impulse Phase on Standard Vertical Jump  Full Text
AUTORES: Rodrigues, Carlos ; Correia, Miguel ; Abrantes, Joao M. C. S.; Rodrigues, Marco A. Benedetti; Nadal, Jurandir;
PUBLICAÇÃO: 2021, FONTE: 43rd Annual International Conference of the IEEE-Engineering-in-Medicine-and-Biology-Society (IEEE EMBC) in 2021 43RD ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE & BIOLOGY SOCIETY (EMBC), PÁGINAS: 4808-4811
INDEXADO EM: WOS DBLP CrossRef
3407
TÍTULO: Framework for a risk assessment model to apply in Virtual / Collaborative Enterprises
AUTORES: Avila, P ; Mota, A; Bastos, J ; Patricio, L; Pires, A; Castro, H ; Cruz Cunha, MM; Varela, L;
PUBLICAÇÃO: 2021, FONTE: International Conference on ENTERprise Information Systems (CENTERIS) / International Conference on Project MANagement (ProjMAN) / International Conference on Health and Social Care Information Systems and Technologies (HCist) in INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS / INTERNATIONAL CONFERENCE ON PROJECT MANAGEMENT / INTERNATIONAL CONFERENCE ON HEALTH AND SOCIAL CARE INFORMATION SYSTEMS AND TECHNOLOGIES 2020 (CENTERIS/PROJMAN/HCIST 2020), VOLUME: 181, PÁGINAS: 612-618
INDEXADO EM: Scopus WOS CrossRef Handle
3408
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
3409
TÍTULO: From Digital Platforms to Ecosystems: A Review of Horizon 2020 Platform Projects
AUTORES: Silva, HD ; Soares, AL ;
PUBLICAÇÃO: 2021, FONTE: 21st IFIP WG 5.5 Working Conference on Virtual Enterprises (PRO-VE) in BOOSTING COLLABORATIVE NETWORKS 4.0: 21ST IFIP WG 5.5 WORKING CONFERENCE ON VIRTUAL ENTERPRISES, PRO-VE 2020, VOLUME: 598, PÁGINAS: 111-120
INDEXADO EM: Scopus WOS CrossRef: 2
3410
TÍTULO: From Management 1.0 to Management 3.0 and Beyond
AUTORES: Eduardo Espinheira; Fernando Almeida ;
PUBLICAÇÃO: 2021, FONTE: Effective Strategies for Communicating Insights in Business - Advances in Human Resources Management and Organizational Development, PÁGINAS: 32-52
INDEXADO EM: CrossRef: 1
3411
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
3412
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
3413
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
3414
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
3415
TÍTULO: Gait events detection from heel and toe trajectories: comparison of methods using multiple datasets
AUTORES: Guimaraes, Vania; Sousa, Ines; Correia, Miguel, V ;
PUBLICAÇÃO: 2021, FONTE: 16th IEEE International Symposium on Medical Measurements and Applications (IEEE MeMeA) in 2021 IEEE INTERNATIONAL SYMPOSIUM ON MEDICAL MEASUREMENTS AND APPLICATIONS (IEEE MEMEA 2021), PÁGINAS: 1-6
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
3416
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
3417
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
3418
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
3419
TÍTULO: Genetic and Ant Colony Algorithms to Solve the Multi-TSP
AUTORES: Sílvia de Castro Pereira; Solteiro Pires, EJ ; Paulo de d Moura Oliveira ;
PUBLICAÇÃO: 2021, FONTE: Intelligent Data Engineering and Automated Learning - IDEAL 2021 - 22nd International Conference, IDEAL 2021, Manchester, UK, November 25-27, 2021, Proceedings, VOLUME: 13113, PÁGINAS: 324-332
INDEXADO EM: Scopus DBLP CrossRef Unpaywall
3420
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

Results per Page: 20.
Página 171 de 905. Total de resultados: 18083.