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

47 Team Members
Filters -> Year: 2026
1741
TITLE: Sensing bluetooth mobility data: Potentials and applications
AUTHORS: Filgueiras, J; Rossetti, RJF ; Kokkinogenis, Z ; Ferreira, M ; Olaverri Monreal, C; Paiva, M; João Manuel R. S. Tavares ; Joaquim Mendes ;
PUBLISHED: 2014, SOURCE: Advances in Intelligent Systems and Computing, VOLUME: 262, PAGES: 419-432
INDEXED IN: Scopus CrossRef: 3 Handle
1742
TITLE: Sequencing Educational Resources with Seqins  Full Text
AUTHORS: Queirós, R ; Leal, JP ; Campos, J;
PUBLISHED: 2014, SOURCE: COMPUTER SCIENCE AND INFORMATION SYSTEMS, VOLUME: 11, ISSUE: 4, PAGES: 1479-1497
INDEXED IN: Scopus WOS DBLP CrossRef: 6
1743
TITLE: Short paper: CHIPS: content-based heuristics for improving photo privacy for smartphones. CHIPS: content-based heuristics for improving photo privacy for smartphones  Full Text
AUTHORS: Jiaqi Tan; Utsav Drolia; Rolando Martins ; Rajeev Gandhi; Priya Narasimhan;
PUBLISHED: 2014, SOURCE: WISEC, PAGES: 213-218
INDEXED IN: Scopus DBLP CrossRef: 10
1744
TITLE: SPECIAL ISSUE DESCRIPTIONAL COMPLEXITY OF FORMAL SYSTEMS (DCFS 2013) PREFACE
AUTHORS: Helmut Juergensen; Rogerio Reis ;
PUBLISHED: 2014, SOURCE: INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, VOLUME: 25, ISSUE: 7, PAGES: 803-805
INDEXED IN: WOS
1745
TITLE: Statistical study on the number of injective linear finite transducers
AUTHORS: Ivone Amorim; António Machiavelo ; Rogério Reis ;
PUBLISHED: 2014, SOURCE: NCMA, PAGES: 57-72
INDEXED IN: DBLP
1746
TITLE: STOVEPipe: Observable Access Control of User Data for Untrusted Applications on Mobile Devices
AUTHORS: Tan, JQ; Drolia, U; Martins, R ; Gandhi, R; Narasimhan, P;
PUBLISHED: 2014, SOURCE: 2014 6th IEEE International Conference on Cloud Computing Technology and Science, CloudCom 2014 in 2014 IEEE 6TH INTERNATIONAL CONFERENCE ON CLOUD COMPUTING TECHNOLOGY AND SCIENCE (CLOUDCOM), VOLUME: 2015-February, ISSUE: February, PAGES: 680-683
INDEXED IN: Scopus WOS DBLP CrossRef: 2
1747
TITLE: Support Vector Machines for Differential Prediction
AUTHORS: Finn Kuusisto; Vítor Santos Costa ; Houssam Nassif; Elizabeth S Burnside; David Page; Jude W Shavlik;
PUBLISHED: 2014, SOURCE: ECML/PKDD (2), VOLUME: 8725 LNAI, ISSUE: PART 2, PAGES: 50-65
INDEXED IN: Scopus DBLP CrossRef: 22
1748
TITLE: Symmetric Groups and Quotient Complexity of Boolean Operations
AUTHORS: Bell, J; Brzozowski, J; Moreira, N ; Reis, R ;
PUBLISHED: 2014, SOURCE: 41st International Colloquium on Automata, Languages and Programming in AUTOMATA, LANGUAGES, AND PROGRAMMING (ICALP 2014), PT II, VOLUME: 8573, ISSUE: PART 2, PAGES: 1-12
INDEXED IN: Scopus WOS DBLP CrossRef: 6
1749
TITLE: Tabling, Rational Terms, and Coinduction Finally Together!
AUTHORS: Mantadelis, T ; Rocha, R ; Moura, P ;
PUBLISHED: 2014, SOURCE: 30th International Conference on Logic Programming in THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 14, ISSUE: 4-5, PAGES: 429-443
INDEXED IN: Scopus WOS DBLP CrossRef: 1
1751
TITLE: Tessellation-based Coarse Registration Method for 3D Reconstruction of the Female Torso
AUTHORS: Pedro Costa; Joao P Monteiro ; Hooshiar Zolfagharnasab ; Helder P Oliveira ;
PUBLISHED: 2014, SOURCE: IEEE International Conference on Bioinformatics and Biomedicine (IEEE BIBM) in 2014 IEEE INTERNATIONAL CONFERENCE ON BIOINFORMATICS AND BIOMEDICINE (BIBM), PAGES: 301-306
INDEXED IN: Scopus WOS DBLP CrossRef: 5
1752
TITLE: The distinguishability operation on regular languages
AUTHORS: Cezar Câmpeanu; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2014, SOURCE: NCMA, PAGES: 85-100
INDEXED IN: DBLP
1753
TITLE: The kyte latissimus dorsi flap in breast reconstruction: A technique modification attempt to reduce axillary bulging  Full Text
AUTHORS: Pinto, D; Gouveia, P; Magalhaes, AT; Bastos Martins, JB; Moura, A; Oliveira, HP ; Cardoso, MJ; Mavioso, C; Correia Anacieto, JC;
PUBLISHED: 2014, SOURCE: 9th European Breast Cancer Conference (EBCC) in EUROPEAN JOURNAL OF CANCER, VOLUME: 50
INDEXED IN: WOS
1754
TITLE: Towards using Probabilities and Logic to Model Regulatory Networks
AUTHORS: Gonçalves, A ; Ong, I; Lewis, JA; Costa, VS ;
PUBLISHED: 2014, SOURCE: 27th IEEE International Symposium on Computer-Based Medical Systems (CBMS) in 2014 IEEE 27TH INTERNATIONAL SYMPOSIUM ON COMPUTER-BASED MEDICAL SYSTEMS (CBMS), PAGES: 239-242
INDEXED IN: Scopus WOS DBLP CrossRef: 1
1755
TITLE: Transcriptome characterization by RNA sequencing identifies a major molecular and clinical subdivision in chronic lymphocytic leukemia
AUTHORS: Ferreira, PG ; Jares, P; Rico, D; Gómez López, G; Martínez Trillos, A; Villamor, N; Ecker, S; González Pérez, A; Knowles, DG; Monlong, J; Johnson, R; Quesada, V; Djebali, S; Papasaikas, P; López Guerra, M; Colomer, D; Royo, C; Cazorla, M; Pinyol, M; Clot, G; Aymerich, M; Rozman, M; Kulis, M; Tamborero, D; Gouin, A; Blanc, J; Gut, M; Gut, I; Puente, XS; Pisano, DG; Martin Subero, JI; López Bigas, N; López Guillermo, A; Valencia, A; López Otín, C; Campo, E; Guigó, R; ...More
PUBLISHED: 2014, SOURCE: Genome Research, VOLUME: 24, ISSUE: 2, PAGES: 212-226
INDEXED IN: Scopus CrossRef: 183
1756
TITLE: Unit commitment with valve-point loading effect
AUTHORS: João Pedro Pedroso ; Mikio Kubo; Ana Viana ;
PUBLISHED: 2014, SOURCE: CoRR, VOLUME: abs/1404.4944
INDEXED IN: DBLP
1757
TITLE: Untitled  Full Text
AUTHORS: Lukovic, I; Budimac, Z; Leal, JP ; Janousek, J; Rocha, A; Burdescu, DD; Dragan, D;
PUBLISHED: 2014, SOURCE: COMPUTER SCIENCE AND INFORMATION SYSTEMS, VOLUME: 11, ISSUE: 4
INDEXED IN: WOS
1758
TITLE: USB Connection Vulnerabilities on Android Smartphones: Default and Vendors' Customizations
AUTHORS: Pereira, A; Correia, M ; Brandao, P ;
PUBLISHED: 2014, SOURCE: 15th Joint IFIP TC-6 and TC-11 International Conference on Communications and Multimedia Security (CMS) in COMMUNICATIONS AND MULTIMEDIA SECURITY, CMS 2014, VOLUME: 8735, PAGES: 19-32
INDEXED IN: Scopus WOS DBLP CrossRef: 7
1759
TITLE: Using Exit Time Predictions to Optimize Self Automated Parking Lots
AUTHORS: Nunes, R; Moreira Matias, L ; Ferreira, M ;
PUBLISHED: 2014, SOURCE: IEEE 17th International Conference on Intelligent Transportation Systems (ITSC) in 2014 IEEE 17TH INTERNATIONAL CONFERENCE ON INTELLIGENT TRANSPORTATION SYSTEMS (ITSC), PAGES: 302-307
INDEXED IN: Scopus WOS DBLP CrossRef: 7
1760
TITLE: Verified Implementations for Secure and Verifiable Computation
AUTHORS: José Bacelar Almeida ; Manuel Barbosa ; Gilles Barthe ; Guillaume Davy; François Dupressoir; Benjamin Grégoire; Pierre Yves Strub;
PUBLISHED: 2014, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2014, PAGES: 456
INDEXED IN: DBLP

Results per Page: 20.
Page 88 of 143. Total results: 2855.