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: 8280

531 Team Members
Filters -> Year: 2024
4721
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
4722
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
4723
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
4724
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
4725
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
4726
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
4727
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
4729
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
4730
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
4731
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
4732
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
4733
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
4734
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
4735
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: 4181
4736
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
4737
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: 1078
4738
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
4739
TÍTULO: The iMPAcT Tool: Testing UI Patterns on Mobile Applications
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 (ASE), PÁGINAS: 876-881
INDEXADO EM: Scopus WOS DBLP CrossRef: 13
4740
TÍTULO: The influence of documents, users and tasks on the relevance and comprehension of health web documents
AUTORES: Melinda Oroszlanyova; Cristina Ribeiro ; Sergio Nunes ; Carla Teixeira Lopes ;
PUBLICAÇÃO: 2015, FONTE: 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, PÁGINAS: 771-778
INDEXADO EM: Scopus WOS CrossRef: 3

Results per Page: 20.
Página 237 de 414. Total de resultados: 8280.