CS: Computer Science
CS: Computer Science

Inesc Tecnologia e Ciência (INESC TEC)

Publications Actions
Publicações no Perfil Institucional do Authenticus

Uma Instituição (Grupo) no Authenticus é uma organização que engloba um conjunto de Investigadores (equipa da Instituição ou do Grupo). O conjunto de Investigadores depende da estrutura organizacional da instituição em cada ano e pode ser definido no perfil da Instituição, na secção “Investigadores”. Com base na equipa definida, o Authenticus produz listas de publicações, estatísticas e relatórios institucionais.

As publicações listadas no perfil da Instituição no Authenticus dependem de dois parâmetros:

  • Investigadores associados à equipa da Instituição em cada ano.
  • Origem das Publicações.

As publicações associadas à Instituição podem ter três origens:

  • Publicações validadas pelos membros da equipa - Inclui todas as publicações validadas pelos membros da equipa; é necessário que a equipa da Instituição esteja definida.
  • Todas as Publicadas pelos membros da equipa - Inclui todas as anteriores mais aquelas em que um dos autores foi identificado com um membro da equipa, ainda que não tenha sido validada; é necessário que a equipa da Instituição esteja definida.
  • Com Base na Afiliação - inclui todas as publicações que têm a Instituição ou o Grupo mencionado na afiliação; não é necessário que a equipa da Instituição esteja definida mas, por outro lado, não é garantido que todas as publicações da Instituição sejam listadas.
External   Internal

Update Citation

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!

Update PrePrints

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!

Publications Count: 8460

531 Team Members
Filters -> Year: 2025
4861
TÍTULO: Spreadsheet Engineering
AUTORES: Jacome Cunha ; Joao Paulo Fernandes ; Jorge Mendes ; Joao Saraiva ;
PUBLICAÇÃO: 2015, FONTE: 5th Central European Functional Programming School (CEFP) in Central European Functional Programming School, CEFP 2013, VOLUME: 8606, PÁGINAS: 246-299
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
4862
TÍTULO: Streaming networks sampling using top-K networks
AUTORES: Sarmento, R ; Cordeiro, M ; Gama, J ;
PUBLICAÇÃO: 2015, FONTE: 17th International Conference on Enterprise Information Systems, ICEIS 2015 in ICEIS 2015 - 17th International Conference on Enterprise Information Systems, Proceedings, VOLUME: 1, PÁGINAS: 228-234
INDEXADO EM: Scopus DBLP CrossRef: 8
4863
TÍTULO: Studying Verification Conditions for Imperative Programs  Full Text
AUTORES: Cláudio Belo Lourenço ; Si Mohamed Lamraoui; Shin Nakajima; Jorge Sousa Pinto ;
PUBLICAÇÃO: 2015, FONTE: ECEASST, VOLUME: 72
INDEXADO EM: Scopus DBLP
4864
TÍTULO: Summarization of changes in dynamic text collections using Latent Dirichlet Allocation model  Full Text
AUTORES: Manika Kar; Sergio Nunes ; Cristina Ribeiro ;
PUBLICAÇÃO: 2015, FONTE: INFORMATION PROCESSING & MANAGEMENT, VOLUME: 51, NÚMERO: 6, PÁGINAS: 809-833
INDEXADO EM: Scopus WOS DBLP CrossRef: 16
4865
TÍTULO: Supporting the Design of an Ambient Assisted Living System Using Virtual Reality Prototypes
AUTORES: Jose C Campos ; Tiago Abade; Jose Luis Silva ; Michael D Harrison ;
PUBLICAÇÃO: 2015, FONTE: 7th International Work-Conference on Ambient Assisted Living (IWAAL) in AMBIENT ASSISTED LIVING: ICT-BASED SOLUTIONS IN REAL LIFE SITUATIONS, VOLUME: 9455, PÁGINAS: 49-61
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
4866
TÍTULO: Survey of Temporal Information Retrieval and Related Applications  Full Text
AUTORES: Ricardo Campos ; Gael Dias; Alipio M Jorge ; Adam Jatowt;
PUBLICAÇÃO: 2015, FONTE: ACM COMPUTING SURVEYS, VOLUME: 47, NÚMERO: 2, PÁGINAS: 15
INDEXADO EM: Scopus WOS DBLP CrossRef: 126
4867
TÍTULO: Symbolic Data Analysis and Visualization: Special Issue in honor of Monique Noirhomme-Fraiture
AUTORES: Gilles Venturini; Paula Brito ;
PUBLICAÇÃO: 2015, FONTE: Symbolic Data Analysis and Visualization, VOLUME: E-29
INDEXADO EM: DBLP
4868
TÍTULO: Synchronized age-related gene expression changes across multiple tissues in human and the link to complex diseases  Full Text
AUTORES: 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; Monkol Lek; Lucas D Ward; Pouya Kheradpour; Benjamin Iriarte; Yan Meng; Cameron D Palmer; Wendy Winckler; Joel Hirschhorn; Manolis Kellis; Daniel G MacArthur; Gad Getz; Andrey A Shablin; Gen Li; Yi Hui Zhou; Andrew B Nobel; Ivan Rusyn; Fred A Wright; Tuuli Lappalainen; Pedro G Ferreira ; Halit Ongen; Manuel A Rivas; Alexis Battle; Sara Mostafavi; Jean Monlong; Michael Sammeth; Marta Mele; Ferran Reverter; Jakob Goldman; Daphne Koller; Roderic Guigo; Mark I McCarthy; Emmanouil T Dermitzakis; Eric R Gamazon; Anuar Konkashbaev; Dan L Nicolae; Nancy J Cox; Timothée Flutre; Xiaoquan Wen; Matthew Stephens; Jonathan K Pritchard; Luan Lin; Jun Liu; Amanda Brown; Bernadette Mestichelli; Denee Tidwell; Edmund Lo; Mike Salvatore; Saboor Shad; Jeffrey A Thomas; John T Lonsdale; Christopher Choi; Ellen Karasik; Kimberly Ramsey; Michael T Moser; Barbara A Foster; Bryan M Gillard; John Syron; Johnelle Fleming; Harold Magazine; Rick Hasz; Gary D Walters; Jason P Bridge; Mark Miklos; Susan Sullivan; Laura K Barker; Heather Traino; Magboeba Mosavel; Laura A Siminoff; Dana R Valley; Daniel C Rohrer; Scott Jewel; Philip Branton; Leslie H Sobin; Liqun Qi; Pushpa Hariharan; Shenpei Wu; David Tabor; Charles Shive; Anna M Smith; Stephen A Buia; ...Mais
PUBLICAÇÃO: 2015, FONTE: Scientific Reports, VOLUME: 5
INDEXADO EM: Scopus
4869
TÍTULO: Task partitioning and priority assignment for distributed hard real-time systems  Full Text
AUTORES: Ricardo Garibay Martinez; Geoffrey Nelissen; Luis Lino Ferreira ; Luis Miguel Pinho ;
PUBLICAÇÃO: 2015, FONTE: JOURNAL OF COMPUTER AND SYSTEM SCIENCES, VOLUME: 81, NÚMERO: 8, PÁGINAS: 1542-1555
INDEXADO EM: Scopus WOS CrossRef
4871
TÍTULO: Techniques for efficient MATLAB-to-C compilation
AUTORES: João Bispo ; Luís Reis ; João M P Cardoso ;
PUBLICAÇÃO: 2015, FONTE: 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, PÁGINAS: 7-12
INDEXADO EM: Scopus DBLP CrossRef: 4
4872
TÍTULO: Telling stories with data visualization
AUTORES: Rodríguez, MT; Nunes, S ; Devezas, T ;
PUBLICAÇÃO: 2015, FONTE: 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, PÁGINAS: 7-11
INDEXADO EM: Scopus DBLP CrossRef: 8
4873
TÍTULO: Temporal variability of radon in a remediated tailing of uranium ore processing - the case of Urgeirica (central Portugal)  Full Text
AUTORES: Barbosa, SM ; Lopes, F; Correia, AD; Barbosa, S; Pereira, AC; Neves, LF;
PUBLICAÇÃO: 2015, FONTE: JOURNAL OF ENVIRONMENTAL RADIOACTIVITY, VOLUME: 142, PÁGINAS: 14-23
INDEXADO EM: Scopus WOS CrossRef: 9
4874
TÍTULO: Test patterns for android mobile applications
AUTORES: Ines Coimbra Morgado ; Ana C R Paiva ;
PUBLICAÇÃO: 2015, FONTE: 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, PÁGINAS: 32
INDEXADO EM: Scopus DBLP CrossRef: 9
4875
TÍTULO: Testing approach for mobile applications through reverse engineering of UI Patterns
AUTORES: Ines Coimbra Morgado ; Ana C R Paiva ;
PUBLICAÇÃO: 2015, FONTE: 30th IEEE/ACM International Conference on Automated Software Engineering Workshops (ASEW) in 2015 30th IEEE/ACM International Conference on Automated Software Engineering Workshop (ASEW), PÁGINAS: 42-49
INDEXADO EM: Scopus WOS DBLP CrossRef: 15
4876
TÍTULO: The essence of bidirectional programming  Full Text
AUTORES: Sebastian Fischer; Zhenjiang Hu; Hugo Pacheco ;
PUBLICAÇÃO: 2015, FONTE: SCIENCE CHINA Information Sciences, VOLUME: 58, NÚMERO: 5, PÁGINAS: 1-21
INDEXADO EM: DBLP CrossRef: 19
4877
TÍTULO: The Genotype-Tissue Expression (GTEx) pilot analysis: Multitissue gene regulation in humans
AUTORES: 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; Getz, G; Shabalin, AA; Li, G; Zhou, YH; Nobel, AB; Rusyn, I; Wright, FA; Lappalainen, T; Ferreira, PG ; Ongen, H; Rivas, MA; Battle, A; Mostafavi, S; Monlong, J; Sammeth, M; Melé, M; Reverter, F; Goldmann, JM; Koller, D; Guigó, R; McCarthy, MI; Dermitzakis, ET; Gamazon, ER; Im, HK; Konkashbaev, A; Nicolae, DL; Cox, NJ; Flutre, T; Wen, X; Stephens, M; Pritchard, JK; Tu, Z; Zhang, B; Huang, T; Long, Q; Lin, L; Yang, J; Zhu, J; Liu, J; Brown, A; Mestichelli, B; Tidwell, D; Lo, E; Salvatore, M; Shad, S; Thomas, JA; Lonsdale, JT; Moser, MT; Gillard, BM; Karasik, E; Ramsey, K; Choi, C; Foster, BA; Syron, J; Fleming, J; Magazine, H; Hasz, R; Walters, GD; Bridge, JP; Miklos, M; Sullivan, S; Barker, LK; Traino, HM; Mosavel, M; Siminoff, LA; Valley, DR; Rohrer, DC; Jewell, SD; Branton, PA; Sobin, LH; Barcus, M; Qi, L; McLean, J; Hariharan, P; Um, KS; Wu, S; Tabor, D; Shive, C; Smith, AM; Buia, SA; Undale, AH; Robinson, KL; Roche, N; Valentino, KM; Britton, A; Burges, R; Bradbury, D; Hambright, KW; Seleski, J; Korzeniewski, GE; Erickson, K; Marcus, Y; Tejada, J; Taherian, M; Lu, C; Basile, M; Mash, DC; Volpi, S; Struewing, JP; Temple, GF; Boyer, J; Colantuoni, D; Little, R; Koester, S; Carithers, LJ; Moore, HM; Guan, P; Compton, C; Sawyer, SJ; Demchok, JP; Vaught, JB; Rabiner, CA; Lockhart, ; ...Mais
PUBLICAÇÃO: 2015, FONTE: Science, VOLUME: 348, NÚMERO: 6235, PÁGINAS: 648-660
INDEXADO EM: Scopus CrossRef: 4313
4878
TÍTULO: The hop-constrained minimum cost flow spanning tree problem with nonlinear costs: an ant colony optimization approach  Full Text
AUTORES: Marta S R Monteiro; Dalila B M M Fontes ; Fernando A C C Fontes ;
PUBLICAÇÃO: 2015, FONTE: OPTIMIZATION LETTERS, VOLUME: 9, NÚMERO: 3, PÁGINAS: 451-464
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
4879
TÍTULO: The human transcriptome across tissues and individuals
AUTORES: 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; Guigó, R; ...Mais
PUBLICAÇÃO: 2015, FONTE: Science, VOLUME: 348, NÚMERO: 6235, PÁGINAS: 660-665
INDEXADO EM: Scopus CrossRef: 1112
4880
TÍTULO: The Impact of Longstanding Messages In Micro-Blogging Classification
AUTORES: Joana Costa; Catarina Silva ; Mario Antunes ; Bernardete Ribeiro ;
PUBLICAÇÃO: 2015, FONTE: International Joint Conference on Neural Networks (IJCNN) in 2015 INTERNATIONAL JOINT CONFERENCE ON NEURAL NETWORKS (IJCNN), VOLUME: 2015-September, PÁGINAS: 1-8
INDEXADO EM: Scopus WOS DBLP CrossRef: 4

Results per Page: 20.
Página 244 de 423. Total de resultados: 8460.