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: 8274
531 Team MembersFilters -> Year: 2024
1621
TITLE: Machine Learning and Principles and Practice of Knowledge Discovery in Databases. International Workshops of ECML PKDD 2021, Virtual Event, September 13-17, 2021, Proceedings, Part I
AUTHORS: Michael Kamp; Irena Koprinska; Adrien Bibal; Tassadit Bouadi; Benoît Frénay; Luis Galárraga; José Oramas; Linara Adilova; Yamuna Krishnamurthy; Bo Kang; Christine Largeron; Jefrey Lijffijt; Tiphaine Viard; Pascal Welke; Massimiliano Ruocco; Erlend Aune; Claudio Gallicchio; Gregor Schiele; Franz Pernkopf; Michaela Blott; ...More
PUBLISHED: 2021, SOURCE: Communications in Computer and Information Science
AUTHORS: Michael Kamp; Irena Koprinska; Adrien Bibal; Tassadit Bouadi; Benoît Frénay; Luis Galárraga; José Oramas; Linara Adilova; Yamuna Krishnamurthy; Bo Kang; Christine Largeron; Jefrey Lijffijt; Tiphaine Viard; Pascal Welke; Massimiliano Ruocco; Erlend Aune; Claudio Gallicchio; Gregor Schiele; Franz Pernkopf; Michaela Blott; ...More
PUBLISHED: 2021, SOURCE: Communications in Computer and Information Science
INDEXED IN: 
CrossRef
CrossRef1622
TITLE: Machine Learning and Principles and Practice of Knowledge Discovery in Databases - International Workshops of ECML PKDD 2021, Virtual Event, September 13-17, 2021, Proceedings, Part I
AUTHORS: Michael Kamp; Irena Koprinska; Adrien Bibal; Tassadit Bouadi; Benoît Frénay; Luis Galárraga; José Oramas; Linara Adilova; Yamuna Krishnamurthy; Bo Kang; Christine Largeron; Jefrey Lijffijt; Tiphaine Viard; Pascal Welke; Massimiliano Ruocco; Erlend Aune; Claudio Gallicchio; Gregor Schiele; Franz Pernkopf; Michaela Blott; ...More
PUBLISHED: 2021, SOURCE: PKDD/ECML Workshops (1), VOLUME: 1524
AUTHORS: Michael Kamp; Irena Koprinska; Adrien Bibal; Tassadit Bouadi; Benoît Frénay; Luis Galárraga; José Oramas; Linara Adilova; Yamuna Krishnamurthy; Bo Kang; Christine Largeron; Jefrey Lijffijt; Tiphaine Viard; Pascal Welke; Massimiliano Ruocco; Erlend Aune; Claudio Gallicchio; Gregor Schiele; Franz Pernkopf; Michaela Blott; ...More
PUBLISHED: 2021, SOURCE: PKDD/ECML Workshops (1), VOLUME: 1524
INDEXED IN: 
DBLP
DBLP1623
TITLE: Machine Learning and Principles and Practice of Knowledge Discovery in Databases - International Workshops of ECML PKDD 2021, Virtual Event, September 13-17, 2021, Proceedings, Part II
AUTHORS: Michael Kamp; Irena Koprinska; Adrien Bibal; Tassadit Bouadi; Benoît Frénay; Luis Galárraga; José Oramas; Linara Adilova; Yamuna Krishnamurthy; Bo Kang; Christine Largeron; Jefrey Lijffijt; Tiphaine Viard; Pascal Welke; Massimiliano Ruocco; Erlend Aune; Claudio Gallicchio; Gregor Schiele; Franz Pernkopf; Michaela Blott; ...More
PUBLISHED: 2021, SOURCE: PKDD/ECML Workshops (2), VOLUME: 1525
AUTHORS: Michael Kamp; Irena Koprinska; Adrien Bibal; Tassadit Bouadi; Benoît Frénay; Luis Galárraga; José Oramas; Linara Adilova; Yamuna Krishnamurthy; Bo Kang; Christine Largeron; Jefrey Lijffijt; Tiphaine Viard; Pascal Welke; Massimiliano Ruocco; Erlend Aune; Claudio Gallicchio; Gregor Schiele; Franz Pernkopf; Michaela Blott; ...More
PUBLISHED: 2021, SOURCE: PKDD/ECML Workshops (2), VOLUME: 1525
INDEXED IN: DBLP
DBLP1624
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
1625
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
DBLP1626
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
DBLP1627
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
1628
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
1629
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
DBLP1630
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
DBLP1631
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
1632
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 DBLP1633
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
1634
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
DBLP1635
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
1636
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
DBLP1637
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)
1638
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 Handle1639
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
1640
TITLE: Methodology for Introducing Creativity in Requirements Engineering
AUTHORS: Vítor Santos; Henrique S Mamede ; Clara Silveira; Leonilde Reis;
PUBLISHED: 2021, SOURCE: 2021 International Conference on ENTERprise Information Systems, CENTERIS 2021 / ProjMAN 2021 - International Conference on Project MANagement / HCist 2021 and International Conference on Health and Social Care Information Systems and Technologies 2021 in CENTERIS 2021 - International Conference on ENTERprise Information Systems / ProjMAN 2021 - International Conference on Project MANagement / HCist 2021 - International Conference on Health and Social Care Information Systems and Technologies 2021, Braga, Portugal, VOLUME: 196, PAGES: 27-35
AUTHORS: Vítor Santos; Henrique S Mamede ; Clara Silveira; Leonilde Reis;
PUBLISHED: 2021, SOURCE: 2021 International Conference on ENTERprise Information Systems, CENTERIS 2021 / ProjMAN 2021 - International Conference on Project MANagement / HCist 2021 and International Conference on Health and Social Care Information Systems and Technologies 2021 in CENTERIS 2021 - International Conference on ENTERprise Information Systems / ProjMAN 2021 - International Conference on Project MANagement / HCist 2021 - International Conference on Health and Social Care Information Systems and Technologies 2021, Braga, Portugal, VOLUME: 196, PAGES: 27-35
