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

46 Team Members
Filters -> Year: 2026
1701
TITLE: Linearity in Computation
AUTHORS: Mário Florido ; Ian Mackie;
PUBLISHED: 2014, SOURCE: J. Log. Comput., VOLUME: 24, ISSUE: 3, PAGES: 511-512
INDEXED IN: Scopus DBLP CrossRef
1702
TITLE: Linearity: A Roadmap
AUTHORS: Alves, S ; Fernández, M; Florido, M ; Mackie, I;
PUBLISHED: 2014, SOURCE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 24, ISSUE: 3, PAGES: 513-529
INDEXED IN: Scopus WOS DBLP CrossRef
1703
TITLE: Local Self Similar Descriptors: Comparison and Application to Gastroenterology Images  Full Text
AUTHORS: Sousa, R; Moura, DC; Dinis Ribeiro, M ; Coimbra, MT ;
PUBLISHED: 2014, SOURCE: 36th Annual International Conference of the IEEE-Engineering-in-Medicine-and-Biology-Society (EMBC) in 2014 36TH ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE AND BIOLOGY SOCIETY (EMBC), PAGES: 4635-4638
INDEXED IN: Scopus WOS DBLP CrossRef: 3
1704
TITLE: Managing and Assessing Group Work from a Distance  Full Text
AUTHORS: Figueira, A ; Pereira, R;
PUBLISHED: 2014, SOURCE: IEEE Frontiers in Education Conference (FIE) in 2014 IEEE FRONTIERS IN EDUCATION CONFERENCE (FIE), VOLUME: 2015-February, ISSUE: February, PAGES: 27-34
INDEXED IN: Scopus WOS DBLP CrossRef
1705
TITLE: Maximizing Expectation on Vertex-Disjoint Cycle Packing
AUTHORS: Joao Pedro Pedroso ;
PUBLISHED: 2014, SOURCE: 14th International Conference on Computational Science and Its Applications (ICCSA) in COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2014, PT II, VOLUME: 8580, ISSUE: PART 2, PAGES: 32-46
INDEXED IN: Scopus WOS DBLP CrossRef: 10
1706
TITLE: Measuring the effectiveness of an e-commerce site throughweb and sales activity
AUTHORS: Carneiro, AR; Jorge, AM ; Brito, PQ ; Domingues, MA;
PUBLISHED: 2014, SOURCE: International Conference on Modeling, Optimization and Dynamics, ICMOD 2010 and 5th Bioeconomy Conference 2012 in Springer Proceedings in Mathematics and Statistics, VOLUME: 73, PAGES: 149-162
INDEXED IN: Scopus CrossRef
1707
TITLE: Metaheuristic search based methods for unit commitment  Full Text
AUTHORS: Rahman, DF ; Viana, A ; Pedroso, JP ;
PUBLISHED: 2014, SOURCE: INTERNATIONAL JOURNAL OF ELECTRICAL POWER & ENERGY SYSTEMS, VOLUME: 59, PAGES: 14-22
INDEXED IN: Scopus WOS CrossRef: 28
1708
TITLE: MobBIO: A Multimodal Database Captured with a Portable Handheld Device
AUTHORS: Ana F Sequeira ; Joao C Monteiro; Ana Rebelo ; Helder P Oliveira ;
PUBLISHED: 2014, SOURCE: 9th International Conference on Computer Vision Theory and Applications (VISAPP) in PROCEEDINGS OF THE 2014 9TH INTERNATIONAL CONFERENCE ON COMPUTER VISION, THEORY AND APPLICATIONS (VISAPP 2014), VOL 3, VOLUME: 3, PAGES: 133-139
INDEXED IN: Scopus WOS DBLP
1709
TITLE: MobILive 2014-Mobile Iris Liveness Detection Competition
AUTHORS: Sequeira, AF ; Oliveira, HP ; Monteiro, JC; Monteiro, JP ; Cardoso, JS ;
PUBLISHED: 2014, SOURCE: 2014 IEEE/IAPR INTERNATIONAL JOINT CONFERENCE ON BIOMETRICS (IJCB 2014), PAGES: 1-6
INDEXED IN: Scopus WOS DBLP CrossRef: 26
1710
TITLE: Monitoring Recommender Systems: A Business Intelligence Approach
AUTHORS: Félix, C ; Soares, C ; Jorge, A ; Vinagre, J ;
PUBLISHED: 2014, SOURCE: 14th International Conference on Computational Science and Its Applications (ICCSA) in COMPUTATIONAL SCIENCE AND ITS APPLICATIONS, PART VI - ICCSA 2014, VOLUME: 8584, ISSUE: PART 6, PAGES: 277-288
INDEXED IN: Scopus WOS DBLP CrossRef: 1
1711
TITLE: Morphometric Analysis of Sciatic Nerve Images: A Directional Gradient Approach
AUTHORS: Ines V Rodrigues; Pedro M Ferreira ; Ana R Malheiro; Pedro Brites; Eduardo M Pereira ; 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: 261-266
INDEXED IN: Scopus WOS DBLP CrossRef
1712
TITLE: Multiscale Parameter Tuning of a Semantic Relatedness Algorithm
AUTHORS: José Paulo Leal ; Teresa Costa ;
PUBLISHED: 2014, SOURCE: SLATE, VOLUME: 38, PAGES: 201-213
INDEXED IN: Scopus DBLP
1713
TITLE: Network Coding Protocols for Smart Grid Communications
AUTHORS: Prior, R ; Lucani, DE; Phulpin, Y; Nistor, M; Barros, J ;
PUBLISHED: 2014, SOURCE: IEEE TRANSACTIONS ON SMART GRID, VOLUME: 5, ISSUE: 3, PAGES: 1523-1531
INDEXED IN: Scopus WOS DBLP CrossRef: 30
1714
TITLE: Noninvasive Blood Pressure and the Second Heart Sound Analysis
AUTHORS: Castro, A ; Mattos, SS; Coimbra, MT ;
PUBLISHED: 2014, SOURCE: 36th Annual International Conference of the IEEE-Engineering-in-Medicine-and-Biology-Society (EMBC) in 2014 36TH ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE AND BIOLOGY SOCIETY (EMBC), PAGES: 5494-5497
INDEXED IN: Scopus WOS DBLP CrossRef: 7
1715
TITLE: On Predicting a Call Center's Workload: A Discretization-Based Approach
AUTHORS: Luís Moreira Matias ; Rafael Nunes; Michel Ferreira ; João Mendes Moreira ; João Gama ;
PUBLISHED: 2014, SOURCE: ISMIS, VOLUME: 8502 LNAI, PAGES: 548-553
INDEXED IN: Scopus DBLP CrossRef: 1 Handle
1716
TITLE: On the Correctness and Efficiency of Lock-Free Expandable Tries for Tabled Logic Programs
AUTHORS: Miguel Areias ; Ricardo Rocha ;
PUBLISHED: 2014, SOURCE: PADL, VOLUME: 8324 LNCS, PAGES: 168-183
INDEXED IN: Scopus DBLP CrossRef: 7
1717
TITLE: On the Equivalence of Automata for KAT-expressions
AUTHORS: Sabine Broda ; António Machiavelo ; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2014, SOURCE: CiE, VOLUME: 8493 LNCS, PAGES: 73-83
INDEXED IN: Scopus DBLP CrossRef: 1
1718
TITLE: ON THE INVERTIBILITY OF FINITE LINEAR TRANSDUCERS
AUTHORS: Amorim, I ; Machiavelo, A ; Reis, R ;
PUBLISHED: 2014, SOURCE: RAIRO-THEORETICAL INFORMATICS AND APPLICATIONS, VOLUME: 48, ISSUE: 1, PAGES: 107-125
INDEXED IN: Scopus WOS DBLP CrossRef: 2
1719
TITLE: Online Traffic Prediction in the Cloud: A Dynamic Window Approach
AUTHORS: Bruno L Dalmazo; Joao P Vilela ; Marilia Curado ;
PUBLISHED: 2014, SOURCE: 2nd International Conference on Future Internet of Things and Cloud (FiCloud) in 2014 INTERNATIONAL CONFERENCE ON FUTURE INTERNET OF THINGS AND CLOUD (FICLOUD), PAGES: 9-14
INDEXED IN: Scopus WOS CrossRef: 10
1720
TITLE: Parallel Subgraph Counting for Multicore Architectures
AUTHORS: Aparício, D ; Ribeiro, P ; Silva, F ;
PUBLISHED: 2014, SOURCE: 12th IEEE International Symposium on Parallel and Distributed Processing with Applications (ISPA) in 2014 IEEE INTERNATIONAL SYMPOSIUM ON PARALLEL AND DISTRIBUTED PROCESSING WITH APPLICATIONS (ISPA), PAGES: 34-41
INDEXED IN: Scopus WOS DBLP CrossRef: 15

Results per Page: 20.
Page 86 of 143. Total results: 2851.