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

531 Team Members
Filters -> Year: 2024
3841
TÍTULO: A Lock-Free Hash Trie Design for Concurrent Tabled Logic Programs  Full Text
AUTORES: Miguel Areias ; Ricardo Rocha ;
PUBLICAÇÃO: 2016, FONTE: INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING, VOLUME: 44, NÚMERO: 3, PÁGINAS: 386-406
INDEXADO EM: Scopus WOS DBLP CrossRef: 10
3842
TÍTULO: A method for rigorous design of reconfigurable systems  Full Text
AUTORES: Alexandre Madeira ; Renato Neves ; Luis S Barbosa ; Manuel A Martins ;
PUBLICAÇÃO: 2016, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 132, PÁGINAS: 50-76
INDEXADO EM: Scopus WOS DBLP CrossRef: 10
3843
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
3844
TÍTULO: A model for analyzing performance problems and root causes in the personal software process. A MODEL FOR ANALYZING PERFORMANCE PROBLEMS AND ROOT CAUSES IN THE PSP  Full Text
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: 4
3845
TÍTULO: A Model-Based Approach for Product Testing and Certification in Digital Ecosystems
AUTORES: Bruno Lima ; Joao Pascoal Faria ;
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
3846
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: 52
3848
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: 5
3850
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
3851
TÍTULO: A new dynamic modeling framework for credit risk assessment  Full Text
AUTORES: Maria Rocha Sousa ; Joao Gama ; Elisio Brandao ;
PUBLICAÇÃO: 2016, FONTE: EXPERT SYSTEMS WITH APPLICATIONS, VOLUME: 45, PÁGINAS: 341-351
INDEXADO EM: Scopus WOS DBLP CrossRef: 53
3852
TÍTULO: A Pipelined Multi-softcore Approach for the HOG Algorithm
AUTORES: Jose Arnaldo M Mascagni de Holanda; Joao Manuel P Paiva Cardoso ; Eduardo Marques;
PUBLICAÇÃO: 2016, FONTE: Conference on Design and Architectures for Signal and Image Processing (DASIP) in PROCEEDINGS OF THE 2016 CONFERENCE ON DESIGN AND ARCHITECTURES FOR SIGNAL & IMAGE PROCESSING, PÁGINAS: 146-153
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
3853
TÍTULO: A proof of concept of an augmented reality system for nuss surgery
AUTORES: Ferreira, A; Morais, P ; Queirós, S; Veloso, F; Rodrigues, NF ; Correira Pinto, J; Vilaça, JL;
PUBLICAÇÃO: 2016, FONTE: 5th Eccomas Thematic Conference on Computational Vision and Medical Image Processing, VipIMAGE 2015 in Computational Vision and Medical Image Processing V - Proceedings of 5th Eccomas Thematic Conference on Computational Vision and Medical Image Processing, VipIMAGE 2015, PÁGINAS: 227-232
INDEXADO EM: Scopus
3854
TÍTULO: A repeated strategy for dumping
AUTORES: Martins, J ; Banik, N; Pinto, AA ;
PUBLICAÇÃO: 2016, FONTE: 18th International Conference on Difference Equations and Applications, ICDEA 2012 in Springer Proceedings in Mathematics and Statistics, VOLUME: 180, PÁGINAS: 145-153
INDEXADO EM: Scopus CrossRef: 1
3855
TÍTULO: A Requirements-to-Implementation Mapping Tool for Requirements Traceability
AUTORES: Jorge Esparteiro Garcia ; Ana C R Paiva ;
PUBLICAÇÃO: 2016, FONTE: JSW, VOLUME: 11, NÚMERO: 2, PÁGINAS: 193-200
INDEXADO EM: DBLP CrossRef: 9
3856
TÍTULO: A safe-by-design programming language for wireless sensor networks  Full Text
AUTORES: Luis Lopes ; Francisco Martins ;
PUBLICAÇÃO: 2016, FONTE: JOURNAL OF SYSTEMS ARCHITECTURE, VOLUME: 63, PÁGINAS: 16-32
INDEXADO EM: Scopus WOS DBLP CrossRef: 8
3857
TÍTULO: A Self-organisation Model for Mobile Robots in Large Structure Assembly Using Multi-agent Systems
AUTORES: Spartak Ljasenko; Niels Lohse; Laura Justham; Ivo Pereira ; Michael R Jackson;
PUBLICAÇÃO: 2016, FONTE: Service Orientation in Holonic and Multi-Agent Manufacturing - Proceedings of SOHOMA 2016, Lisbon, Portugal, October 6-7, 2016, VOLUME: 694, PÁGINAS: 83-91
INDEXADO EM: DBLP
3858
TÍTULO: A Single-Assignment Translation for Annotated Programs PDF
AUTORES: Cláudio Belo Lourenço ; Maria João Frade ; Jorge Sousa Pinto ;
PUBLICAÇÃO: 2016, FONTE: CoRR, VOLUME: abs/1601.00584
INDEXADO EM: DBLP arXiv
3859
TÍTULO: A Special-Purpose Language for Implementing Pipelined FPGA-Based Accelerators
AUTORES: Cristiano B de Oliveira; Ricardo Menotti; Joao M P Cardoso ; Eduardo Marques;
PUBLICAÇÃO: 2016, FONTE: Forum on Specification and Design Languages (FDL) in LANGUAGES, DESIGN METHODS, AND TOOLS FOR ELECTRONIC SYSTEM DESIGN, VOLUME: 385, PÁGINAS: 75-99
INDEXADO EM: WOS
3860
TÍTULO: A Subgraph-Based Ranking System for Professional Tennis Players
AUTORES: David Aparicio ; Pedro Ribeiro ; Fernando Silva ;
PUBLICAÇÃO: 2016, FONTE: 6th International Workshop on Complex Networks (CompleNet) in COMPLEX NETWORKS VII, VOLUME: 644, PÁGINAS: 159-171
INDEXADO EM: Scopus WOS DBLP CrossRef: 4

Results per Page: 20.
Página 193 de 414. Total de resultados: 8280.