Department of Computer Science (DCC)
Departamento de Ciências dos Computadores

University of Porto (UP) :: Faculty of Sciences (FCUP)

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

43 Team Members
Filters -> 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
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
INDEXED IN: Scopus WOS DBLP CrossRef: 4
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
INDEXED IN: Scopus WOS DBLP CrossRef: 2
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
INDEXED IN: Scopus DBLP CrossRef Handle
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
INDEXED IN: Scopus DBLP CrossRef
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
INDEXED IN: Scopus WOS DBLP CrossRef: 2
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
INDEXED IN: Scopus WOS DBLP CrossRef: 8
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; Stenson, PD; Cooper, DN; Huang, KH; Sullivan, TJ; Nedzel, J; Bustamante, CD; Li, JB; Daly, MJ; Guigo, R; Donnelly, P; Ardlie, K; Sammeth, M; Dermitzakis, ET; McCarthy, MI; Montgomery, SB; Lappalainen, T; MacArthur, DG; Segre, AV; Young, TR; Gelfand, ET; Trowbridge, CA; Ward, LD; Kheradpour, P; Iriarte, B; Meng, Y; Palmer, CD; Esko, T; Winckler, W; Hirschhorn, J; Kellis, M; Getz, G; Shablin, AA; Li, G; Y.-H Zhou; Nobel, AB; Rusyn, I; Wright, FA; Battle, A; Mostafavi, S; Mele, M; Reverter, F; Goldmann, J; Koller, D; Gamazon, ER; Im, HK; Konkashbaev, A; Nicolae, DL; Cox, NJ; Flutre, T; Wen, X; Stephens, M; Pritchard, JK; Tu, Z; Zhang, B; Huang, T; Long, Q; Lin, L; Yang, J; Zhu, J; Liu, J; Brown, A; Mestichelli, B; Tidwell, D; Lo, E; Salvatore, M; Shad, S; Thomas, JA; Lonsdale, JT; Choi, RC; Karasik, E; Ramsey, K; Moser, MT; Foster, BA; Gillard, BM; Syron, J; Fleming, J; Magazine, H; Hasz, R; Walters, GD; Bridge, JP; Miklos, M; Sullivan, S; Barker, LK; Traino, H; Mosavel, M; Siminoff, LA; Valley, DR; Rohrer, DC; Jewel, S; Branton, P; Sobin, LH; Barcus, M; Qi, L; Hariharan, P; Wu, S; Tabor, D; Shive, C; Smith, AM; Buia, SA; Undale, AH; Robinson, KL; Roche, N; Valentino, KM; Britton, A; Burges, R; Bradbury, D; Hambright, KW; Seleski, J; Korzeniewski, GE; Erickson, K; Marcus, Y; Tejada, J; Taherian, M; Lu, C; Robles, BE; Basile, M; Mash, DC; Volpi, S; Struewing, JP; Temple, GF; Boyer, J; Colantuoni, D; Little, R; Koester, S; Carithers, LJ; Moore, HM; Guan, P; Compton, C; Sawyer, SJ; Demchok, JP; Vaught, JB; Rabiner, CA; Lockhart, NC; Friedlander, MR; 't Hoen, PAC; Monlong, J; Gonzalez-Porta, M; Kurbatova, N; Griebel, T; Barann, M; Wieland, T; Greger, L; van Iterson, M; Almlof, J; Ribeca, P; Pulyakhina, I; Esser, D; Giger, T; Tikhonov, A; Sultan, M; Bertier, G; Lizano, E; Buermans, HPJ; Padioleau, I; Schwarzmayr, T; Karlberg, O; Ongen, H; Kilpinen, H; Beltran, S; Gut, M; Kahlem, K; Amstislavskiy, V; Stegle, O; Flicek, P; Strom, TM; Lehrach, H; Schreiber, S; Sudbrak, R; Carracedo, A; Antonarakis, SE; Hasler, R; A.-C Syvanen; G.-J van Ommen; Brazma, A; Meitinger, T; Rosenstiel, P; Gut, IG; Estivill, X; The GTEx Consortium, ; The Geuvadis Consortium, ; ...More
PUBLISHED: 2015, SOURCE: Science, VOLUME: 348, ISSUE: 6235, PAGES: 666-669
INDEXED IN: Scopus CrossRef: 258
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
INDEXED IN: Scopus WOS CrossRef: 3
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
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
INDEXED IN: Scopus WOS DBLP CrossRef: 3
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
INDEXED IN: Scopus WOS DBLP CrossRef
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
INDEXED IN: Scopus WOS DBLP CrossRef: 2
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
INDEXED IN: Scopus WOS DBLP CrossRef: 26
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
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
INDEXED IN: Scopus WOS DBLP CrossRef: 1
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
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
INDEXED IN: Scopus WOS DBLP

Results per Page: 20.
Page 67 of 133. Total results: 2644.