Inesc Technology and Science (INESC TEC)
Inesc Tecnologia e Ciência
AuthID: I-000-1SJ
Publications Actions
Publications at Authenticus Institutional Profile
An Authenticus institution (group) is an organization which consists of a set of researchers (institutional/group team). The set of researchers depends on the organizational structure of the institution per year and can be set at the institution profile, under ‘Researchers’ interface. Based on the institutional team we produce listings of publications, statistics and institutional reports.
Publications displayed at an Authenticus institutional profile depend on two parameters:
- Researchers team associated with the institution per year.
- Publications source type.
We define 3 types of publication sources:
- Validated by team members - includes all publications validated by team members. Requires the definition of the institutional team.
- All published by team members - includes all publications validated by the institution team members plus all not-validated (only identified) publications. Requires the definition of the institutional team.
- Affiliation Based - includes publications that have the institution/group in the publication affiliation. Does not require institutional team, but at the same time does not guarantee that all publications will be listed.
External
Internal
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!
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!
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!
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: 24904
1714 Team MembersFilters -> Year: 2026
6381
TITLE: Formal Methods Teaching. 4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 21, 2021, Proceedings
AUTHORS: João F Ferreira ; Alexandra Mendes ; Claudio Menghi;
PUBLISHED: 2021, SOURCE: Lecture Notes in Computer Science
AUTHORS: João F Ferreira ; Alexandra Mendes ; Claudio Menghi;
PUBLISHED: 2021, SOURCE: Lecture Notes in Computer Science
6382
TITLE: Formal Methods Teaching - 4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 21, 2021, Proceedings
AUTHORS: João F Ferreira; Alexandra Mendes ; Claudio Menghi;
PUBLISHED: 2021, SOURCE: FMTea, VOLUME: 13122
AUTHORS: João F Ferreira; Alexandra Mendes ; Claudio Menghi;
PUBLISHED: 2021, SOURCE: FMTea, VOLUME: 13122
INDEXED IN: 
DBLP
DBLP6383
TITLE: Formal verification of Matrix based MATLAB models using interactive theorem proving
AUTHORS: Gauhar, A; Rashid, A; Hasan, O; Bispo, J ; Cardoso, JMP ;
PUBLISHED: 2021, SOURCE: PEERJ COMPUTER SCIENCE, VOLUME: 7
AUTHORS: Gauhar, A; Rashid, A; Hasan, O; Bispo, J ; Cardoso, JMP ;
PUBLISHED: 2021, SOURCE: PEERJ COMPUTER SCIENCE, VOLUME: 7
6384
TITLE: Fostering Computational Thinking Skills: A Didactic Proposal for Elementary School Grades
AUTHORS: Silva, R; Fonseca, B ; Costa, Cecília ; Fernando M.L. Martins ;
PUBLISHED: 2021, SOURCE: EDUCATION SCIENCES, VOLUME: 11, ISSUE: 9, PAGES: 518
AUTHORS: Silva, R; Fonseca, B ; Costa, Cecília ; Fernando M.L. Martins ;
PUBLISHED: 2021, SOURCE: EDUCATION SCIENCES, VOLUME: 11, ISSUE: 9, PAGES: 518
6385
TITLE: Four Innovative Ways to Reduce Food Wasting in Hotel Restaurants
AUTHORS: Manuel Au-Yong-Oliveira ; Monika Chodilíková; Iveta Košárková; Kristýna Pšeničková; Patryk Lewandowski;
PUBLISHED: 2021, SOURCE: Advances in Hospitality, Tourism, and the Services Industry - Handbook of Research on the Role of Tourism in Achieving Sustainable Development Goals, PAGES: 248-259
AUTHORS: Manuel Au-Yong-Oliveira ; Monika Chodilíková; Iveta Košárková; Kristýna Pšeničková; Patryk Lewandowski;
PUBLISHED: 2021, SOURCE: Advances in Hospitality, Tourism, and the Services Industry - Handbook of Research on the Role of Tourism in Achieving Sustainable Development Goals, PAGES: 248-259
INDEXED IN: 
CrossRef
CrossRef6386
TITLE: FPGAs as General-Purpose Accelerators for Non-Experts via HLS: The Graph Analysis Example
AUTHORS: Silva, Pedro Filipe; Bispo, Joao ; Paulino, Nuno ;
PUBLISHED: 2021, SOURCE: 20th International Conference on Field-Programmable Technology (ICFPT) in 2021 INTERNATIONAL CONFERENCE ON FIELD-PROGRAMMABLE TECHNOLOGY (ICFPT), PAGES: 102-105
AUTHORS: Silva, Pedro Filipe; Bispo, Joao ; Paulino, Nuno ;
PUBLISHED: 2021, SOURCE: 20th International Conference on Field-Programmable Technology (ICFPT) in 2021 INTERNATIONAL CONFERENCE ON FIELD-PROGRAMMABLE TECHNOLOGY (ICFPT), PAGES: 102-105
6387
TITLE: Fractal Brownian Motion Assessment of the Center of Pressure Excursion During Impulse Phase on Standard Vertical Jump Full Text
AUTHORS: Rodrigues, Carlos ; Miguel Velhote Correia ; Abrantes, Joao M. C. S. ; Rodrigues, Marco A. Benedetti; Nadal, Jurandir;
PUBLISHED: 2021, SOURCE: 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), PAGES: 4808-4811
AUTHORS: Rodrigues, Carlos ; Miguel Velhote Correia ; Abrantes, Joao M. C. S. ; Rodrigues, Marco A. Benedetti; Nadal, Jurandir;
PUBLISHED: 2021, SOURCE: 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), PAGES: 4808-4811
6388
TITLE: Framework for a risk assessment model to apply in Virtual / Collaborative Enterprises
AUTHORS: Avila, P ; Mota, A ; Bastos, J ; Patricio, L; Pires, A; Castro, H ; Cruz Cunha, MM; Varela, L ;
PUBLISHED: 2021, SOURCE: 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, PAGES: 612-618
AUTHORS: Avila, P ; Mota, A ; Bastos, J ; Patricio, L; Pires, A; Castro, H ; Cruz Cunha, MM; Varela, L ;
PUBLISHED: 2021, SOURCE: 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, PAGES: 612-618
6389
TITLE: Framework for designing Business Continuity - Multidisciplinary Evaluation of Organizational Maturity
AUTHORS: Russo, Nelson; Reis, Leonilde; Silveira, Clara; Mamede, Henrique Sao ;
PUBLISHED: 2021, SOURCE: 16th Iberian Conference on Information Systems and Technologies (CISTI) in PROCEEDINGS OF 2021 16TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI'2021)
AUTHORS: Russo, Nelson; Reis, Leonilde; Silveira, Clara; Mamede, Henrique Sao ;
PUBLISHED: 2021, SOURCE: 16th Iberian Conference on Information Systems and Technologies (CISTI) in PROCEEDINGS OF 2021 16TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI'2021)
6390
TITLE: Friction cone application for assessment of the relation between normal and tangential forces at different maximum vertical jumps
AUTHORS: Rodrigues, C ; M.V Correia; J.M.C.S Abrantes; M.A.B Rodrigues; Nadal, J;
PUBLISHED: 2021, SOURCE: Advances and Current Trends in Biomechanics, PAGES: 404-408
AUTHORS: Rodrigues, C ; M.V Correia; J.M.C.S Abrantes; M.A.B Rodrigues; Nadal, J;
PUBLISHED: 2021, SOURCE: Advances and Current Trends in Biomechanics, PAGES: 404-408
6391
TITLE: From Digital Platforms to Ecosystems: A Review of Horizon 2020 Platform Projects
AUTHORS: Silva, HD ; Soares, AL ;
PUBLISHED: 2021, SOURCE: 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, PAGES: 111-120
AUTHORS: Silva, HD ; Soares, AL ;
PUBLISHED: 2021, SOURCE: 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, PAGES: 111-120
6392
TITLE: From Management 1.0 to Management 3.0 and Beyond
AUTHORS: Eduardo Espinheira; Fernando Almeida ;
PUBLISHED: 2021, SOURCE: Effective Strategies for Communicating Insights in Business - Advances in Human Resources Management and Organizational Development, PAGES: 32-52
AUTHORS: Eduardo Espinheira; Fernando Almeida ;
PUBLISHED: 2021, SOURCE: Effective Strategies for Communicating Insights in Business - Advances in Human Resources Management and Organizational Development, PAGES: 32-52
6393
TITLE: From the smart grid to the local electricity market
AUTHORS: Lezama, F; Pinto, T ; Vale, Z ; Santos, G; Widergren, S;
PUBLISHED: 2021, SOURCE: Local Electricity Markets, PAGES: 63-76
AUTHORS: Lezama, F; Pinto, T ; Vale, Z ; Santos, G; Widergren, S;
PUBLISHED: 2021, SOURCE: Local Electricity Markets, PAGES: 63-76
6394
TITLE: Functional Scalability and Replicability Analysis for Smart Grid Functions: The InteGrid Project Approach Full Text
AUTHORS: Menci, SP; Bessa, RJ ; Herndler, B; Korner, C; Rao, BV; Leimgruber, F; Madureira, AA ; Rua, D ; Coelho, F ; Silva, JV; Andrade, JR ; Gil Sampaio ; Teixeira, H ; Simoes, M ; Viana, J ; Oliveira, L; Castro, D; Krisper, U; Andre, R;
PUBLISHED: 2021, SOURCE: ENERGIES, VOLUME: 14, ISSUE: 18, PAGES: 5685
AUTHORS: Menci, SP; Bessa, RJ ; Herndler, B; Korner, C; Rao, BV; Leimgruber, F; Madureira, AA ; Rua, D ; Coelho, F ; Silva, JV; Andrade, JR ; Gil Sampaio ; Teixeira, H ; Simoes, M ; Viana, J ; Oliveira, L; Castro, D; Krisper, U; Andre, R;
PUBLISHED: 2021, SOURCE: ENERGIES, VOLUME: 14, ISSUE: 18, PAGES: 5685
6395
TITLE: Fundamental privacy rights in a pandemic state Full Text
AUTHORS: Carvalho, T; Faria, P; Antunes, L ; Moniz, N ;
PUBLISHED: 2021, SOURCE: PLOS ONE, VOLUME: 16, ISSUE: 6
AUTHORS: Carvalho, T; Faria, P; Antunes, L ; Moniz, N ;
PUBLISHED: 2021, SOURCE: PLOS ONE, VOLUME: 16, ISSUE: 6
6396
TITLE: Fuzzy Automata as Coalgebras Full Text
AUTHORS: Liu, A; Wang, S; Barbosa, LS ; Sun, M;
PUBLISHED: 2021, SOURCE: MATHEMATICS, VOLUME: 9, ISSUE: 3, PAGES: 1-21
AUTHORS: Liu, A; Wang, S; Barbosa, LS ; Sun, M;
PUBLISHED: 2021, SOURCE: MATHEMATICS, VOLUME: 9, ISSUE: 3, PAGES: 1-21
6397
TITLE: Gait events detection from heel and toe trajectories: comparison of methods using multiple datasets
AUTHORS: Guimaraes, Vania; Sousa, Ines; Miguel Velhote Correia ;
PUBLISHED: 2021, SOURCE: 16th IEEE International Symposium on Medical Measurements and Applications (IEEE MeMeA) in 2021 IEEE INTERNATIONAL SYMPOSIUM ON MEDICAL MEASUREMENTS AND APPLICATIONS (IEEE MEMEA 2021), PAGES: 1-6
AUTHORS: Guimaraes, Vania; Sousa, Ines; Miguel Velhote Correia ;
PUBLISHED: 2021, SOURCE: 16th IEEE International Symposium on Medical Measurements and Applications (IEEE MeMeA) in 2021 IEEE INTERNATIONAL SYMPOSIUM ON MEDICAL MEASUREMENTS AND APPLICATIONS (IEEE MEMEA 2021), PAGES: 1-6
6399
TITLE: GANs for Tabular Healthcare Data Generation: A Review on Utility and Privacy
AUTHORS: Coutinho Almeida, Joao ; Rodrigues, Pedro Pereira ; Cruz Correia, Ricardo Joao ;
PUBLISHED: 2021, SOURCE: 24th International Conference on Discovery Science (DS) in DISCOVERY SCIENCE (DS 2021), VOLUME: 12986, PAGES: 282-291
AUTHORS: Coutinho Almeida, Joao ; Rodrigues, Pedro Pereira ; Cruz Correia, Ricardo Joao ;
PUBLISHED: 2021, SOURCE: 24th International Conference on Discovery Science (DS) in DISCOVERY SCIENCE (DS 2021), VOLUME: 12986, PAGES: 282-291
6400
TITLE: Gender Affirmative Action and Management: A Systematic Literature Review on How Diversity and Inclusion Management Affect Gender Equity in Organizations Full Text
AUTHORS: Furtado, JV; Moreira, AC ; Mota, J;
PUBLISHED: 2021, SOURCE: BEHAVIORAL SCIENCES, VOLUME: 11, ISSUE: 2, PAGES: 21
AUTHORS: Furtado, JV; Moreira, AC ; Mota, J;
PUBLISHED: 2021, SOURCE: BEHAVIORAL SCIENCES, VOLUME: 11, ISSUE: 2, PAGES: 21
