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

43 Team Members
Filters -> Year: 2025
1641
TITLE: Endoscopic assessment and grading of Barrett's esophagus using magnification endoscopy and narrow band imaging: Impact of structured learning and experience on the accuracy of the Amsterdam classification system  Full Text
AUTHORS: Francisco Baldaque Silva; Margarida Marques; Nuno Lunet ; Goncalo Themudo; Kenichi Goda; Ervin Toth; Jose Soares; Pedro Bastos; Rosa Ramalho; Pedro Pereira; Nuno Marques; Miguel Coimbra ; Michael Vieth; Mario Dinis Ribeiro ; Guilherme Macedo ; Lars Lundell; Hanns Ulrich Marschall;
PUBLISHED: 2013, SOURCE: SCANDINAVIAN JOURNAL OF GASTROENTEROLOGY, VOLUME: 48, ISSUE: 2, PAGES: 160-167
INDEXED IN: Scopus WOS CrossRef: 26
1642
TITLE: Enhancing Abstract Multiparty Transport through Network Coding
AUTHORS: Nuno Coutinho; Susana Sargento ; Rui Prior ;
PUBLISHED: 2013, SOURCE: IEEE Globecom Workshops (GC Wkshps) in 2013 IEEE GLOBECOM WORKSHOPS (GC WKSHPS), PAGES: 531-537
INDEXED IN: Scopus WOS DBLP CrossRef
1643
TITLE: Ensemble - an E-Learning Framework  Full Text
AUTHORS: Ricardo Queiros ; Jose Paulo Leal ;
PUBLISHED: 2013, SOURCE: JOURNAL OF UNIVERSAL COMPUTER SCIENCE, VOLUME: 19, ISSUE: 14, PAGES: 2127-2149
INDEXED IN: Scopus WOS DBLP
1644
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
1645
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: 25
1646
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
1647
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
1648
TITLE: Experiences with fault-injection in a Byzantine fault-tolerant protocol
AUTHORS: Rolando Martins ; 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: 8
1649
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
1650
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
1651
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: 28
1652
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
1653
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: 32
1654
TITLE: Immune response is a personal matter
AUTHORS: Ferreira, PG ; Dermitzakis, ET;
PUBLISHED: 2013, SOURCE: eLife, VOLUME: 2013, ISSUE: 2
INDEXED IN: Scopus CrossRef: 1
1655
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
1656
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
1657
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
1658
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
1659
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
1660
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

Results per Page: 20.
Page 83 of 134. Total results: 2675.