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: 2797
43 Team MembersFilters -> Year: 2026
642
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 DBLP643
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
DBLP644
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
645
TITLE: Mobile Application for Determining the Concentration of Sulfonamides in Water Using Digital Image Colorimetry
AUTHORS: Pedro Reis; Pedro H Carvalho; Patrícia S Peixoto; Marcela A Segundo ; Hélder P Oliveira ;
PUBLISHED: 2021, SOURCE: 15th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2021, held as part of the 23rd International Conference, HCI International 2021 in Universal Access in Human-Computer Interaction. Access to Media, Learning and Assistive Environments - 15th International Conference, UAHCI 2021, Held as Part of the 23rd HCI International Conference, HCII 2021, Virtual Event, July 24-29, 2021, Proceedings, Part II, VOLUME: 12769, PAGES: 468-484
AUTHORS: Pedro Reis; Pedro H Carvalho; Patrícia S Peixoto; Marcela A Segundo ; Hélder P Oliveira ;
PUBLISHED: 2021, SOURCE: 15th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2021, held as part of the 23rd International Conference, HCI International 2021 in Universal Access in Human-Computer Interaction. Access to Media, Learning and Assistive Environments - 15th International Conference, UAHCI 2021, Held as Part of the 23rd HCI International Conference, HCII 2021, Virtual Event, July 24-29, 2021, Proceedings, Part II, VOLUME: 12769, PAGES: 468-484
646
TITLE: Model Compression for Dynamic Forecast Combination
AUTHORS: Vítor Cerqueira ; Luís Torgo ; Carlos Soares ; Albert Bifet;
PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2104.01830
AUTHORS: Vítor Cerqueira ; Luís Torgo ; Carlos Soares ; Albert Bifet;
PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2104.01830
INDEXED IN: DBLP
DBLP647
TITLE: Mooshak's Diet Update: Introducing YAPExIL Format to Mooshak (Short Paper)
AUTHORS: José Carlos Paiva ; Ricardo Queirós ; José Paulo Leal ;
PUBLISHED: 2021, SOURCE: 10th Symposium on Languages, Applications and Technologies, SLATE 2021 in 10th Symposium on Languages, Applications and Technologies, SLATE 2021, July 1-2, 2021, Vila do Conde/Póvoa de Varzim, Portugal., VOLUME: 94, PAGES: 9:1-9:7
AUTHORS: José Carlos Paiva ; Ricardo Queirós ; José Paulo Leal ;
PUBLISHED: 2021, SOURCE: 10th Symposium on Languages, Applications and Technologies, SLATE 2021 in 10th Symposium on Languages, Applications and Technologies, SLATE 2021, July 1-2, 2021, Vila do Conde/Póvoa de Varzim, Portugal., VOLUME: 94, PAGES: 9:1-9:7
INDEXED IN: Scopus DBLP
Scopus DBLP648
TITLE: NeuralLog: a Neural Logic Language
AUTHORS: Victor Guimarães; Vítor Santos Costa ;
PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2105.01442
AUTHORS: Victor Guimarães; Vítor Santos Costa ;
PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2105.01442
INDEXED IN: DBLP
DBLP649
TITLE: Non-linear Methods Predominant in Fetal Heart Rate Analysis: A Systematic Review
AUTHORS: Ribeiro, M ; Monteiro Santos, J; Castro, L ; Antunes, L ; Costa Santos, C ; Teixeira, A ; Henriques, TS ;
PUBLISHED: 2021, SOURCE: FRONTIERS IN MEDICINE, VOLUME: 8
AUTHORS: Ribeiro, M ; Monteiro Santos, J; Castro, L ; Antunes, L ; Costa Santos, C ; Teixeira, A ; Henriques, TS ;
PUBLISHED: 2021, SOURCE: FRONTIERS IN MEDICINE, VOLUME: 8
650
TITLE: On Conditional Tsallis Entropy Full Text
AUTHORS: Teixeira, A ; Souto, A ; Antunes, L ;
PUBLISHED: 2021, SOURCE: ENTROPY, VOLUME: 23, ISSUE: 11, PAGES: 1427
AUTHORS: Teixeira, A ; Souto, A ; Antunes, L ;
PUBLISHED: 2021, SOURCE: ENTROPY, VOLUME: 23, ISSUE: 11, PAGES: 1427
651
TITLE: On the correctness and efficiency of a novel lock-free hash trie map design
AUTHORS: Miguel Areias ; Rocha, R ;
PUBLISHED: 2021, SOURCE: JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, VOLUME: 150, PAGES: 184-195
AUTHORS: Miguel Areias ; Rocha, R ;
PUBLISHED: 2021, SOURCE: JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, VOLUME: 150, PAGES: 184-195
652
TITLE: On the implementation of memory reclamation methods in a lock-free hash trie design
AUTHORS: Moreno, P ; Miguel Areias ; Rocha, R ;
PUBLISHED: 2021, SOURCE: JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, VOLUME: 155, PAGES: 1-13
AUTHORS: Moreno, P ; Miguel Areias ; Rocha, R ;
PUBLISHED: 2021, SOURCE: JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, VOLUME: 155, PAGES: 1-13
653
TITLE: On the Secure Spectral Efficiency of URLLC With Randomly Located Colluding Eavesdroppers
AUTHORS: Farhat, J; Brante, G; Souza, RD; Vilela, JP ;
PUBLISHED: 2021, SOURCE: IEEE INTERNET OF THINGS JOURNAL, VOLUME: 8, ISSUE: 19, PAGES: 14672-14682
AUTHORS: Farhat, J; Brante, G; Souza, RD; Vilela, JP ;
PUBLISHED: 2021, SOURCE: IEEE INTERNET OF THINGS JOURNAL, VOLUME: 8, ISSUE: 19, PAGES: 14672-14682
654
TITLE: On the size of partial derivatives and the word membership problem Full Text
AUTHORS: Konstantinidis, S; Machiavelo, A ; Moreira, N ; Reis, R ;
PUBLISHED: 2021, SOURCE: ACTA INFORMATICA, VOLUME: 58, ISSUE: 4, PAGES: 357-375
AUTHORS: Konstantinidis, S; Machiavelo, A ; Moreira, N ; Reis, R ;
PUBLISHED: 2021, SOURCE: ACTA INFORMATICA, VOLUME: 58, ISSUE: 4, PAGES: 357-375
655
TITLE: On the Uniform Distribution of Regular Expressions
AUTHORS: Sabine Broda ; António Machiavelo ; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2103.13175
AUTHORS: Sabine Broda ; António Machiavelo ; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2103.13175
INDEXED IN: DBLP
DBLP656
TITLE: On the Uniform Distribution of Regular Expressions
AUTHORS: Broda, Sabine ; Machiavelo, Antonio ; Moreira, Nelma ; Reis, Rogerio ;
PUBLISHED: 2021, SOURCE: 23rd IFIP WG 1.02 International Conference on Descriptional Complexity of Formal Systems (DCFS) in DESCRIPTIONAL COMPLEXITY OF FORMAL SYSTEMS, DCFS 2021, VOLUME: 13037, PAGES: 13-25
AUTHORS: Broda, Sabine ; Machiavelo, Antonio ; Moreira, Nelma ; Reis, Rogerio ;
PUBLISHED: 2021, SOURCE: 23rd IFIP WG 1.02 International Conference on Descriptional Complexity of Formal Systems (DCFS) in DESCRIPTIONAL COMPLEXITY OF FORMAL SYSTEMS, DCFS 2021, VOLUME: 13037, PAGES: 13-25
657
TITLE: Online Learning of Logic Based Neural Network Structures
AUTHORS: Victor Guimarães; Vítor Santos Costa ;
PUBLISHED: 2021, SOURCE: Inductive Logic Programming - 30th International Conference, ILP 2021, Virtual Event, October 25-27, 2021, Proceedings, VOLUME: 13191, PAGES: 140-155
AUTHORS: Victor Guimarães; Vítor Santos Costa ;
PUBLISHED: 2021, SOURCE: Inductive Logic Programming - 30th International Conference, ILP 2021, Virtual Event, October 25-27, 2021, Proceedings, VOLUME: 13191, PAGES: 140-155
INDEXED IN: DBLP
DBLP658
TITLE: Open source collection of gamified programming exercises
AUTHORS: Swacha, J; Naprawski, T; Queirós, R; Paiva, JC; Leal, JP ; de Vita, CG; Mellone, G; Montella, R; Ljubenkov, D; Kosta, S;
PUBLISHED: 2021, SOURCE: 37th Information Systems Education Conference, ISECON 2021 in Proceedings of the Information Systems Education Conference, ISECON, VOLUME: 2021-October, PAGES: 120-123
AUTHORS: Swacha, J; Naprawski, T; Queirós, R; Paiva, JC; Leal, JP ; de Vita, CG; Mellone, G; Montella, R; Ljubenkov, D; Kosta, S;
PUBLISHED: 2021, SOURCE: 37th Information Systems Education Conference, ISECON 2021 in Proceedings of the Information Systems Education Conference, ISECON, VOLUME: 2021-October, PAGES: 120-123
INDEXED IN: Scopus
Scopus659
TITLE: ORSUM 2021-4th Workshop on Online Recommender Systems and User Modeling
AUTHORS: Vinagre, J ; Jorge, AM ; Al Ghossein, M; Bifet, A;
PUBLISHED: 2021, SOURCE: 15th ACM Conference on Recommender Systems (RECSYS) in 15TH ACM CONFERENCE ON RECOMMENDER SYSTEMS (RECSYS 2021), PAGES: 792-793
AUTHORS: Vinagre, J ; Jorge, AM ; Al Ghossein, M; Bifet, A;
PUBLISHED: 2021, SOURCE: 15th ACM Conference on Recommender Systems (RECSYS) in 15TH ACM CONFERENCE ON RECOMMENDER SYSTEMS (RECSYS 2021), PAGES: 792-793
660
TITLE: Partial Derivative Automaton by Compressing Regular Expressions
AUTHORS: Konstantinidis, Stavros; Machiavelo, Antonio ; Moreira, Nelma ; Reis, Rogerio ;
PUBLISHED: 2021, SOURCE: 23rd IFIP WG 1.02 International Conference on Descriptional Complexity of Formal Systems (DCFS) in DESCRIPTIONAL COMPLEXITY OF FORMAL SYSTEMS, DCFS 2021, VOLUME: 13037, PAGES: 100-112
AUTHORS: Konstantinidis, Stavros; Machiavelo, Antonio ; Moreira, Nelma ; Reis, Rogerio ;
PUBLISHED: 2021, SOURCE: 23rd IFIP WG 1.02 International Conference on Descriptional Complexity of Formal Systems (DCFS) in DESCRIPTIONAL COMPLEXITY OF FORMAL SYSTEMS, DCFS 2021, VOLUME: 13037, PAGES: 100-112
