CS: Computer Science
CS: Computer Science

Inesc Technology and Science (INESC TEC)

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

531 Team Members
Filters -> Year: 2024
3301
TITLE: Automatic selection of optimization algorithms for energy resource scheduling using a case-based reasoning system
AUTHORS: Faia, R; Pinto, T ; Sousa, T; Vale, Z; Corchado, JM;
PUBLISHED: 2017, SOURCE: 2017 ICCBR Workshops on Computational Analogy and Case-Based Reasoning, CAW 2017, Case-Based Reasoning and Deep Learning, CBRDL 2017 and Process-Oriented Case-Based Reasoning, POCBR 2017, Doctoral Consortium, and Competitions, ICCBR-WS 2017 in CEUR Workshop Proceedings, VOLUME: 2028, PAGES: 117-126
INDEXED IN: Scopus
3302
TITLE: Automatic Selection of Optimization Algorithms for Energy Resource Scheduling using a Case-Based Reasoning System PDF
AUTHORS: Ricardo Faia; Tiago Pinto ; Tiago Sousa; Zita A Vale; Juan Manuel Corchado;
PUBLISHED: 2017, SOURCE: Proceedings of ICCBR 2017 Workshops (CAW, CBRDL, PO-CBR), Doctoral Consortium, and Competitions co-located with the 25th International Conference on Case-Based Reasoning (ICCBR 2017), Trondheim, Norway, June 26-28, 2017., VOLUME: 2028, PAGES: 117-126
INDEXED IN: DBLP
3303
TITLE: Automatically Finding Matches Between Social Media Posts and News Articles
AUTHORS: Filipe Fernandes Miranda; Á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: 1039-1046
INDEXED IN: Scopus DBLP CrossRef: 1
3304
TITLE: Automating the Extraction of Static Content and Dynamic Behaviour from e-Commerce Websites
AUTHORS: joao Pedro Dias ; Hugo Sereno Ferreira ;
PUBLISHED: 2017, SOURCE: 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, PAGES: 297-304
INDEXED IN: Scopus WOS DBLP CrossRef: 8
3305
TITLE: Behavioural types: From theory to tools english
AUTHORS: Gay, S ; Ravara, A;
PUBLISHED: 2017, SOURCE: Behavioural Types: from Theory to Tools English, PAGES: 1-375
INDEXED IN: Scopus CrossRef: 23
3306
TITLE: Benchmarking IoT Middleware Platforms
AUTHORS: Joao Cardoso; Carlos Pereira; Ana Aguiar ; Ricardo Morla ;
PUBLISHED: 2017, SOURCE: 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), PAGES: 1-7
INDEXED IN: Scopus WOS DBLP CrossRef: 14
3307
TITLE: Bidirectional Transformations (BX 2015) Editorial  Full Text
AUTHORS: Alcino Cunha ; Ekkart Kindler;
PUBLISHED: 2017, SOURCE: Journal of Object Technology, VOLUME: 16, ISSUE: 1, PAGES: 1-2
INDEXED IN: Scopus DBLP CrossRef
3308
TITLE: BiFluX: A Bidirectional Functional Update Language for XML  Full Text
AUTHORS: Tao Zan; Hugo Pacheco ; Hsiang Shang Ko; Zhenjiang Hu;
PUBLISHED: 2017, SOURCE: Inf. Media Technol., VOLUME: 12, ISSUE: 4, PAGES: 1-23
INDEXED IN: Scopus DBLP
3309
TITLE: Big data in efficient smart grids management
AUTHORS: Eugénia Vinagre; Tiago Pinto ; Zita Vale; Carlos Ramos;
PUBLISHED: 2017, SOURCE: Advances in Intelligent Systems and Computing, VOLUME: 619, PAGES: 297-299
INDEXED IN: Scopus CrossRef
3310
TITLE: Big Data in Efficient Smart Grids Management
AUTHORS: Eugénia Vinagre; Tiago Pinto ; Zita A Vale; Carlos Ramos;
PUBLISHED: 2017, SOURCE: Trends in Cyber-Physical Multi-Agent Systems. The PAAMS Collection - 15th International Conference, PAAMS 2017, Porto, Portugal, June 21-23, 2017, Special Sessions., VOLUME: 619, PAGES: 297-299
INDEXED IN: DBLP
3311
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)
INDEXED IN: CrossRef: 2
3312
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
INDEXED IN: Scopus DBLP
3313
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
INDEXED IN: Scopus WOS CrossRef: 4
3314
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
INDEXED IN: Scopus WOS CrossRef: 6
3315
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
INDEXED IN: Scopus WOS DBLP CrossRef
3316
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
INDEXED IN: Scopus DBLP CrossRef: 1
3317
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
INDEXED IN: Scopus DBLP CrossRef: 4
3318
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
INDEXED IN: Scopus WOS CrossRef: 44
3319
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
INDEXED IN: Scopus WOS DBLP CrossRef: 1
3320
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
INDEXED IN: CrossRef

Results per Page: 20.
Page 166 of 408. Total results: 8154.