CS: Computer Science
CS: Computer Science
AuthID: I-000-B2B
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: 10654
535 Team MembersFilters -> Year: 2026
2841
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
2842
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
DBLP2843
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
DBLP2844
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
2845
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
2846
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
DBLP2847
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
DBLP2849
TITLE: MARTINE Semantic Interoperability: Local Electricity Market Hour-Ahead Session
AUTHORS: Gabriel Santos; Luis Gomes; Tiago Pinto ; Zita Vale; Pedro Faria;
PUBLISHED: 2021
AUTHORS: Gabriel Santos; Luis Gomes; Tiago Pinto ; Zita Vale; Pedro Faria;
PUBLISHED: 2021
INDEXED IN: DBLP
DBLP2850
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
2851
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 DBLP2852
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
2853
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
DBLP2854
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
DBLP2855
TITLE: Mechanized Proofs of Adversarial Complexity and Application to Universal Composability
AUTHORS: Barbosa, Manuel ; Barthe, Gilles ; Gregoire, Benjamin; Koutsos, Adrien; Strub, Pierre Yves;
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: 2541-2563
AUTHORS: Barbosa, Manuel ; Barthe, Gilles ; Gregoire, Benjamin; Koutsos, Adrien; Strub, Pierre Yves;
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: 2541-2563
2856
TITLE: Meta-aprendizado para otimizacao de parametros de redes neurais
AUTHORS: Tarsicio Lucas; Teresa Bernarda Ludermir; Ricardo B C Prudencio; Carlos Soares ;
PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2109.13745
AUTHORS: Tarsicio Lucas; Teresa Bernarda Ludermir; Ricardo B C Prudencio; Carlos Soares ;
PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2109.13745
INDEXED IN: DBLP
DBLP2857
TITLE: Metabarcoding with MinION: Speeding up the detection of invasive aquatic species using environmental DNA and nanopore sequencing
AUTHORS: Bastian Egeter; Joana Veríssimo; Manuel Lopes-Lima ; catia chaves; Joana Pinto; Nicoletta Riccardi; Pedro Beja; Nuno A Fonseca ;
PUBLISHED: 2021, SOURCE: ARPHA Conference Abstracts, VOLUME: 4
AUTHORS: Bastian Egeter; Joana Veríssimo; Manuel Lopes-Lima ; catia chaves; Joana Pinto; Nicoletta Riccardi; Pedro Beja; Nuno A Fonseca ;
PUBLISHED: 2021, SOURCE: ARPHA Conference Abstracts, VOLUME: 4
2858
TITLE: Metacognitive challenges to support self-reflection of students in online Software Engineering Education
AUTHORS: Pedrosa, Daniela; Fontes, Mario Madureira; Araujo, Tania; Morais, Ceres; Bettencourt, Teresa; Pestana, Pedro Duarte; Morgado, Leonel ; Cravino, Jose ;
PUBLISHED: 2021, SOURCE: 4th International Conference of the Portuguese-Society-for-Engineering-Education (CISPEE) in 2021 4TH INTERNATIONAL CONFERENCE OF THE PORTUGUESE SOCIETY FOR ENGINEERING EDUCATION (CISPEE)
AUTHORS: Pedrosa, Daniela; Fontes, Mario Madureira; Araujo, Tania; Morais, Ceres; Bettencourt, Teresa; Pestana, Pedro Duarte; Morgado, Leonel ; Cravino, Jose ;
PUBLISHED: 2021, SOURCE: 4th International Conference of the Portuguese-Society-for-Engineering-Education (CISPEE) in 2021 4TH INTERNATIONAL CONFERENCE OF THE PORTUGUESE SOCIETY FOR ENGINEERING EDUCATION (CISPEE)
2859
TITLE: METHODOLOGICAL FRAMEWORK FOR MEASURING REGIONAL LOGISTICS PERFORMANCE
AUTHORS: Tiago Duarte Silva Vieira; Ângela Silva ; Jorge Esparteiro Garcia ; Wellington Alves ;
PUBLISHED: 2021, SOURCE: Proceedings of the 16th International Symposium on Operational Research in Slovenia, SOR 2021, PAGES: 351-356
AUTHORS: Tiago Duarte Silva Vieira; Ângela Silva ; Jorge Esparteiro Garcia ; Wellington Alves ;
PUBLISHED: 2021, SOURCE: Proceedings of the 16th International Symposium on Operational Research in Slovenia, SOR 2021, PAGES: 351-356
INDEXED IN: Scopus 
Handle
Scopus Handle2860
TITLE: Methodological Quality of User-Centered Usability Evaluation of Ambient Assisted Living Solutions: A Systematic Literature Review Full Text
AUTHORS: BASTARDO, Rute ; Ana Isabel Martins ; Pavao, J ; Silva, AG; Rocha, NP ;
PUBLISHED: 2021, SOURCE: INTERNATIONAL JOURNAL OF ENVIRONMENTAL RESEARCH AND PUBLIC HEALTH, VOLUME: 18, ISSUE: 21, PAGES: 11507
AUTHORS: BASTARDO, Rute ; Ana Isabel Martins ; Pavao, J ; Silva, AG; Rocha, NP ;
PUBLISHED: 2021, SOURCE: INTERNATIONAL JOURNAL OF ENVIRONMENTAL RESEARCH AND PUBLIC HEALTH, VOLUME: 18, ISSUE: 21, PAGES: 11507
