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: 2847
47 Team MembersFilters -> Year: 2026
341
TITLE: Automated Assessment in Computer Science: A Bibliometric Analysis of the Literature
AUTHORS: Paiva, Jose Carlos ; Figueira, Alvaro ; Leal, Jose Paulo ;
PUBLISHED: 2023, SOURCE: 21st International Conference on Web-Based Learning / 7th International Symposium on Emerging Technologies for Education (ICWL/SETE) in LEARNING TECHNOLOGIES AND SYSTEMS, ICWL 2022, SETE 2022, VOLUME: 13869, PAGES: 122-134
AUTHORS: Paiva, Jose Carlos ; Figueira, Alvaro ; Leal, Jose Paulo ;
PUBLISHED: 2023, SOURCE: 21st International Conference on Web-Based Learning / 7th International Symposium on Emerging Technologies for Education (ICWL/SETE) in LEARNING TECHNOLOGIES AND SYSTEMS, ICWL 2022, SETE 2022, VOLUME: 13869, PAGES: 122-134
342
TITLE: Automated Assessment of Simple Web Applications (Short Paper)
AUTHORS: Luís Maia Costa; José Paulo Leal ; Ricardo Queirós ;
PUBLISHED: 2023, SOURCE: ICPEC, VOLUME: 112, PAGES: 11:1-11:8
AUTHORS: Luís Maia Costa; José Paulo Leal ; Ricardo Queirós ;
PUBLISHED: 2023, SOURCE: ICPEC, VOLUME: 112, PAGES: 11:1-11:8
INDEXED IN: 
Scopus 
DBLP
Scopus DBLP343
TITLE: Automated Detection and Identification of Olive Fruit Fly Using YOLOv7 Algorithm
AUTHORS: Margarida Victoriano ; Lino Oliveira ; Hélder P Oliveira ;
PUBLISHED: 2023, SOURCE: IbPRIA, VOLUME: 14062 LNCS, PAGES: 211-222
AUTHORS: Margarida Victoriano ; Lino Oliveira ; Hélder P Oliveira ;
PUBLISHED: 2023, SOURCE: IbPRIA, VOLUME: 14062 LNCS, PAGES: 211-222
344
TITLE: Automated imbalanced classification via layered learning
AUTHORS: vitor cerqueira ; Luís Torgo ; Paula Branco ; Colin Bellinger;
PUBLISHED: 2023, SOURCE: Mach. Learn., VOLUME: 112, ISSUE: 6, PAGES: 2083-2104
AUTHORS: vitor cerqueira ; Luís Torgo ; Paula Branco ; Colin Bellinger;
PUBLISHED: 2023, SOURCE: Mach. Learn., VOLUME: 112, ISSUE: 6, PAGES: 2083-2104
345
TITLE: Automatic Contrast Generation from Contrastless Computed Tomography
AUTHORS: Domingues, Ruben; Nunes, Fabio; Mancio, Jennifer; Fontes Carvalho, Ricardo ; Coimbra, Miguel ; Pedrosa, Joao ; Renna, Francesco ;
PUBLISHED: 2023, SOURCE: 45th Annual International Conference of the IEEE-Engineering-in-Medicine-and-Biology-Society (EMBC) in 2023 45TH ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE & BIOLOGY SOCIETY, EMBC, PAGES: 1-4
AUTHORS: Domingues, Ruben; Nunes, Fabio; Mancio, Jennifer; Fontes Carvalho, Ricardo ; Coimbra, Miguel ; Pedrosa, Joao ; Renna, Francesco ;
PUBLISHED: 2023, SOURCE: 45th Annual International Conference of the IEEE-Engineering-in-Medicine-and-Biology-Society (EMBC) in 2023 45TH ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE & BIOLOGY SOCIETY, EMBC, PAGES: 1-4
346
TITLE: Average Complexity of Partial Derivatives for Synchronised Shuffle Expressions
AUTHORS: Broda, Sabine ; Machiavelo, Antonio ; Moreira, Nelma ; Reis, Rogerio ;
PUBLISHED: 2023, SOURCE: 27th International Conference of the Implementation and Application of Automata (CIAA) in IMPLEMENTATION AND APPLICATION OF AUTOMATA, CIAA 2023, VOLUME: 14151, PAGES: 103-115
AUTHORS: Broda, Sabine ; Machiavelo, Antonio ; Moreira, Nelma ; Reis, Rogerio ;
PUBLISHED: 2023, SOURCE: 27th International Conference of the Implementation and Application of Automata (CIAA) in IMPLEMENTATION AND APPLICATION OF AUTOMATA, CIAA 2023, VOLUME: 14151, PAGES: 103-115
347
TITLE: Beyond Heart Murmur Detection: Automatic Murmur Grading From Phonocardiogram
AUTHORS: Elola, Andoni; Aramendi, Elisabete; Oliveira, Jorge ; Renna, Francesco ; Coimbra, Miguel T. T. ; Reyna, Matthew A. A.; Sameni, Reza; Clifford, Gari D. D.; Rad, Ali Bahrami;
PUBLISHED: 2023, SOURCE: IEEE JOURNAL OF BIOMEDICAL AND HEALTH INFORMATICS, VOLUME: 27, ISSUE: 8, PAGES: 3856-3866
AUTHORS: Elola, Andoni; Aramendi, Elisabete; Oliveira, Jorge ; Renna, Francesco ; Coimbra, Miguel T. T. ; Reyna, Matthew A. A.; Sameni, Reza; Clifford, Gari D. D.; Rad, Ali Bahrami;
PUBLISHED: 2023, SOURCE: IEEE JOURNAL OF BIOMEDICAL AND HEALTH INFORMATICS, VOLUME: 27, ISSUE: 8, PAGES: 3856-3866
348
TITLE: Bibliometric Analysis of Automated Assessment in Programming Education: A Deeper Insight into Feedback Full Text
AUTHORS: Paiva, Jose Carlos ; Figueira, Alvaro ; Leal, Jose Paulo ;
PUBLISHED: 2023, SOURCE: ELECTRONICS, VOLUME: 12, ISSUE: 10, PAGES: 2254
AUTHORS: Paiva, Jose Carlos ; Figueira, Alvaro ; Leal, Jose Paulo ;
PUBLISHED: 2023, SOURCE: ELECTRONICS, VOLUME: 12, ISSUE: 10, PAGES: 2254
349
TITLE: Bone Metastases Detection in Patients with Breast Cancer: Does Bone Scintigraphy Add Information to PET/CT?
AUTHORS: Santos, Joana Cristo; Abreu, Miguel Henriques; Santos, Miriam Seoane ; Duarte, Hugo; Alpoim, Tiago; Prospero, Ines; Sousa, Susana; Abreu, Pedro Henriques ;
PUBLISHED: 2023, SOURCE: ONCOLOGIST, VOLUME: 28, ISSUE: 8
AUTHORS: Santos, Joana Cristo; Abreu, Miguel Henriques; Santos, Miriam Seoane ; Duarte, Hugo; Alpoim, Tiago; Prospero, Ines; Sousa, Susana; Abreu, Pedro Henriques ;
PUBLISHED: 2023, SOURCE: ONCOLOGIST, VOLUME: 28, ISSUE: 8
350
TITLE: Can a Content Management System Provide a Good User Experience to Teachers? (Short Paper)
AUTHORS: Yannik Bauer ; José Paulo Leal ; Ricardo Queirós ;
PUBLISHED: 2023, SOURCE: ICPEC, VOLUME: 112, PAGES: 4:1-4:8
AUTHORS: Yannik Bauer ; José Paulo Leal ; Ricardo Queirós ;
PUBLISHED: 2023, SOURCE: ICPEC, VOLUME: 112, PAGES: 4:1-4:8
INDEXED IN: Scopus DBLP
Scopus DBLP351
TITLE: Can We Communicate? Using Dynamic Logic to Verify Team Automata
AUTHORS: ter Beek, Maurice H.; Cledou, Guillermina ; Hennicker, Rolf; Proenca, Jose ;
PUBLISHED: 2023, SOURCE: 25th International Symposium on Formal Methods (FM) in FORMAL METHODS, FM 2023, VOLUME: 14000, PAGES: 122-141
AUTHORS: ter Beek, Maurice H.; Cledou, Guillermina ; Hennicker, Rolf; Proenca, Jose ;
PUBLISHED: 2023, SOURCE: 25th International Symposium on Formal Methods (FM) in FORMAL METHODS, FM 2023, VOLUME: 14000, PAGES: 122-141
352
TITLE: Caos: A Reusable Scala Web Animator of Operational Semantics
AUTHORS: Proenca, Jose ; Edixhoven, Luc;
PUBLISHED: 2023, SOURCE: 25th International Conference on Coordination Models and Language (COORDINATION) in COORDINATION MODELS AND LANGUAGES, COORDINATION 2023, VOLUME: 13908, PAGES: 163-171
AUTHORS: Proenca, Jose ; Edixhoven, Luc;
PUBLISHED: 2023, SOURCE: 25th International Conference on Coordination Models and Language (COORDINATION) in COORDINATION MODELS AND LANGUAGES, COORDINATION 2023, VOLUME: 13908, PAGES: 163-171
353
TITLE: Caos: A Reusable Scala Web Animator of Operational Semantics (Extended With Hands-On Tutorial)
AUTHORS: José Proença ; Luc Edixhoven;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2304.14901
AUTHORS: José Proença ; Luc Edixhoven;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2304.14901
INDEXED IN: DBLP
DBLP354
TITLE: Clinical model for Hereditary Transthyretin Amyloidosis age of onset prediction Full Text
AUTHORS: Pedroto, Maria ; Coelho, Teresa; Jorge, Alipio ; Mendes Moreira, Joao ;
PUBLISHED: 2023, SOURCE: FRONTIERS IN NEUROLOGY, VOLUME: 14
AUTHORS: Pedroto, Maria ; Coelho, Teresa; Jorge, Alipio ; Mendes Moreira, Joao ;
PUBLISHED: 2023, SOURCE: FRONTIERS IN NEUROLOGY, VOLUME: 14
355
TITLE: Collecting, Processing and Secondary Using Personal and (Pseudo)Anonymized Data in Smart Cities
AUTHORS: Sampaio, Silvio; Sousa, Patricia R. ; Martins, Cristina; Ferreira, Ana ; Antunes, Luis ; Cruz Correia, Ricardo ;
PUBLISHED: 2023, SOURCE: APPLIED SCIENCES-BASEL, VOLUME: 13, ISSUE: 6, PAGES: 3830
AUTHORS: Sampaio, Silvio; Sousa, Patricia R. ; Martins, Cristina; Ferreira, Ana ; Antunes, Luis ; Cruz Correia, Ricardo ;
PUBLISHED: 2023, SOURCE: APPLIED SCIENCES-BASEL, VOLUME: 13, ISSUE: 6, PAGES: 3830
356
TITLE: Colonoscopic Polyp Detection with Deep Learning Assist
AUTHORS: Alexandre Neto ; Diogo Couto; Miguel T Coimbra ; António Cunha ;
PUBLISHED: 2023, SOURCE: VISIGRAPP (4: VISAPP), VOLUME: 4, PAGES: 928-935
AUTHORS: Alexandre Neto ; Diogo Couto; Miguel T Coimbra ; António Cunha ;
PUBLISHED: 2023, SOURCE: VISIGRAPP (4: VISAPP), VOLUME: 4, PAGES: 928-935
357
TITLE: Combining Neighbor Models to Improve Predictions of Age of Onset of ATTRv Carriers
AUTHORS: Pedroto, Maria ; Jorge, Alipio ; Mendes Moreira, Joao ; Coelho, Teresa;
PUBLISHED: 2023, SOURCE: 22nd EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE, EPIA 2023, PT II, VOLUME: 14116, PAGES: 286-297
AUTHORS: Pedroto, Maria ; Jorge, Alipio ; Mendes Moreira, Joao ; Coelho, Teresa;
PUBLISHED: 2023, SOURCE: 22nd EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE, EPIA 2023, PT II, VOLUME: 14116, PAGES: 286-297
358
TITLE: Combining Symbolic and Deep Learning Approaches for Sentiment Analysis
AUTHORS: Shamsuddeen Hassan Muhammad ; Pavel Brazdil ; Alípio Jorge ;
PUBLISHED: 2023, SOURCE: Compendium of Neurosymbolic Artificial Intelligence, PAGES: 506-521
AUTHORS: Shamsuddeen Hassan Muhammad ; Pavel Brazdil ; Alípio Jorge ;
PUBLISHED: 2023, SOURCE: Compendium of Neurosymbolic Artificial Intelligence, PAGES: 506-521
359
TITLE: Computing an Automotive Cybersecurity Maturity Level Assessment Programme
AUTHORS: Grumer, Patrick; Brandao, Pedro ;
PUBLISHED: 2023, SOURCE: 7th ACM Computer Science in Cars Symposium (CSCS) in 7TH ACM COMPUTER SCIENCE IN CARS SYMPOSIUM, CSCS 2023, PAGES: 4:1-4:10
AUTHORS: Grumer, Patrick; Brandao, Pedro ;
PUBLISHED: 2023, SOURCE: 7th ACM Computer Science in Cars Symposium (CSCS) in 7TH ACM COMPUTER SCIENCE IN CARS SYMPOSIUM, CSCS 2023, PAGES: 4:1-4:10
360
TITLE: Construction of an Algorithm for Three-Dimensional Bone Segmentation from Images Obtained by Computational Tomography
AUTHORS: Marta Barbosa; Francesco Renna ; Nuno Dourado; Rúben Costa;
PUBLISHED: 2023, SOURCE: Studies in Computational Intelligence, VOLUME: 1112, PAGES: 47-71
AUTHORS: Marta Barbosa; Francesco Renna ; Nuno Dourado; Rúben Costa;
PUBLISHED: 2023, SOURCE: Studies in Computational Intelligence, VOLUME: 1112, PAGES: 47-71
INDEXED IN: Scopus 
Unpaywall
Scopus Unpaywall