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
1021
TITLE: Formal Verification of ROS-based Robotic Applications using Timed-Automata
AUTHORS: Raju Halder; Jose Proenca ; Nuno Macedo ; Andre Santos;
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: Raju Halder; Jose Proenca ; Nuno Macedo ; Andre Santos;
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
1022
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
1023
TITLE: FRONT MATTER
AUTHORS: Stavros Konstantinidis; Nelma Moreira ; Rogério Reis ; Jeffrey Shallit;
PUBLISHED: 2017, SOURCE: The Role of Theory in Computer Science
AUTHORS: Stavros Konstantinidis; Nelma Moreira ; Rogério Reis ; Jeffrey Shallit;
PUBLISHED: 2017, SOURCE: The Role of Theory in Computer Science
INDEXED IN: CrossRef
1024
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-+
1025
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
1026
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
1027
TITLE: Identifying top relevant dates for implicit time sensitive queries Full Text
AUTHORS: Ricardo Campos ; Gael Dias; Alipio Mario Jorge ; Celia Nunes ;
PUBLISHED: 2017, SOURCE: INFORMATION RETRIEVAL JOURNAL, VOLUME: 20, ISSUE: 4, PAGES: 363-398
AUTHORS: Ricardo Campos ; Gael Dias; Alipio Mario Jorge ; Celia Nunes ;
PUBLISHED: 2017, SOURCE: INFORMATION RETRIEVAL JOURNAL, VOLUME: 20, ISSUE: 4, PAGES: 363-398
1028
TITLE: Improving Diagram Assessment in Mooshak
AUTHORS: Helder Correia; José Paulo Leal ; José Carlos Paiva ;
PUBLISHED: 2017, SOURCE: 20th International Conference on Technology Enhanced Assessment, TEA 2017 in Technology Enhanced Assessment, 20th International Conference, TEA 2017, Barcelona, Spain, October 5-6, 2017, Revised Selected Papers., VOLUME: 829, PAGES: 69-82
AUTHORS: Helder Correia; José Paulo Leal ; José Carlos Paiva ;
PUBLISHED: 2017, SOURCE: 20th International Conference on Technology Enhanced Assessment, TEA 2017 in Technology Enhanced Assessment, 20th International Conference, TEA 2017, Barcelona, Spain, October 5-6, 2017, Revised Selected Papers., VOLUME: 829, PAGES: 69-82
1029
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
1030
TITLE: Improving Incremental Recommenders with Online Bagging
AUTHORS: Joao Vinagre ; Alipio Mario Jorge ; Joao Gama ;
PUBLISHED: 2017, SOURCE: 18th EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE (EPIA 2017), VOLUME: 10423, PAGES: 597-607
AUTHORS: Joao Vinagre ; Alipio Mario Jorge ; Joao Gama ;
PUBLISHED: 2017, SOURCE: 18th EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE (EPIA 2017), VOLUME: 10423, PAGES: 597-607
1031
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
1032
TITLE: Inhabitation machines: determinism and principality
AUTHORS: Sandra Alves ; Sabine Broda ;
PUBLISHED: 2017, SOURCE: Ninth Workshop on Non-Classical Models of Automata and Applications, NCMA 2017, Prague, Czech Republic, August 17-18, 2017., PAGES: 57-70
AUTHORS: Sandra Alves ; Sabine Broda ;
PUBLISHED: 2017, SOURCE: Ninth Workshop on Non-Classical Models of Automata and Applications, NCMA 2017, Prague, Czech Republic, August 17-18, 2017., PAGES: 57-70
INDEXED IN: DBLP
1033
TITLE: Introduction to the 33rd international conference on logic programming special issue
AUTHORS: Ricardo Rocha ; Tran Cao Son;
PUBLISHED: 2017, SOURCE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 17, ISSUE: 5-6, PAGES: 684-688
AUTHORS: Ricardo Rocha ; Tran Cao Son;
PUBLISHED: 2017, SOURCE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 17, ISSUE: 5-6, PAGES: 684-688
1034
TITLE: Jasmin: High-Assurance and High-Speed Cryptography. High-Assurance and High-Speed Cryptography Full Text
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, VOLUME: Part F131467, 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, VOLUME: Part F131467, PAGES: 1807-1823
1035
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
1036
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
1037
TITLE: Kidney exchange simulation and optimization
AUTHORS: Nicolau Santos ; Paolo Tubertini; Ana Viana ; Joao Pedro Pedroso ;
PUBLISHED: 2017, SOURCE: JOURNAL OF THE OPERATIONAL RESEARCH SOCIETY, VOLUME: 68, ISSUE: 12, PAGES: 1521-1532
AUTHORS: Nicolau Santos ; Paolo Tubertini; Ana Viana ; Joao Pedro Pedroso ;
PUBLISHED: 2017, SOURCE: JOURNAL OF THE OPERATIONAL RESEARCH SOCIETY, VOLUME: 68, ISSUE: 12, PAGES: 1521-1532
1038
TITLE: Labeled Homomorphic Encryption - Scalable and Privacy-Preserving Processing of Outsourced Data
AUTHORS: Manuel Barbosa ; Dario Catalano; Dario Fiore;
PUBLISHED: 2017, SOURCE: 22nd European Symposium on Research in Computer Security, ESORICS 2017 in Computer Security - ESORICS 2017 - 22nd European Symposium on Research in Computer Security, Oslo, Norway, September 11-15, 2017, Proceedings, Part I, VOLUME: 10492, PAGES: 146-166
AUTHORS: Manuel Barbosa ; Dario Catalano; Dario Fiore;
PUBLISHED: 2017, SOURCE: 22nd European Symposium on Research in Computer Security, ESORICS 2017 in Computer Security - ESORICS 2017 - 22nd European Symposium on Research in Computer Security, Oslo, Norway, September 11-15, 2017, Proceedings, Part I, VOLUME: 10492, PAGES: 146-166
1039
TITLE: Labeled Homomorphic Encryption: Scalable and Privacy-Preserving Processing of Outsourced Data
AUTHORS: Manuel Barbosa ; Dario Catalano; Dario Fiore;
PUBLISHED: 2017, SOURCE: IACR Cryptology ePrint Archive, VOLUME: 2017, PAGES: 326
AUTHORS: Manuel Barbosa ; Dario Catalano; Dario Fiore;
PUBLISHED: 2017, SOURCE: IACR Cryptology ePrint Archive, VOLUME: 2017, PAGES: 326
INDEXED IN: DBLP
1040
TITLE: Landscape of X chromosome inactivation across human tissues Full Text
AUTHORS: Taru Tukiainen; Alexandra-Chloé Villani; Angela Yen; Manuel A Rivas; Jamie L Marshall; Rahul Satija; Matt Aguirre; Laura Gauthier; Mark Fleharty; Andrew Kirby; Beryl B Cummings; Stephane E Castel; Konrad J Karczewski; François Aguet; Andrea Byrnes; François Aguet; Kristin G Ardlie; Beryl B Cummings; Ellen T Gelfand; Gad Getz; ...More
PUBLISHED: 2017, SOURCE: Nature, VOLUME: 550, ISSUE: 7675, PAGES: 244-248
AUTHORS: Taru Tukiainen; Alexandra-Chloé Villani; Angela Yen; Manuel A Rivas; Jamie L Marshall; Rahul Satija; Matt Aguirre; Laura Gauthier; Mark Fleharty; Andrew Kirby; Beryl B Cummings; Stephane E Castel; Konrad J Karczewski; François Aguet; Andrea Byrnes; François Aguet; Kristin G Ardlie; Beryl B Cummings; Ellen T Gelfand; Gad Getz; ...More
PUBLISHED: 2017, SOURCE: Nature, VOLUME: 550, ISSUE: 7675, PAGES: 244-248