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

536 Team Members
Filters -> Year: 2026
6681
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
6682
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
6683
TITLE: Spreadsheet Engineering
AUTHORS: Cunha, J ; Fernandes, JP ; Mendes, J ; Saraiva, J ;
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
6684
TITLE: Streaming Networks Sampling using top-K Networks
AUTHORS: Rui Sarmento ; Mário Cordeiro ; João Gama ;
PUBLISHED: 2015, SOURCE: ICEIS (1), VOLUME: 1, PAGES: 228-234
INDEXED IN: Scopus DBLP CrossRef: 8
6685
TITLE: Studying Verification Conditions for Imperative Programs
AUTHORS: Cláudio Belo Lourenço ; Si Mohamed Lamraoui; Shin Nakajima; Jorge Sousa Pinto ;
PUBLISHED: 2015, SOURCE: Electron. Commun. Eur. Assoc. Softw. Sci. Technol., VOLUME: 72
INDEXED IN: Scopus DBLP
6686
TITLE: Summarization of changes in dynamic text collections using Latent Dirichlet Allocation model  Full Text
AUTHORS: Kar, M; Nunes, S ; Ribeiro, C ;
PUBLISHED: 2015, SOURCE: INFORMATION PROCESSING & MANAGEMENT, VOLUME: 51, ISSUE: 6, PAGES: 809-833
INDEXED IN: Scopus WOS DBLP CrossRef: 29
6687
TITLE: Supplier evaluation and selection: A case study in olive oil distribution company
AUTHORS: Elisabete M Dias; Teresa Pereira; Dalila B Fontes ;
PUBLISHED: 2015
INDEXED IN: Handle
6688
TITLE: Supporting the Design of an Ambient Assisted Living System Using Virtual Reality Prototypes
AUTHORS: Campos, JC ; Abade, T; Silva, JL ; Harrison, MD ;
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: 2
6689
TITLE: Survey of Temporal Information Retrieval and Related Applications  Full Text
AUTHORS: Campos, R ; Dias, G; Jorge, AM ; Jatowt, A;
PUBLISHED: 2015, SOURCE: ACM COMPUTING SURVEYS, VOLUME: 47, ISSUE: 2, PAGES: 15:1-15:41
INDEXED IN: Scopus WOS DBLP CrossRef: 139
6690
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
6691
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
6692
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: 5
6693
TITLE: Task partitioning and priority assignment for distributed hard real-time systems
AUTHORS: Ricardo Garibay Martínez; Geoffrey Nelissen; Luis Lino Ferreira ; Luís Miguel Pinho;
PUBLISHED: 2015, SOURCE: J. Comput. Syst. Sci., VOLUME: 81, ISSUE: 8, PAGES: 1542-1555
INDEXED IN: DBLP
6694
TITLE: Taxi Service Trajectory - Prediction Challenge, ECML PKDD 2015
AUTHORS: Luís Moreira Matias; Michel Ferreira ; João Mendes Moreira ;
PUBLISHED: 2015
INDEXED IN: DBLP
6695
TITLE: Techniques for efficient MATLAB-to-C compilation
AUTHORS: João Bispo ; Luís Reis ; João M P Cardoso ;
PUBLISHED: 2015, SOURCE: ARRAY@PLDI, PAGES: 7-12
INDEXED IN: Scopus DBLP CrossRef: 4
6696
TITLE: Telling Stories with Data Visualization
AUTHORS: María Teresa Rodríguez; Sérgio Nunes ; Tiago Devezas ;
PUBLISHED: 2015, SOURCE: NHT@HT, PAGES: 7-11
INDEXED IN: Scopus DBLP CrossRef: 34
6697
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
6698
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 EuroPLoP, VOLUME: 08-12-July-2015, PAGES: 32:1-32:7
INDEXED IN: Scopus DBLP CrossRef: 11
6699
TITLE: Testing approach for mobile applications through reverse engineering of UI Patterns
AUTHORS: Morgado, IC ; Paiva, ACR ;
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: 17

Results per Page: 20.
Page 335 of 536. Total results: 10702.