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

536 Team Members
Filters -> Year: 2026
6181
TITLE: A new concept of 3D DCS interface application for industrial production console operators
AUTHORS: Gonçalves, R ; Martins, J ; Branco, F ; Castro, MRG; Cota, MP; Barroso, J ;
PUBLISHED: 2015, SOURCE: UNIVERSAL ACCESS IN THE INFORMATION SOCIETY, VOLUME: 14, ISSUE: 3, PAGES: 399-413
INDEXED IN: Scopus WOS DBLP CrossRef: 7
6182
TITLE: A Novel Approach using Alloy in Domain-specific Language Engineering
AUTHORS: Moreira, RMLM; Paiva, ACR ;
PUBLISHED: 2015, SOURCE: 3rd International Conference on Model-Driven Engineering and Software Development (MODELSWARD) in MODELSWARD 2015 PROCEEDINGS OF THE 3RD INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT, PAGES: 157-164
INDEXED IN: Scopus WOS DBLP CrossRef: 2
6183
TITLE: A novel run-time monitoring architecture for safe and efficient inline monitoring
AUTHORS: Nelissen, G; Pereira, D ; Pinho, LM ;
PUBLISHED: 2015, SOURCE: 20th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2015 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 9111, PAGES: 66-82
INDEXED IN: Scopus CrossRef: 5 Handle
6184
TITLE: A Parallel Computing Hybrid Approach for Feature Selection
AUTHORS: Silva, J ; Aguiar, A ; Silva, F ;
PUBLISHED: 2015, SOURCE: IEEE 18th International Conference on Computational Science and Engineering (CSE) in 2015 IEEE 18TH INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE AND ENGINEERING (CSE), PAGES: 97-104
INDEXED IN: Scopus WOS DBLP CrossRef: 6
6186
TITLE: A perspective on architectural re-engineering
AUTHORS: Sanchez, A ; Oliveira, N; Barbosa, LS ; Henriques, P ;
PUBLISHED: 2015, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 98, PAGES: 764-784
INDEXED IN: Scopus WOS DBLP CrossRef: 4
6187
TITLE: A Proposal for a social e-learning model [Proposta de um modelo de e-learning social]  Full Text
AUTHORS: Martins, J ; Gonçalves, R ; Santos, V; Cota, MP; Oliveira, T; Branco, F ;
PUBLISHED: 2015, SOURCE: RISTI - Revista Iberica de Sistemas e Tecnologias de Informacao, ISSUE: 16, PAGES: 92-107
INDEXED IN: Scopus CrossRef: 2
6188
TITLE: A Real-Time Semantics for the IEC 61499 standard
AUTHORS: Lindgren, P; Lindner, M; Lindner, A; Vyatkin, V; Pereira, D ; Pinho, LM ;
PUBLISHED: 2015, SOURCE: 20th IEEE Conference on Emerging Technologies and Factory Automation (ETFA) in PROCEEDINGS OF 2015 IEEE 20TH CONFERENCE ON EMERGING TECHNOLOGIES & FACTORY AUTOMATION (ETFA), VOLUME: 2015-October
INDEXED IN: Scopus WOS CrossRef: 12
6189
TITLE: A Reconfigurable Architecture for Binary Acceleration of Loops with Memory Accesses
AUTHORS: Paulino, N ; Ferreira, JC ; Cardoso, JMP ;
PUBLISHED: 2015, SOURCE: ACM TRANSACTIONS ON RECONFIGURABLE TECHNOLOGY AND SYSTEMS, VOLUME: 7, ISSUE: 4, PAGES: 29:1-29:20
INDEXED IN: Scopus WOS DBLP CrossRef: 3
6190
TITLE: A review of performance criteria to validate simulation models  Full Text
AUTHORS: Joana Hora ; Pedro Campos ;
PUBLISHED: 2015, SOURCE: EXPERT SYSTEMS, VOLUME: 32, ISSUE: 5, PAGES: 578-595
INDEXED IN: Scopus WOS CrossRef: 31
6191
TITLE: A short note on type-inhabitation: Formula-trees vs. game semantics
AUTHORS: Alves, S ; Broda, S ;
PUBLISHED: 2015, SOURCE: INFORMATION PROCESSING LETTERS, VOLUME: 115, ISSUE: 11, PAGES: 908-911
INDEXED IN: Scopus WOS DBLP CrossRef: 4
6192
TITLE: A Special-Purpose Language for Implementing Pipelined FPGA-based Accelerators
AUTHORS: de Oliveira, CB; Menotti, R; Cardoso, JMP ; Marques, E;
PUBLISHED: 2015, SOURCE: 18th Forum on Specification and Design Languages (FDL) in 2015 18th Forum on Specification and Design Languages (FDL), VOLUME: 2015-October, PAGES: 74-81
INDEXED IN: Scopus WOS DBLP CrossRef
6193
TITLE: A Structural Approach to Assess Graph-Based Exercises
AUTHORS: Sousa, R; Leal, JP ;
PUBLISHED: 2015, SOURCE: 4th International Symposium on Languages, Applications and Technologies (SLATE) in LANGUAGES, APPLICATIONS AND TECHNOLOGIES, SLATE 2015, VOLUME: 563, PAGES: 182-193
INDEXED IN: Scopus WOS DBLP CrossRef: 2
6194
TITLE: A study of risk-aware program transformation
AUTHORS: Murta, D; Oliveira, JN ;
PUBLISHED: 2015, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 110, PAGES: 51-77
INDEXED IN: Scopus WOS CrossRef: 7 Handle
6195
TITLE: A Survey of Distributed Data Aggregation Algorithms
AUTHORS: Jesus, P ; Baquero, C ; Almeida, PS ;
PUBLISHED: 2015, SOURCE: IEEE COMMUNICATIONS SURVEYS AND TUTORIALS, VOLUME: 17, ISSUE: 1, PAGES: 381-404
INDEXED IN: Scopus WOS DBLP CrossRef: 132
6196
TITLE: A Survey of Predictive Modelling under Imbalanced Distributions
AUTHORS: Paula Branco ; Luís Torgo ; Rita P Ribeiro ;
PUBLISHED: 2015, SOURCE: CoRR, VOLUME: abs/1505.01658
INDEXED IN: DBLP
6197
TITLE: A survey of task-oriented crowdsourcing  Full Text
AUTHORS: Nuno Luz; Nuno Silva ; Paulo Novais ;
PUBLISHED: 2015, SOURCE: ARTIFICIAL INTELLIGENCE REVIEW, VOLUME: 44, ISSUE: 2, PAGES: 187-213
INDEXED IN: Scopus WOS CrossRef: 62
6198
TITLE: A survey on smart meeting rooms and open issues  Full Text
AUTHORS: Freitas, CF; Barroso, J ; Ramos, C;
PUBLISHED: 2015, SOURCE: International Journal of Smart Home, VOLUME: 9, ISSUE: 9, PAGES: 13-20
INDEXED IN: Scopus CrossRef: 5
6199
TITLE: A Typed Language for Events
AUTHORS: Alves, S ; Broda, S ; Fernández, M;
PUBLISHED: 2015, SOURCE: 25th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR) in LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2015), VOLUME: 9527, PAGES: 107-123
INDEXED IN: Scopus WOS DBLP CrossRef: 1
6200
TITLE: A-scan ultrasound system for real-time puncture safety assessment during percutaneous nephrolithotomy
AUTHORS: Rodrigues, PL; Rodrigues, NF ; Fonseca, JC ; von Kruger, MA; Pereira, WCA; Vilaca, JL;
PUBLISHED: 2015, SOURCE: Conference on Medical Imaging - Ultrasonic Imaging and Tomography in MEDICAL IMAGING 2015: ULTRASONIC IMAGING AND TOMOGRAPHY, VOLUME: 9419
INDEXED IN: Scopus WOS CrossRef: 1 Handle

Results per Page: 20.
Page 310 of 533. Total results: 10650.