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

531 Team Members
Filters -> Year: 2025
3881
TITLE: Engineering Software for the Cloud: Messaging Systems and Logging. Messaging Systems and Logging
AUTHORS: Tiago Boldt Sousa ; Hugo Sereno Ferreira ; Filipe Figueiredo Correia ; Ademar Aguiar ;
PUBLISHED: 2017, SOURCE: 22nd European Conference on Pattern Languages of Programs, EuroPLoP 2017 in Proceedings of the 22nd European Conference on Pattern Languages of Programs, EuroPLoP 2017, Irsee, Germany, July 12-16, 2017, VOLUME: Part F132091, PAGES: 14:1-14:14
INDEXED IN: Scopus DBLP CrossRef: 18
3882
TITLE: Enhancing Feedback to Students in Automated Diagram Assessment
AUTHORS: Helder Correia ; José Paulo Leal ; José Carlos Paiva ;
PUBLISHED: 2017, SOURCE: 6th Symposium on Languages, Applications and Technologies, SLATE 2017 in 6th Symposium on Languages, Applications and Technologies, SLATE 2017, June 26-27, 2017, Vila do Conde, Portugal, VOLUME: 56, PAGES: 11:1-11:8
INDEXED IN: Scopus DBLP
3883
TITLE: Enhancing Museums' Experiences Through Games and Stories for Young Audiences
AUTHORS: Vanessa Cesario; Antonio Coelho ; Valentina Nisi ;
PUBLISHED: 2017, SOURCE: 10th International Conference on Interactive Digital Storytelling (ICIDS) in INTERACTIVE STORYTELLING, ICIDS 2017, VOLUME: 10690, PAGES: 351-354
INDEXED IN: Scopus WOS CrossRef: 4
3884
TITLE: Enriching Mental Health Mobile Assessment and Intervention with Situation Awareness  Full Text
AUTHORS: Ariel Soares Teles; Artur Rocha ; Francisco Jose D E da Silva e Silva; Joao Correia Lopes ; Donal O'Sullivan; Pepijn Van de Ven; Markus Endler;
PUBLISHED: 2017, SOURCE: SENSORS, VOLUME: 17, ISSUE: 1, PAGES: 127
INDEXED IN: Scopus WOS DBLP CrossRef: 21
3885
TITLE: Ensemble learning for data stream analysis: A survey  Full Text
AUTHORS: Bartosz Krawczyk; Leandro L Minku; Joao Gama ; Jerzy Stefanowski; Michal Wozniak;
PUBLISHED: 2017, SOURCE: INFORMATION FUSION, VOLUME: 37, PAGES: 132-156
INDEXED IN: Scopus WOS DBLP CrossRef: 822
3886
TITLE: EPEX Ontology: Enhancing Agent-based Electricity Market Simulation
AUTHORS: Santos, Gabriel; Pinto, Tiago ; Praca, Isabel ; Vale, Zita ;
PUBLISHED: 2017, SOURCE: 19th International Conference on Intelligent System Application to Power Systems (ISAP) in 2017 19TH INTERNATIONAL CONFERENCE ON INTELLIGENT SYSTEM APPLICATION TO POWER SYSTEMS (ISAP)
INDEXED IN: Scopus WOS CrossRef: 8
3888
TITLE: Evaluating a corpus of root causes and measures to guide rca processes in critical software  Full Text
AUTHORS: Silva, N; Vieira, M; Cunha, J ; Chillarege, R;
PUBLISHED: 2017, SOURCE: 18th IEEE International Symposium on High Assurance Systems Engineering, HASE 2017 in Proceedings of IEEE International Symposium on High Assurance Systems Engineering, PAGES: 17-24
INDEXED IN: Scopus CrossRef
3889
TITLE: Evaluating Youtube Platform Usability by People with Intellectual Disabilities (A User Experience Case Study Performed in a Six-Month Period)
AUTHORS: Tânia Rocha; University of Trás-os-Montes e Alto Douro and INESC TEC, PORTUGAL, ; José Martins ; Frederico Branco ; Ramiro Gonçalves; University of Trás-os-Montes e Alto Douro and INESC TEC, PORTUGAL, ; University of Trás-os-Montes e Alto Douro and INESC TEC, PORTUGAL, ; University of Trás-os-Montes e Alto Douro and INESC TEC, PORTUGAL, ;
PUBLISHED: 2017, SOURCE: Journal of Information Systems Engineering & Management, VOLUME: 2, ISSUE: 1, PAGES: 1-9
INDEXED IN: CrossRef: 4
3890
TITLE: Evaluation of Ensemble Methods in Imbalanced Regression Tasks
AUTHORS: Nuno Moniz ; Paula Branco ; Luís Torgo ;
PUBLISHED: 2017, SOURCE: First International Workshop on Learning with Imbalanced Domains: Theory and Applications, LIDTA@PKDD/ECML 2017, 22 September 2017, Skopje, Macedonia, VOLUME: 74, PAGES: 129-140
INDEXED IN: DBLP
3891
TITLE: Evaluation of Formal IDEs for Human-Machine Interface Design and Analysis: The Case of CIRCUS and PVSio-web PDF  Full Text
AUTHORS: Fayollas, C; Martinie, C; Palanque, P; Masci, P ; Harrison, MD ; Campos, JC ; Silva, SRE ;
PUBLISHED: 2017, SOURCE: 3rd Workshop on Formal Integrated Development Environment, F-IDE 2016 in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: abs/1701.07925, ISSUE: 240, PAGES: 1-19
INDEXED IN: Scopus WOS DBLP arXiv CrossRef: 1
3892
TITLE: Evaluation of Stanford NER for Extraction of Assembly Information from Instruction Manuals
AUTHORS: Costa, CM ; Veiga, G ; Sousa, A ; Nunes, S ;
PUBLISHED: 2017, SOURCE: 2017 IEEE International Conference on Autonomous Robot Systems and Competitions, ICARSC 2017 in 2017 IEEE INTERNATIONAL CONFERENCE ON AUTONOMOUS ROBOT SYSTEMS AND COMPETITIONS (ICARSC), PAGES: 302-309
INDEXED IN: Scopus WOS DBLP CrossRef: 5
3893
TITLE: Evaluation of Virtual Reality Navigation Interfaces using the Steering Law
AUTHORS: Pedro Monteiro ; Diana Carvalho ; Miguel Melo ; Frederico Branco ; Maximino Bessa ;
PUBLISHED: 2017, SOURCE: 24th Encontro Portugues de Computacao Grcfica e Interacao (EPCGI) in 2017 24 ENCONTRO PORTUGUES DE COMPUTACAO GRAFICA E INTERACAO (EPCGI), VOLUME: 2017-January, PAGES: 1-7
INDEXED IN: Scopus WOS CrossRef
3894
TITLE: Evolução da insulinorresistência em doentes submetidos a cirurgia bariátrica
AUTHORS: M. Areias; O. Neves; Rui Poínhos; Bruno M P M Oliveira ; Flora Correia;
PUBLISHED: 2017
INDEXED IN: Handle
3895
TITLE: Evolutionary role mining in complex networks by ensemble clustering
AUTHORS: Sarvenaz Choobdar ; Pedro Manuel Pinto Ribeiro ; Fernando M A Silva ;
PUBLISHED: 2017, SOURCE: 32nd Annual ACM Symposium on Applied Computing, SAC 2017 in Proceedings of the Symposium on Applied Computing, SAC 2017, Marrakech, Morocco, April 3-7, 2017, VOLUME: Part F128005, PAGES: 1053-1060
INDEXED IN: Scopus DBLP CrossRef: 1
3897
TITLE: Exploiting Partial Knowledge for Efficient Model Analysis
AUTHORS: Nuno Macedo ; Alcino Cunha ; Eduardo Pessoa;
PUBLISHED: 2017, SOURCE: 15th International Conference on Automated Technology for Verification and Analysis, ATVA 2017 in Automated Technology for Verification and Analysis - 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings, VOLUME: 10482, PAGES: 344-362
INDEXED IN: Scopus DBLP CrossRef: 5
3898
TITLE: Exploratory data analysis for interval compositional data  Full Text
AUTHORS: Karel Hron; Paula Brito ; Peter Filzmoser;
PUBLISHED: 2017, SOURCE: ADVANCES IN DATA ANALYSIS AND CLASSIFICATION, VOLUME: 11, ISSUE: 2, PAGES: 223-241
INDEXED IN: Scopus WOS DBLP CrossRef: 6
3899
TITLE: Exploring Resampling with Neighborhood Bias on Imbalanced Regression Problems
AUTHORS: Paula Branco ; Luis Torgo ; Rita P Ribeiro ;
PUBLISHED: 2017, SOURCE: 18th EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE (EPIA 2017), VOLUME: 10423, PAGES: 513-524
INDEXED IN: Scopus WOS DBLP CrossRef: 2
3900
TITLE: Exploring SDN to deploy flexible sampling-based network monitoring
AUTHORS: da Silva, CP; Lima, SR; Silva, JM ;
PUBLISHED: 2017, SOURCE: 17th International Conference on Next Generation Teletraffic and Wired/Wireless Advanced Networks and Systems, NEW2AN 2017, 10th Conference on Internet of Things and Smart Spaces, ruSMART 2017 and 3rd International Workshop on Nano-scale Computing and Communications, NsCC 2017 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 10531 LNCS, PAGES: 109-120
INDEXED IN: Scopus CrossRef: 1

Results per Page: 20.
Page 195 of 442. Total results: 8829.