CS: Computer Science
CS: Computer Science

Inesc Tecnologia e Ciência (INESC TEC)

Publications Actions
Publicações no Perfil Institucional do Authenticus

Uma Instituição (Grupo) no Authenticus é uma organização que engloba um conjunto de Investigadores (equipa da Instituição ou do Grupo). O conjunto de Investigadores depende da estrutura organizacional da instituição em cada ano e pode ser definido no perfil da Instituição, na secção “Investigadores”. Com base na equipa definida, o Authenticus produz listas de publicações, estatísticas e relatórios institucionais.

As publicações listadas no perfil da Instituição no Authenticus dependem de dois parâmetros:

  • Investigadores associados à equipa da Instituição em cada ano.
  • Origem das Publicações.

As publicações associadas à Instituição podem ter três origens:

  • Publicações validadas pelos membros da equipa - Inclui todas as publicações validadas pelos membros da equipa; é necessário que a equipa da Instituição esteja definida.
  • Todas as Publicadas pelos membros da equipa - Inclui todas as anteriores mais aquelas em que um dos autores foi identificado com um membro da equipa, ainda que não tenha sido validada; é necessário que a equipa da Instituição esteja definida.
  • Com Base na Afiliação - inclui todas as publicações que têm a Instituição ou o Grupo mencionado na afiliação; não é necessário que a equipa da Instituição esteja definida mas, por outro lado, não é garantido que todas as publicações da Instituição sejam listadas.
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: 10649

536 Team Members
Filters -> Year: 2026
5581
TÍTULO: A branch-and-cut algorithm for a multi-item inventory distribution problem
AUTORES: Agra, A; Cerveira, A ; Requejo, C;
PUBLICAÇÃO: 2016, FONTE: 2nd International Workshop on Machine Learning, Optimization and Big Data, MOD 2016 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 10122 LNCS, PÁGINAS: 144-158
INDEXADO EM: Scopus CrossRef: 3
5582
TÍTULO: A calculational approach to path-based properties of the Eisenstein-Stern and Stern-Brocot trees via matrix algebra
AUTORES: Ferreira, JF ; Mendes, A ;
PUBLICAÇÃO: 2016, FONTE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 85, NÚMERO: 5, PÁGINAS: 906-920
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
5583
TÍTULO: A Closer Look into the AER Model
AUTORES: Maia, C; Nogueira, L ; Pinho, LM ; Perez, DG;
PUBLICAÇÃO: 2016, FONTE: 21st IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) in 2016 IEEE 21ST INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA), VOLUME: 2016-November
INDEXADO EM: Scopus WOS CrossRef: 15
5584
TÍTULO: A cross-layer QoS management framework for ZigBee cluster-tree networks
AUTORES: Severino, R ; Ullah, S; Tovar, E ;
PUBLICAÇÃO: 2016, FONTE: TELECOMMUNICATION SYSTEMS, VOLUME: 63, NÚMERO: 3, PÁGINAS: 381-397
INDEXADO EM: Scopus WOS DBLP CrossRef: 4 Handle
5585
TÍTULO: A decision support method to identify target geographic markets for health care providers. A new method to identify target geographic markets  Full Text
AUTORES: Pierre Polzin; Jose Borges ; Antonio Coelho ;
PUBLICAÇÃO: 2016, FONTE: PAPERS IN REGIONAL SCIENCE, VOLUME: 95, NÚMERO: 4, PÁGINAS: 843-+
INDEXADO EM: Scopus WOS CrossRef: 1
5586
TÍTULO: A Framework for Quality Assessment of ROS Repositories
AUTORES: Santos, A ; Cunha, A ; Macedo, N ; Lourenço, C ;
PUBLICAÇÃO: 2016, FONTE: IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) in 2016 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS 2016), VOLUME: 2016-November, PÁGINAS: 4491-4496
INDEXADO EM: Scopus WOS DBLP CrossRef: 36
5587
TÍTULO: A Graph-Based Iterative Compiler Pass Selection and Phase Ordering Approach
AUTORES: Nobre, R ; Martins, LGA; Cardoso, JMP ;
PUBLICAÇÃO: 2016, FONTE: ACM SIGPLAN NOTICES, VOLUME: 51, NÚMERO: 5, PÁGINAS: 21-30
INDEXADO EM: Scopus WOS DBLP CrossRef: 11
5589
TÍTULO: A Lock-Free Hash Trie Design for Concurrent Tabled Logic Programs
AUTORES: Miguel Areias ; Rocha, R ;
PUBLICAÇÃO: 2016, FONTE: INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING, VOLUME: 44, NÚMERO: 3, PÁGINAS: 386-406
INDEXADO EM: Scopus WOS DBLP CrossRef: 11
5590
TÍTULO: A method for rigorous design of reconfigurable systems
AUTORES: Madeira, A ; Neves, R ; Barbosa, LS ; Martins, MA ;
PUBLICAÇÃO: 2016, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 132, PÁGINAS: 50-76
INDEXADO EM: Scopus WOS DBLP CrossRef: 12
5591
TÍTULO: A Mobile-Based Attribute Aggregation Architecture for User-Centric Identity Management
AUTORES: Alexandre B Augusto; Manuel E Correia ;
PUBLICAÇÃO: 2016, FONTE: Psychology and Mental Health, PÁGINAS: 470-492
INDEXADO EM: CrossRef
5592
TÍTULO: A model for analyzing performance problems and root causes in the personal software process
AUTORES: Raza, M ; Faria, JP ;
PUBLICAÇÃO: 2016, FONTE: JOURNAL OF SOFTWARE-EVOLUTION AND PROCESS, VOLUME: 28, NÚMERO: 4, PÁGINAS: 254-271
INDEXADO EM: Scopus WOS DBLP CrossRef: 5
5593
TÍTULO: A Model-Based Approach for Product Testing and Certification in Digital Ecosystems
AUTORES: Lima, B ; Faria, JP ;
PUBLICAÇÃO: 2016, FONTE: 9th IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) in 2016 IEEE NINTH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW), PÁGINAS: 199-208
INDEXADO EM: WOS DBLP CrossRef: 1
5594
TÍTULO: A modified particle swarm optimisation algorithm to solve the part feeding problem at assembly lines  Full Text
AUTORES: Masood Fathi; Victoria Rodriguez; Dalila B M M Fontes ; Maria Jesus Alvarez;
PUBLICAÇÃO: 2016, FONTE: INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH, VOLUME: 54, NÚMERO: 3, PÁGINAS: 878-893
INDEXADO EM: Scopus WOS CrossRef: 58
5596
TÍTULO: A Multidimensional Information System Architecture Proposal for Management Support in Portuguese Higher Education The University of Tras-os-Montes and Alto Douro Case Study
AUTORES: Jose Bessa; Frederico Branco ; Antonio Costa ; Jose Martins ; Ramiro Goncalves ;
PUBLICAÇÃO: 2016, FONTE: 11th Iberian Conference on Information Systems and Technologies (CISTI) in 2016 11TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI), VOLUME: 2016-July
INDEXADO EM: Scopus WOS CrossRef: 6
5598
TÍTULO: A Multiperspective Web Accessibility Adoption Model
AUTORES: Carlos Peixoto; Jose Martins ; Ramiro Goncalves ; Frederico Branco ;
PUBLICAÇÃO: 2016, FONTE: 11th Iberian Conference on Information Systems and Technologies (CISTI) in 2016 11TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI), VOLUME: 2016-July
INDEXADO EM: Scopus WOS CrossRef
5599
TÍTULO: A new dynamic modeling framework for credit risk assessment
AUTORES: Sousa, MR ; Gama, J ; Brandao, E ;
PUBLICAÇÃO: 2016, FONTE: EXPERT SYSTEMS WITH APPLICATIONS, VOLUME: 45, PÁGINAS: 341-351
INDEXADO EM: Scopus WOS DBLP CrossRef: 61
5600
TÍTULO: A new mixed integer optimal control formulation of UC Problem
AUTORES: Dalila B Fontes ;
PUBLICAÇÃO: 2016
INDEXADO EM: Handle

Results per Page: 20.
Página 280 de 533. Total de resultados: 10649.