CS: Computer Science
CS: Computer Science

Inesc Technology and Science (INESC TEC)

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

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.
Page 230 of 406. Total results: 8120.