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: 18456
1699 Team MembersFilters -> Year: 2024
3861
TITLE: Machine-checked ZKP for NP relations: Formally Verified Security Proofs and Implementations of MPC-in-the-Head Full Text
AUTHORS: Almeida, Jose Bacelar ; Barbosa, Manuel ; Correia, Manuel L.; Eldefrawy, Karim; Graham Lengrand, Stephane; Pacheco, Hugo ; Pereira, Vitor;
PUBLISHED: 2021, SOURCE: ACM SIGSAC Conference on Computer and Communications Security (ACM CCS) in CCS '21: PROCEEDINGS OF THE 2021 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY, PAGES: 2587-2600
AUTHORS: Almeida, Jose Bacelar ; Barbosa, Manuel ; Correia, Manuel L.; Eldefrawy, Karim; Graham Lengrand, Stephane; Pacheco, Hugo ; Pereira, Vitor;
PUBLISHED: 2021, SOURCE: ACM SIGSAC Conference on Computer and Communications Security (ACM CCS) in CCS '21: PROCEEDINGS OF THE 2021 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY, PAGES: 2587-2600
3862
TITLE: Machine-checked ZKP for NP-relations: Formally Verified Security Proofs and Implementations of MPC-in-the-Head
AUTHORS: José Bacelar Almeida ; Manuel Barbosa ; Manuel L Correia; Karim Eldefrawy; Stéphane Graham Lengrand; Hugo Pacheco ; Vitor Pereira;
PUBLISHED: 2021, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2021, PAGES: 1149
AUTHORS: José Bacelar Almeida ; Manuel Barbosa ; Manuel L Correia; Karim Eldefrawy; Stéphane Graham Lengrand; Hugo Pacheco ; Vitor Pereira;
PUBLISHED: 2021, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2021, PAGES: 1149
INDEXED IN: 
DBLP
DBLP3863
TITLE: Machine-checked ZKP for NP-relations: Formally Verified Security Proofs and Implementations of MPC-in-the-Head
AUTHORS: José Carlos Bacelar Almeida ; Manuel Barbosa ; Karim Eldefrawy; Stéphane Graham Lengrand; Hugo Pacheco ; Vitor Pereira ;
PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2104.05516
AUTHORS: José Carlos Bacelar Almeida ; Manuel Barbosa ; Karim Eldefrawy; Stéphane Graham Lengrand; Hugo Pacheco ; Vitor Pereira ;
PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2104.05516
INDEXED IN: DBLP
DBLP3864
TITLE: MAINT.Data: Modelling and Analysing Interval Data in R Full Text
AUTHORS: Silva, APD; Brito, P ; Filzmoser, P; Dias, JG;
PUBLISHED: 2021, SOURCE: R JOURNAL, VOLUME: 13, ISSUE: 2, PAGES: 336-364
AUTHORS: Silva, APD; Brito, P ; Filzmoser, P; Dias, JG;
PUBLISHED: 2021, SOURCE: R JOURNAL, VOLUME: 13, ISSUE: 2, PAGES: 336-364
3865
TITLE: Management 3.0: A Systematic Literature Review and Research Agenda
AUTHORS: Fernando Almeida ; Eduardo Espinheira;
PUBLISHED: 2021, SOURCE: IJHCM (International Journal of Human Capital Management), VOLUME: 5, ISSUE: 2, PAGES: 44-57
AUTHORS: Fernando Almeida ; Eduardo Espinheira;
PUBLISHED: 2021, SOURCE: IJHCM (International Journal of Human Capital Management), VOLUME: 5, ISSUE: 2, PAGES: 44-57
INDEXED IN: 
CrossRef
CrossRef3866
TITLE: Management of non-technological projects by embracing agile methodologies
AUTHORS: Almeida, FL ;
PUBLISHED: 2021, SOURCE: International Journal of Project Organisation and Management, VOLUME: 13, ISSUE: 2, PAGES: 135-149
AUTHORS: Almeida, FL ;
PUBLISHED: 2021, SOURCE: International Journal of Project Organisation and Management, VOLUME: 13, ISSUE: 2, PAGES: 135-149
3867
TITLE: Managing non-trivial internet-of-things systems with conversational assistants: A prototype and a feasibility experiment Full Text
AUTHORS: Lago, AS; Dias, JP ; Ferreira, HS ;
PUBLISHED: 2021, SOURCE: JOURNAL OF COMPUTATIONAL SCIENCE, VOLUME: 51, PAGES: 101324
AUTHORS: Lago, AS; Dias, JP ; Ferreira, HS ;
PUBLISHED: 2021, SOURCE: JOURNAL OF COMPUTATIONAL SCIENCE, VOLUME: 51, PAGES: 101324
3868
TITLE: Managing research the wiki way
AUTHORS: José Luís Devezas; Sérgio Nunes ;
PUBLISHED: 2021, SOURCE: XRDS, VOLUME: 27, ISSUE: 3, PAGES: 10-11
AUTHORS: José Luís Devezas; Sérgio Nunes ;
PUBLISHED: 2021, SOURCE: XRDS, VOLUME: 27, ISSUE: 3, PAGES: 10-11
INDEXED IN: DBLP
DBLP3869
TITLE: Managing Research the Wiki Way: A Systematic Approach to Documenting Research
AUTHORS: José Luís Devezas; Sérgio Nunes ;
PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2104.01849
AUTHORS: José Luís Devezas; Sérgio Nunes ;
PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2104.01849
INDEXED IN: DBLP
DBLP3870
TITLE: Manufacturing System and Enterprise Management for Industry 4.0
AUTHORS: Putnik, GD; Avila, PS ;
PUBLISHED: 2021, SOURCE: FME TRANSACTIONS, VOLUME: 49, ISSUE: 4, PAGES: 769-772
AUTHORS: Putnik, GD; Avila, PS ;
PUBLISHED: 2021, SOURCE: FME TRANSACTIONS, VOLUME: 49, ISSUE: 4, PAGES: 769-772
INDEXED IN: 
WOS
WOS3871
TITLE: Mapping Enabling Technologies for Supply Chains with Future Scenarios
AUTHORS: Pedro Pinho Senna ; Markus Stute; Sebastien Balech; Andrea Zangiacomi;
PUBLISHED: 2021, SOURCE: Lecture Notes in Management and Industrial Engineering - Next Generation Supply Chains, PAGES: 147-165
AUTHORS: Pedro Pinho Senna ; Markus Stute; Sebastien Balech; Andrea Zangiacomi;
PUBLISHED: 2021, SOURCE: Lecture Notes in Management and Industrial Engineering - Next Generation Supply Chains, PAGES: 147-165
3872
TITLE: MARTINE-A Platform for Real-Time Energy Management in Smart Grids Full Text
AUTHORS: Vale, Z; Faria, P; Abrishambaf, O; Gomes, L; Pinto, T ;
PUBLISHED: 2021, SOURCE: ENERGIES, VOLUME: 14, ISSUE: 7, PAGES: 1820
AUTHORS: Vale, Z; Faria, P; Abrishambaf, O; Gomes, L; Pinto, T ;
PUBLISHED: 2021, SOURCE: ENERGIES, VOLUME: 14, ISSUE: 7, PAGES: 1820
3873
TITLE: Matching User Interfaces to Assess Simple Web Applications (Short Paper)
AUTHORS: Marco Primo; José Paulo Leal ;
PUBLISHED: 2021, SOURCE: 2nd International Computer Programming Education Conference, ICPEC 2021 in Second International Computer Programming Education Conference, ICPEC 2021, May 27-28, 2021, University of Minho, Braga, Portugal., VOLUME: 91, PAGES: 7:1-7:6
AUTHORS: Marco Primo; José Paulo Leal ;
PUBLISHED: 2021, SOURCE: 2nd International Computer Programming Education Conference, ICPEC 2021 in Second International Computer Programming Education Conference, ICPEC 2021, May 27-28, 2021, University of Minho, Braga, Portugal., VOLUME: 91, PAGES: 7:1-7:6
INDEXED IN: 
Scopus DBLP
Scopus DBLP3874
TITLE: Matheuristic Algorithm Based on Neighborhood Structure to Solve the Reconfiguration Problem of Active Distribution Systems
AUTHORS: Yumbla Romero, Jairo Gonzalo; Home Ortiz, Juan M.; Javadi, Mohammad S. ; Gough, Matthew; Sanches Mantovani, Jose Roberto; João P. S. Catalão ;
PUBLISHED: 2021, SOURCE: 21st IEEE International Conference on Environment and Electrical Engineering / 5th IEEE Industrial and Commercial Power Systems Europe (EEEIC/I and CPS Europe) in 2021 21ST IEEE INTERNATIONAL CONFERENCE ON ENVIRONMENT AND ELECTRICAL ENGINEERING AND 2021 5TH IEEE INDUSTRIAL AND COMMERCIAL POWER SYSTEMS EUROPE (EEEIC/I&CPS EUROPE)
AUTHORS: Yumbla Romero, Jairo Gonzalo; Home Ortiz, Juan M.; Javadi, Mohammad S. ; Gough, Matthew; Sanches Mantovani, Jose Roberto; João P. S. Catalão ;
PUBLISHED: 2021, SOURCE: 21st IEEE International Conference on Environment and Electrical Engineering / 5th IEEE Industrial and Commercial Power Systems Europe (EEEIC/I and CPS Europe) in 2021 21ST IEEE INTERNATIONAL CONFERENCE ON ENVIRONMENT AND ELECTRICAL ENGINEERING AND 2021 5TH IEEE INDUSTRIAL AND COMMERCIAL POWER SYSTEMS EUROPE (EEEIC/I&CPS EUROPE)
3875
TITLE: Maximum Relevance Minimum Redundancy Dropout with Informative Kernel Determinantal Point Process Full Text
AUTHORS: Saffari, M ; Khodayar, M; Saadabadi, MSE; Sequeira, AF ; Cardoso, JS ;
PUBLISHED: 2021, SOURCE: SENSORS, VOLUME: 21, ISSUE: 5, PAGES: 1846
AUTHORS: Saffari, M ; Khodayar, M; Saadabadi, MSE; Sequeira, AF ; Cardoso, JS ;
PUBLISHED: 2021, SOURCE: SENSORS, VOLUME: 21, ISSUE: 5, PAGES: 1846
3876
TITLE: Measuring Canopy Geometric Structure Using Optical Sensors Mounted on Terrestrial Vehicles: A Case Study in Vineyards
AUTHORS: da Silva, DQ ; Aguiar, AS ; dos Santos, FN ; Sousa, AJ ; Rabino, D; Biddoccu, M; Bagagiolo, G; Delmastro, M;
PUBLISHED: 2021, SOURCE: AGRICULTURE-BASEL, VOLUME: 11, ISSUE: 3, PAGES: 1-19
AUTHORS: da Silva, DQ ; Aguiar, AS ; dos Santos, FN ; Sousa, AJ ; Rabino, D; Biddoccu, M; Bagagiolo, G; Delmastro, M;
PUBLISHED: 2021, SOURCE: AGRICULTURE-BASEL, VOLUME: 11, ISSUE: 3, PAGES: 1-19
3877
TITLE: Measuring Plantar Temperature Changes in Thermal Images Using Basic Statistical Descriptors
AUTHORS: Filipe, V ; Teixeira, P; Teixeira, A;
PUBLISHED: 2021, SOURCE: 21st International Conference on Computational Science and Its Applications (ICCSA) in COMPUTATIONAL SCIENCE AND ITS APPLICATIONS, ICCSA 2021, PT V, VOLUME: 12953, PAGES: 445-455
AUTHORS: Filipe, V ; Teixeira, P; Teixeira, A;
PUBLISHED: 2021, SOURCE: 21st International Conference on Computational Science and Its Applications (ICCSA) in COMPUTATIONAL SCIENCE AND ITS APPLICATIONS, ICCSA 2021, PT V, VOLUME: 12953, PAGES: 445-455
3878
TITLE: Measuring Shame in Adolescents: Validation Studies of the External and Internal Shame Scale in a Community Sample Full Text
AUTHORS: Cunha, M ; Silva, P; Ferreira, C; Galhardo, Ana ;
PUBLISHED: 2021, SOURCE: CHILD & YOUTH CARE FORUM
AUTHORS: Cunha, M ; Silva, P; Ferreira, C; Galhardo, Ana ;
PUBLISHED: 2021, SOURCE: CHILD & YOUTH CARE FORUM
3879
TITLE: Measuring Trust in Technology: A Survey Tool to Assess Users' Trust Experiences
AUTHORS: Sonia Sousa; Paulo Martins ; José Cravino;
PUBLISHED: 2021, SOURCE: Information Systems Development: Crossing Boundaries between Development and Operations (DevOps) in Information Systems (ISD2021 Proceedings), Valencia, Spain, September 8-10, 2021.
AUTHORS: Sonia Sousa; Paulo Martins ; José Cravino;
PUBLISHED: 2021, SOURCE: Information Systems Development: Crossing Boundaries between Development and Operations (DevOps) in Information Systems (ISD2021 Proceedings), Valencia, Spain, September 8-10, 2021.
INDEXED IN: DBLP
DBLP3880
TITLE: Mechanized Proofs of Adversarial Complexity and Application to Universal Composability
AUTHORS: Manuel Barbosa ; Gilles Barthe ; Benjamin Grégoire; Adrien Koutsos; Pierre Yves Strub;
PUBLISHED: 2021, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2021, PAGES: 156
AUTHORS: Manuel Barbosa ; Gilles Barthe ; Benjamin Grégoire; Adrien Koutsos; Pierre Yves Strub;
PUBLISHED: 2021, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2021, PAGES: 156
INDEXED IN: DBLP
DBLP