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

536 Team Members
Filters -> Year: 2026
5061
TITLE: Compact Resettable Counters through Causal Stability
AUTHORS: Younes, G ; Almeida, PS ; Baquero, C ;
PUBLISHED: 2017, SOURCE: 3rd International Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC) in PROCEEDINGS OF THE 3RD INTERNATIONAL WORKSHOP ON PRINCIPLES AND PRACTICE OF CONSISTENCY FOR DISTRIBUTED DATA (PAPOC 17), PAGES: 2:1-2:3
INDEXED IN: Scopus WOS DBLP CrossRef: 2
5062
TITLE: Comparison Between Co-training and Self-training for Single-target Regression in Data Streams using AMRules
AUTHORS: Ricardo Teixeira Sousa ; João Gama ;
PUBLISHED: 2017, SOURCE: IOTSTREAMING@PKDD/ECML, VOLUME: 1958
INDEXED IN: Scopus DBLP
5063
TITLE: Compiler Techniques for Efficient MATLAB to OpenCL Code Generation
AUTHORS: Luís Reis ; João Bispo ; João M P Cardoso ;
PUBLISHED: 2017, SOURCE: IWOCL, VOLUME: Part F127755, PAGES: 29:1-29:2
INDEXED IN: Scopus DBLP CrossRef: 1
5064
TITLE: Composing Families of Timed Automata
AUTHORS: Cledou, G ; Proença, J ; Barbosa, LS ;
PUBLISHED: 2017, SOURCE: 7th IPM International Conference on Fundamentals of Software Engineering (FSEN) in FUNDAMENTALS OF SOFTWARE ENGINEERING, FSEN 2017, VOLUME: 10522, PAGES: 51-66
INDEXED IN: Scopus WOS DBLP CrossRef: 4
5065
TITLE: COMPOSITION IN STATE-BASED REPLICATED DATA TYPES
AUTHORS: Baquero, C ; Almeida, PS ; Cunha, A ; Ferreira, C ;
PUBLISHED: 2017, SOURCE: BULLETIN OF THE EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE, VOLUME: 123, ISSUE: 123
INDEXED IN: WOS DBLP
5066
TITLE: Comprehensive genome and transcriptome analysis reveals genetic basis for gene fusions in cancer
AUTHORS: Nuno A Fonseca ; Yao He; Liliana Greger; Alvis Brazma; Zemin Zhang; - PCAWG-3, ;
PUBLISHED: 2017
INDEXED IN: CrossRef: 2
5067
TITLE: Computational Models for Social and Technical Interactions
AUTHORS: Gama, J ; Oliveira, E ; Cardoso, HL ;
PUBLISHED: 2017, SOURCE: NEW GENERATION COMPUTING, VOLUME: 35, ISSUE: 4, PAGES: 307-310
INDEXED IN: Scopus WOS DBLP CrossRef
5068
TITLE: Computer Aided Verification of Relational Models by Strategic Rewriting  Full Text
AUTHORS: Necco, CM; Oliveira, JN ; Visser, J; Uzal, R;
PUBLISHED: 2017, SOURCE: JOURNAL OF COMPUTER SCIENCE & TECHNOLOGY, VOLUME: 17, ISSUE: 2, PAGES: 140-148
INDEXED IN: WOS
5070
TITLE: Considerações éticas, epistemológicas e metodológicas sobre o fazer pesquisa em educação e cultura digital
AUTHORS: Daniel de Queiroz Lopes; Eliane Schlemmer ;
PUBLISHED: 2017, SOURCE: Revista EDaPECI, VOLUME: 17, ISSUE: 2, PAGES: 46-60
INDEXED IN: CrossRef
5071
TITLE: Consumers' attitude toward Facebook advertising
AUTHORS: Ferreira, F; Barbosa, B ;
PUBLISHED: 2017, SOURCE: International Journal of Electronic Marketing and Retailing, VOLUME: 8, ISSUE: 1, PAGES: 45-57
INDEXED IN: Scopus CrossRef: 19
5072
TITLE: Context analysis in energy resource management residential buildings
AUTHORS: Madureira, B; Pinto, T ; Fernandes, F; Vale, Z ;
PUBLISHED: 2017, SOURCE: 2017 IEEE Manchester PowerTech, Powertech 2017 in 2017 IEEE Manchester PowerTech, Powertech 2017
INDEXED IN: Scopus CrossRef: 1
5073
TITLE: Context-aware HDR video distribution for mobile devices
AUTHORS: Melo, M ; Barbosa, L ; Bessa, M ; Debattista, K; Chalmers, A;
PUBLISHED: 2017, SOURCE: MULTIMEDIA TOOLS AND APPLICATIONS, VOLUME: 76, ISSUE: 15, PAGES: 16605-16623
INDEXED IN: Scopus WOS DBLP CrossRef: 3
5074
TITLE: Continuous Ambulatory Peritoneal Dialysis: Business Intelligence applied to patient monitoring CAPD study and statistics
AUTHORS: Catarina Peixoto; Claudia Brito ; Mariana Fontainhas; Peixoto, Hugo ; José Machado ; António Abelha ;
PUBLISHED: 2017, SOURCE: IEEE 5th International Conference on Future Internet of Things and Cloud (FiCloud) in 2017 5TH INTERNATIONAL CONFERENCE ON FUTURE INTERNET OF THINGS AND CLOUD WORKSHOPS (FICLOUDW) 2017, VOLUME: 2017-January, PAGES: 178-185
INDEXED IN: Scopus WOS DBLP CrossRef
5075
TITLE: Contract based verification of IEC 61499  Full Text
AUTHORS: Lindgren, P; Lindner, M; Pereira, D ; Pinho, LM ;
PUBLISHED: 2017, SOURCE: 14th IEEE International Conference on Industrial Informatics, INDIN 2016 in IEEE International Conference on Industrial Informatics (INDIN), PAGES: 132-141
INDEXED IN: Scopus CrossRef: 3 Handle
5076
TITLE: Controlling the design and development cycle
AUTHORS: João M.P Cardoso ; José Gabriel F Coutinho; Pedro C Diniz;
PUBLISHED: 2017, SOURCE: Embedded Computing for High Performance, PAGES: 57-98
INDEXED IN: CrossRef
5077
TITLE: Correlates of adults' participation in sport and frequency of sport. Corrélats de la participation des adultes en sport et de la fréquence avec laquelle ils le pratiquent  Full Text
AUTHORS: Oliveira Brochado, A; Brito, PQ ; Oliveira Brochado, F;
PUBLISHED: 2017, SOURCE: SCIENCE & SPORTS, VOLUME: 32, ISSUE: 6, PAGES: 355-363
INDEXED IN: Scopus WOS CrossRef: 17 Handle
5078
TITLE: Could I do it again? One time experiences of Erasmus mobility teachers
AUTHORS: Santos, CA; Barbosa, B ; Filipe, S; Pinheiro, MM; Simoes, D; Dias, GP;
PUBLISHED: 2017, SOURCE: 3RD INTERNATIONAL CONFERENCE ON LIFELONG LEARNING AND LEADERSHIP FOR ALL (ICLEL 2017), PAGES: 679-686
INDEXED IN: WOS Handle
5079
TITLE: COUPLED HIDDEN MARKOV MODEL FOR AUTOMATIC ECG AND PCG SEGMENTATION
AUTHORS: Oliveira, J ; Sousa, C; Coimbra, MT ;
PUBLISHED: 2017, SOURCE: IEEE International Conference on Acoustics, Speech, and Signal Processing (ICASSP) in 2017 IEEE INTERNATIONAL CONFERENCE ON ACOUSTICS, SPEECH AND SIGNAL PROCESSING (ICASSP), PAGES: 1023-1027
INDEXED IN: Scopus WOS DBLP CrossRef: 7
5080
TITLE: Credit Scoring in Microfinance Using Non-traditional Data
AUTHORS: Ruiz, S; Gomes, P; Rodrigues, L; Gama, J ;
PUBLISHED: 2017, SOURCE: 18th EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE (EPIA 2017), VOLUME: 10423, PAGES: 447-458
INDEXED IN: Scopus WOS DBLP CrossRef: 15

Results per Page: 20.
Page 254 of 532. Total results: 10624.