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

536 Team Members
Filters -> Year: 2026
5061
TITLE: Collection of State Information in Live Digital Forensics
AUTHORS: Freitas, F; Pinto, A ;
PUBLISHED: 2017, SOURCE: 8th International Symposium on Ambient Intelligence (ISAmI) in AMBIENT INTELLIGENCE- SOFTWARE AND APPLICATIONS- 8TH INTERNATIONAL SYMPOSIUM ON AMBIENT INTELLIGENCE (ISAMI 2017), VOLUME: 615, PAGES: 1-8
INDEXED IN: Scopus WOS DBLP CrossRef
5062
TITLE: Combining dataflow applications and real-time task sets on multi-core platforms
AUTHORS: Ali, HI; Akesson, B; Pinho, LM ;
PUBLISHED: 2017, SOURCE: 20th International Workshop on Software and Compilers for Embedded Systems, SCOPES 2017 in Proceedings of the 20th International Workshop on Software and Compilers for Embedded Systems, SCOPES 2017, PAGES: 60-63
INDEXED IN: Scopus CrossRef Handle
5063
TITLE: Combining Feature and Algorithm Hyperparameter Selection using some Metalearning Methods
AUTHORS: Miguel Cachada ; Salisu Mamman Abdulrahman ; Pavel Brazdil ;
PUBLISHED: 2017, SOURCE: AutoML@PKDD/ECML, VOLUME: 1998, PAGES: 69-83
INDEXED IN: Scopus DBLP
5064
TITLE: Command and Control Systems for Search and Rescue Robots
AUTHORS: Shashank Govindaraj; Pierre Letier; Keshav Chintamani; Jeremi Gancet; Mario Nunez Jimenez; Miguel Ángel Esbrí; Pawel Musialik; Janusz Bedkowski; Irune Badiola; Ricardo Gonçalves; António Coelho ; Daniel Serrano; Massimo Tosa; Thomas Pfister; Jose Manuel Sanchez;
PUBLISHED: 2017, SOURCE: Search and Rescue Robotics - From Theory to Practice
INDEXED IN: CrossRef: 2
5065
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
5066
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
5067
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
5068
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
5069
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
5070
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
5071
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
5072
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
5073
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
5075
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
5076
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
5077
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
5078
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
5079
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
5080
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

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