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

536 Team Members
Filters -> Year: 2026
5242
TITLE: Exploiting Partial Knowledge for Efficient Model Analysis
AUTHORS: Macedo, N ; Cunha, A ; Pessoa, E;
PUBLISHED: 2017, SOURCE: AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS (ATVA 2017), VOLUME: 10482, PAGES: 344-362
INDEXED IN: Scopus WOS DBLP CrossRef: 5
5243
TITLE: Exploratory data analysis for interval compositional data
AUTHORS: Hron, K; Brito, P ; Filzmoser, P;
PUBLISHED: 2017, SOURCE: ADVANCES IN DATA ANALYSIS AND CLASSIFICATION, VOLUME: 11, ISSUE: 2, PAGES: 223-241
INDEXED IN: Scopus WOS DBLP CrossRef: 7
5244
TITLE: Exploring Resampling with Neighborhood Bias on Imbalanced Regression Problems
AUTHORS: Branco, P ; Torgo, L ; Ribeiro, RP ;
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: 4
5245
TITLE: Exploring SDN to Deploy Flexible Sampling-Based Network Monitoring
AUTHORS: Catarina Pires da Silva; Solange Rito Lima; João Marco C Silva ;
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 NEW2AN, VOLUME: 10531 LNCS, PAGES: 109-120
INDEXED IN: Scopus DBLP CrossRef
5246
TITLE: Expressing and Applying C plus plus Code Transformations for the HDF5 API Through a DSL
AUTHORS: Golasowski, M; Bispo, J ; Martinovic, J; Slaninová, K; Cardoso, JMP ;
PUBLISHED: 2017, SOURCE: 16th IFIP TC8 International Conference on Computer Information Systems and Industrial Management (CISIM) in COMPUTER INFORMATION SYSTEMS AND INDUSTRIAL MANAGEMENT (CISIM 2017), VOLUME: 10244, PAGES: 303-314
INDEXED IN: Scopus WOS DBLP CrossRef: 5 Handle
5247
TITLE: Extending the Applicability of Graphlets to Directed Networks
AUTHORS: Aparício, D ; Ribeiro, P ; Silva, F ;
PUBLISHED: 2017, SOURCE: IEEE-ACM TRANSACTIONS ON COMPUTATIONAL BIOLOGY AND BIOINFORMATICS, VOLUME: 14, ISSUE: 6, PAGES: 1302-1315
INDEXED IN: Scopus WOS DBLP CrossRef: 12
5248
TITLE: Fading histograms in detecting distribution and concept changes
AUTHORS: Raquel Sebastião ; João Gama ; Teresa Mendonça ;
PUBLISHED: 2017, SOURCE: Int. J. Data Sci. Anal., VOLUME: 3, ISSUE: 3, PAGES: 183-212
INDEXED IN: DBLP CrossRef: 10 Handle
5249
TITLE: Fault-tolerant aggregation: Flow-Updating meets Mass-Distribution
AUTHORS: Almeida, PS ; Baquero, C ; Farach Colton, M; Jesus, P; Mosteiro, MA;
PUBLISHED: 2017, SOURCE: DISTRIBUTED COMPUTING, VOLUME: 30, ISSUE: 4, PAGES: 281-291
INDEXED IN: Scopus WOS DBLP CrossRef: 6
5250
TITLE: Feature extraction for the author name disambiguation problem in a bibliographic database
AUTHORS: Jorge M B Silva ; Fernando M A Silva ;
PUBLISHED: 2017, SOURCE: SAC, VOLUME: Part F128005, PAGES: 783-789
INDEXED IN: Scopus DBLP CrossRef: 8
5251
TITLE: Feature ranking in hoeffding algorithms for regression
AUTHORS: João Duarte; João Gama ;
PUBLISHED: 2017, SOURCE: SAC, VOLUME: Part F128005, PAGES: 836-841
INDEXED IN: Scopus DBLP CrossRef: 6
5252
TITLE: FEUP at SemEval-2017 Task 5: Predicting Sentiment Polarity and Intensity with Financial Word Embeddings
AUTHORS: Pedro Saleiro; Eduarda Mendes Rodrigues; Carlos Soares ; Eugénio C Oliveira ;
PUBLISHED: 2017, SOURCE: SemEval@ACL, PAGES: 904-908
INDEXED IN: DBLP
5254
TITLE: Foreword to the special issue of the 18th IEEE international conference on computational science and engineering (CSE2015)
AUTHORS: Plessl, C; Cong, GJ; Cardoso, JMP ;
PUBLISHED: 2017, SOURCE: CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, VOLUME: 29, ISSUE: 7
INDEXED IN: Scopus WOS DBLP CrossRef
5255
TITLE: Foreword to the Special Section on Reconfigurable Computing
AUTHORS: Derrien, S; Atasu, K; Cardoso, JMP ; Becker, J;
PUBLISHED: 2017, SOURCE: JOURNAL OF SIGNAL PROCESSING SYSTEMS FOR SIGNAL IMAGE AND VIDEO TECHNOLOGY, VOLUME: 88, ISSUE: 2, PAGES: 103-105
INDEXED IN: Scopus WOS DBLP CrossRef: 1
5256
5257
TITLE: Formal Concept Analysis Applied to Professional Social Networks Analysis
AUTHORS: Paula R C Silva ; Sérgio M Dias; Wladmir C Brandão; Mark A Song; Luis E Zárate;
PUBLISHED: 2017, SOURCE: Proceedings of the 19th International Conference on Enterprise Information Systems
INDEXED IN: CrossRef: 6
5258
TITLE: Formal Verification of ROS-based Robotic Applications using Timed-Automata
AUTHORS: Halder, R; Proença, J ; Macedo, N ; Santos, A;
PUBLISHED: 2017, SOURCE: 5th IEEE/ACM International FME Workshop on Formal Methods in Software Engineering (FormaliSE) in 2017 IEEE/ACM 5TH INTERNATIONAL FME WORKSHOP ON FORMAL METHODS IN SOFTWARE ENGINEERING (FORMALISE) PROCEEDINGS, PAGES: 44-50
INDEXED IN: Scopus WOS DBLP CrossRef: 54
5259
TITLE: FOSTERING EFFICIENT LEARNING IN THE TECHNICAL FIELD OF ROBOTICS BY CHANGING THE AUTONOMOUS DRIVING COMPETITION OF THE PORTUGUESE ROBOTICS OPEN
AUTHORS: Valter Costa ; Joao Resende ; Patricia Sousa ; Armando Sousa ; Nuno Lau ; Luis Reis ;
PUBLISHED: 2017, SOURCE: 10th Annual International Conference of Education, Research and Innovation (ICERI) in 10TH INTERNATIONAL CONFERENCE OF EDUCATION, RESEARCH AND INNOVATION (ICERI2017), PAGES: 7705-7711
INDEXED IN: WOS CrossRef: 1
5260
TITLE: Framework 4 relief pictograms
AUTHORS: Giesteira, B ; Mesquita, J; Fernandes, M ; Silva, A;
PUBLISHED: 2017, SOURCE: International Journal of Interdisciplinary Social and Community Studies, VOLUME: 12, ISSUE: 2, PAGES: 1-11
INDEXED IN: Scopus CrossRef

Results per Page: 20.
Page 263 of 533. Total results: 10646.