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

43 Team Members
Filters -> Year: 2026
1761
TITLE: Ensemble: an e-learning framework  Full Text
AUTHORS: Ricardo Queirós ; José P Leal ;
PUBLISHED: 2013, SOURCE: Journal of Universal Computer Science, VOLUME: 19, 14
INDEXED IN: Handle
1762
TITLE: Entropy and compression: two measures of complexity. Measures of complexity  Full Text
AUTHORS: Henriques, T ; Goncalves, H ; Antunes, L ; Matias, M; Bernardes, J ; Costa Santos, C ;
PUBLISHED: 2013, SOURCE: JOURNAL OF EVALUATION IN CLINICAL PRACTICE, VOLUME: 19, ISSUE: 6, PAGES: 1101-1106
INDEXED IN: Scopus WOS CrossRef: 27
1763
TITLE: Evaluating inference algorithms for the Prolog factor language
AUTHORS: Gomes, T; Santos Costa, V ;
PUBLISHED: 2013, SOURCE: 22nd International Conference on Inductive Logic Programming, ILP 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7842 LNAI, PAGES: 74-85
INDEXED IN: Scopus DBLP CrossRef: 1
1764
TITLE: Executable modelling of dynamic software product lines in the ABS language
AUTHORS: Muschevici, R; Clarke, D; Proenca, J ;
PUBLISHED: 2013, SOURCE: 5th Int. Workshop on Feature-Oriented Software Development, FOSD 2013 - Co-located with 12th Int. Conf. on Generative Programming: Concepts and Experiences, GPCE 2013 and the ACM SIGPLAN Conf. SPLASH 2013 in ACM International Conference Proceeding Series, PAGES: 17-24
INDEXED IN: Scopus DBLP CrossRef: 2
1765
TITLE: Experiences with fault-injection in a Byzantine fault-tolerant protocol
AUTHORS: Martins, R ; Gandhi, R; Narasimhan, P ; Pertet, S; Casimiro, A ; Kreutz, D; Verissimo, P ;
PUBLISHED: 2013, SOURCE: 14th ACM/IFIP/USENIX Middleware Conference, Middleware 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8275 LNCS, PAGES: 41-61
INDEXED IN: Scopus DBLP CrossRef: 10
1766
TITLE: Exploring the Stationary Wavelet Transform Detail Coefficients for Detection and Identification of the S1 and S2 Heart Sounds PDF
AUTHORS: Marques, N; Rute Almeida ; Ana Paula Rocha ; Coimbra, M ;
PUBLISHED: 2013, SOURCE: 40th Annual Meeting on Computing in Cardiology (CinC) in 2013 COMPUTING IN CARDIOLOGY CONFERENCE (CINC), VOLUME: 40, PAGES: 891-894
INDEXED IN: Scopus WOS DBLP
1767
TITLE: Fine-grained Patches for Java Software Upgrades
AUTHORS: Eduardo R B Marques ;
PUBLISHED: 2013, SOURCE: 5th Workshop on Hot Topics in Software Upgrades, HotSWUp'13, San Jose, CA, USA, June 28, 2013
INDEXED IN: DBLP
1768
TITLE: Formal verification of side-channel countermeasures using self-composition  Full Text
AUTHORS: Bacelar Almeida, JB ; Manuel Barbosa ; Jorge S Pinto ; Barbara Vieira;
PUBLISHED: 2013, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 78, ISSUE: 7, PAGES: 796-812
INDEXED IN: Scopus WOS DBLP CrossRef: 32
1769
TITLE: Guarding thin orthogonal polygons is hard
AUTHORS: Tomas, AP ;
PUBLISHED: 2013, SOURCE: 19th International Symposium on Fundamentals of Computation Theory, FCT 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8070 LNCS, PAGES: 305-316
INDEXED IN: Scopus DBLP CrossRef: 8
1770
TITLE: Heart Sound Segmentation of Pediatric Auscultations Using Wavelet Analysis
AUTHORS: Ana Castro ; Tiago T V Vinhoza ; Sandra S Mattos; Miguel T Coimbra ;
PUBLISHED: 2013, SOURCE: 35th Annual International Conference of the IEEE-Engineering-in-Medicine-and-Biology-Society (EMBC) in 2013 35TH ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE AND BIOLOGY SOCIETY (EMBC), PAGES: 3909-3912
INDEXED IN: Scopus WOS DBLP CrossRef: 36
1771
TITLE: Immune response is a personal matter
AUTHORS: Ferreira, PG ; Dermitzakis, ET;
PUBLISHED: 2013, SOURCE: eLife, VOLUME: 2013, ISSUE: 2
INDEXED IN: Scopus CrossRef: 2
1772
TITLE: Impact of SVM Multiclass Decomposition Rules for Recognition of Cancer in Gastroenterology Images
AUTHORS: Ricardo Sousa; Mario Dinis Ribeiro ; Pedro Pimentel Nunes ; Miguel Tavares Coimbra ;
PUBLISHED: 2013, SOURCE: 26th IEEE International Symposium on Computer-Based Medical Systems (CBMS) in 2013 IEEE 26TH INTERNATIONAL SYMPOSIUM ON COMPUTER-BASED MEDICAL SYSTEMS (CBMS), PAGES: 405-408
INDEXED IN: Scopus WOS DBLP CrossRef: 1
1773
TITLE: Impact of Visual Features on the Segmentation of Gastroenterology Images Using Normalized Cuts
AUTHORS: Farhan Riaz; Francisco Baldaque Silva; Mario Dinis Ribeiro ; Miguel Tavares Coimbra ;
PUBLISHED: 2013, SOURCE: IEEE TRANSACTIONS ON BIOMEDICAL ENGINEERING, VOLUME: 60, ISSUE: 5, PAGES: 1191-1201
INDEXED IN: Scopus WOS DBLP CrossRef: 17
1774
TITLE: Incomplete Transition Complexity of Basic Operations on Finite Languages
AUTHORS: Eva Maia ; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2013, SOURCE: 18th International Conference on Implementation and Application of Automata, CIAA 2013 in Implementation and Application of Automata - 18th International Conference, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013. Proceedings, VOLUME: 7982, PAGES: 349-356
INDEXED IN: Scopus DBLP CrossRef: 1
1775
TITLE: Incomplete Transition Complexity of Some Basic Operations
AUTHORS: Eva Maia ; Nelma Moreira ; Rogerio Reis ;
PUBLISHED: 2013, SOURCE: 39th Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM) in SOFSEM 2013: Theory and Practice of Computer Science, VOLUME: 7741, PAGES: 319-331
INDEXED IN: Scopus WOS DBLP CrossRef: 3
1776
TITLE: Information-based measure of disagreement for more than two observers: a useful tool to compare the degree of observer disagreement  Full Text
AUTHORS: Henriques, T ; Antunes, L ; Bernardes, J ; Matias, M; Sato, D; Costa Santos, C ;
PUBLISHED: 2013, SOURCE: BMC MEDICAL RESEARCH METHODOLOGY, VOLUME: 13, ISSUE: 1
INDEXED IN: Scopus WOS CrossRef: 12
1777
TITLE: Integral Scale Histogram Local Binary Patterns for Classification of Narrow-band Gastroenterology Images
AUTHORS: Farhan Riaz; Mario Dinis Ribeiro ; Pedro Pimentel Nunes ; Miguel Tavares Coimbra ;
PUBLISHED: 2013, SOURCE: 35th Annual International Conference of the IEEE-Engineering-in-Medicine-and-Biology-Society (EMBC) in 2013 35TH ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE AND BIOLOGY SOCIETY (EMBC), PAGES: 3714-3717
INDEXED IN: Scopus WOS DBLP CrossRef: 5
1778
TITLE: Integrating the LMS in Service Oriented eLearning Systems
AUTHORS: José Paulo Leal; Ricardo Queirós ;
PUBLISHED: 2013, SOURCE: - Governance, Communication, and Innovation in a Knowledge Intensive Society, PAGES: 180-190
INDEXED IN: CrossRef
1779
TITLE: Integrative functional statistics in logic programming
AUTHORS: Angelopoulos, N; Santos Costa, V ; Azevedo, J; Wielemaker, J; Camacho, R ; Wessels, L;
PUBLISHED: 2013, SOURCE: 15th International Symposium on Practical Aspects of Declarative Languages, PADL 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7752 LNCS, PAGES: 190-205
INDEXED IN: Scopus DBLP CrossRef: 12
1780
TITLE: Interactive interaction constraints
AUTHORS: Proenca, J ; Clarke, D;
PUBLISHED: 2013, SOURCE: 15th International Conference on Coordination Models and Languages, COORDINATION 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7890 LNCS, PAGES: 211-225
INDEXED IN: Scopus DBLP CrossRef: 5

Results per Page: 20.
Page 89 of 140. Total results: 2794.