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: 8460
531 Team MembersFilters -> Year: 2025
4861
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
4862
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
4863
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 DBLP4864
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
4865
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
4866
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
4867
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
DBLP4868
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
Scopus4869
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
4870
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
DBLP4871
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
4872
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
4873
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
4874
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
4875
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
4876
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
4877
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
4878
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
4879
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
4880
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
