Inesc Technology and Science (INESC TEC)
Inesc Tecnologia e Ciência

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

1699 Team Members
Filters -> Year: 2024
9481
TITLE: A Novel Approach using Alloy in Domain-specific Language Engineering
AUTHORS: Rodrigo M L M Moreira; Ana C R Paiva ;
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
9482
TITLE: A novel BEV concept based on fixed and swappable li-ion battery packs
AUTHORS: Jorge V Barreras; Pinto, C; de Castro, R; Schaltz, E; Andreasen, SJ; Rasmussen, PO; Araujo, RE ;
PUBLISHED: 2015, SOURCE: International Conference on Ecological Vehicles and Renewable Energies (EVER) in 2015 TENTH INTERNATIONAL CONFERENCE ON ECOLOGICAL VEHICLES AND RENEWABLE ENERGIES (EVER)
INDEXED IN: Scopus WOS CrossRef: 7
9483
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 Handle
9484
TITLE: A Numerical and experimental study of the Remote Long-Period Grating Fiber Sensor with Raman Amplification
AUTHORS: Thiago V N Coelho; Jose Pontes, MJ; Jose L Santos ; Bessa dos Santos, AB; Daniel D Silveira; Vinicius N H Silva; Lopez Barbero, AP; Felipe S Delgado; Presley X Neto;
PUBLISHED: 2015, SOURCE: Microwave and Optoelectronics Conference (IMOC), 2015 SBMO/IEEE MTT-S International in 2015 SBMO/IEEE MTT-S INTERNATIONAL MICROWAVE AND OPTOELECTRONICS CONFERENCE (IMOC), VOLUME: 2015-December
INDEXED IN: Scopus WOS CrossRef: 3
9485
TITLE: A Parallel Computing Hybrid Approach for Feature Selection
AUTHORS: Jorge Silva ; Ana Aguiar ; Fernando Silva ;
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: 5
9486
TITLE: A perspective on architectural re-engineering  Full Text
AUTHORS: Alejandro Sanchez ; Nuno Oliveira; Luis S Barbosa ; Pedro Henriques ;
PUBLISHED: 2015, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 98, PAGES: 764-784
INDEXED IN: Scopus WOS DBLP CrossRef: 4
9487
TITLE: A Pitch-Depth Bottom Following Controller for AUVs using Eigenstructure Assignment
AUTHORS: Melo, J ; Matos, A ;
PUBLISHED: 2015, SOURCE: 10th IFAC Conference on Manoeuvring and Control of Marine Craft, MCMC 2015 in IFAC PAPERSONLINE, VOLUME: 48, ISSUE: 16, PAGES: 43-48
INDEXED IN: Scopus WOS
9488
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
9489
TITLE: A proposal to incorporate digital auscultation and its processing into an existing electronic health record
AUTHORS: Gomes, P; Frade, S; Castro, A; Cruz Correia, R ; Coimbra, M ;
PUBLISHED: 2015, SOURCE: 8th International Conference on Health Informatics, HEALTHINF 2015 in HEALTHINF 2015 - 8th International Conference on Health Informatics, Proceedings; Part of 8th International Joint Conference on Biomedical Engineering Systems and Technologies, BIOSTEC 2015, PAGES: 143-150
INDEXED IN: Scopus DBLP CrossRef: 8
9490
TITLE: A Reconfigurable Architecture for Binary Acceleration of Loops with Memory Accesses  Full Text
AUTHORS: Nuno Paulino ; Joao Canas Ferreira ; Joao M P Cardoso ;
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
9491
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: 25
9492
TITLE: A review of simheuristics: Extending metaheuristics to deal with stochastic combinatorial optimization problems
AUTHORS: Angel A Juan; Javier Faulin; Scott E Grasman; Markus Rabe; Goncalo Figueira ;
PUBLISHED: 2015, SOURCE: OPERATIONS RESEARCH PERPSECTIVES, VOLUME: 2, PAGES: 62-72
INDEXED IN: Scopus WOS CrossRef: 162
9493
TITLE: A Robot in the Classroom
AUTHORS: Manuel F Silva ; Belen Curto; Vidal Moreno;
PUBLISHED: 2015, SOURCE: 3rd International Conference on Technological Ecosystems for Enhancing Multiculturality in THIRD INTERNATIONAL CONFERENCE ON TECHNOLOGICAL ECOSYSTEMS FOR ENHANCING MULTICULTURALITY, PROCEEDINGS TEEM'15, VOLUME: Part F118785, PAGES: 197-201
INDEXED IN: Scopus WOS DBLP CrossRef: 1
9494
TITLE: A short note on type-inhabitation: Formula-trees vs. game semantics  Full Text
AUTHORS: Alves, S ; Broda, S ;
PUBLISHED: 2015, SOURCE: INFORMATION PROCESSING LETTERS, VOLUME: 115, ISSUE: 11, PAGES: 908-911
INDEXED IN: Scopus WOS DBLP CrossRef: 3
9495
TITLE: A Special-Purpose Language for Implementing Pipelined FPGA-based Accelerators
AUTHORS: Cristiano B de Oliveira; Ricardo Menotti; Joao M P Cardoso ; Eduardo Marques;
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
9496
TITLE: A Structural Approach to Assess Graph-Based Exercises
AUTHORS: Ruben Sousa; Jose Paulo Leal ;
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
9497
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 Handle
9498
TITLE: A Survey of Distributed Data Aggregation Algorithms  Full Text
AUTHORS: Paulo Jesus ; Carlos Baquero ; Paulo Sergio Almeida ;
PUBLISHED: 2015, SOURCE: IEEE COMMUNICATIONS SURVEYS AND TUTORIALS, VOLUME: 17, ISSUE: 1, PAGES: 381-404
INDEXED IN: Scopus WOS DBLP CrossRef: 102
9499
TITLE: A Survey of Predictive Modelling under Imbalanced Distributions PDF
AUTHORS: Paula Branco ; Luis Torgo ; Rita P. Ribeiro ;
PUBLISHED: 2015, SOURCE: CoRR, VOLUME: abs/1505.01658
INDEXED IN: DBLP arXiv
9500
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: 18

Results per Page: 20.
Page 475 of 908. Total results: 18141.