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
5121
TÍTULO: Automating the Extraction of Static Content and Dynamic Behaviour from e-Commerce Websites
AUTORES: Dias, JP ; Ferreira, HS ;
PUBLICAÇÃO: 2017, FONTE: 8th International Conference on Ambient Systems, Networks and Technologies (ANT) / 7th International Conference on Sustainable Energy Information Technology (SEIT) in 8TH INTERNATIONAL CONFERENCE ON AMBIENT SYSTEMS, NETWORKS AND TECHNOLOGIES (ANT-2017) AND THE 7TH INTERNATIONAL CONFERENCE ON SUSTAINABLE ENERGY INFORMATION TECHNOLOGY (SEIT 2017), VOLUME: 109, PÁGINAS: 297-304
INDEXADO EM: Scopus WOS DBLP CrossRef: 11
5122
TÍTULO: Behavioural types: From theory to tools english
AUTORES: Gay, S ; Ravara, A;
PUBLICAÇÃO: 2017, FONTE: Behavioural Types: from Theory to Tools English, PÁGINAS: 1-375
INDEXADO EM: Scopus CrossRef: 27
5123
TÍTULO: Benchmarking IoT Middleware Platforms
AUTORES: Cardoso, J; Pereira, C; Aguiar, A ; Morla, R ;
PUBLICAÇÃO: 2017, FONTE: 18th IEEE International Symposium on A World of Wireless, Mobile and Multimedia Networks (WoWMoM) in 2017 IEEE 18TH INTERNATIONAL SYMPOSIUM ON A WORLD OF WIRELESS, MOBILE AND MULTIMEDIA NETWORKS (WOWMOM), PÁGINAS: 1-7
INDEXADO EM: Scopus WOS DBLP CrossRef: 17
5124
TÍTULO: Bidirectional Transformations (BX 2015) Editorial
AUTORES: Alcino Cunha ; Ekkart Kindler;
PUBLICAÇÃO: 2017, FONTE: J. Object Technol., VOLUME: 16, NÚMERO: 1, PÁGINAS: 1-2
INDEXADO EM: Scopus DBLP CrossRef
5125
TÍTULO: BiFluX: A Bidirectional Functional Update Language for XML
AUTORES: Tao Zan; Hugo Pacheco ; Hsiang Shang Ko; Zhenjiang Hu;
PUBLICAÇÃO: 2017, FONTE: Inf. Media Technol., VOLUME: 12, NÚMERO: 4, PÁGINAS: 1-23
INDEXADO EM: Scopus DBLP
5126
TÍTULO: Big Data in Efficient Smart Grids Management
AUTORES: Eugénia Vinagre; Tiago Pinto ; Zita A Vale ; Carlos Ramos;
PUBLICAÇÃO: 2017, FONTE: PAAMS (Special Sessions), VOLUME: 619, PÁGINAS: 297-299
INDEXADO EM: Scopus DBLP CrossRef
5127
TÍTULO: Bilateral contract prices estimation using a Q-leaming based approach
AUTORES: Jaime Rodriguez Fernandez; Tiago Pinto ; Francisco Silva; Isabel Praça ; Zita A Vale ; Juan Manuel Corchado;
PUBLICAÇÃO: 2017, FONTE: SSCI, VOLUME: 2018-January, PÁGINAS: 1-6
INDEXADO EM: Scopus DBLP CrossRef: 2
5128
TÍTULO: Birth weight, parents' body mass index and education level and nutritional status in a population between 6 and 18 years old
AUTORES: B. Sousa; C. Pinto; Bruno M Oliveira ; Maria D V d Almeida;
PUBLICAÇÃO: 2017
INDEXADO EM: Handle
5129
TÍTULO: Bistability of Evolutionary Stable Vaccination Strategies in the Reinfection SIRI Model  Full Text
AUTORES: Jose Martins ; Alberto Pinto ;
PUBLICAÇÃO: 2017, FONTE: BULLETIN OF MATHEMATICAL BIOLOGY, VOLUME: 79, NÚMERO: 4, PÁGINAS: 853-883
INDEXADO EM: Scopus WOS CrossRef: 7
5130
TÍTULO: Bootstrap and permutation tests in ANOVA for directional data  Full Text
AUTORES: Adelaide Figueiredo ;
PUBLICAÇÃO: 2017, FONTE: COMPUTATIONAL STATISTICS, VOLUME: 32, NÚMERO: 4, PÁGINAS: 1213-1240
INDEXADO EM: Scopus WOS CrossRef: 6
5131
TÍTULO: Borrowing an Identity for a Distributed Counter. Work in progress report
AUTORES: Enes, V ; Baquero, C ; Almeida, PS ; Leitao, J;
PUBLICAÇÃO: 2017, FONTE: 3rd International Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC) in PROCEEDINGS OF THE 3RD INTERNATIONAL WORKSHOP ON PRINCIPLES AND PRACTICE OF CONSISTENCY FOR DISTRIBUTED DATA (PAPOC 17), PÁGINAS: 4:1-4:3
INDEXADO EM: Scopus WOS DBLP CrossRef
5132
TÍTULO: Breastfeeding and nutritional status in a population between 6 and 18 years old
AUTORES: B. Sousa; C. Pinto; Bruno M Oliveira ; Maria D V d Almeida;
PUBLICAÇÃO: 2017
INDEXADO EM: Handle
5133
TÍTULO: Bringing Bayesian networks to bedside: a web-based framework
AUTORES: Oliveira, R; Ferreira, J ; Libânio, D ; Dias, CC ; Rodrigues, PP ;
PUBLICAÇÃO: 2017, FONTE: 30th IEEE International Symposium on Computer-Based Medical Systems (IEEE CBMS) in 2017 IEEE 30TH INTERNATIONAL SYMPOSIUM ON COMPUTER-BASED MEDICAL SYSTEMS (CBMS), VOLUME: 2017-June, PÁGINAS: 369-372
INDEXADO EM: Scopus WOS DBLP CrossRef
5134
TÍTULO: Building a Semi-Supervised Dataset to Train Journalistic Relevance Detection Models
AUTORES: Guimaraes, N ; Figueira, A ;
PUBLICAÇÃO: 2017, FONTE: 15th IEEE International Conference on Dependable, Autonomic and Secure Computing, 2017 IEEE 15th International Conference on Pervasive Intelligence and Computing, 2017 IEEE 3rd International Conference on Big Data Intelligence and Computing and 2017 IEEE Cyber Science and Technology Congress, DASC-PICom-DataCom-CyberSciTec 2017 in 2017 IEEE 15TH INTL CONF ON DEPENDABLE, AUTONOMIC AND SECURE COMPUTING, 15TH INTL CONF ON PERVASIVE INTELLIGENCE AND COMPUTING, 3RD INTL CONF ON BIG DATA INTELLIGENCE AND COMPUTING AND CYBER SCIENCE AND TECHNOLOGY CONGRESS(DASC/PICOM/DATACOM/CYBERSCI, VOLUME: 2018-January, PÁGINAS: 1271-1277
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
5135
TÍTULO: Cargo dynamic stability in the container loading problem - a physics simulation tool approach
AUTORES: António Galrão Ramos ; Jacob, J ; Jorge Fonseca Justo ; José Fernando Oliveira ; Rui Rodrigues ; Antonio Miguel Gomes ;
PUBLICAÇÃO: 2017, FONTE: Int. J. Simul. Process. Model., VOLUME: 12, NÚMERO: 1, PÁGINAS: 29-41
INDEXADO EM: Scopus DBLP CrossRef: 9
5136
TÍTULO: Case based reasoning with expert system and swarm intelligence to determine energy reduction in buildings energy management  Full Text
AUTORES: Faia, R; Pinto, T ; Abrishambaf, O; Fernandes, F; Vale, Z ; Corchado, JM;
PUBLICAÇÃO: 2017, FONTE: ENERGY AND BUILDINGS, VOLUME: 155, PÁGINAS: 269-281
INDEXADO EM: Scopus WOS CrossRef: 46
5137
TÍTULO: Certification of Workflows in a Component-Based Cloud of High Performance Computing Services
AUTORES: Dantas, ABD; de Carvalho, FH; Barbosa, LS ;
PUBLICAÇÃO: 2017, FONTE: 14th International Conference on Formal Aspects of Component Software (FACS) in FORMAL ASPECTS OF COMPONENT SOFTWARE (FACS 2017), VOLUME: 10487, PÁGINAS: 198-215
INDEXADO EM: Scopus WOS DBLP CrossRef
5138
TÍTULO: Certified Password Quality
AUTORES: João F Ferreira; Saul A Johnson; Alexandra Mendes ; Phillip J Brooke;
PUBLICAÇÃO: 2017, FONTE: Lecture Notes in Computer Science - Integrated Formal Methods, PÁGINAS: 407-421
INDEXADO EM: CrossRef: 4
5139
TÍTULO: Certified Password Quality - A Case Study Using Coq and Linux Pluggable Authentication Modules
AUTORES: João F Ferreira; Saul A Johnson; Alexandra Mendes ; Phillip J Brooke;
PUBLICAÇÃO: 2017, FONTE: IFM, VOLUME: 10510 LNCS, PÁGINAS: 407-421
INDEXADO EM: Scopus DBLP
5140
TÍTULO: CERTIFIED ROOMS FOR ELEARNING STUDENTS EVALUATION
AUTORES: Jorge Borges; Carlos Vaz; Margarida Amaral; Elsa Justino; Joao Barroso ; Arsenio Reis ;
PUBLICAÇÃO: 2017, FONTE: 11th International Conference on Technology, Education and Development (INTED) in INTED2017: 11TH INTERNATIONAL TECHNOLOGY, EDUCATION AND DEVELOPMENT CONFERENCE, PÁGINAS: 9566-9571
INDEXADO EM: WOS CrossRef: 1

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