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: 2644
43 Team MembersFilters -> Year: 2025
821
TITLE: SoK: Computer-Aided Cryptography
AUTHORS: Manuel Barbosa ; Gilles Barthe ; Karthikeyan Bhargavan; Bruno Blanchet; Cas Cremers; Kevin Liao; Bryan Parno;
PUBLISHED: 2019, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2019, PAGES: 1393
AUTHORS: Manuel Barbosa ; Gilles Barthe ; Karthikeyan Bhargavan; Bruno Blanchet; Cas Cremers; Kevin Liao; Bryan Parno;
PUBLISHED: 2019, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2019, PAGES: 1393
INDEXED IN: 
DBLP
DBLP822
TITLE: Some Applications of the Formalization of the Pumping Lemma for Context-Free Languages
AUTHORS: Marcus V M Ramos; Jose Carlos B Bacelar Almeida ; Nelma Moreira ; Ruy J G B de Queiroz;
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: Marcus V M Ramos; Jose Carlos B Bacelar Almeida ; Nelma Moreira ; Ruy J G B de Queiroz;
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
823
TITLE: Source Separation of the Second Heart Sound Using Gaussian Mixture Models
AUTHORS: Francesco Renna ; Miguel T Coimbra ;
PUBLISHED: 2019, SOURCE: 2019 Computing in Cardiology, CinC 2019 in 46th Computing in Cardiology, CinC 2019, Singapore, September 8-11, 2019, VOLUME: 2019-September, PAGES: 1-4
AUTHORS: Francesco Renna ; Miguel T Coimbra ;
PUBLISHED: 2019, SOURCE: 2019 Computing in Cardiology, CinC 2019 in 46th Computing in Cardiology, CinC 2019, Singapore, September 8-11, 2019, VOLUME: 2019-September, PAGES: 1-4
INDEXED IN: 
Scopus DBLP
Scopus DBLP824
TITLE: Taming Hierarchical Connectors
AUTHORS: José Proença ; Alexandre Madeira ;
PUBLISHED: 2019, SOURCE: 8th International Conference on Fundamentals of Software Engineering, FSEN 2019 in Fundamentals of Software Engineering - 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers, VOLUME: 11761, PAGES: 186-193
AUTHORS: José Proença ; Alexandre Madeira ;
PUBLISHED: 2019, SOURCE: 8th International Conference on Fundamentals of Software Engineering, FSEN 2019 in Fundamentals of Software Engineering - 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers, VOLUME: 11761, PAGES: 186-193
825
TITLE: Temporal network alignment via GoT-WAVE Full Text
AUTHORS: David Aparicio ; Pedro Ribeiro ; Milenkovic, Tijana ; Fernando Silva ;
PUBLISHED: 2019, SOURCE: BIOINFORMATICS, VOLUME: 35, ISSUE: 18, PAGES: 3527-3529
AUTHORS: David Aparicio ; Pedro Ribeiro ; Milenkovic, Tijana ; Fernando Silva ;
PUBLISHED: 2019, SOURCE: BIOINFORMATICS, VOLUME: 35, ISSUE: 18, PAGES: 3527-3529
826
TITLE: TENSORCAST: forecasting and mining with coupled tensors Full Text
AUTHORS: Miguel Araujo ; Pedro Ribeiro ; Hyun Ah Song; Christos Faloutsos;
PUBLISHED: 2019, SOURCE: KNOWLEDGE AND INFORMATION SYSTEMS, VOLUME: 59, ISSUE: 3, PAGES: 497-522
AUTHORS: Miguel Araujo ; Pedro Ribeiro ; Hyun Ah Song; Christos Faloutsos;
PUBLISHED: 2019, SOURCE: KNOWLEDGE AND INFORMATION SYSTEMS, VOLUME: 59, ISSUE: 3, PAGES: 497-522
827
TITLE: The CURE for Class Imbalance
AUTHORS: Colin Bellinger; Paula Branco ; Luís Torgo ;
PUBLISHED: 2019, SOURCE: Discovery Science - 22nd International Conference, DS 2019, Split, Croatia, October 28-30, 2019, Proceedings, VOLUME: 11828, PAGES: 3-17
AUTHORS: Colin Bellinger; Paula Branco ; Luís Torgo ;
PUBLISHED: 2019, SOURCE: Discovery Science - 22nd International Conference, DS 2019, Split, Croatia, October 28-30, 2019, Proceedings, VOLUME: 11828, PAGES: 3-17
INDEXED IN: DBLP
DBLP828
TITLE: The CURE for Class Imbalance
AUTHORS: Bellinger, C; Branco, P ; Torgo, L ;
PUBLISHED: 2019, SOURCE: 22nd International Conference on Discovery Science, DS 2019 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 11828 LNAI, PAGES: 3-17
AUTHORS: Bellinger, C; Branco, P ; Torgo, L ;
PUBLISHED: 2019, SOURCE: 22nd International Conference on Discovery Science, DS 2019 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 11828 LNAI, PAGES: 3-17
829
TITLE: The Last Mile: High-Assurance and High-Speed Cryptographic Implementations PDF
AUTHORS: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe ; Benjamin Grégoire; Adrien Koutsos; Vincent Laporte; Tiago Oliveira; Pierre Yves Strub;
PUBLISHED: 2019, SOURCE: CoRR, VOLUME: abs/1904.04606
AUTHORS: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe ; Benjamin Grégoire; Adrien Koutsos; Vincent Laporte; Tiago Oliveira; Pierre Yves Strub;
PUBLISHED: 2019, SOURCE: CoRR, VOLUME: abs/1904.04606
INDEXED IN: DBLP 
arXiv
DBLP arXiv830
TITLE: The search of conditional outliers
AUTHORS: Eduarda Portel; Rita P Ribeire ; Joao Gama ;
PUBLISHED: 2019, SOURCE: INTELLIGENT DATA ANALYSIS, VOLUME: 23, ISSUE: 1, PAGES: 23-39
AUTHORS: Eduarda Portel; Rita P Ribeire ; Joao Gama ;
PUBLISHED: 2019, SOURCE: INTELLIGENT DATA ANALYSIS, VOLUME: 23, ISSUE: 1, PAGES: 23-39
831
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
832
TITLE: TRUSTFS: An SGX-enabled Stackable File System Framework
AUTHORS: Tania Esteves ; Ricardo Macedo ; Alberto Faria ; Bernardo Portela ; Joao Paulo ; Jose Pereira ; Danny Harnik;
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: Tania Esteves ; Ricardo Macedo ; Alberto Faria ; Bernardo Portela ; Joao Paulo ; Jose Pereira ; Danny Harnik;
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
833
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
834
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
835
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 CrossRef836
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
DBLP837
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
838
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
839
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
840
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