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: 2858
47 Team MembersFilters -> Year: 2026
1041
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
1042
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
1043
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 CrossRef1044
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
DBLP1045
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
1046
TITLE: Using Soft Attention Mechanisms to Classify Heart Sounds Full Text
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
1047
TITLE: Virtual M-Mode for Echocardiography: A New Approach for the Segmentation of the Anterior Mitral Leaflet Full Text
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
1048
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
1049
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 CrossRef1050
TITLE: What is the Cost of the Index Selector Task for OFDM with Index Modulation?
AUTHORS: Queiroz, S; Vilela, J ; Monteiro, E;
PUBLISHED: 2019, SOURCE: Wireless Days Conference (WD) in 2019 WIRELESS DAYS (WD), VOLUME: 2019-April
AUTHORS: Queiroz, S; Vilela, J ; Monteiro, E;
PUBLISHED: 2019, SOURCE: Wireless Days Conference (WD) in 2019 WIRELESS DAYS (WD), VOLUME: 2019-April
1051
TITLE: 12th Workshop on Logical and Semantic Frameworks, with Applications, LSFA 2017, Brasília, Brazil, September 23-24, 2017
AUTHORS: Sandra Alves ; Renata Wasserman;
PUBLISHED: 2018, SOURCE: LSFA, VOLUME: 338
AUTHORS: Sandra Alves ; Renata Wasserman;
PUBLISHED: 2018, SOURCE: LSFA, VOLUME: 338
INDEXED IN: DBLP
DBLP1052
TITLE: 2nd Workshop on Learning with Imbalanced Domains: Preface
AUTHORS: Luís Torgo ; Stan Matwin; Nathalie Japkowicz; Bartosz Krawczyk; Nuno Moniz ; Paula Branco ;
PUBLISHED: 2018, SOURCE: LIDTA@ECML/PKDD, PAGES: 1-7
AUTHORS: Luís Torgo ; Stan Matwin; Nathalie Japkowicz; Bartosz Krawczyk; Nuno Moniz ; Paula Branco ;
PUBLISHED: 2018, SOURCE: LIDTA@ECML/PKDD, PAGES: 1-7
INDEXED IN: DBLP
DBLP1053
TITLE: 7th Symposium on Languages, Applications and Technologies, SLATE 2018, June 21-22, 2018, Guimaraes, Portugal
AUTHORS: Pedro Rangel Henriques; José Paulo Leal ; António Menezes Leitão; Xavier Gómez Guinovart;
PUBLISHED: 2018, SOURCE: SLATE, VOLUME: 62
AUTHORS: Pedro Rangel Henriques; José Paulo Leal ; António Menezes Leitão; Xavier Gómez Guinovart;
PUBLISHED: 2018, SOURCE: SLATE, VOLUME: 62
INDEXED IN: DBLP
DBLP1054
TITLE: A Flexible Framework for Rogue Access Point Detection
AUTHORS: Ricardo Gonçalves; Manuel Eduardo Correia ; Pedro Brandão ;
PUBLISHED: 2018, SOURCE: ICETE (2), VOLUME: 2, PAGES: 632-637
AUTHORS: Ricardo Gonçalves; Manuel Eduardo Correia ; Pedro Brandão ;
PUBLISHED: 2018, SOURCE: ICETE (2), VOLUME: 2, PAGES: 632-637
1055
TITLE: A local algorithm to approximate the global clustering of streams generated in ubiquitous sensor networks Full Text
AUTHORS: Rodrigues, PP ; Araújo, J; Gama, J ; Lopes, L ;
PUBLISHED: 2018, SOURCE: INTERNATIONAL JOURNAL OF DISTRIBUTED SENSOR NETWORKS, VOLUME: 14, ISSUE: 10, PAGES: 155014771880823
AUTHORS: Rodrigues, PP ; Araújo, J; Gama, J ; Lopes, L ;
PUBLISHED: 2018, SOURCE: INTERNATIONAL JOURNAL OF DISTRIBUTED SENSOR NETWORKS, VOLUME: 14, ISSUE: 10, PAGES: 155014771880823
1056
TITLE: A New Active Contours Approach for Finger Extensor Tendon Segmentation in Ultrasound Images Using Prior Knowledge and Phase Symmetry Full Text
AUTHORS: Martins, N; Sultan, S; Veiga, D; Ferreira, M; Teixeira, F; Coimbra, M ;
PUBLISHED: 2018, SOURCE: IEEE JOURNAL OF BIOMEDICAL AND HEALTH INFORMATICS, VOLUME: 22, ISSUE: 4, PAGES: 1261-1268
AUTHORS: Martins, N; Sultan, S; Veiga, D; Ferreira, M; Teixeira, F; Coimbra, M ;
PUBLISHED: 2018, SOURCE: IEEE JOURNAL OF BIOMEDICAL AND HEALTH INFORMATICS, VOLUME: 22, ISSUE: 4, PAGES: 1261-1268
1057
TITLE: A New Method for the Anterior Mitral Leaflet Segmentation in Echocardiography Videos using the Virtual M-mode Space
AUTHORS: Malik Saad Sultan; Nelson Martins; Eva Costa; Diana Veiga; Manuel João Ferreira; Sandra da Silva Mattos; Miguel Tavares Coimbra ;
PUBLISHED: 2018, SOURCE: EMBC, PAGES: 3120-3123
AUTHORS: Malik Saad Sultan; Nelson Martins; Eva Costa; Diana Veiga; Manuel João Ferreira; Sandra da Silva Mattos; Miguel Tavares Coimbra ;
PUBLISHED: 2018, SOURCE: EMBC, PAGES: 3120-3123
INDEXED IN: DBLP
DBLP1058
TITLE: A Provable Security Treatment of Isolated Execution Environments and Applications to Secure Computation
AUTHORS: Bernardo Portela ;
PUBLISHED: 2018
AUTHORS: Bernardo Portela ;
PUBLISHED: 2018
INDEXED IN: DBLP
DBLP1059
TITLE: A Regression Model for Predicting Shape Deformation after Breast Conserving Surgery Full Text
AUTHORS: Zolfagharnasab, H ; Bessa, S ; Oliveira, SP ; Faria, P; Teixeira, JF ; Cardoso, JS ; Oliveira, HP ;
PUBLISHED: 2018, SOURCE: SENSORS, VOLUME: 18, ISSUE: 1, PAGES: 167
AUTHORS: Zolfagharnasab, H ; Bessa, S ; Oliveira, SP ; Faria, P; Teixeira, JF ; Cardoso, JS ; Oliveira, HP ;
PUBLISHED: 2018, SOURCE: SENSORS, VOLUME: 18, ISSUE: 1, PAGES: 167
1060
TITLE: A Road Condition Service based on a collaborative mobile sensing approach
AUTHORS: Soares, J ; Silva, N; Shah, V; Rodrigues, H ;
PUBLISHED: 2018, SOURCE: 2018 IEEE International Conference on Pervasive Computing and Communications Workshops, PerCom Workshops 2018 in 2018 IEEE INTERNATIONAL CONFERENCE ON PERVASIVE COMPUTING AND COMMUNICATIONS WORKSHOPS (PERCOM WORKSHOPS), PAGES: 639-644
AUTHORS: Soares, J ; Silva, N; Shah, V; Rodrigues, H ;
PUBLISHED: 2018, SOURCE: 2018 IEEE International Conference on Pervasive Computing and Communications Workshops, PerCom Workshops 2018 in 2018 IEEE INTERNATIONAL CONFERENCE ON PERVASIVE COMPUTING AND COMMUNICATIONS WORKSHOPS (PERCOM WORKSHOPS), PAGES: 639-644
