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: 2840
43 Team MembersFilters -> Year: 2026
1481
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
1482
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
1483
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
1484
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
1485
TITLE: Dynamic inference of social roles in information cascades Full Text
AUTHORS: Choobdar, S ; Ribeiro, P ; Parthasarathy, S; Silva, F ;
PUBLISHED: 2015, SOURCE: DATA MINING AND KNOWLEDGE DISCOVERY, VOLUME: 29, ISSUE: 5, PAGES: 1152-1177
AUTHORS: Choobdar, S ; Ribeiro, P ; Parthasarathy, S; Silva, F ;
PUBLISHED: 2015, SOURCE: DATA MINING AND KNOWLEDGE DISCOVERY, VOLUME: 29, ISSUE: 5, PAGES: 1152-1177
1486
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
1487
TITLE: ELECTRICITY DAY-AHEAD MARKETS: COMPUTATION OF NASH EQUILIBRIA
AUTHORS: Carvalho, M ; Pedroso, JP ; Saraiva, J ;
PUBLISHED: 2015, SOURCE: JOURNAL OF INDUSTRIAL AND MANAGEMENT OPTIMIZATION, VOLUME: 11, ISSUE: 3, PAGES: 985-998
AUTHORS: Carvalho, M ; Pedroso, JP ; Saraiva, J ;
PUBLISHED: 2015, SOURCE: JOURNAL OF INDUSTRIAL AND MANAGEMENT OPTIMIZATION, VOLUME: 11, ISSUE: 3, PAGES: 985-998
1488
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
1489
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
DBLP arXiv1490
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
1491
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
DBLP arXiv1492
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
1493
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
1494
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
1495
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
1496
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
Scopus1497
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: MACHINE LEARNING, VOLUME: 100, ISSUE: 2-3, PAGES: 157-159
AUTHORS: Concha Bielza; Joao Gama ; Alipio Jorge ; Indre Zliobaite;
PUBLISHED: 2015, SOURCE: MACHINE LEARNING, VOLUME: 100, ISSUE: 2-3, PAGES: 157-159
1498
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
Scopus WOS DBLP1499
TITLE: Guest editors' introduction: special issue on Inductive Logic Programming and on Multi-Relational Learning Full Text
AUTHORS: Gerson Zaverucha; Vitor Santos Costa ;
PUBLISHED: 2015, SOURCE: MACHINE LEARNING, VOLUME: 100, ISSUE: 1, PAGES: 1-3
AUTHORS: Gerson Zaverucha; Vitor Santos Costa ;
PUBLISHED: 2015, SOURCE: MACHINE LEARNING, VOLUME: 100, ISSUE: 1, PAGES: 1-3
1500
TITLE: Hitch Hiker: A Remote Binding Model with Priority Based Data Aggregation for Wireless Sensor Networks
AUTHORS: Gowri Sankar Ramachandran; Wilfried Daniels; José Proença ; Sam Michiels; Wouter Joosen; Danny Hughes; Barry Porter;
PUBLISHED: 2015, SOURCE: 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering, CBSE 2015 in Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering, CBSE 2015, Montreal, QC, Canada, May 4-8, 2015, PAGES: 43-48
AUTHORS: Gowri Sankar Ramachandran; Wilfried Daniels; José Proença ; Sam Michiels; Wouter Joosen; Danny Hughes; Barry Porter;
PUBLISHED: 2015, SOURCE: 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering, CBSE 2015 in Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering, CBSE 2015, Montreal, QC, Canada, May 4-8, 2015, PAGES: 43-48
INDEXED IN: Scopus DBLP
Scopus DBLP