Department of Computer Science (DCC)
Departamento de Ciências dos Computadores
AuthID: I-000-0JZ
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: 2644
43 Team MembersFilters -> Year: 2025
1321
TITLE: Cutting Stock with Binary Patterns: Arc-flow Formulation with Graph Compression PDF
AUTHORS: Filipe Brandão; João Pedro Pedroso ;
PUBLISHED: 2015, SOURCE: CoRR, VOLUME: abs/1502.02899
AUTHORS: Filipe Brandão; João Pedro Pedroso ;
PUBLISHED: 2015, SOURCE: CoRR, VOLUME: abs/1502.02899
INDEXED IN: DBLP arXiv
1322
TITLE: Data Quality in HL7 Messages - A Real Case Analysis
AUTHORS: Ricardo Ferreira ; Manuel E. Correia ; Francisco Rocha Goncalves ; Ricardo Cruz Correia ;
PUBLISHED: 2015, SOURCE: 28th IEEE International Symposium on Computer-Based Medical Systems (CBMS) in 2015 IEEE 28TH INTERNATIONAL SYMPOSIUM ON COMPUTER-BASED MEDICAL SYSTEMS (CBMS), VOLUME: 2015-July, PAGES: 197-200
AUTHORS: Ricardo Ferreira ; Manuel E. Correia ; Francisco Rocha Goncalves ; Ricardo Cruz Correia ;
PUBLISHED: 2015, SOURCE: 28th IEEE International Symposium on Computer-Based Medical Systems (CBMS) in 2015 IEEE 28TH INTERNATIONAL SYMPOSIUM ON COMPUTER-BASED MEDICAL SYSTEMS (CBMS), VOLUME: 2015-July, PAGES: 197-200
1323
TITLE: Deciding Kleene algebra terms equivalence in Coq
AUTHORS: Nelma Moreira ; David Pereira ; Simao Melo de Sousa ;
PUBLISHED: 2015, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 84, ISSUE: 3, PAGES: 377-401
AUTHORS: Nelma Moreira ; David Pereira ; Simao Melo de Sousa ;
PUBLISHED: 2015, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 84, ISSUE: 3, PAGES: 377-401
1324
TITLE: Deciding Synchronous Kleene Algebra with Derivatives
AUTHORS: Sabine Broda ; Sílvia Cavadas; Miguel Ferreira; Nelma Moreira ;
PUBLISHED: 2015, SOURCE: 20th International Conference on Implementation and Application of Automata, CIAA 2015 in Implementation and Application of Automata - 20th International Conference, CIAA 2015, Umeå, Sweden, August 18-21, 2015, Proceedings, VOLUME: 9223, PAGES: 49-62
AUTHORS: Sabine Broda ; Sílvia Cavadas; Miguel Ferreira; Nelma Moreira ;
PUBLISHED: 2015, SOURCE: 20th International Conference on Implementation and Application of Automata, CIAA 2015 in Implementation and Application of Automata - 20th International Conference, CIAA 2015, Umeå, Sweden, August 18-21, 2015, Proceedings, VOLUME: 9223, PAGES: 49-62
1325
TITLE: Demo: DisToNet: Disconnection Tolerant Mobile Ad-Hoc Networks. Disconnection Tolerant Mobile Ad-Hoc Networks
AUTHORS: Emanuel Lima; Pedro Brandão ; Orangel Azuaje; Ana Aguiar ;
PUBLISHED: 2015, SOURCE: 10th ACM MobiCom Workshop on Challenged Networks, CHANTS 2015 in Proceedings of the 10th ACM MobiCom Workshop on Challenged Networks, CHANTS@MobiCom 2015, Paris, France, September 11, 2015, PAGES: 63-64
AUTHORS: Emanuel Lima; Pedro Brandão ; Orangel Azuaje; Ana Aguiar ;
PUBLISHED: 2015, SOURCE: 10th ACM MobiCom Workshop on Challenged Networks, CHANTS 2015 in Proceedings of the 10th ACM MobiCom Workshop on Challenged Networks, CHANTS@MobiCom 2015, Paris, France, September 11, 2015, PAGES: 63-64
1326
TITLE: Discovering Weighted Motifs in Gene co-expression Networks
AUTHORS: Sarvenaz Choobdar ; Pedro Ribeiro ; Fernando Silva ;
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: 10-17
AUTHORS: Sarvenaz Choobdar ; Pedro Ribeiro ; Fernando Silva ;
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: 10-17
1327
TITLE: Dynamic inference of social roles in information cascades Full Text
AUTHORS: Sarvenaz Choobdar ; Pedro Ribeiro ; Srinivasan Parthasarathy; Fernando Silva ;
PUBLISHED: 2015, SOURCE: DATA MINING AND KNOWLEDGE DISCOVERY, VOLUME: 29, ISSUE: 5, PAGES: 1152-1177
AUTHORS: Sarvenaz Choobdar ; Pedro Ribeiro ; Srinivasan Parthasarathy; Fernando Silva ;
PUBLISHED: 2015, SOURCE: DATA MINING AND KNOWLEDGE DISCOVERY, VOLUME: 29, ISSUE: 5, PAGES: 1152-1177
1328
TITLE: Effect of predicted protein-truncating genetic variants on the human transcriptome
AUTHORS: Rivas, MA; Pirinen, M; Conrad, DF; Lek, M; Tsang, EK; Karczewski, KJ; Maller, JB; Kukurba, KR; DeLuca, DS; Fromer, M; Ferreira, PG ; Smith, KS; Zhang, R; Zhao, F; Banks, E; Poplin, R; Ruderfer, DM; Purcell, SM; Tukiainen, T; Minikel, EV; ...More
PUBLISHED: 2015, SOURCE: Science, VOLUME: 348, ISSUE: 6235, PAGES: 666-669
AUTHORS: Rivas, MA; Pirinen, M; Conrad, DF; Lek, M; Tsang, EK; Karczewski, KJ; Maller, JB; Kukurba, KR; DeLuca, DS; Fromer, M; Ferreira, PG ; Smith, KS; Zhang, R; Zhao, F; Banks, E; Poplin, R; Ruderfer, DM; Purcell, SM; Tukiainen, T; Minikel, EV; ...More
PUBLISHED: 2015, SOURCE: Science, VOLUME: 348, ISSUE: 6235, PAGES: 666-669
1329
TITLE: ELECTRICITY DAY-AHEAD MARKETS: COMPUTATION OF NASH EQUILIBRIA
AUTHORS: Margarida Carvalho ; Joao Pedro Pedroso ; Joao Saraiva ;
PUBLISHED: 2015, SOURCE: JOURNAL OF INDUSTRIAL AND MANAGEMENT OPTIMIZATION, VOLUME: 11, ISSUE: 3, PAGES: 985-998
AUTHORS: Margarida Carvalho ; Joao Pedro Pedroso ; Joao Saraiva ;
PUBLISHED: 2015, SOURCE: JOURNAL OF INDUSTRIAL AND MANAGEMENT OPTIMIZATION, VOLUME: 11, ISSUE: 3, PAGES: 985-998
1330
TITLE: Erratum: Short term exposure of beta cells to low concentrations of interleukin-1β improves insulin secretion through focal adhesion and actin remodeling and regulation of gene expression (Journal of Biological Chemistr (2015) 290 (6653-6669))
AUTHORS: Arous, C; Ferreira, PG ; Dermitzakis, ET; Halban, PA;
PUBLISHED: 2015, SOURCE: Journal of Biological Chemistry, VOLUME: 290, ISSUE: 23, PAGES: 14491
AUTHORS: Arous, C; Ferreira, PG ; Dermitzakis, ET; Halban, PA;
PUBLISHED: 2015, SOURCE: Journal of Biological Chemistry, VOLUME: 290, ISSUE: 23, PAGES: 14491
1331
TITLE: Evaluation of recommender systems in streaming environments PDF
AUTHORS: João Vinagre ; Alípio Mário Jorge ; João Gama ;
PUBLISHED: 2015, SOURCE: CoRR, VOLUME: abs/1504.08175
AUTHORS: João Vinagre ; Alípio Mário Jorge ; João Gama ;
PUBLISHED: 2015, SOURCE: CoRR, VOLUME: abs/1504.08175
INDEXED IN: DBLP arXiv
1332
TITLE: Exploring multi-relational temporal databases with a propositional sequence miner Full Text
AUTHORS: Ferreira, Carlos Abreu ; Gama, Joao ; Costa, Vitor Santos ;
PUBLISHED: 2015, SOURCE: PROGRESS IN ARTIFICIAL INTELLIGENCE, VOLUME: 4, ISSUE: 1-2, PAGES: 11-20
AUTHORS: Ferreira, Carlos Abreu ; Gama, Joao ; Costa, Vitor Santos ;
PUBLISHED: 2015, SOURCE: PROGRESS IN ARTIFICIAL INTELLIGENCE, VOLUME: 4, ISSUE: 1-2, PAGES: 11-20
1333
TITLE: Facial Expressions Tracking and Recognition: Database Protocols for Systems Validation and Evaluation PDF
AUTHORS: Catarina Runa Miranda; Pedro Mendes; Pedro Coelho; Xenxo Alvarez; João Freitas; Miguel Sales Dias; Verónica Costa Orvalho ;
PUBLISHED: 2015, SOURCE: CoRR, VOLUME: abs/1506.00925
AUTHORS: Catarina Runa Miranda; Pedro Mendes; Pedro Coelho; Xenxo Alvarez; João Freitas; Miguel Sales Dias; Verónica Costa Orvalho ;
PUBLISHED: 2015, SOURCE: CoRR, VOLUME: abs/1506.00925
INDEXED IN: DBLP arXiv
1334
TITLE: FlowBox: Anomaly Detection using Flow Analysis in Cloud Applications
AUTHORS: Senbo B Fu; Hyong Kim; Rui Prior ;
PUBLISHED: 2015, SOURCE: IEEE Global Communications Conference (GLOBECOM) in 2015 IEEE GLOBAL COMMUNICATIONS CONFERENCE (GLOBECOM), PAGES: 1-6
AUTHORS: Senbo B Fu; Hyong Kim; Rui Prior ;
PUBLISHED: 2015, SOURCE: IEEE Global Communications Conference (GLOBECOM) in 2015 IEEE GLOBAL COMMUNICATIONS CONFERENCE (GLOBECOM), PAGES: 1-6
1335
TITLE: Forecasting the Correct Trading Actions Full Text
AUTHORS: Luis Baia ; Luis Torgo ;
PUBLISHED: 2015, SOURCE: 17th Portuguese Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE, VOLUME: 9273, PAGES: 560-571
AUTHORS: Luis Baia ; Luis Torgo ;
PUBLISHED: 2015, SOURCE: 17th Portuguese Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE, VOLUME: 9273, PAGES: 560-571
1336
TITLE: Forgetting Methods for Incremental Matrix Factorization in Recommender Systems
AUTHORS: Pawel Matuszyk; Joao Vinagre ; Myra Spiliopoulou; Alipio Mario Jorge ; Joao Gama ;
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: 947-953
AUTHORS: Pawel Matuszyk; Joao Vinagre ; Myra Spiliopoulou; Alipio Mario Jorge ; Joao Gama ;
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: 947-953
1337
TITLE: Formalization of context-free language theory PDF
AUTHORS: Marcus V. M. Ramos; Ruy de G. B. de Queiroz; Nelma Moreira ; José Carlos Bacelar Almeida ;
PUBLISHED: 2015, SOURCE: CoRR, VOLUME: abs/1510.09092
AUTHORS: Marcus V. M. Ramos; Ruy de G. B. de Queiroz; Nelma Moreira ; José Carlos Bacelar Almeida ;
PUBLISHED: 2015, SOURCE: CoRR, VOLUME: abs/1510.09092
INDEXED IN: DBLP arXiv
1338
TITLE: FSAD: Flow Similarity Analysis for Anomaly Detection in Cloud Applications
AUTHORS: Senbo B Fu; Hyong Kim; Rui Prior ;
PUBLISHED: 2015, SOURCE: IEEE 7th International Conference on Cloud in 2015 IEEE 7TH INTERNATIONAL CONFERENCE ON CLOUD COMPUTING TECHNOLOGY AND SCIENCE (CLOUDCOM), PAGES: 426-429
AUTHORS: Senbo B Fu; Hyong Kim; Rui Prior ;
PUBLISHED: 2015, SOURCE: IEEE 7th International Conference on Cloud in 2015 IEEE 7TH INTERNATIONAL CONFERENCE ON CLOUD COMPUTING TECHNOLOGY AND SCIENCE (CLOUDCOM), PAGES: 426-429
1339
TITLE: Grid computing: Techniques and future prospects
AUTHORS: Barbosa, JG ; Dutra, I ;
PUBLISHED: 2015, SOURCE: Grid Computing: Techniques and Future Prospects, PAGES: 1-213
AUTHORS: Barbosa, JG ; Dutra, I ;
PUBLISHED: 2015, SOURCE: Grid Computing: Techniques and Future Prospects, PAGES: 1-213
INDEXED IN: Scopus
1340
TITLE: Guest editors introduction: special issue of the ECMLPKDD 2015 journal track Full Text
AUTHORS: Concha Bielza; Joao Gama ; Alipio Jorge ; Indre Zliobaite;
PUBLISHED: 2015, SOURCE: DATA MINING AND KNOWLEDGE DISCOVERY, VOLUME: 29, ISSUE: 5, PAGES: 1113-1115
AUTHORS: Concha Bielza; Joao Gama ; Alipio Jorge ; Indre Zliobaite;
PUBLISHED: 2015, SOURCE: DATA MINING AND KNOWLEDGE DISCOVERY, VOLUME: 29, ISSUE: 5, PAGES: 1113-1115
INDEXED IN: Scopus WOS DBLP