CS: Computer Science
CS: Computer Science
AuthID: I-000-B2B
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: 8280
531 Team MembersFilters -> Year: 2024
4721
TITLE: Studying Verification Conditions for Imperative Programs Full Text
AUTHORS: Cláudio Belo Lourenço ; Si Mohamed Lamraoui; Shin Nakajima; Jorge Sousa Pinto ;
PUBLISHED: 2015, SOURCE: ECEASST, VOLUME: 72
AUTHORS: Cláudio Belo Lourenço ; Si Mohamed Lamraoui; Shin Nakajima; Jorge Sousa Pinto ;
PUBLISHED: 2015, SOURCE: ECEASST, VOLUME: 72
INDEXED IN: 
Scopus 
DBLP
Scopus DBLP4722
TITLE: Summarization of changes in dynamic text collections using Latent Dirichlet Allocation model Full Text
AUTHORS: Manika Kar; Sergio Nunes ; Cristina Ribeiro ;
PUBLISHED: 2015, SOURCE: INFORMATION PROCESSING & MANAGEMENT, VOLUME: 51, ISSUE: 6, PAGES: 809-833
AUTHORS: Manika Kar; Sergio Nunes ; Cristina Ribeiro ;
PUBLISHED: 2015, SOURCE: INFORMATION PROCESSING & MANAGEMENT, VOLUME: 51, ISSUE: 6, PAGES: 809-833
4723
TITLE: Supporting the Design of an Ambient Assisted Living System Using Virtual Reality Prototypes
AUTHORS: Jose C Campos ; Tiago Abade; Jose Luis Silva ; Michael D Harrison ;
PUBLISHED: 2015, SOURCE: 7th International Work-Conference on Ambient Assisted Living (IWAAL) in AMBIENT ASSISTED LIVING: ICT-BASED SOLUTIONS IN REAL LIFE SITUATIONS, VOLUME: 9455, PAGES: 49-61
AUTHORS: Jose C Campos ; Tiago Abade; Jose Luis Silva ; Michael D Harrison ;
PUBLISHED: 2015, SOURCE: 7th International Work-Conference on Ambient Assisted Living (IWAAL) in AMBIENT ASSISTED LIVING: ICT-BASED SOLUTIONS IN REAL LIFE SITUATIONS, VOLUME: 9455, PAGES: 49-61
4724
TITLE: Survey of Temporal Information Retrieval and Related Applications Full Text
AUTHORS: Ricardo Campos ; Gael Dias; Alipio M Jorge ; Adam Jatowt;
PUBLISHED: 2015, SOURCE: ACM COMPUTING SURVEYS, VOLUME: 47, ISSUE: 2, PAGES: 15
AUTHORS: Ricardo Campos ; Gael Dias; Alipio M Jorge ; Adam Jatowt;
PUBLISHED: 2015, SOURCE: ACM COMPUTING SURVEYS, VOLUME: 47, ISSUE: 2, PAGES: 15
4725
TITLE: Symbolic Data Analysis and Visualization: Special Issue in honor of Monique Noirhomme-Fraiture
AUTHORS: Gilles Venturini; Paula Brito ;
PUBLISHED: 2015, SOURCE: Symbolic Data Analysis and Visualization, VOLUME: E-29
AUTHORS: Gilles Venturini; Paula Brito ;
PUBLISHED: 2015, SOURCE: Symbolic Data Analysis and Visualization, VOLUME: E-29
INDEXED IN: DBLP
DBLP4726
TITLE: Synchronized age-related gene expression changes across multiple tissues in human and the link to complex diseases Full Text
AUTHORS: Jialiang Yang; Tao Huang; Francesca Petralia; Quan Long; Bin Zhang; Carmen Argmann; Yong Zhao; Charles V Mobbs; Eric E Schadt; Jun Zhu; Zhidong Tu; Kristin G Ardlie; David S Deluca; Ayellet V Segrè; Timothy J Sullivan; Taylor R Young; Ellen T Gelfand; Casandra A Trowbridge; Julian B Maller; Taru Tukiainen; ...More
PUBLISHED: 2015, SOURCE: Scientific Reports, VOLUME: 5
AUTHORS: Jialiang Yang; Tao Huang; Francesca Petralia; Quan Long; Bin Zhang; Carmen Argmann; Yong Zhao; Charles V Mobbs; Eric E Schadt; Jun Zhu; Zhidong Tu; Kristin G Ardlie; David S Deluca; Ayellet V Segrè; Timothy J Sullivan; Taylor R Young; Ellen T Gelfand; Casandra A Trowbridge; Julian B Maller; Taru Tukiainen; ...More
PUBLISHED: 2015, SOURCE: Scientific Reports, VOLUME: 5
INDEXED IN: Scopus
Scopus4727
TITLE: Task partitioning and priority assignment for distributed hard real-time systems Full Text
AUTHORS: Ricardo Garibay Martinez; Geoffrey Nelissen; Luis Lino Ferreira ; Luis Miguel Pinho ;
PUBLISHED: 2015, SOURCE: JOURNAL OF COMPUTER AND SYSTEM SCIENCES, VOLUME: 81, ISSUE: 8, PAGES: 1542-1555
AUTHORS: Ricardo Garibay Martinez; Geoffrey Nelissen; Luis Lino Ferreira ; Luis Miguel Pinho ;
PUBLISHED: 2015, SOURCE: JOURNAL OF COMPUTER AND SYSTEM SCIENCES, VOLUME: 81, ISSUE: 8, PAGES: 1542-1555
4728
TITLE: Taxi Service Trajectory - Prediction Challenge, ECML PKDD 2015
AUTHORS: Luís Moreira Matias; Michel Ferreira ; João Mendes Moreira ;
PUBLISHED: 2015
AUTHORS: Luís Moreira Matias; Michel Ferreira ; João Mendes Moreira ;
PUBLISHED: 2015
INDEXED IN: DBLP
DBLP4729
TITLE: Techniques for efficient MATLAB-to-C compilation
AUTHORS: João Bispo ; Luís Reis ; João M P Cardoso ;
PUBLISHED: 2015, SOURCE: 2nd ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming, ARRAY 2015 in Proceedings of the 2nd ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming, ARRAY@PLDI, Portland, OR, USA, June 15 - 17, 2015, PAGES: 7-12
AUTHORS: João Bispo ; Luís Reis ; João M P Cardoso ;
PUBLISHED: 2015, SOURCE: 2nd ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming, ARRAY 2015 in Proceedings of the 2nd ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming, ARRAY@PLDI, Portland, OR, USA, June 15 - 17, 2015, PAGES: 7-12
4730
TITLE: Telling stories with data visualization
AUTHORS: Rodríguez, MT; Nunes, S ; Devezas, T ;
PUBLISHED: 2015, SOURCE: 2015 Workshop on Narrative and Hypertext, NHT 2015 in NHT 2015 - Proceedings of the 2015 Workshop on Narrative and Hypertext - co-located with HT 2015, PAGES: 7-11
AUTHORS: Rodríguez, MT; Nunes, S ; Devezas, T ;
PUBLISHED: 2015, SOURCE: 2015 Workshop on Narrative and Hypertext, NHT 2015 in NHT 2015 - Proceedings of the 2015 Workshop on Narrative and Hypertext - co-located with HT 2015, PAGES: 7-11
4731
TITLE: Temporal variability of radon in a remediated tailing of uranium ore processing - the case of Urgeirica (central Portugal) Full Text
AUTHORS: Barbosa, SM ; Lopes, F; Correia, AD; Barbosa, S; Pereira, AC; Neves, LF;
PUBLISHED: 2015, SOURCE: JOURNAL OF ENVIRONMENTAL RADIOACTIVITY, VOLUME: 142, PAGES: 14-23
AUTHORS: Barbosa, SM ; Lopes, F; Correia, AD; Barbosa, S; Pereira, AC; Neves, LF;
PUBLISHED: 2015, SOURCE: JOURNAL OF ENVIRONMENTAL RADIOACTIVITY, VOLUME: 142, PAGES: 14-23
4732
TITLE: Test patterns for android mobile applications
AUTHORS: Ines Coimbra Morgado ; Ana C R Paiva ;
PUBLISHED: 2015, SOURCE: 20th European Conference on Pattern Languages of Programs, EuroPLoP 2015 in Proceedings of the 20th European Conference on Pattern Languages of Programs, EuroPLoP 2015, Kaufbeuren, Germany, July 8-12, 2015, VOLUME: 08-12-July-2015, PAGES: 32
AUTHORS: Ines Coimbra Morgado ; Ana C R Paiva ;
PUBLISHED: 2015, SOURCE: 20th European Conference on Pattern Languages of Programs, EuroPLoP 2015 in Proceedings of the 20th European Conference on Pattern Languages of Programs, EuroPLoP 2015, Kaufbeuren, Germany, July 8-12, 2015, VOLUME: 08-12-July-2015, PAGES: 32
4733
TITLE: Testing approach for mobile applications through reverse engineering of UI Patterns
AUTHORS: Ines Coimbra Morgado ; Ana C R Paiva ;
PUBLISHED: 2015, SOURCE: 30th IEEE/ACM International Conference on Automated Software Engineering Workshops (ASEW) in 2015 30th IEEE/ACM International Conference on Automated Software Engineering Workshop (ASEW), PAGES: 42-49
AUTHORS: Ines Coimbra Morgado ; Ana C R Paiva ;
PUBLISHED: 2015, SOURCE: 30th IEEE/ACM International Conference on Automated Software Engineering Workshops (ASEW) in 2015 30th IEEE/ACM International Conference on Automated Software Engineering Workshop (ASEW), PAGES: 42-49
4734
TITLE: The essence of bidirectional programming Full Text
AUTHORS: Sebastian Fischer; Zhenjiang Hu; Hugo Pacheco ;
PUBLISHED: 2015, SOURCE: SCIENCE CHINA Information Sciences, VOLUME: 58, ISSUE: 5, PAGES: 1-21
AUTHORS: Sebastian Fischer; Zhenjiang Hu; Hugo Pacheco ;
PUBLISHED: 2015, SOURCE: SCIENCE CHINA Information Sciences, VOLUME: 58, ISSUE: 5, PAGES: 1-21
4735
TITLE: The Genotype-Tissue Expression (GTEx) pilot analysis: Multitissue gene regulation in humans
AUTHORS: Ardlie, KG; DeLuca, DS; Segrè, AV; Sullivan, TJ; Young, TR; Gelfand, ET; Trowbridge, CA; Maller, JB; Tukiainen, T; Lek, M; Ward, LD; Kheradpour, P; Iriarte, B; Meng, Y; Palmer, CD; Esko, T; Winckler, W; Hirschhorn, JN; Kellis, M; MacArthur, DG; ...More
PUBLISHED: 2015, SOURCE: Science, VOLUME: 348, ISSUE: 6235, PAGES: 648-660
AUTHORS: Ardlie, KG; DeLuca, DS; Segrè, AV; Sullivan, TJ; Young, TR; Gelfand, ET; Trowbridge, CA; Maller, JB; Tukiainen, T; Lek, M; Ward, LD; Kheradpour, P; Iriarte, B; Meng, Y; Palmer, CD; Esko, T; Winckler, W; Hirschhorn, JN; Kellis, M; MacArthur, DG; ...More
PUBLISHED: 2015, SOURCE: Science, VOLUME: 348, ISSUE: 6235, PAGES: 648-660
4736
TITLE: The hop-constrained minimum cost flow spanning tree problem with nonlinear costs: an ant colony optimization approach Full Text
AUTHORS: Marta S R Monteiro; Dalila B M M Fontes ; Fernando A C C Fontes ;
PUBLISHED: 2015, SOURCE: OPTIMIZATION LETTERS, VOLUME: 9, ISSUE: 3, PAGES: 451-464
AUTHORS: Marta S R Monteiro; Dalila B M M Fontes ; Fernando A C C Fontes ;
PUBLISHED: 2015, SOURCE: OPTIMIZATION LETTERS, VOLUME: 9, ISSUE: 3, PAGES: 451-464
4737
TITLE: The human transcriptome across tissues and individuals
AUTHORS: Melé, M; Ferreira, PG ; Reverter, F; DeLuca, DS; Monlong, J; Sammeth, M; Young, TR; Goldmann, JM; Pervouchine, DD; Sullivan, TJ; Johnson, R; Segrè, AV; Djebali, S; Niarchou, A; Wright, FA; Lappalainen, T; Calvo, M; Getz, G; Dermitzakis, ET; Ardlie, KG; ...More
PUBLISHED: 2015, SOURCE: Science, VOLUME: 348, ISSUE: 6235, PAGES: 660-665
AUTHORS: Melé, M; Ferreira, PG ; Reverter, F; DeLuca, DS; Monlong, J; Sammeth, M; Young, TR; Goldmann, JM; Pervouchine, DD; Sullivan, TJ; Johnson, R; Segrè, AV; Djebali, S; Niarchou, A; Wright, FA; Lappalainen, T; Calvo, M; Getz, G; Dermitzakis, ET; Ardlie, KG; ...More
PUBLISHED: 2015, SOURCE: Science, VOLUME: 348, ISSUE: 6235, PAGES: 660-665
4738
TITLE: The Impact of Longstanding Messages In Micro-Blogging Classification
AUTHORS: Joana Costa; Catarina Silva ; Mario Antunes ; Bernardete Ribeiro ;
PUBLISHED: 2015, SOURCE: International Joint Conference on Neural Networks (IJCNN) in 2015 INTERNATIONAL JOINT CONFERENCE ON NEURAL NETWORKS (IJCNN), VOLUME: 2015-September, PAGES: 1-8
AUTHORS: Joana Costa; Catarina Silva ; Mario Antunes ; Bernardete Ribeiro ;
PUBLISHED: 2015, SOURCE: International Joint Conference on Neural Networks (IJCNN) in 2015 INTERNATIONAL JOINT CONFERENCE ON NEURAL NETWORKS (IJCNN), VOLUME: 2015-September, PAGES: 1-8
4739
TITLE: The iMPAcT Tool: Testing UI Patterns on Mobile Applications
AUTHORS: Ines Coimbra Morgado ; Ana C R Paiva ;
PUBLISHED: 2015, SOURCE: 30th IEEE/ACM International Conference on Automated Software Engineering Workshops (ASEW) in 2015 30TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE), PAGES: 876-881
AUTHORS: Ines Coimbra Morgado ; Ana C R Paiva ;
PUBLISHED: 2015, SOURCE: 30th IEEE/ACM International Conference on Automated Software Engineering Workshops (ASEW) in 2015 30TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE), PAGES: 876-881
4740
TITLE: The influence of documents, users and tasks on the relevance and comprehension of health web documents
AUTHORS: Melinda Oroszlanyova; Cristina Ribeiro ; Sergio Nunes ; Carla Teixeira Lopes ;
PUBLISHED: 2015, SOURCE: 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 CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS/INTERNATIONAL CONFERENCE ON PROJECT MANAGEMENT/CONFERENCE ON HEALTH AND SOCIAL CARE INFORMATION SYSTEMS AND TECHNOLOGIES, CENTERIS/PROJMAN / HCIST 2015, VOLUME: 64, PAGES: 771-778
AUTHORS: Melinda Oroszlanyova; Cristina Ribeiro ; Sergio Nunes ; Carla Teixeira Lopes ;
PUBLISHED: 2015, SOURCE: 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 CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS/INTERNATIONAL CONFERENCE ON PROJECT MANAGEMENT/CONFERENCE ON HEALTH AND SOCIAL CARE INFORMATION SYSTEMS AND TECHNOLOGIES, CENTERIS/PROJMAN / HCIST 2015, VOLUME: 64, PAGES: 771-778
