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

47 Team Members
Filters -> Year: 2026
1521
TITLE: Automated Diagnosis of Breast Cancer on Medical Images
AUTHORS: Marina Velikova; Inês Dutra ; Elizabeth S Burnside;
PUBLISHED: 2015, SOURCE: Foundations of Biomedical Knowledge Representation, VOLUME: 9521 LNCS, PAGES: 47-67
INDEXED IN: Scopus DBLP CrossRef
1522
TITLE: Average Size of Automata Constructions from Regular Expressions
AUTHORS: Sabine Broda ; António Machiavelo ; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2015, SOURCE: Bull. EATCS, VOLUME: 116
INDEXED IN: DBLP
1523
TITLE: Batched Evaluation of Full-Sharing Multithreaded Tabling
AUTHORS: Miguel Areias ; Rocha, R ;
PUBLISHED: 2015, SOURCE: 4th International Symposium on Languages, Applications and Technologies (SLATE) in LANGUAGES, APPLICATIONS AND TECHNOLOGIES, SLATE 2015, VOLUME: 563, PAGES: 113-124
INDEXED IN: Scopus WOS DBLP CrossRef: 2
1524
TITLE: Benchmarking analysis of social media strategies in the Higher Education Sector
AUTHORS: Oliveira, L ; Figueira, A ;
PUBLISHED: 2015, SOURCE: Conference on ENTERprise Information Systems (CENTERIS) / International Conference on Project MANagement (ProjMAN) / International Conference on Health and Social Care Information Systems and Technologies (HCist) in CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS/INTERNATIONAL CONFERENCE ON PROJECT MANAGEMENT/CONFERENCE ON HEALTH AND SOCIAL CARE INFORMATION SYSTEMS AND TECHNOLOGIES, CENTERIS/PROJMAN / HCIST 2015, VOLUME: 64, PAGES: 779-786
INDEXED IN: Scopus WOS DBLP CrossRef: 14
1525
TITLE: Biased allelic expression in human primary fibroblast single cells
AUTHORS: Borel, C; Ferreira, PG ; Santoni, F; Delaneau, O; Fort, A; Popadin, KY; Garieri, M; Falconnet, E; Ribaux, P; Guipponi, M; Padioleau, I; Carninci, P; Dermitzakis, ET; Antonarakis, SE;
PUBLISHED: 2015, SOURCE: American Journal of Human Genetics, VOLUME: 96, ISSUE: 1, PAGES: 70-80
INDEXED IN: Scopus CrossRef: 125
1526
TITLE: Can ride-sharing become attractive? A case study of taxi-sharing employing a simulation modelling approach
AUTHORS: Pedro M d'Orey ; Michel Ferreira ;
PUBLISHED: 2015, SOURCE: IET INTELLIGENT TRANSPORT SYSTEMS, VOLUME: 9, ISSUE: 2, PAGES: 210-220
INDEXED IN: Scopus WOS CrossRef: 24
1527
TITLE: Can We Find Deterministic Signatures in ECG and PCG Signals?
AUTHORS: Oliveira, JH ; Ferreira, V; Miguel T Coimbra ;
PUBLISHED: 2015, SOURCE: BIOSIGNALS, PAGES: 184-189
INDEXED IN: Scopus DBLP CrossRef
1528
TITLE: Certifying execution time in multicores  Full Text
AUTHORS: Rodrigues, V ; Akesson, B; Florido, M ; de Sousa, SM ; Pedroso, JP ; Vasconcelos, P ;
PUBLISHED: 2015, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 111, ISSUE: P3, PAGES: 505-534
INDEXED IN: Scopus WOS DBLP CrossRef: 4
1529
TITLE: Class-Based Outlier Detection: Staying Zombies or Awaiting for Resurrection?
AUTHORS: Nezvalová, L; Popelínsky, L; Torgo, L ; Vaculík, K;
PUBLISHED: 2015, SOURCE: 14th International Symposium on Intelligent Data Analysis (IDA) in ADVANCES IN INTELLIGENT DATA ANALYSIS XIV, VOLUME: 9385, PAGES: 193-204
INDEXED IN: Scopus WOS DBLP CrossRef: 2
1530
TITLE: Classification and reconstruction of compressed GMM signals with side information
AUTHORS: Renna, F ; Wang, L; Yuan, X; Yang, J; Reeves, G; Calderbank, R; Carin, L; Rodrigues, MRD ;
PUBLISHED: 2015, SOURCE: IEEE International Symposium on Information Theory, ISIT 2015 in IEEE International Symposium on Information Theory - Proceedings, VOLUME: 2015-June, PAGES: 994-998
INDEXED IN: Scopus CrossRef: 2
1531
TITLE: Closed Shortest Path in the Original Coordinates with an Application to Breast Cancer  Full Text
AUTHORS: Cardoso, JS ; Inês Domingues ; Oliveira, HP ;
PUBLISHED: 2015, SOURCE: INTERNATIONAL JOURNAL OF PATTERN RECOGNITION AND ARTIFICIAL INTELLIGENCE, VOLUME: 29, ISSUE: 1, PAGES: 1555002:1-1555002:24
INDEXED IN: Scopus WOS DBLP CrossRef: 36
1532
TITLE: Collaborative filtering with recency-based negative feedback
AUTHORS: Vinagre, J ; Jorge, AM ; Gama, J ;
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: 963-965
INDEXED IN: Scopus WOS DBLP CrossRef: 11
1533
TITLE: Compressive Classification: Where Wireless Communications Meets Machine Learning
AUTHORS: Rodrigues, M ; Nokleby, M; Renna, F ; Calderbank, R;
PUBLISHED: 2015, SOURCE: International Workshop on Compressed Sensing and its Applications in Compressed Sensing and its Applications, ISSUE: 9783319160412, PAGES: 451-468
INDEXED IN: Scopus WOS CrossRef
1534
TITLE: Corrigendum: Sporadic and reversible chromothripsis in chronic lymphocytic leukemia revealed by longitudinal genomic analysis  Full Text
AUTHORS: Bassaganyas, L; Beà, S; Escaramís, G; Tornador, C; Salaverria, I; Zapata, L; Drechsel, O; Ferreira, PG ; Rodriguez Santiago, B; Tubio, JMC; Navarro, A; Martín García, D; López, C; Martínez Trillos, A; López Guillermo, A; Gut, M; Ossowski, S; López Otín, C; Campo, E; Estivill, X;
PUBLISHED: 2015, SOURCE: Leukemia, VOLUME: 29, ISSUE: 3, PAGES: 758
INDEXED IN: Scopus CrossRef: 4
1535
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
1536
TITLE: Data Quality in HL7 Messages - A Real Case Analysis
AUTHORS: Ferreira, R ; Correia, ME ; Rocha Gonçalves, F ; Cruz Correia, R ;
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
1537
TITLE: Deciding Kleene algebra terms equivalence in Coq
AUTHORS: Moreira, N ; Pereira, D ; de Sousa, SM ;
PUBLISHED: 2015, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 84, ISSUE: 3, PAGES: 377-401
INDEXED IN: Scopus WOS DBLP CrossRef: 4
1538
TITLE: Deciding Synchronous Kleene Algebra with Derivatives
AUTHORS: Sabine Broda ; Sílvia Cavadas; Miguel Ferreira; Nelma Moreira ;
PUBLISHED: 2015, SOURCE: CIAA, VOLUME: 9223, PAGES: 49-62
INDEXED IN: Scopus DBLP CrossRef: 2 Handle
1539
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: CHANTS@MobiCom, PAGES: 63-64
INDEXED IN: Scopus DBLP CrossRef
1540
TITLE: Discovering Weighted Motifs in Gene co-expression Networks
AUTHORS: Choobdar, S ; Ribeiro, P ; Silva, F ;
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

Results per Page: 20.
Page 77 of 143. Total results: 2858.