Department of Computer Science (DCC)
Departamento de Ciências dos Computadores
AuthID: I-000-0JZ
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: 2727
43 Team MembersFilters -> Year: 2025
561
TITLE: Gamification. Improving Patient Adherence in mHealth for Diabetes Management
AUTHORS: Diogo Machado; Rui Carvalho; Pedro Brandão ;
PUBLISHED: 2021, SOURCE: Handbook of Research on Solving Modern Healthcare Challenges With Gamification, PAGES: 293-319
AUTHORS: Diogo Machado; Rui Carvalho; Pedro Brandão ;
PUBLISHED: 2021, SOURCE: Handbook of Research on Solving Modern Healthcare Challenges With Gamification, PAGES: 293-319
INDEXED IN: 
CrossRef 
Unpaywall
CrossRef Unpaywall562
TITLE: Hardening cryptographic operations through the use of secure enclaves Full Text
AUTHORS: Brandao, A; Resende, JS ; Martins, R ;
PUBLISHED: 2021, SOURCE: COMPUTERS & SECURITY, VOLUME: 108, PAGES: 102327
AUTHORS: Brandao, A; Resende, JS ; Martins, R ;
PUBLISHED: 2021, SOURCE: COMPUTERS & SECURITY, VOLUME: 108, PAGES: 102327
563
TITLE: Hot Current Topics of Descriptional Complexity
AUTHORS: Martin Kutrib; Nelma Moreira ; Giovanni Pighizzini; Rogério Reis ;
PUBLISHED: 2021, SOURCE: Advancing Research in Information and Communication Technology - IFIP's Exciting First 60+ Years, Views from the Technical Committees and Working Groups, VOLUME: 600, PAGES: 3-28
AUTHORS: Martin Kutrib; Nelma Moreira ; Giovanni Pighizzini; Rogério Reis ;
PUBLISHED: 2021, SOURCE: Advancing Research in Information and Communication Technology - IFIP's Exciting First 60+ Years, Views from the Technical Committees and Working Groups, VOLUME: 600, PAGES: 3-28
564
TITLE: Hubs for VirtuosoNext: Online verification of real-time coordinators Full Text
AUTHORS: Cledou, G ; Proenca, J ; Sputh, BHC; Verhulst, E;
PUBLISHED: 2021, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 203, PAGES: 102566
AUTHORS: Cledou, G ; Proenca, J ; Sputh, BHC; Verhulst, E;
PUBLISHED: 2021, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 203, PAGES: 102566
565
TITLE: Improving Portuguese Semantic Role Labeling with Transformers and Transfer Learning
AUTHORS: Oliveira, Sofia; Loureiro, Daniel ; Jorge, Alipio ;
PUBLISHED: 2021, SOURCE: 8th IEEE International Conference on Data Science and Advanced Analytics (DSAA) in 2021 IEEE 8TH INTERNATIONAL CONFERENCE ON DATA SCIENCE AND ADVANCED ANALYTICS (DSAA), PAGES: 1-9
AUTHORS: Oliveira, Sofia; Loureiro, Daniel ; Jorge, Alipio ;
PUBLISHED: 2021, SOURCE: 8th IEEE International Conference on Data Science and Advanced Analytics (DSAA) in 2021 IEEE 8TH INTERNATIONAL CONFERENCE ON DATA SCIENCE AND ADVANCED ANALYTICS (DSAA), PAGES: 1-9
566
TITLE: Improving Smart Waste Collection Using AutoML
AUTHORS: Teixeira, Sonia ; Londres, Guilherme; Veloso, Bruno ; Ribeiro, Rita P. ; Gama, Joao ;
PUBLISHED: 2021, SOURCE: 21st Joint European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases (ECML PKDD) in MACHINE LEARNING AND PRINCIPLES AND PRACTICE OF KNOWLEDGE DISCOVERY IN DATABASES, PT II, VOLUME: 1525, PAGES: 283-298
AUTHORS: Teixeira, Sonia ; Londres, Guilherme; Veloso, Bruno ; Ribeiro, Rita P. ; Gama, Joao ;
PUBLISHED: 2021, SOURCE: 21st Joint European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases (ECML PKDD) in MACHINE LEARNING AND PRINCIPLES AND PRACTICE OF KNOWLEDGE DISCOVERY IN DATABASES, PT II, VOLUME: 1525, PAGES: 283-298
567
TITLE: Joint Training of Hidden Markov Model and Neural Network for Heart Sound Segmentation
AUTHORS: Renna, Francesco ; Martins, Miguel L. ; Coimbra, Miguel ;
PUBLISHED: 2021, SOURCE: Conference on Computing in Cardiology (CinC) in 2021 COMPUTING IN CARDIOLOGY (CINC), VOLUME: 2021-September, PAGES: 1-4
AUTHORS: Renna, Francesco ; Martins, Miguel L. ; Coimbra, Miguel ;
PUBLISHED: 2021, SOURCE: Conference on Computing in Cardiology (CinC) in 2021 COMPUTING IN CARDIOLOGY (CINC), VOLUME: 2021-September, PAGES: 1-4
568
TITLE: Keyed Polar Coding for Physical-Layer Security without Channel State Information
AUTHORS: Pinto, TMS; Vilela, JP ; Gomes, MAC; Harrison, WK;
PUBLISHED: 2021, SOURCE: IEEE International Conference on Communications (ICC) in IEEE INTERNATIONAL CONFERENCE ON COMMUNICATIONS (ICC 2021)
AUTHORS: Pinto, TMS; Vilela, JP ; Gomes, MAC; Harrison, WK;
PUBLISHED: 2021, SOURCE: IEEE International Conference on Communications (ICC) in IEEE INTERNATIONAL CONFERENCE ON COMMUNICATIONS (ICC 2021)
569
TITLE: Location Based Automata for Expressions with Shuffle
AUTHORS: Sabine Broda ; António Machiavelo ; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2021, SOURCE: 15th International Conference on Language and Automata Theory and Applications, LATA 2021 in Language and Automata Theory and Applications - 15th International Conference, LATA 2021, Milan, Italy, March 1-5, 2021, Proceedings, VOLUME: 12638, PAGES: 43-54
AUTHORS: Sabine Broda ; António Machiavelo ; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2021, SOURCE: 15th International Conference on Language and Automata Theory and Applications, LATA 2021 in Language and Automata Theory and Applications - 15th International Conference, LATA 2021, Milan, Italy, March 1-5, 2021, Proceedings, VOLUME: 12638, PAGES: 43-54
570
TITLE: Machine Learning and Feature Selection Methods for EGFR Mutation Status Prediction in Lung Cancer
AUTHORS: Morgado, J ; Pereira, T ; Silva, F ; Freitas, C; Negrao, E; de Lima, BF; da Silva, MC; Madureira, AJ ; Ramos, I; Hespanhol, V ; Costa, JL; Cunha, A ; Oliveira, HP ;
PUBLISHED: 2021, SOURCE: APPLIED SCIENCES-BASEL, VOLUME: 11, ISSUE: 7, PAGES: 3273
AUTHORS: Morgado, J ; Pereira, T ; Silva, F ; Freitas, C; Negrao, E; de Lima, BF; da Silva, MC; Madureira, AJ ; Ramos, I; Hespanhol, V ; Costa, JL; Cunha, A ; Oliveira, HP ;
PUBLISHED: 2021, SOURCE: APPLIED SCIENCES-BASEL, VOLUME: 11, ISSUE: 7, PAGES: 3273
571
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: 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
572
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
CrossRef573
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
DBLP574
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
DBLP575
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
576
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
DBLP577
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
DBLP579
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 DBLP580
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