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: 2637
43 Team MembersFilters -> Year: 2024
821
TITLE: Type Inference for Rank 2 Gradual Intersection Types
AUTHORS: Ângelo, Pedro ; Mário Florido ;
PUBLISHED: 2019, SOURCE: 20th International Symposium on Trends in Functional Programming, TFP 2019 in Trends in Functional Programming - 20th International Symposium, TFP 2019, Vancouver, BC, Canada, June 12-14, 2019, Revised Selected Papers, VOLUME: 12053, PAGES: 84-120
AUTHORS: Ângelo, Pedro ; Mário Florido ;
PUBLISHED: 2019, SOURCE: 20th International Symposium on Trends in Functional Programming, TFP 2019 in Trends in Functional Programming - 20th International Symposium, TFP 2019, Vancouver, BC, Canada, June 12-14, 2019, Revised Selected Papers, VOLUME: 12053, PAGES: 84-120
822
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
823
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: ACM Crossroads, VOLUME: 26, ISSUE: 2, PAGES: 68-71
AUTHORS: Diogo Fernandes; Carla Silva ; Inês Dutra ;
PUBLISHED: 2019, SOURCE: ACM Crossroads, VOLUME: 26, ISSUE: 2, PAGES: 68-71
INDEXED IN: 
DBLP 
CrossRef
DBLP CrossRef824
TITLE: Using Grover's search quantum algorithm to solve Boolean satisfiability problems: Part I
AUTHORS: Diogo Fernandes; Inês Dutra ;
PUBLISHED: 2019, SOURCE: ACM Crossroads, VOLUME: 26, ISSUE: 1, PAGES: 64-66
AUTHORS: Diogo Fernandes; Inês Dutra ;
PUBLISHED: 2019, SOURCE: ACM Crossroads, VOLUME: 26, ISSUE: 1, PAGES: 64-66
INDEXED IN: DBLP
DBLP825
TITLE: Using Soft Attention Mechanisms to Classify Heart Sounds Full Text
AUTHORS: Jorge Oliveira ; Marcelo Nogueira ; Cleber Ramos; Francesco Renna ; Carlos Ferreira ; Miguel Coimbra ;
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: Jorge Oliveira ; Marcelo Nogueira ; Cleber Ramos; Francesco Renna ; Carlos Ferreira ; Miguel Coimbra ;
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
826
TITLE: Virtual M-Mode for Echocardiography: A New Approach for the Segmentation of the Anterior Mitral Leaflet
AUTHORS: Malik Saad Sultan; Nelson Martins; Eva Costa; Diana Veiga; Manuel Joao Ferreira; Sandra Mattos; Miguel Tavares Coimbra ;
PUBLISHED: 2019, SOURCE: IEEE JOURNAL OF BIOMEDICAL AND HEALTH INFORMATICS, VOLUME: 23, ISSUE: 1, PAGES: 305-313
AUTHORS: Malik Saad Sultan; Nelson Martins; Eva Costa; Diana Veiga; Manuel Joao Ferreira; Sandra Mattos; Miguel Tavares Coimbra ;
PUBLISHED: 2019, SOURCE: IEEE JOURNAL OF BIOMEDICAL AND HEALTH INFORMATICS, VOLUME: 23, ISSUE: 1, PAGES: 305-313
827
TITLE: Visual Interpretation of Regression Error
AUTHORS: Inês Areosa; Luís Torgo ;
PUBLISHED: 2019, SOURCE: 19th EPIA Conference on Artificial Intelligence, EPIA 2019 in Progress in Artificial Intelligence, 19th EPIA Conference on Artificial Intelligence, EPIA 2019, Vila Real, Portugal, September 3-6, 2019, Proceedings, Part II., VOLUME: 11805, PAGES: 473-485
AUTHORS: Inês Areosa; Luís Torgo ;
PUBLISHED: 2019, SOURCE: 19th EPIA Conference on Artificial Intelligence, EPIA 2019 in Progress in Artificial Intelligence, 19th EPIA Conference on Artificial Intelligence, EPIA 2019, Vila Real, Portugal, September 3-6, 2019, Proceedings, Part II., VOLUME: 11805, PAGES: 473-485
828
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 CrossRef829
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
830
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
DBLP831
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: Second International Workshop on Learning with Imbalanced Domains: Theory and Applications, LIDTA@ECML/PKDD 2018, Dublin, Ireland, September 10, 2018, VOLUME: 94, PAGES: 1-7
AUTHORS: Luís Torgo ; Stan Matwin; Nathalie Japkowicz; Bartosz Krawczyk; Nuno Moniz ; Paula Branco ;
PUBLISHED: 2018, SOURCE: Second International Workshop on Learning with Imbalanced Domains: Theory and Applications, LIDTA@ECML/PKDD 2018, Dublin, Ireland, September 10, 2018, VOLUME: 94, PAGES: 1-7
INDEXED IN: DBLP
DBLP832
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
DBLP833
TITLE: A Flexible Framework for Rogue Access Point Detection
AUTHORS: Ricardo Gonçalves; Manuel E. Correia ; Pedro Brandão ;
PUBLISHED: 2018, SOURCE: 15th International Joint Conference on e-Business and Telecommunications, ICETE 2018 in Proceedings of the 15th International Joint Conference on e-Business and Telecommunications, ICETE 2018 - Volume 2: SECRYPT, Porto, Portugal, July 26-28, 2018., VOLUME: 2, PAGES: 632-637
AUTHORS: Ricardo Gonçalves; Manuel E. Correia ; Pedro Brandão ;
PUBLISHED: 2018, SOURCE: 15th International Joint Conference on e-Business and Telecommunications, ICETE 2018 in Proceedings of the 15th International Joint Conference on e-Business and Telecommunications, ICETE 2018 - Volume 2: SECRYPT, Porto, Portugal, July 26-28, 2018., VOLUME: 2, PAGES: 632-637
INDEXED IN: Scopus DBLP
Scopus DBLP834
TITLE: A local algorithm to approximate the global clustering of streams generated in ubiquitous sensor networks Full Text
AUTHORS: Pedro Pereira Rodrigues ; Joao Araujo; Joao Gama ; Luis Lopes ;
PUBLISHED: 2018, SOURCE: INTERNATIONAL JOURNAL OF DISTRIBUTED SENSOR NETWORKS, VOLUME: 14, ISSUE: 10, PAGES: 155014771880823
AUTHORS: Pedro Pereira Rodrigues ; Joao Araujo; Joao Gama ; Luis Lopes ;
PUBLISHED: 2018, SOURCE: INTERNATIONAL JOURNAL OF DISTRIBUTED SENSOR NETWORKS, VOLUME: 14, ISSUE: 10, PAGES: 155014771880823
835
TITLE: A New Active Contours Approach for Finger Extensor Tendon Segmentation in Ultrasound Images Using Prior Knowledge and Phase Symmetry Full Text
AUTHORS: Nelson Martins; Saad Sultan; Diana Veiga; Manuel Ferreira; Filipa Teixeira; Miguel Coimbra ;
PUBLISHED: 2018, SOURCE: IEEE JOURNAL OF BIOMEDICAL AND HEALTH INFORMATICS, VOLUME: 22, ISSUE: 4, PAGES: 1261-1268
AUTHORS: Nelson Martins; Saad Sultan; Diana Veiga; Manuel Ferreira; Filipa Teixeira; Miguel Coimbra ;
PUBLISHED: 2018, SOURCE: IEEE JOURNAL OF BIOMEDICAL AND HEALTH INFORMATICS, VOLUME: 22, ISSUE: 4, PAGES: 1261-1268
836
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: 40th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBC 2018, Honolulu, HI, USA, July 18-21, 2018, 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: 40th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBC 2018, Honolulu, HI, USA, July 18-21, 2018, PAGES: 3120-3123
INDEXED IN: DBLP
DBLP837
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
DBLP838
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
839
TITLE: A Study on Contextual Influences on Automatic Playlist Continuation
AUTHORS: Anna Gatzioura; Miquel Sànchez Marrè; Alípio Mário Jorge ;
PUBLISHED: 2018, SOURCE: Artificial Intelligence Research and Development - Current Challenges, New Trends and Applications, CCIA 2018, 21st International Conference of the Catalan Association for Artificial Intelligence, Alt Empordà, Catalonia, Spain, 8-10th October 2018, VOLUME: 308, PAGES: 156-165
AUTHORS: Anna Gatzioura; Miquel Sànchez Marrè; Alípio Mário Jorge ;
PUBLISHED: 2018, SOURCE: Artificial Intelligence Research and Development - Current Challenges, New Trends and Applications, CCIA 2018, 21st International Conference of the Catalan Association for Artificial Intelligence, Alt Empordà, Catalonia, Spain, 8-10th October 2018, VOLUME: 308, PAGES: 156-165
INDEXED IN: Scopus DBLP
Scopus DBLP840
TITLE: A Text Feature Based Automatic Keyword Extraction Method for Single Documents
AUTHORS: Ricardo Campos ; Vitor Mangaravite ; Arian Pasquali ; Alipio Mario Jorge ; Celia Nunes ; Adam Jatowt;
PUBLISHED: 2018, SOURCE: 40th European Conference on Information Retrieval Research (ECIR) in ADVANCES IN INFORMATION RETRIEVAL (ECIR 2018), VOLUME: 10772, PAGES: 684-691
AUTHORS: Ricardo Campos ; Vitor Mangaravite ; Arian Pasquali ; Alipio Mario Jorge ; Celia Nunes ; Adam Jatowt;
PUBLISHED: 2018, SOURCE: 40th European Conference on Information Retrieval Research (ECIR) in ADVANCES IN INFORMATION RETRIEVAL (ECIR 2018), VOLUME: 10772, PAGES: 684-691
