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

531 Team Members
Filters -> Year: 2024
4581
TITLE: Special Issue: Euro-Par 2014  Full Text
AUTHORS: Christian Lengauer; Luc Bouge; Fernando Silva ;
PUBLISHED: 2015, SOURCE: CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, VOLUME: 27, ISSUE: 16, PAGES: 4073-4074
INDEXED IN: Scopus WOS DBLP CrossRef: 1
4582
TITLE: SPECIAL SECTION ON THE 2014 INTERNATIONAL SYMPOSIUM ON APPLIED RECONFIGURABLE COMPUTING  Full Text
AUTHORS: Diana Goehringer; Marco D Santambrogio; Joao M P Cardoso ; Koen Bertels;
PUBLISHED: 2015, SOURCE: ACM TRANSACTIONS ON RECONFIGURABLE TECHNOLOGY AND SYSTEMS, VOLUME: 9, ISSUE: 1
INDEXED IN: WOS
4583
TITLE: Special track on data streams
AUTHORS: Rodrigues, PP ; Bifet, A; Krishnaswamy, S; Gama, J ;
PUBLISHED: 2015, SOURCE: 30th Annual ACM Symposium on Applied Computing, SAC 2015 in Proceedings of the ACM Symposium on Applied Computing, VOLUME: 13-17-April-2015, PAGES: 933-934
INDEXED IN: Scopus
4584
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
INDEXED IN: Scopus WOS CrossRef: 2
4585
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
INDEXED IN: Scopus WOS DBLP CrossRef: 4
4586
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
INDEXED IN: Scopus DBLP CrossRef: 7
4587
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
INDEXED IN: Scopus DBLP
4588
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
INDEXED IN: Scopus WOS DBLP CrossRef: 16
4589
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
INDEXED IN: Scopus WOS DBLP CrossRef: 1
4590
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
INDEXED IN: Scopus WOS DBLP CrossRef: 126
4591
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
INDEXED IN: DBLP
4592
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; 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; ...More
PUBLISHED: 2015, SOURCE: Scientific Reports, VOLUME: 5
INDEXED IN: Scopus
4593
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
INDEXED IN: Scopus WOS CrossRef
4595
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
INDEXED IN: Scopus DBLP CrossRef: 4
4596
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
INDEXED IN: Scopus DBLP CrossRef: 8
4597
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
INDEXED IN: Scopus WOS CrossRef: 9
4598
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
INDEXED IN: Scopus DBLP CrossRef: 9
4599
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
INDEXED IN: Scopus WOS DBLP CrossRef: 15
4600
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
INDEXED IN: DBLP CrossRef: 19

Results per Page: 20.
Página 230 de 406. Total de resultados: 8120.