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: 8461
531 Team MembersFilters -> Year: 2025
4861
TITLE: Specifying Structural Constraints of Architectural Patterns in the ARCHERY Language
AUTHORS: Alejandro Sanchez ; Luis S Barbosa ; Daniel Riesco;
PUBLISHED: 2015, SOURCE: International Conference on Numerical Analysis and Applied Mathematics (ICNAAM) in PROCEEDINGS OF THE INTERNATIONAL CONFERENCE OF NUMERICAL ANALYSIS AND APPLIED MATHEMATICS 2014 (ICNAAM-2014), VOLUME: 1648
AUTHORS: Alejandro Sanchez ; Luis S Barbosa ; Daniel Riesco;
PUBLISHED: 2015, SOURCE: International Conference on Numerical Analysis and Applied Mathematics (ICNAAM) in PROCEEDINGS OF THE INTERNATIONAL CONFERENCE OF NUMERICAL ANALYSIS AND APPLIED MATHEMATICS 2014 (ICNAAM-2014), VOLUME: 1648
4862
TITLE: Spreadsheet Engineering
AUTHORS: Jacome Cunha ; Joao Paulo Fernandes ; Jorge Mendes ; Joao Saraiva ;
PUBLISHED: 2015, SOURCE: 5th Central European Functional Programming School (CEFP) in Central European Functional Programming School, CEFP 2013, VOLUME: 8606, PAGES: 246-299
AUTHORS: Jacome Cunha ; Joao Paulo Fernandes ; Jorge Mendes ; Joao Saraiva ;
PUBLISHED: 2015, SOURCE: 5th Central European Functional Programming School (CEFP) in Central European Functional Programming School, CEFP 2013, VOLUME: 8606, PAGES: 246-299
4863
TITLE: Streaming networks sampling using top-K networks
AUTHORS: Sarmento, R ; Cordeiro, M ; Gama, J ;
PUBLISHED: 2015, SOURCE: 17th International Conference on Enterprise Information Systems, ICEIS 2015 in ICEIS 2015 - 17th International Conference on Enterprise Information Systems, Proceedings, VOLUME: 1, PAGES: 228-234
AUTHORS: Sarmento, R ; Cordeiro, M ; Gama, J ;
PUBLISHED: 2015, SOURCE: 17th International Conference on Enterprise Information Systems, ICEIS 2015 in ICEIS 2015 - 17th International Conference on Enterprise Information Systems, Proceedings, VOLUME: 1, PAGES: 228-234
4864
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 DBLP4865
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
4866
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
4867
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
4868
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
DBLP4869
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
Scopus4870
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
4871
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
DBLP4872
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
4873
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
4874
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
4875
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
4876
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
4877
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
4878
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
4879
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
4880
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
