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

531 Team Members
Filters -> Year: 2025
3541
TITLE: Communication and Resource Usage Analysis in Online Environments An Integrated Social Network Analysis and Data Mining Perspective
AUTHORS: Figueira, A ;
PUBLISHED: 2017, SOURCE: 8th IEEE Global Engineering Education Conference, EDUCON 2017 in PROCEEDINGS OF 2017 IEEE GLOBAL ENGINEERING EDUCATION CONFERENCE (EDUCON2017), PAGES: 1027-1032
INDEXED IN: Scopus WOS DBLP CrossRef: 3
3542
TITLE: Compact Resettable Counters through Causal Stability
AUTHORS: Georges Younes ; Paulo Sergio Almeida ; Carlos Baquero ;
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
3543
TITLE: Comparison Between Co-training and Self-training for Single-target Regression in Data Streams using AMRules PDF
AUTHORS: Ricardo Sousa ; João Gama ;
PUBLISHED: 2017, SOURCE: 2017 Workshop on IoT Large Scale Learning from Data Streams, IOTSTREAMING 2017 in Proceedings of the Workshop on IoT Large Scale Learning from Data Streams co-located with the 2017 European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases (ECML-PKDD 2017), Skopje, Macedonia, September 18-22, 2017., VOLUME: 1958
INDEXED IN: Scopus DBLP
3544
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: 5th International Workshop on OpenCL, IWOCL 2017 in Proceedings of the 5th International Workshop on OpenCL, IWOCL 2017, Toronto, Canada, May 16-18, 2017, VOLUME: Part F127755, PAGES: 29:1-29:2
INDEXED IN: Scopus DBLP CrossRef
3545
TITLE: Composing Families of Timed Automata
AUTHORS: Guillermina Cledou ; Jose Proenca ; Luis Soares Barbosa ;
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
3546
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
3547
TITLE: Computational Models for Social and Technical Interactions  Full Text
AUTHORS: Joao Gama ; Eugenio Oliveira ; Henrique Lopes Cardoso ;
PUBLISHED: 2017, SOURCE: NEW GENERATION COMPUTING, VOLUME: 35, ISSUE: 4, PAGES: 307-310
INDEXED IN: Scopus WOS DBLP CrossRef
3548
TITLE: Computer Aided Verification of Relational Models by Strategic Rewriting  Full Text
AUTHORS: Claudia M Necco; Jose N Oliveira ; Joost Visser; Roberto Uzal;
PUBLISHED: 2017, SOURCE: JOURNAL OF COMPUTER SCIENCE & TECHNOLOGY, VOLUME: 17, ISSUE: 2, PAGES: 140-148
INDEXED IN: WOS
3549
TITLE: Conformance Checking in Integration Testing of Time-constrained Distributed Systems based on UML Sequence Diagrams
AUTHORS: Bruno Lima ; João Pascoal Faria ;
PUBLISHED: 2017, SOURCE: 12th International Conference on Software Technologies, ICSOFT 2017 in Proceedings of the 12th International Conference on Software Technologies, ICSOFT 2017, Madrid, Spain, July 24-26, 2017., PAGES: 459-466
INDEXED IN: Scopus DBLP CrossRef: 2
3550
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
3551
TITLE: Context-aware HDR video distribution for mobile devices  Full Text
AUTHORS: Miguel Melo ; Luis Barbosa ; Maximino Bessa ; Kurt Debattista; Alan Chalmers;
PUBLISHED: 2017, SOURCE: MULTIMEDIA TOOLS AND APPLICATIONS, VOLUME: 76, ISSUE: 15, PAGES: 16605-16623
INDEXED IN: Scopus WOS DBLP CrossRef: 3
3552
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
3553
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: 2 Handle
3554
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
3555
TITLE: Correlates of adults' participation in sport and frequency of sport  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: 13
3556
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: 6
3557
TITLE: Credit Scoring in Microfinance Using Non-traditional Data
AUTHORS: Saulo Ruiz; Pedro Gomes; Luis Rodrigues; Joao Gama ;
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: 12
3558
TITLE: Creepy Tracker Toolkit for Context-aware Interfaces
AUTHORS: Maurício Sousa; Daniel Mendes ; Rafael Kuffner dos Anjos; Daniel Medeiros; Alfredo Ferreira; Alberto Raposo; João Madeiras Pereira; Joaquim A Jorge;
PUBLISHED: 2017, SOURCE: 2017 ACM International Conference on Interactive Surfaces and Spaces, ISS 2017 in Proceedings of the Interactive Surfaces and Spaces, ISS 2017, Brighton, United Kingdom, October 17 - 20, 2017, PAGES: 191-200
INDEXED IN: Scopus DBLP CrossRef: 14
3560
TITLE: Data-Mining-based filtering to support Solar Forecasting Methodologies
AUTHORS: Pinto, T ; Marques, L; Sousa, TM; Praca, I; Vale, Z; Abreu, SL;
PUBLISHED: 2017, SOURCE: ADCAIJ-ADVANCES IN DISTRIBUTED COMPUTING AND ARTIFICIAL INTELLIGENCE JOURNAL, VOLUME: 6, ISSUE: 3, PAGES: 85-102
INDEXED IN: WOS CrossRef: 3

Results per Page: 20.
Page 178 of 424. Total results: 8473.