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: 8773
531 Team MembersFilters -> Year: 2025
5001
TITLE: Molecular signatures of plastic phenotypes in two eusocial insect species with simple societies
AUTHORS: Solenn Patalano; Anna Vlasova; Chris Wyatt; Philip Ewels; Francisco Camara; Pedro G Ferreirab ; Claire L Asher; Tomasz P Jurkowski; Anne Segonds Pichon; Martin Bachman; Irene Gonzalez Navarrete; Andre E Minoche; Felix Krueger; Ernesto Lowy; Marina Marcet Houben; Jose Luis Rodriguez Ales; Fabio S Nascimento; Shankar Balasubramanian; Toni Gabaldon; James E Tarver; ...More
PUBLISHED: 2015, SOURCE: PROCEEDINGS OF THE NATIONAL ACADEMY OF SCIENCES OF THE UNITED STATES OF AMERICA, VOLUME: 112, ISSUE: 45, PAGES: 13970-13975
AUTHORS: Solenn Patalano; Anna Vlasova; Chris Wyatt; Philip Ewels; Francisco Camara; Pedro G Ferreirab ; Claire L Asher; Tomasz P Jurkowski; Anne Segonds Pichon; Martin Bachman; Irene Gonzalez Navarrete; Andre E Minoche; Felix Krueger; Ernesto Lowy; Marina Marcet Houben; Jose Luis Rodriguez Ales; Fabio S Nascimento; Shankar Balasubramanian; Toni Gabaldon; James E Tarver; ...More
PUBLISHED: 2015, SOURCE: PROCEEDINGS OF THE NATIONAL ACADEMY OF SCIENCES OF THE UNITED STATES OF AMERICA, VOLUME: 112, ISSUE: 45, PAGES: 13970-13975
5002
TITLE: Monitoring for a Decidable Fragment of MTL-integral
AUTHORS: Andre de Matos Pedro ; David Pereira ; Luis Miguel Pinho ; Jorge Sousa Pinto ;
PUBLISHED: 2015, SOURCE: 6th International Conference on Runtime Verification (RV) in RUNTIME VERIFICATION, RV 2015, VOLUME: 9333, PAGES: 169-184
AUTHORS: Andre de Matos Pedro ; David Pereira ; Luis Miguel Pinho ; Jorge Sousa Pinto ;
PUBLISHED: 2015, SOURCE: 6th International Conference on Runtime Verification (RV) in RUNTIME VERIFICATION, RV 2015, VOLUME: 9333, PAGES: 169-184
5003
TITLE: Monitoring the covariance matrix of a multivariate skew normal distribution
AUTHORS: Adelaide Figueiredo ; Fernanda Figueiredo;
PUBLISHED: 2015
AUTHORS: Adelaide Figueiredo ; Fernanda Figueiredo;
PUBLISHED: 2015
INDEXED IN: 
Handle
Handle5004
TITLE: Most probable explanation for MetaProbLog and its application in heart sound segmentation PDF
AUTHORS: Mantadelis, T ; Oliveira, J ; Coimbra, M ;
PUBLISHED: 2015, SOURCE: 2nd International Workshop on Probabilistic Logic Programming, PLP 2015 - co-located with 31st International Conference on Logic Programming, ICLP 2015 in CEUR Workshop Proceedings, VOLUME: 1413, PAGES: 39-45
AUTHORS: Mantadelis, T ; Oliveira, J ; Coimbra, M ;
PUBLISHED: 2015, SOURCE: 2nd International Workshop on Probabilistic Logic Programming, PLP 2015 - co-located with 31st International Conference on Logic Programming, ICLP 2015 in CEUR Workshop Proceedings, VOLUME: 1413, PAGES: 39-45
INDEXED IN: 
Scopus 
DBLP
Scopus DBLP5005
TITLE: Motivators and Deterrents for Data Description and Publication: Preliminary Results
AUTHORS: Cristina Ribeiro ; Joao Rocha da Silva ; Joao Aguiar Castro ; Ricardo Carvalho Amorim ; Paula Fortuna;
PUBLISHED: 2015, SOURCE: OnTheMove (OTM) Federated Conference in ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2015 WORKSHOPS, VOLUME: 9416, PAGES: 512-516
AUTHORS: Cristina Ribeiro ; Joao Rocha da Silva ; Joao Aguiar Castro ; Ricardo Carvalho Amorim ; Paula Fortuna;
PUBLISHED: 2015, SOURCE: OnTheMove (OTM) Federated Conference in ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2015 WORKSHOPS, VOLUME: 9416, PAGES: 512-516
5006
TITLE: Multi-agent based metalearner using genetic algorithm for decision support in electricity markets
AUTHORS: Pinto, T ; Barreto, J; Praça, I; Santos, G; Vale, Z; Solteiro Pires, EJ ;
PUBLISHED: 2015, SOURCE: 18th International Conference on Intelligent System Application to Power Systems, ISAP 2015 in 2015 18th International Conference on Intelligent System Application to Power Systems, ISAP 2015
AUTHORS: Pinto, T ; Barreto, J; Praça, I; Santos, G; Vale, Z; Solteiro Pires, EJ ;
PUBLISHED: 2015, SOURCE: 18th International Conference on Intelligent System Application to Power Systems, ISAP 2015 in 2015 18th International Conference on Intelligent System Application to Power Systems, ISAP 2015
INDEXED IN: Scopus
Scopus5007
TITLE: Multi-Agent based Metalearner using Genetic Algorithm for Decision Support in Electricity Markets
AUTHORS: Tiago Pinto ; Joao Barreto; Isabel Praca; Gabriel Santos; Zita Vale; Solteiro Pires, EJS ;
PUBLISHED: 2015, SOURCE: 2015 18th International Conference on Intelligent System Application to Power Systems (ISAP) in 2015 18TH INTERNATIONAL CONFERENCE ON INTELLIGENT SYSTEM APPLICATION TO POWER SYSTEMS (ISAP)
AUTHORS: Tiago Pinto ; Joao Barreto; Isabel Praca; Gabriel Santos; Zita Vale; Solteiro Pires, EJS ;
PUBLISHED: 2015, SOURCE: 2015 18th International Conference on Intelligent System Application to Power Systems (ISAP) in 2015 18TH INTERNATIONAL CONFERENCE ON INTELLIGENT SYSTEM APPLICATION TO POWER SYSTEMS (ISAP)
5008
TITLE: Multi-agent simulation of competitive electricity markets: Autonomous systems cooperation for European market modeling Full Text
AUTHORS: Santos, G; Pinto, T ; Morais, H; Sousa, TM; Pereira, IF; Fernandes, R; Praca, I; Vale, Z;
PUBLISHED: 2015, SOURCE: ENERGY CONVERSION AND MANAGEMENT, VOLUME: 99, PAGES: 387-399
AUTHORS: Santos, G; Pinto, T ; Morais, H; Sousa, TM; Pereira, IF; Fernandes, R; Praca, I; Vale, Z;
PUBLISHED: 2015, SOURCE: ENERGY CONVERSION AND MANAGEMENT, VOLUME: 99, PAGES: 387-399
5009
TITLE: Multi-aspect-streaming tensor analysis Full Text
AUTHORS: Hadi Fanaee T ; Joao Gama ;
PUBLISHED: 2015, SOURCE: KNOWLEDGE-BASED SYSTEMS, VOLUME: 89, PAGES: 332-345
AUTHORS: Hadi Fanaee T ; Joao Gama ;
PUBLISHED: 2015, SOURCE: KNOWLEDGE-BASED SYSTEMS, VOLUME: 89, PAGES: 332-345
5010
TITLE: Multi-sensory storytelling to support learning for people with intellectual disability: an exploratory didactic study
AUTHORS: Andreia Matos; Tania Rocha ; Luciana Cabral; Maximino Bessa ;
PUBLISHED: 2015, SOURCE: 6th International Conference on Software Development and Technologies for Enhancing Accessibility and Fighting Info-Exclusion (DSAI) in PROCEEDINGS OF THE 6TH INTERNATIONAL CONFERENCE ON SOFTWARE DEVELOPMENT AND TECHNOLOGIES FOR ENHANCING ACCESSIBILITY AND FIGHTING INFO-EXCLUSION, VOLUME: 67, PAGES: 12-18
AUTHORS: Andreia Matos; Tania Rocha ; Luciana Cabral; Maximino Bessa ;
PUBLISHED: 2015, SOURCE: 6th International Conference on Software Development and Technologies for Enhancing Accessibility and Fighting Info-Exclusion (DSAI) in PROCEEDINGS OF THE 6TH INTERNATIONAL CONFERENCE ON SOFTWARE DEVELOPMENT AND TECHNOLOGIES FOR ENHANCING ACCESSIBILITY AND FIGHTING INFO-EXCLUSION, VOLUME: 67, PAGES: 12-18
5011
TITLE: Multi-Target Regression from High-Speed Data Streams with Adaptive Model Rules
AUTHORS: Joao Duarte; Joao Gama ;
PUBLISHED: 2015, SOURCE: Proceedings of the 2015 IEEE International Conference on Data Science and Advanced Analytics (IEEE DSAA 2015) in PROCEEDINGS OF THE 2015 IEEE INTERNATIONAL CONFERENCE ON DATA SCIENCE AND ADVANCED ANALYTICS (IEEE DSAA 2015), PAGES: 1080-1089
AUTHORS: Joao Duarte; Joao Gama ;
PUBLISHED: 2015, SOURCE: Proceedings of the 2015 IEEE International Conference on Data Science and Advanced Analytics (IEEE DSAA 2015) in PROCEEDINGS OF THE 2015 IEEE INTERNATIONAL CONFERENCE ON DATA SCIENCE AND ADVANCED ANALYTICS (IEEE DSAA 2015), PAGES: 1080-1089
5012
TITLE: Multithreaded Tabling for Logic Programming
AUTHORS: Miguel Areias ;
PUBLISHED: 2015
AUTHORS: Miguel Areias ;
PUBLISHED: 2015
INDEXED IN: DBLP Handle
DBLP Handle5013
TITLE: NARI: Natural augmented reality interface interaction challenges for ar applications
AUTHORS: Nobrega, R ; Cabral, D; Jacucci, G; Coelho, A ;
PUBLISHED: 2015, SOURCE: 10th International Conference on Computer Graphics Theory and Applications, GRAPP 2015 in GRAPP 2015 - 10th International Conference on Computer Graphics Theory and Applications; VISIGRAPP, Proceedings, PAGES: 504-510
AUTHORS: Nobrega, R ; Cabral, D; Jacucci, G; Coelho, A ;
PUBLISHED: 2015, SOURCE: 10th International Conference on Computer Graphics Theory and Applications, GRAPP 2015 in GRAPP 2015 - 10th International Conference on Computer Graphics Theory and Applications; VISIGRAPP, Proceedings, PAGES: 504-510
INDEXED IN: Scopus
Scopus5015
TITLE: Network comparison using directed graphlets PDF
AUTHORS: David Oliveira Aparício ; Pedro Manuel Pinto Ribeiro ; Fernando M A Silva ;
PUBLISHED: 2015, SOURCE: CoRR, VOLUME: abs/1511.01964
AUTHORS: David Oliveira Aparício ; Pedro Manuel Pinto Ribeiro ; Fernando M A Silva ;
PUBLISHED: 2015, SOURCE: CoRR, VOLUME: abs/1511.01964
INDEXED IN: DBLP 
arXiv
DBLP arXiv5016
TITLE: Non-preemptive and SRP-based fully-preemptive scheduling of real-time Software Transactional Memory Full Text
AUTHORS: Barros, A ; Pinho, LM ; Yomsi, PM;
PUBLISHED: 2015, SOURCE: JOURNAL OF SYSTEMS ARCHITECTURE, VOLUME: 61, ISSUE: 10, PAGES: 553-566
AUTHORS: Barros, A ; Pinho, LM ; Yomsi, PM;
PUBLISHED: 2015, SOURCE: JOURNAL OF SYSTEMS ARCHITECTURE, VOLUME: 61, ISSUE: 10, PAGES: 553-566
5017
TITLE: NVL: a coordination language for unmanned vehicle networks. a coordination language for unmanned vehicle networks
AUTHORS: Eduardo R B Marques ; Manuel Ribeiro; Jose Pinto ; Joao B Sousa ; Francisco Martins ;
PUBLISHED: 2015, SOURCE: 30th ACM Symposium on Applied Computing (SAC) in 30TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, VOLS I AND II, VOLUME: 13-17-April-2015, PAGES: 331-334
AUTHORS: Eduardo R B Marques ; Manuel Ribeiro; Jose Pinto ; Joao B Sousa ; Francisco Martins ;
PUBLISHED: 2015, SOURCE: 30th ACM Symposium on Applied Computing (SAC) in 30TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, VOLS I AND II, VOLUME: 13-17-April-2015, PAGES: 331-334
5018
TITLE: Odin: A Service for Gamification of Learning Activities
AUTHORS: Jose Carlos Paiva ; Jose Paulo Leal ; Ricardo Queiros ;
PUBLISHED: 2015, SOURCE: 4th International Symposium on Languages, Applications and Technologies (SLATE) in LANGUAGES, APPLICATIONS AND TECHNOLOGIES, SLATE 2015, VOLUME: 563, PAGES: 194-204
AUTHORS: Jose Carlos Paiva ; Jose Paulo Leal ; Ricardo Queiros ;
PUBLISHED: 2015, SOURCE: 4th International Symposium on Languages, Applications and Technologies (SLATE) in LANGUAGES, APPLICATIONS AND TECHNOLOGIES, SLATE 2015, VOLUME: 563, PAGES: 194-204
5019
TITLE: Odin: a service for gamification of learning activities
AUTHORS: José P Leal ; José Paiva; Ricardo Queirós;
PUBLISHED: 2015, SOURCE: Symposium on Languages, Applications and Technologies (SLATE), 4th
AUTHORS: José P Leal ; José Paiva; Ricardo Queirós;
PUBLISHED: 2015, SOURCE: Symposium on Languages, Applications and Technologies (SLATE), 4th
INDEXED IN: Handle
Handle5020
TITLE: On Compiling Linear Logic Programs with Comprehensions, Aggregates and Rule Priorities
AUTHORS: Flavio Cruz ; Ricardo Rocha ;
PUBLISHED: 2015, SOURCE: 17th International Symposium on Practical Aspects of Declarative Languages (PADL) in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PADL 2015, VOLUME: 9131, PAGES: 34-49
AUTHORS: Flavio Cruz ; Ricardo Rocha ;
PUBLISHED: 2015, SOURCE: 17th International Symposium on Practical Aspects of Declarative Languages (PADL) in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PADL 2015, VOLUME: 9131, PAGES: 34-49
