Inesc Technology and Science (INESC TEC)
Inesc Tecnologia e Ciência
AuthID: I-000-1SJ
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
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!
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!
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!
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: 18111
1699 Team MembersFilters -> Year: 2024
7561
TITLE: Bilateral contract prices estimation using a Q-leaming based approach
AUTHORS: Jaime Rodriguez-Fernandez; Tiago Pinto ; Francisco Silva; Isabel Praca; Zita Vale; Juan Manuel Corchado;
PUBLISHED: 2017, SOURCE: 2017 IEEE Symposium Series on Computational Intelligence (SSCI)
AUTHORS: Jaime Rodriguez-Fernandez; Tiago Pinto ; Francisco Silva; Isabel Praca; Zita Vale; Juan Manuel Corchado;
PUBLISHED: 2017, SOURCE: 2017 IEEE Symposium Series on Computational Intelligence (SSCI)
7562
TITLE: Bilateral contract prices estimation using a Q-leaming based approach
AUTHORS: Jaime Rodriguez Fernandez; Tiago Pinto ; Francisco Silva; Isabel Praça; Zita A Vale; Juan Manuel Corchado;
PUBLISHED: 2017, SOURCE: 2017 IEEE Symposium Series on Computational Intelligence, SSCI 2017 in 2017 IEEE Symposium Series on Computational Intelligence, SSCI 2017, Honolulu, HI, USA, November 27 - Dec. 1, 2017, VOLUME: 2018-January, PAGES: 1-6
AUTHORS: Jaime Rodriguez Fernandez; Tiago Pinto ; Francisco Silva; Isabel Praça; Zita A Vale; Juan Manuel Corchado;
PUBLISHED: 2017, SOURCE: 2017 IEEE Symposium Series on Computational Intelligence, SSCI 2017 in 2017 IEEE Symposium Series on Computational Intelligence, SSCI 2017, Honolulu, HI, USA, November 27 - Dec. 1, 2017, VOLUME: 2018-January, PAGES: 1-6
INDEXED IN: 
Scopus 
DBLP
Scopus DBLP7563
TITLE: Bistability of Evolutionary Stable Vaccination Strategies in the Reinfection SIRI Model Full Text
AUTHORS: Jose Martins ; Alberto Pinto ;
PUBLISHED: 2017, SOURCE: BULLETIN OF MATHEMATICAL BIOLOGY, VOLUME: 79, ISSUE: 4, PAGES: 853-883
AUTHORS: Jose Martins ; Alberto Pinto ;
PUBLISHED: 2017, SOURCE: BULLETIN OF MATHEMATICAL BIOLOGY, VOLUME: 79, ISSUE: 4, PAGES: 853-883
7564
TITLE: BMOG: Boosted Gaussian Mixture Model with Controlled Complexity
AUTHORS: Isabel Martins; Pedro Carvalho ; Luis Corte Real ; Jose L Luis Alba Castro;
PUBLISHED: 2017, SOURCE: 8th Iberian Conference on Pattern Recognition and Image Analysis (IbPRIA) in PATTERN RECOGNITION AND IMAGE ANALYSIS (IBPRIA 2017), VOLUME: 10255, PAGES: 50-57
AUTHORS: Isabel Martins; Pedro Carvalho ; Luis Corte Real ; Jose L Luis Alba Castro;
PUBLISHED: 2017, SOURCE: 8th Iberian Conference on Pattern Recognition and Image Analysis (IbPRIA) in PATTERN RECOGNITION AND IMAGE ANALYSIS (IBPRIA 2017), VOLUME: 10255, PAGES: 50-57
7565
TITLE: Bootstrap and permutation tests in ANOVA for directional data Full Text
AUTHORS: Adelaide Figueiredo ;
PUBLISHED: 2017, SOURCE: COMPUTATIONAL STATISTICS, VOLUME: 32, ISSUE: 4, PAGES: 1213-1240
AUTHORS: Adelaide Figueiredo ;
PUBLISHED: 2017, SOURCE: COMPUTATIONAL STATISTICS, VOLUME: 32, ISSUE: 4, PAGES: 1213-1240
7566
TITLE: Borrowing an Identity for a Distributed Counter. Work in progress report
AUTHORS: Vitor Enes ; Carlos Baquero ; Paulo Sergio Almeida ; Joao Leitao;
PUBLISHED: 2017, SOURCE: 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), PAGES: 4:1-4:3
AUTHORS: Vitor Enes ; Carlos Baquero ; Paulo Sergio Almeida ; Joao Leitao;
PUBLISHED: 2017, SOURCE: 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), PAGES: 4:1-4:3
7567
TITLE: Bridge Displacements Monitoring Using Space-Borne X-Band SAR Interferometry Full Text
AUTHORS: Milan Lazecky; Ivana Hlavacova; Matus Bakon; Joaquim J Sousa ; Daniele Perissin; Gloria Patricio;
PUBLISHED: 2017, SOURCE: IEEE JOURNAL OF SELECTED TOPICS IN APPLIED EARTH OBSERVATIONS AND REMOTE SENSING, VOLUME: 10, ISSUE: 1, PAGES: 205-210
AUTHORS: Milan Lazecky; Ivana Hlavacova; Matus Bakon; Joaquim J Sousa ; Daniele Perissin; Gloria Patricio;
PUBLISHED: 2017, SOURCE: IEEE JOURNAL OF SELECTED TOPICS IN APPLIED EARTH OBSERVATIONS AND REMOTE SENSING, VOLUME: 10, ISSUE: 1, PAGES: 205-210
7568
TITLE: Bringing together UAS-based land surveying and procedural modelling of buildings to set up enhanced VR environments for cultural heritage
AUTHORS: Adao, T ; Padua, L ; Hruska, J; Peres, E ; Sousa, JJ ; Morais, R ; Magalhaes, LG;
PUBLISHED: 2017, SOURCE: 24th Encontro Portugues de Computacao Grcfica e Interacao (EPCGI) in 2017 24 ENCONTRO PORTUGUES DE COMPUTACAO GRAFICA E INTERACAO (EPCGI), VOLUME: 2017-January, PAGES: 1-8
AUTHORS: Adao, T ; Padua, L ; Hruska, J; Peres, E ; Sousa, JJ ; Morais, R ; Magalhaes, LG;
PUBLISHED: 2017, SOURCE: 24th Encontro Portugues de Computacao Grcfica e Interacao (EPCGI) in 2017 24 ENCONTRO PORTUGUES DE COMPUTACAO GRAFICA E INTERACAO (EPCGI), VOLUME: 2017-January, PAGES: 1-8
7569
TITLE: Building a Semi-Supervised Dataset to Train Journalistic Relevance Detection Models
AUTHORS: Nuno Ricardo Pinheiro da Silva Guimaraes ; Álvaro Figueira ;
PUBLISHED: 2017, SOURCE: 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 15th IEEE 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/CyberSciTech 2017, Orlando, FL, USA, November 6-10, 2017, VOLUME: 2018-January, PAGES: 1271-1277
AUTHORS: Nuno Ricardo Pinheiro da Silva Guimaraes ; Álvaro Figueira ;
PUBLISHED: 2017, SOURCE: 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 15th IEEE 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/CyberSciTech 2017, Orlando, FL, USA, November 6-10, 2017, VOLUME: 2018-January, PAGES: 1271-1277
7570
TITLE: Building an Effective Data Warehousing for Financial Sector PDF
AUTHORS: José Ferreira; Fernando Almeida ; José Monteiro;
PUBLISHED: 2017, SOURCE: Automatic Control and Information Sciences, VOLUME: 3, ISSUE: 1, PAGES: 16-25
AUTHORS: José Ferreira; Fernando Almeida ; José Monteiro;
PUBLISHED: 2017, SOURCE: Automatic Control and Information Sciences, VOLUME: 3, ISSUE: 1, PAGES: 16-25
7571
TITLE: Building an End User focused THz based Ultra High Bandwidth Wireless Access Network: The TERAPOD Approach
AUTHORS: Alan Davy; Luis Pessoa ; Cyril Renaud; Edward Wasige; Mira Naftaly; Thomas Kuerner; Glenn George; Oleg Cojocari; Niamh O' Mahony; Marco A G Porcel;
PUBLISHED: 2017, SOURCE: 9th International Congress on Ultra Modern Telecommunications and Control Systems (ICUMT) in 2017 9TH INTERNATIONAL CONGRESS ON ULTRA MODERN TELECOMMUNICATIONS AND CONTROL SYSTEMS AND WORKSHOPS (ICUMT), VOLUME: 2017-November, PAGES: 449-454
AUTHORS: Alan Davy; Luis Pessoa ; Cyril Renaud; Edward Wasige; Mira Naftaly; Thomas Kuerner; Glenn George; Oleg Cojocari; Niamh O' Mahony; Marco A G Porcel;
PUBLISHED: 2017, SOURCE: 9th International Congress on Ultra Modern Telecommunications and Control Systems (ICUMT) in 2017 9TH INTERNATIONAL CONGRESS ON ULTRA MODERN TELECOMMUNICATIONS AND CONTROL SYSTEMS AND WORKSHOPS (ICUMT), VOLUME: 2017-November, PAGES: 449-454
7572
TITLE: Bulding ontologies with ontoforinfoscience methodology: A detailed approach to the activiyies of ontology development [Construindo ontologias com a metodologia ontoforinfoscience: Uma abordagem detalhada das atividades do desenvolvimento ontológico] [Construyendo ontologías con la metodología ontoforinfoscience: Un enfoque detallado de las actividades del desarrollo ontológico]
AUTHORS: Mendonça, FM; Soares, AL ;
PUBLISHED: 2017, SOURCE: Ciencia da Informacao, VOLUME: 46, ISSUE: 1, PAGES: 43-59
AUTHORS: Mendonça, FM; Soares, AL ;
PUBLISHED: 2017, SOURCE: Ciencia da Informacao, VOLUME: 46, ISSUE: 1, PAGES: 43-59
INDEXED IN: Scopus
Scopus7573
TITLE: Cargo dynamic stability in the container loading problem - a physics simulation tool approach
AUTHORS: António Galrão Ramos ; Jacob, J ; Jorge Fonseca Justo ; José Fernando Oliveira ; Rui Rodrigues ; Miguel M Gomes ;
PUBLISHED: 2017, SOURCE: Int. J. Simul. Process. Model., VOLUME: 12, ISSUE: 1, PAGES: 29-41
AUTHORS: António Galrão Ramos ; Jacob, J ; Jorge Fonseca Justo ; José Fernando Oliveira ; Rui Rodrigues ; Miguel M Gomes ;
PUBLISHED: 2017, SOURCE: Int. J. Simul. Process. Model., VOLUME: 12, ISSUE: 1, PAGES: 29-41
7574
TITLE: CARMIE. A Conversational Medication Assistant for Heart Failure
AUTHORS: Joana Lobo; Liliana Ferreira; Aníbal JS Ferreira ;
PUBLISHED: 2017, SOURCE: Health Care Delivery and Clinical Science, PAGES: 628-644
AUTHORS: Joana Lobo; Liliana Ferreira; Aníbal JS Ferreira ;
PUBLISHED: 2017, SOURCE: Health Care Delivery and Clinical Science, PAGES: 628-644
INDEXED IN: 
CrossRef
CrossRef7575
TITLE: Case based reasoning with expert system and swarm intelligence to determine energy reduction in buildings energy management Full Text
AUTHORS: Faia, R; Pinto, T ; Abrishambaf, O; Fernandes, F; Vale, Z; Corchado, JM;
PUBLISHED: 2017, SOURCE: ENERGY AND BUILDINGS, VOLUME: 155, PAGES: 269-281
AUTHORS: Faia, R; Pinto, T ; Abrishambaf, O; Fernandes, F; Vale, Z; Corchado, JM;
PUBLISHED: 2017, SOURCE: ENERGY AND BUILDINGS, VOLUME: 155, PAGES: 269-281
7576
TITLE: Case-based replanning of search missions using AUVs
AUTHORS: Nuno Abreu ; Anibal Matos ;
PUBLISHED: 2017, SOURCE: Oceans Aberdeen Conference in OCEANS 2017 - ABERDEEN, VOLUME: 2017-October, PAGES: 1-10
AUTHORS: Nuno Abreu ; Anibal Matos ;
PUBLISHED: 2017, SOURCE: Oceans Aberdeen Conference in OCEANS 2017 - ABERDEEN, VOLUME: 2017-October, PAGES: 1-10
7577
TITLE: Certification of Workflows in a Component-Based Cloud of High Performance Computing Services
AUTHORS: Allberson B D de Oliveira Dantas; Heron de Carvalho Junior, FH; Luis S Barbosa ;
PUBLISHED: 2017, SOURCE: 14th International Conference on Formal Aspects of Component Software (FACS) in FORMAL ASPECTS OF COMPONENT SOFTWARE (FACS 2017), VOLUME: 10487, PAGES: 198-215
AUTHORS: Allberson B D de Oliveira Dantas; Heron de Carvalho Junior, FH; Luis S Barbosa ;
PUBLISHED: 2017, SOURCE: 14th International Conference on Formal Aspects of Component Software (FACS) in FORMAL ASPECTS OF COMPONENT SOFTWARE (FACS 2017), VOLUME: 10487, PAGES: 198-215
7578
TITLE: Certified Password Quality
AUTHORS: João F Ferreira; Saul A Johnson; Alexandra Mendes ; Phillip J Brooke;
PUBLISHED: 2017, SOURCE: Lecture Notes in Computer Science - Integrated Formal Methods, PAGES: 407-421
AUTHORS: João F Ferreira; Saul A Johnson; Alexandra Mendes ; Phillip J Brooke;
PUBLISHED: 2017, SOURCE: Lecture Notes in Computer Science - Integrated Formal Methods, PAGES: 407-421
INDEXED IN: CrossRef
CrossRef7579
TITLE: Certified Password Quality - A Case Study Using Coq and Linux Pluggable Authentication Modules
AUTHORS: João F Ferreira; Saul A Johnson; Alexandra Mendes ; Phillip J Brooke;
PUBLISHED: 2017, SOURCE: 13th International Conference on Integrated Formal Methods, IFM 2017 in Integrated Formal Methods - 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings, VOLUME: 10510, PAGES: 407-421
AUTHORS: João F Ferreira; Saul A Johnson; Alexandra Mendes ; Phillip J Brooke;
PUBLISHED: 2017, SOURCE: 13th International Conference on Integrated Formal Methods, IFM 2017 in Integrated Formal Methods - 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings, VOLUME: 10510, PAGES: 407-421
INDEXED IN: Scopus DBLP
Scopus DBLP7580
TITLE: CERTIFIED ROOMS FOR ELEARNING STUDENTS EVALUATION
AUTHORS: Jorge Borges; Carlos Vaz; Margarida Amaral; Elsa Justino; Joao Barroso ; Arsenio Reis ;
PUBLISHED: 2017, SOURCE: 11th International Conference on Technology, Education and Development (INTED) in INTED2017: 11TH INTERNATIONAL TECHNOLOGY, EDUCATION AND DEVELOPMENT CONFERENCE, PAGES: 9566-9571
AUTHORS: Jorge Borges; Carlos Vaz; Margarida Amaral; Elsa Justino; Joao Barroso ; Arsenio Reis ;
PUBLISHED: 2017, SOURCE: 11th International Conference on Technology, Education and Development (INTED) in INTED2017: 11TH INTERNATIONAL TECHNOLOGY, EDUCATION AND DEVELOPMENT CONFERENCE, PAGES: 9566-9571
