CS: Computer Science
CS: Computer Science
AuthID: I-000-B2B
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: 8829
531 Team MembersFilters -> Year: 2025
3821
TITLE: Computer Aided Verification of Relational Models by Strategic Rewriting Full Text
AUTHORS: Necco, CM; Oliveira, JN ; Visser, J; Uzal, R;
PUBLISHED: 2017, SOURCE: JOURNAL OF COMPUTER SCIENCE & TECHNOLOGY, VOLUME: 17, ISSUE: 2, PAGES: 140-148
AUTHORS: Necco, CM; Oliveira, JN ; Visser, J; Uzal, R;
PUBLISHED: 2017, SOURCE: JOURNAL OF COMPUTER SCIENCE & TECHNOLOGY, VOLUME: 17, ISSUE: 2, PAGES: 140-148
INDEXED IN: 
WOS
WOS3822
TITLE: Conformance Checking in Integration Testing of Time-constrained Distributed Systems based on UML Sequence Diagrams
AUTHORS: Bruno Lima ; João Pascoal Faria ;
PUBLISHED: 2017, SOURCE: 12th International Conference on Software Technologies, ICSOFT 2017 in Proceedings of the 12th International Conference on Software Technologies, ICSOFT 2017, Madrid, Spain, July 24-26, 2017., PAGES: 459-466
AUTHORS: Bruno Lima ; João Pascoal Faria ;
PUBLISHED: 2017, SOURCE: 12th International Conference on Software Technologies, ICSOFT 2017 in Proceedings of the 12th International Conference on Software Technologies, ICSOFT 2017, Madrid, Spain, July 24-26, 2017., PAGES: 459-466
3823
TITLE: Context analysis in energy resource management residential buildings
AUTHORS: Madureira, B; Pinto, T ; Fernandes, F; Vale, Z ;
PUBLISHED: 2017, SOURCE: 2017 IEEE Manchester PowerTech, Powertech 2017 in 2017 IEEE Manchester PowerTech, Powertech 2017
AUTHORS: Madureira, B; Pinto, T ; Fernandes, F; Vale, Z ;
PUBLISHED: 2017, SOURCE: 2017 IEEE Manchester PowerTech, Powertech 2017 in 2017 IEEE Manchester PowerTech, Powertech 2017
3824
TITLE: Context-aware HDR video distribution for mobile devices Full Text
AUTHORS: Miguel Melo ; Luis Barbosa ; Maximino Bessa ; Kurt Debattista; Alan Chalmers;
PUBLISHED: 2017, SOURCE: MULTIMEDIA TOOLS AND APPLICATIONS, VOLUME: 76, ISSUE: 15, PAGES: 16605-16623
AUTHORS: Miguel Melo ; Luis Barbosa ; Maximino Bessa ; Kurt Debattista; Alan Chalmers;
PUBLISHED: 2017, SOURCE: MULTIMEDIA TOOLS AND APPLICATIONS, VOLUME: 76, ISSUE: 15, PAGES: 16605-16623
3825
TITLE: Continuous Ambulatory Peritoneal Dialysis: Business Intelligence applied to patient monitoring CAPD study and statistics
AUTHORS: Catarina Peixoto; Claudia Brito ; Mariana Fontainhas; Peixoto, Hugo ; José Machado ; António Abelha ;
PUBLISHED: 2017, SOURCE: IEEE 5th International Conference on Future Internet of Things and Cloud (FiCloud) in 2017 5TH INTERNATIONAL CONFERENCE ON FUTURE INTERNET OF THINGS AND CLOUD WORKSHOPS (FICLOUDW) 2017, VOLUME: 2017-January, PAGES: 178-185
AUTHORS: Catarina Peixoto; Claudia Brito ; Mariana Fontainhas; Peixoto, Hugo ; José Machado ; António Abelha ;
PUBLISHED: 2017, SOURCE: IEEE 5th International Conference on Future Internet of Things and Cloud (FiCloud) in 2017 5TH INTERNATIONAL CONFERENCE ON FUTURE INTERNET OF THINGS AND CLOUD WORKSHOPS (FICLOUDW) 2017, VOLUME: 2017-January, PAGES: 178-185
3826
TITLE: Contract based verification of IEC 61499 Full Text
AUTHORS: Lindgren, P; Lindner, M; Pereira, D ; Pinho, LM ;
PUBLISHED: 2017, SOURCE: 14th IEEE International Conference on Industrial Informatics, INDIN 2016 in IEEE International Conference on Industrial Informatics (INDIN), PAGES: 132-141
AUTHORS: Lindgren, P; Lindner, M; Pereira, D ; Pinho, LM ;
PUBLISHED: 2017, SOURCE: 14th IEEE International Conference on Industrial Informatics, INDIN 2016 in IEEE International Conference on Industrial Informatics (INDIN), PAGES: 132-141
3827
TITLE: Controlling the design and development cycle
AUTHORS: João M.P Cardoso ; José Gabriel F Coutinho; Pedro C Diniz;
PUBLISHED: 2017, SOURCE: Embedded Computing for High Performance, PAGES: 57-98
AUTHORS: João M.P Cardoso ; José Gabriel F Coutinho; Pedro C Diniz;
PUBLISHED: 2017, SOURCE: Embedded Computing for High Performance, PAGES: 57-98
INDEXED IN: 
CrossRef
CrossRef3828
TITLE: Correlates of adults' participation in sport and frequency of sport Full Text
AUTHORS: Oliveira Brochado, A; Brito, PQ ; Oliveira Brochado, F;
PUBLISHED: 2017, SOURCE: SCIENCE & SPORTS, VOLUME: 32, ISSUE: 6, PAGES: 355-363
AUTHORS: Oliveira Brochado, A; Brito, PQ ; Oliveira Brochado, F;
PUBLISHED: 2017, SOURCE: SCIENCE & SPORTS, VOLUME: 32, ISSUE: 6, PAGES: 355-363
3829
TITLE: COUPLED HIDDEN MARKOV MODEL FOR AUTOMATIC ECG AND PCG SEGMENTATION
AUTHORS: Oliveira, J ; Sousa, C; Coimbra, MT ;
PUBLISHED: 2017, SOURCE: IEEE International Conference on Acoustics, Speech, and Signal Processing (ICASSP) in 2017 IEEE INTERNATIONAL CONFERENCE ON ACOUSTICS, SPEECH AND SIGNAL PROCESSING (ICASSP), PAGES: 1023-1027
AUTHORS: Oliveira, J ; Sousa, C; Coimbra, MT ;
PUBLISHED: 2017, SOURCE: IEEE International Conference on Acoustics, Speech, and Signal Processing (ICASSP) in 2017 IEEE INTERNATIONAL CONFERENCE ON ACOUSTICS, SPEECH AND SIGNAL PROCESSING (ICASSP), PAGES: 1023-1027
3830
TITLE: Credit Scoring in Microfinance Using Non-traditional Data
AUTHORS: Saulo Ruiz; Pedro Gomes; Luis Rodrigues; Joao Gama ;
PUBLISHED: 2017, SOURCE: 18th EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE (EPIA 2017), VOLUME: 10423, PAGES: 447-458
AUTHORS: Saulo Ruiz; Pedro Gomes; Luis Rodrigues; Joao Gama ;
PUBLISHED: 2017, SOURCE: 18th EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE (EPIA 2017), VOLUME: 10423, PAGES: 447-458
3831
TITLE: Creepy Tracker Toolkit for Context-aware Interfaces
AUTHORS: Maurício Sousa; Daniel Mendes ; Rafael Kuffner dos Anjos; Daniel Medeiros; Alfredo Ferreira ; Alberto Raposo; João Madeiras Pereira ; Joaquim A Jorge;
PUBLISHED: 2017, SOURCE: 2017 ACM International Conference on Interactive Surfaces and Spaces, ISS 2017 in Proceedings of the Interactive Surfaces and Spaces, ISS 2017, Brighton, United Kingdom, October 17 - 20, 2017, PAGES: 191-200
AUTHORS: Maurício Sousa; Daniel Mendes ; Rafael Kuffner dos Anjos; Daniel Medeiros; Alfredo Ferreira ; Alberto Raposo; João Madeiras Pereira ; Joaquim A Jorge;
PUBLISHED: 2017, SOURCE: 2017 ACM International Conference on Interactive Surfaces and Spaces, ISS 2017 in Proceedings of the Interactive Surfaces and Spaces, ISS 2017, Brighton, United Kingdom, October 17 - 20, 2017, PAGES: 191-200
3832
TITLE: Curvas de crescimento dos portugueses dos 3 aos 7 anos: peso, estatura e índice de massa corporal
AUTHORS: D Freitas; Rui Poínhos; Bruno Sousa; Bela Franchini; Cláudia Afonso; Flora Correia; Maria D V d Almeida; B.M.P.M. Oliveira ;
PUBLISHED: 2017
AUTHORS: D Freitas; Rui Poínhos; Bruno Sousa; Bela Franchini; Cláudia Afonso; Flora Correia; Maria D V d Almeida; B.M.P.M. Oliveira ;
PUBLISHED: 2017
INDEXED IN: 
Handle
Handle3833
TITLE: Data mining techniques for the grouping of certified wines from the sub-regions of the demarcated region of Vinho Verde [Técnicas de data mining para agrupamento dos vinhos certificados das sub-regiões da região demarcada dos Vinhos Verdes]
AUTHORS: Souza Roza, R; Brazdil, P ; Reis, JL ; Cerdeira, A; Martins, P; Felgueiras, O ;
PUBLISHED: 2017, SOURCE: Atas da Conferencia da Associacao Portuguesa de Sistemas de Informacao, VOLUME: 17, PAGES: 334-344
AUTHORS: Souza Roza, R; Brazdil, P ; Reis, JL ; Cerdeira, A; Martins, P; Felgueiras, O ;
PUBLISHED: 2017, SOURCE: Atas da Conferencia da Associacao Portuguesa de Sistemas de Informacao, VOLUME: 17, PAGES: 334-344
INDEXED IN: 
Scopus CrossRef
Scopus CrossRef3834
TITLE: Data-Mining-based filtering to support Solar Forecasting Methodologies
AUTHORS: Pinto, T ; Marques, L; Sousa, TM; Praca, I; Vale, Z ; Abreu, SL;
PUBLISHED: 2017, SOURCE: ADCAIJ-ADVANCES IN DISTRIBUTED COMPUTING AND ARTIFICIAL INTELLIGENCE JOURNAL, VOLUME: 6, ISSUE: 3, PAGES: 85-102
AUTHORS: Pinto, T ; Marques, L; Sousa, TM; Praca, I; Vale, Z ; Abreu, SL;
PUBLISHED: 2017, SOURCE: ADCAIJ-ADVANCES IN DISTRIBUTED COMPUTING AND ARTIFICIAL INTELLIGENCE JOURNAL, VOLUME: 6, ISSUE: 3, PAGES: 85-102
3835
TITLE: Database replication for enterprise applications
AUTHORS: Ana L P N Alonso ;
PUBLISHED: 2017
AUTHORS: Ana L P N Alonso ;
PUBLISHED: 2017
INDEXED IN: Handle
Handle3836
TITLE: DDFlasks: Deduplicated Very Large Scale Data Store
AUTHORS: Francisco Maia ; João Paulo ; Fábio Coelho ; Francisco Neves ; José Pereira ; Rui Oliveira ;
PUBLISHED: 2017, SOURCE: 17th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems, DAIS 2017 - Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017 in Distributed Applications and Interoperable Systems - 17th IFIP WG 6.1 International Conference, DAIS 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings, VOLUME: 10320, PAGES: 51-66
AUTHORS: Francisco Maia ; João Paulo ; Fábio Coelho ; Francisco Neves ; José Pereira ; Rui Oliveira ;
PUBLISHED: 2017, SOURCE: 17th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems, DAIS 2017 - Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017 in Distributed Applications and Interoperable Systems - 17th IFIP WG 6.1 International Conference, DAIS 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings, VOLUME: 10320, PAGES: 51-66
3837
TITLE: Decision Support for Agents' Participation in Electricity Markets
AUTHORS: Ricardo Faia; Tiago Pinto ; Zita A Vale;
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: 302-304
AUTHORS: Ricardo Faia; Tiago Pinto ; Zita A Vale;
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: 302-304
INDEXED IN: 
DBLP
DBLP3838
TITLE: Decision support for agents’ participation in electricity markets
AUTHORS: Ricardo Faia; Tiago Pinto ; Zita Vale ;
PUBLISHED: 2017, SOURCE: Advances in Intelligent Systems and Computing, VOLUME: 619, PAGES: 302-304
AUTHORS: Ricardo Faia; Tiago Pinto ; Zita Vale ;
PUBLISHED: 2017, SOURCE: Advances in Intelligent Systems and Computing, VOLUME: 619, PAGES: 302-304
INDEXED IN: Scopus CrossRef
Scopus CrossRef3839
TITLE: Decision support system for the negotiation of bilateral contracts in electricity markets
AUTHORS: Francisco Silva; Tiago Pinto ; Isabel Praça ; Zita Vale ;
PUBLISHED: 2017, SOURCE: Advances in Intelligent Systems and Computing, VOLUME: 619, PAGES: 305-306
AUTHORS: Francisco Silva; Tiago Pinto ; Isabel Praça ; Zita Vale ;
PUBLISHED: 2017, SOURCE: Advances in Intelligent Systems and Computing, VOLUME: 619, PAGES: 305-306
INDEXED IN: Scopus CrossRef
Scopus CrossRef3840
TITLE: Decision Support System for the Negotiation of Bilateral Contracts in Electricity Markets
AUTHORS: Silva, F; Teixeira, B; Pinto, T ; Praca, I ; Marreiros, G ; Vale, Z ;
PUBLISHED: 2017, SOURCE: 8th International Symposium on Ambient Intelligence (ISAmI) in AMBIENT INTELLIGENCE- SOFTWARE AND APPLICATIONS- 8TH INTERNATIONAL SYMPOSIUM ON AMBIENT INTELLIGENCE (ISAMI 2017), VOLUME: 615, PAGES: 159-166
AUTHORS: Silva, F; Teixeira, B; Pinto, T ; Praca, I ; Marreiros, G ; Vale, Z ;
PUBLISHED: 2017, SOURCE: 8th International Symposium on Ambient Intelligence (ISAmI) in AMBIENT INTELLIGENCE- SOFTWARE AND APPLICATIONS- 8TH INTERNATIONAL SYMPOSIUM ON AMBIENT INTELLIGENCE (ISAMI 2017), VOLUME: 615, PAGES: 159-166
