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: 2851
46 Team MembersFilters -> Year: 2026
1241
TITLE: Formal Aspects of Component Software - 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings
AUTHORS: José Proença ; Markus Lumpe;
PUBLISHED: 2017, SOURCE: FACS, VOLUME: 10487
AUTHORS: José Proença ; Markus Lumpe;
PUBLISHED: 2017, SOURCE: FACS, VOLUME: 10487
INDEXED IN:
DBLP
1242
TITLE: Formal Verification of ROS-based Robotic Applications using Timed-Automata
AUTHORS: Halder, R; Proença, J ; Macedo, N ; Santos, A;
PUBLISHED: 2017, SOURCE: 5th IEEE/ACM International FME Workshop on Formal Methods in Software Engineering (FormaliSE) in 2017 IEEE/ACM 5TH INTERNATIONAL FME WORKSHOP ON FORMAL METHODS IN SOFTWARE ENGINEERING (FORMALISE) PROCEEDINGS, PAGES: 44-50
AUTHORS: Halder, R; Proença, J ; Macedo, N ; Santos, A;
PUBLISHED: 2017, SOURCE: 5th IEEE/ACM International FME Workshop on Formal Methods in Software Engineering (FormaliSE) in 2017 IEEE/ACM 5TH INTERNATIONAL FME WORKSHOP ON FORMAL METHODS IN SOFTWARE ENGINEERING (FORMALISE) PROCEEDINGS, PAGES: 44-50
1243
TITLE: FOSTERING EFFICIENT LEARNING IN THE TECHNICAL FIELD OF ROBOTICS BY CHANGING THE AUTONOMOUS DRIVING COMPETITION OF THE PORTUGUESE ROBOTICS OPEN
AUTHORS: Valter Costa ; Joao Resende ; Patricia Sousa ; Armando Sousa ; Nuno Lau ; Luis Reis ;
PUBLISHED: 2017, SOURCE: 10th Annual International Conference of Education, Research and Innovation (ICERI) in 10TH INTERNATIONAL CONFERENCE OF EDUCATION, RESEARCH AND INNOVATION (ICERI2017), PAGES: 7705-7711
AUTHORS: Valter Costa ; Joao Resende ; Patricia Sousa ; Armando Sousa ; Nuno Lau ; Luis Reis ;
PUBLISHED: 2017, SOURCE: 10th Annual International Conference of Education, Research and Innovation (ICERI) in 10TH INTERNATIONAL CONFERENCE OF EDUCATION, RESEARCH AND INNOVATION (ICERI2017), PAGES: 7705-7711
1244
TITLE: Genetic effects on gene expression across human tissues Full Text
AUTHORS: Francois Aguet; Andrew A Brown; Stephane E Castel; Joe R Davis; Yuan He; Brian Jo; Pejman Mohammadi; Yoson Park; Princy Parsana; Ayellet V Segre; Benjamin J Strober; Zachary Zappala; Beryl B Cummings; Ellen T Gelfand; Kane Hadley; Katherine H Huang; Monkol Lek; Xiao Li; Jared L Nedzel; Duyen Y Nguyen; ...More
PUBLISHED: 2017, SOURCE: NATURE, VOLUME: 550, ISSUE: 7675, PAGES: 204-+
AUTHORS: Francois Aguet; Andrew A Brown; Stephane E Castel; Joe R Davis; Yuan He; Brian Jo; Pejman Mohammadi; Yoson Park; Princy Parsana; Ayellet V Segre; Benjamin J Strober; Zachary Zappala; Beryl B Cummings; Ellen T Gelfand; Kane Hadley; Katherine H Huang; Monkol Lek; Xiao Li; Jared L Nedzel; Duyen Y Nguyen; ...More
PUBLISHED: 2017, SOURCE: NATURE, VOLUME: 550, ISSUE: 7675, PAGES: 204-+
1245
TITLE: HCC Survival
AUTHORS: Miriam Seoane Santos ; Pedro H Abreu ; Pedro J García Laencina; Adélia Simão; Armando Carvalho;
PUBLISHED: 2017
AUTHORS: Miriam Seoane Santos ; Pedro H Abreu ; Pedro J García Laencina; Adélia Simão; Armando Carvalho;
PUBLISHED: 2017
INDEXED IN:
DBLP
1246
TITLE: High Performance Computing for Computational Science - VECPAR 2016 - 12th International Conference, Porto, Portugal, June 28-30, 2016, Revised Selected Papers
AUTHORS: Inês Dutra ; Rui Camacho ; Jorge G Barbosa ; Osni Marques;
PUBLISHED: 2017, SOURCE: VECPAR, VOLUME: 10150
AUTHORS: Inês Dutra ; Rui Camacho ; Jorge G Barbosa ; Osni Marques;
PUBLISHED: 2017, SOURCE: VECPAR, VOLUME: 10150
INDEXED IN:
DBLP
1247
TITLE: Identifying cis-mediators for trans-eQTLs across many human tissues using genomic mediation analysis
AUTHORS: Fan Yang; Jiebiao Wang; Brandon L Pierce; Lin S Chen; François Aguet; Kristin G Ardlie; Beryl B Cummings; Ellen T Gelfand; Gad Getz; Kane Hadley; Robert E Handsaker; Katherine H Huang; Seva Kashin; Konrad J Karczewski; Monkol Lek; Xiao Li; Daniel G MacArthur; Jared L Nedzel; Duyen T Nguyen; Michael S Noble; ...More
PUBLISHED: 2017, SOURCE: Genome Research, VOLUME: 27, ISSUE: 11, PAGES: 1859-1871
AUTHORS: Fan Yang; Jiebiao Wang; Brandon L Pierce; Lin S Chen; François Aguet; Kristin G Ardlie; Beryl B Cummings; Ellen T Gelfand; Gad Getz; Kane Hadley; Robert E Handsaker; Katherine H Huang; Seva Kashin; Konrad J Karczewski; Monkol Lek; Xiao Li; Daniel G MacArthur; Jared L Nedzel; Duyen T Nguyen; Michael S Noble; ...More
PUBLISHED: 2017, SOURCE: Genome Research, VOLUME: 27, ISSUE: 11, PAGES: 1859-1871
INDEXED IN:
Scopus
1249
TITLE: Improving Diagram Assessment in Mooshak
AUTHORS: Helder Correia; José Paulo Leal ; José Carlos Paiva ;
PUBLISHED: 2017, SOURCE: TEA, VOLUME: 829, PAGES: 69-82
AUTHORS: Helder Correia; José Paulo Leal ; José Carlos Paiva ;
PUBLISHED: 2017, SOURCE: TEA, VOLUME: 829, PAGES: 69-82
1250
TITLE: Improving genetic diagnosis in Mendelian disease with transcriptome sequencing
AUTHORS: Cummings, BB; Marshall, JL; Tukiainen, T; Lek, M; Donkervoort, S; Foley, AR; Bolduc, V; Waddell, LB; Sandaradura, SA; O'Grady, GL; Estrella, E; Reddy, HM; Zhao, F; Weisburd, B; Karczewski, KJ; O'Donnell Luria, AH; Birnbaum, D; Sarkozy, A; Hu, Y; Gonorazky, H; ...More
PUBLISHED: 2017, SOURCE: Science Translational Medicine, VOLUME: 9, ISSUE: 386
AUTHORS: Cummings, BB; Marshall, JL; Tukiainen, T; Lek, M; Donkervoort, S; Foley, AR; Bolduc, V; Waddell, LB; Sandaradura, SA; O'Grady, GL; Estrella, E; Reddy, HM; Zhao, F; Weisburd, B; Karczewski, KJ; O'Donnell Luria, AH; Birnbaum, D; Sarkozy, A; Hu, Y; Gonorazky, H; ...More
PUBLISHED: 2017, SOURCE: Science Translational Medicine, VOLUME: 9, ISSUE: 386
1251
TITLE: Improving Incremental Recommenders with Online Bagging
AUTHORS: Vinagre, J ; Jorge, AM ; Gama, J ;
PUBLISHED: 2017, SOURCE: 18th EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE (EPIA 2017), VOLUME: 10423, PAGES: 597-607
AUTHORS: Vinagre, J ; Jorge, AM ; Gama, J ;
PUBLISHED: 2017, SOURCE: 18th EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE (EPIA 2017), VOLUME: 10423, PAGES: 597-607
1252
TITLE: Improving the benchmarking of social media content strategies using clustering and KPI
AUTHORS: Luciana Oliveira ; Alvaro Figueira ;
PUBLISHED: 2017, 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 CENTERIS 2017 - INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS / PROJMAN 2017 - INTERNATIONAL CONFERENCE ON PROJECT MANAGEMENT / HCIST 2017 - INTERNATIONAL CONFERENCE ON HEALTH AND SOCIAL CARE INFORMATION SYSTEMS AND TECHNOLOGIES, CENTERI, VOLUME: 121, PAGES: 826-834
AUTHORS: Luciana Oliveira ; Alvaro Figueira ;
PUBLISHED: 2017, 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 CENTERIS 2017 - INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS / PROJMAN 2017 - INTERNATIONAL CONFERENCE ON PROJECT MANAGEMENT / HCIST 2017 - INTERNATIONAL CONFERENCE ON HEALTH AND SOCIAL CARE INFORMATION SYSTEMS AND TECHNOLOGIES, CENTERI, VOLUME: 121, PAGES: 826-834
1253
TITLE: Influence of Data Distribution in Missing Data Imputation
AUTHORS: Miriam Seoane Santos ; Jastin Pompeu Soares; Pedro Henriques Abreu ; Hélder Araújo; João A M Santos;
PUBLISHED: 2017, SOURCE: Artificial Intelligence in Medicine - 16th Conference on Artificial Intelligence in Medicine, AIME 2017, Vienna, Austria, June 21-24, 2017, Proceedings, VOLUME: 10259, PAGES: 285-294
AUTHORS: Miriam Seoane Santos ; Jastin Pompeu Soares; Pedro Henriques Abreu ; Hélder Araújo; João A M Santos;
PUBLISHED: 2017, SOURCE: Artificial Intelligence in Medicine - 16th Conference on Artificial Intelligence in Medicine, AIME 2017, Vienna, Austria, June 21-24, 2017, Proceedings, VOLUME: 10259, PAGES: 285-294
INDEXED IN:
DBLP
1254
TITLE: Influence of data distribution in missing data imputation
AUTHORS: Miriam Seoane Santos ; Jastin Pompeu Soares; Pedro Henriques Abreu ; Hélder Araújo; João Santos ;
PUBLISHED: 2017, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 10259 LNAI, PAGES: 285-294
AUTHORS: Miriam Seoane Santos ; Jastin Pompeu Soares; Pedro Henriques Abreu ; Hélder Araújo; João Santos ;
PUBLISHED: 2017, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 10259 LNAI, PAGES: 285-294
1255
TITLE: Inhabitation machines: determinism and principality
AUTHORS: Sandra Alves ; Sabine Broda ;
PUBLISHED: 2017, SOURCE: NCMA, PAGES: 57-70
AUTHORS: Sandra Alves ; Sabine Broda ;
PUBLISHED: 2017, SOURCE: NCMA, PAGES: 57-70
INDEXED IN:
DBLP
1256
TITLE: Introduction to the 33rd international conference on logic programming special issue
AUTHORS: Rocha, R ; Son, TC;
PUBLISHED: 2017, SOURCE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 17, ISSUE: 5-6, PAGES: 684-688
AUTHORS: Rocha, R ; Son, TC;
PUBLISHED: 2017, SOURCE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 17, ISSUE: 5-6, PAGES: 684-688
1257
TITLE: Jasmin: High-Assurance and High-Speed Cryptography. High-Assurance and High-Speed Cryptography
AUTHORS: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe ; Arthur Blot; Benjamin Grégoire; Vincent Laporte; Tiago Oliveira ; Hugo Pacheco ; Benedikt Schmidt; Pierre Yves Strub;
PUBLISHED: 2017, SOURCE: 24th ACM-SIGSAC Conference on Computer and Communications Security (ACM CCS) in CCS'17: PROCEEDINGS OF THE 2017 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY, PAGES: 1807-1823
AUTHORS: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe ; Arthur Blot; Benjamin Grégoire; Vincent Laporte; Tiago Oliveira ; Hugo Pacheco ; Benedikt Schmidt; Pierre Yves Strub;
PUBLISHED: 2017, SOURCE: 24th ACM-SIGSAC Conference on Computer and Communications Security (ACM CCS) in CCS'17: PROCEEDINGS OF THE 2017 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY, PAGES: 1807-1823
1258
TITLE: Joint Design of Massive MIMO Precoder and Security Scheme for Multiuser Scenarios under Reciprocal Channel Conditions Full Text
AUTHORS: Gustavo Anjos; Daniel Castanheira ; Adao Silva; Atilio Gameiro; Marco Gomes; Joao Vilela ;
PUBLISHED: 2017, SOURCE: WIRELESS COMMUNICATIONS & MOBILE COMPUTING, VOLUME: 2017, PAGES: 1-10
AUTHORS: Gustavo Anjos; Daniel Castanheira ; Adao Silva; Atilio Gameiro; Marco Gomes; Joao Vilela ;
PUBLISHED: 2017, SOURCE: WIRELESS COMMUNICATIONS & MOBILE COMPUTING, VOLUME: 2017, PAGES: 1-10
1259
TITLE: Journalistic Relevance Classification in Social Network Messages: an Exploratory Approach
AUTHORS: Miguel Sandim ; Paula Fortuna ; Alvaro Figueira ; Luciana Oliveira ;
PUBLISHED: 2017, SOURCE: 5th International Workshop on Complex Networks and their Applications (COMPLEX NETWORKS) in COMPLEX NETWORKS & THEIR APPLICATIONS V, VOLUME: 693, PAGES: 631-642
AUTHORS: Miguel Sandim ; Paula Fortuna ; Alvaro Figueira ; Luciana Oliveira ;
PUBLISHED: 2017, SOURCE: 5th International Workshop on Complex Networks and their Applications (COMPLEX NETWORKS) in COMPLEX NETWORKS & THEIR APPLICATIONS V, VOLUME: 693, PAGES: 631-642
1260
TITLE: Kidney exchange simulation and optimization
AUTHORS: Santos, N ; Tubertini, P; Viana, A ; Pedroso, JP ;
PUBLISHED: 2017, SOURCE: JOURNAL OF THE OPERATIONAL RESEARCH SOCIETY, VOLUME: 68, ISSUE: 12, PAGES: 1521-1532
AUTHORS: Santos, N ; Tubertini, P; Viana, A ; Pedroso, JP ;
PUBLISHED: 2017, SOURCE: JOURNAL OF THE OPERATIONAL RESEARCH SOCIETY, VOLUME: 68, ISSUE: 12, PAGES: 1521-1532