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: 2852
46 Team MembersFilters -> Year: 2026
1021
TITLE: SMALL BOWEL MUCOSA SEGMENTATION FOR FRAME CHARACTERIZATION IN VIDEOS OF ENDOSCOPIC CAPSULES
AUTHORS: Gil Pinheiro; Paulo Coelho ; Mariana Mourao; Maria Salgado; Helder P Oliveira ; Antonio Cunha ;
PUBLISHED: 2019, SOURCE: 16th IEEE International Symposium on Biomedical Imaging (ISBI) in 2019 IEEE 16TH INTERNATIONAL SYMPOSIUM ON BIOMEDICAL IMAGING (ISBI 2019), VOLUME: 2019-April, PAGES: 83-86
AUTHORS: Gil Pinheiro; Paulo Coelho ; Mariana Mourao; Maria Salgado; Helder P Oliveira ; Antonio Cunha ;
PUBLISHED: 2019, SOURCE: 16th IEEE International Symposium on Biomedical Imaging (ISBI) in 2019 IEEE 16TH INTERNATIONAL SYMPOSIUM ON BIOMEDICAL IMAGING (ISBI 2019), VOLUME: 2019-April, PAGES: 83-86
1022
TITLE: Some Applications of the Formalization of the Pumping Lemma for Context-Free Languages PDF
AUTHORS: Ramos, MVM; Almeida, JCB ; Moreira, N ; de Queiroz, RJGB;
PUBLISHED: 2019, SOURCE: 13th Workshop on Logical and Semantic Frameworks with Applications (LSFA) in ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 344, PAGES: 151-167
AUTHORS: Ramos, MVM; Almeida, JCB ; Moreira, N ; de Queiroz, RJGB;
PUBLISHED: 2019, SOURCE: 13th Workshop on Logical and Semantic Frameworks with Applications (LSFA) in ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 344, PAGES: 151-167
1023
TITLE: Source Separation of the Second Heart Sound Using Gaussian Mixture Models
AUTHORS: Francesco Renna ; Miguel T Coimbra ;
PUBLISHED: 2019, SOURCE: CinC, VOLUME: 2019-September, PAGES: 1-4
AUTHORS: Francesco Renna ; Miguel T Coimbra ;
PUBLISHED: 2019, SOURCE: CinC, VOLUME: 2019-September, PAGES: 1-4
1024
TITLE: Taming Hierarchical Connectors
AUTHORS: José Proença ; Alexandre Madeira ;
PUBLISHED: 2019, SOURCE: FSEN, VOLUME: 11761 LNCS, PAGES: 186-193
AUTHORS: José Proença ; Alexandre Madeira ;
PUBLISHED: 2019, SOURCE: FSEN, VOLUME: 11761 LNCS, PAGES: 186-193
1025
TITLE: Temporal network alignment via GoT-WAVE Full Text
AUTHORS: Aparício, D ; Ribeiro, P ; Milenkovic, Tijana ; Silva, F ;
PUBLISHED: 2019, SOURCE: BIOINFORMATICS, VOLUME: 35, ISSUE: 18, PAGES: 3527-3529
AUTHORS: Aparício, D ; Ribeiro, P ; Milenkovic, Tijana ; Silva, F ;
PUBLISHED: 2019, SOURCE: BIOINFORMATICS, VOLUME: 35, ISSUE: 18, PAGES: 3527-3529
1026
TITLE: TENSORCAST: forecasting and mining with coupled tensors
AUTHORS: Araujo, M ; Ribeiro, P ; Song, HA; Faloutsos, C;
PUBLISHED: 2019, SOURCE: KNOWLEDGE AND INFORMATION SYSTEMS, VOLUME: 59, ISSUE: 3, PAGES: 497-522
AUTHORS: Araujo, M ; Ribeiro, P ; Song, HA; Faloutsos, C;
PUBLISHED: 2019, SOURCE: KNOWLEDGE AND INFORMATION SYSTEMS, VOLUME: 59, ISSUE: 3, PAGES: 497-522
1027
TITLE: Termination of lambda-calculus linearisation methods
AUTHORS: Sandra Alves ;
PUBLISHED: 2019, SOURCE: Electronic Proceedings in Theoretical Computer Science Eptcs, VOLUME: 292
AUTHORS: Sandra Alves ;
PUBLISHED: 2019, SOURCE: Electronic Proceedings in Theoretical Computer Science Eptcs, VOLUME: 292
INDEXED IN: 
Scopus
Scopus1028
TITLE: The CURE for Class Imbalance
AUTHORS: Colin Bellinger; Paula Branco ; Luís Torgo ;
PUBLISHED: 2019, SOURCE: 22nd International Conference on Discovery Science, DS 2019 in DS, VOLUME: 11828 LNAI, PAGES: 3-17
AUTHORS: Colin Bellinger; Paula Branco ; Luís Torgo ;
PUBLISHED: 2019, SOURCE: 22nd International Conference on Discovery Science, DS 2019 in DS, VOLUME: 11828 LNAI, PAGES: 3-17
1029
TITLE: The search of conditional outliers
AUTHORS: Portel, E; Ribeire, RP ; Gama, J ;
PUBLISHED: 2019, SOURCE: INTELLIGENT DATA ANALYSIS, VOLUME: 23, ISSUE: 1, PAGES: 23-39
AUTHORS: Portel, E; Ribeire, RP ; Gama, J ;
PUBLISHED: 2019, SOURCE: INTELLIGENT DATA ANALYSIS, VOLUME: 23, ISSUE: 1, PAGES: 23-39
1030
TITLE: Towards Automatic and Robust Particle Tracking in Microrheology Studies
AUTHORS: Castro, M; Araújo, RJ ; Campo Deaño, L ; Oliveira, HP ;
PUBLISHED: 2019, SOURCE: 9th Iberian Conference on Pattern Recognition and Image Analysis, IbPRIA 2019 in PATTERN RECOGNITION AND IMAGE ANALYSIS, IBPRIA 2019, PT II, VOLUME: 11868, PAGES: 508-519
AUTHORS: Castro, M; Araújo, RJ ; Campo Deaño, L ; Oliveira, HP ;
PUBLISHED: 2019, SOURCE: 9th Iberian Conference on Pattern Recognition and Image Analysis, IbPRIA 2019 in PATTERN RECOGNITION AND IMAGE ANALYSIS, IBPRIA 2019, PT II, VOLUME: 11868, PAGES: 508-519
1031
TITLE: TRUSTFS: An SGX-enabled Stackable File System Framework
AUTHORS: Esteves, T ; Macedo, R ; Faria, A ; Portela, B ; Paulo, J ; Pereira, J ; Harnik, D;
PUBLISHED: 2019, SOURCE: 38th International Symposium on Reliable Distributed Systems (SRDS) in 2019 38TH INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS WORKSHOPS (SRDSW 2019), PAGES: 25-30
AUTHORS: Esteves, T ; Macedo, R ; Faria, A ; Portela, B ; Paulo, J ; Pereira, J ; Harnik, D;
PUBLISHED: 2019, SOURCE: 38th International Symposium on Reliable Distributed Systems (SRDS) in 2019 38TH INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS WORKSHOPS (SRDSW 2019), PAGES: 25-30
1032
TITLE: Type Inference for Rank 2 Gradual Intersection Types
AUTHORS: Ângelo, Pedro ; Mário Florido ;
PUBLISHED: 2019, SOURCE: TFP, VOLUME: 12053 LNCS, PAGES: 84-120
AUTHORS: Ângelo, Pedro ; Mário Florido ;
PUBLISHED: 2019, SOURCE: TFP, VOLUME: 12053 LNCS, PAGES: 84-120
1033
TITLE: Unsupervised Neural Network for Homography Estimation in Capsule Endoscopy Frames
AUTHORS: Gomes, S; Valerio, MT; Salgado, M; Oliveira, HP ; Cunha, A ;
PUBLISHED: 2019, SOURCE: International Conference on ENTERprise Information Systems (CENTERIS) / International Conference on Project MANagement (ProjMAN) / International Conference on Health and Social Care Information Systems and Technologies (HCist) in CENTERIS2019--INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS/PROJMAN2019--INTERNATIONAL CONFERENCE ON PROJECT MANAGEMENT/HCIST2019--INTERNATIONAL CONFERENCE ON HEALTH AND SOCIAL CARE INFORMATION SYSTEMS AND TECHNOLOGIES, VOLUME: 164, PAGES: 602-609
AUTHORS: Gomes, S; Valerio, MT; Salgado, M; Oliveira, HP ; Cunha, A ;
PUBLISHED: 2019, SOURCE: International Conference on ENTERprise Information Systems (CENTERIS) / International Conference on Project MANagement (ProjMAN) / International Conference on Health and Social Care Information Systems and Technologies (HCist) in CENTERIS2019--INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS/PROJMAN2019--INTERNATIONAL CONFERENCE ON PROJECT MANAGEMENT/HCIST2019--INTERNATIONAL CONFERENCE ON HEALTH AND SOCIAL CARE INFORMATION SYSTEMS AND TECHNOLOGIES, VOLUME: 164, PAGES: 602-609
1034
TITLE: Using Grover's search quantum algorithm to solve Boolean satisfiability problems, part 2
AUTHORS: Diogo Fernandes; Carla Silva ; Inês Dutra ;
PUBLISHED: 2019, SOURCE: XRDS, VOLUME: 26, ISSUE: 2, PAGES: 68-71
AUTHORS: Diogo Fernandes; Carla Silva ; Inês Dutra ;
PUBLISHED: 2019, SOURCE: XRDS, VOLUME: 26, ISSUE: 2, PAGES: 68-71
INDEXED IN: 
DBLP 
CrossRef
DBLP CrossRef1035
TITLE: Using Grover's search quantum algorithm to solve Boolean satisfiability problems: Part I
AUTHORS: Diogo Fernandes; Inês Dutra ;
PUBLISHED: 2019, SOURCE: XRDS, VOLUME: 26, ISSUE: 1, PAGES: 64-66
AUTHORS: Diogo Fernandes; Inês Dutra ;
PUBLISHED: 2019, SOURCE: XRDS, VOLUME: 26, ISSUE: 1, PAGES: 64-66
INDEXED IN: DBLP
DBLP1036
TITLE: Using HandSpy to Study Writing in Real Time: a Comparison between Low- and High-Quality Texts in Grade 2
AUTHORS: Rui A Alves ; José Paulo Leal ; Teresa Limpo;
PUBLISHED: 2019, SOURCE: Studies in Writing, VOLUME: 38, PAGES: 50-70
AUTHORS: Rui A Alves ; José Paulo Leal ; Teresa Limpo;
PUBLISHED: 2019, SOURCE: Studies in Writing, VOLUME: 38, PAGES: 50-70
1037
TITLE: Using Soft Attention Mechanisms to Classify Heart Sounds
AUTHORS: Oliveira, J ; Nogueira, M ; Ramos, C; Renna, F ; Ferreira, C ; Coimbra, M ;
PUBLISHED: 2019, SOURCE: 41st Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC) in 2019 41ST ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE AND BIOLOGY SOCIETY (EMBC), PAGES: 6669-6672
AUTHORS: Oliveira, J ; Nogueira, M ; Ramos, C; Renna, F ; Ferreira, C ; Coimbra, M ;
PUBLISHED: 2019, SOURCE: 41st Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC) in 2019 41ST ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE AND BIOLOGY SOCIETY (EMBC), PAGES: 6669-6672
1038
TITLE: Virtual M-Mode for Echocardiography: A New Approach for the Segmentation of the Anterior Mitral Leaflet
AUTHORS: Sultan, MS; Martins, N; Costa, E; Veiga, D; Ferreira, MJ; Mattos, S; Coimbra, MT ;
PUBLISHED: 2019, SOURCE: IEEE JOURNAL OF BIOMEDICAL AND HEALTH INFORMATICS, VOLUME: 23, ISSUE: 1, PAGES: 305-313
AUTHORS: Sultan, MS; Martins, N; Costa, E; Veiga, D; Ferreira, MJ; Mattos, S; Coimbra, MT ;
PUBLISHED: 2019, SOURCE: IEEE JOURNAL OF BIOMEDICAL AND HEALTH INFORMATICS, VOLUME: 23, ISSUE: 1, PAGES: 305-313
1039
TITLE: Visual Interpretation of Regression Error
AUTHORS: Inês Areosa ; Luís Torgo ;
PUBLISHED: 2019, SOURCE: EPIA (2), VOLUME: 11805 LNAI, PAGES: 473-485
AUTHORS: Inês Areosa ; Luís Torgo ;
PUBLISHED: 2019, SOURCE: EPIA (2), VOLUME: 11805 LNAI, PAGES: 473-485
1040
TITLE: VitalResponder®: Wearable wireless platform for vitals and body-area environment monitoring of first response teams
AUTHORS: Cunha, JPS ; Rodrigues, S; Dias, D ; Brandão, P ; Aguiar, A ; Oliveira, I; Fernandes, JM ; Maia, C; Tedim, AR; Barros, A; Azuaje, O; Soares, E; De La Torre, F;
PUBLISHED: 2019, SOURCE: Wearable Technologies and Wireless Body Sensor Networks for Healthcare, PAGES: 387-416
AUTHORS: Cunha, JPS ; Rodrigues, S; Dias, D ; Brandão, P ; Aguiar, A ; Oliveira, I; Fernandes, JM ; Maia, C; Tedim, AR; Barros, A; Azuaje, O; Soares, E; De La Torre, F;
PUBLISHED: 2019, SOURCE: Wearable Technologies and Wireless Body Sensor Networks for Healthcare, PAGES: 387-416
INDEXED IN: Scopus CrossRef
Scopus CrossRef