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

43 Team Members
Filters -> Year: 2024
1601
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
1602
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: 24
1603
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
1604
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
1605
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
1606
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
1607
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
1608
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
1609
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
1610
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
1611
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
1612
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
1613
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
1614
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
1615
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
1616
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
1617
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
1618
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: 11
1619
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
1620
TITLE: Interactive Shopping Experience through Immersive Store Environments
AUTHORS: Kunal Mankodiya; Rolando Martins ; Jonathan Francis; Elmer Garduno; Rajeev Gandhi; Priya Narasimhan;
PUBLISHED: 2013, SOURCE: 2nd International Conference on Design, User Experience, and Usability: User Experience in Novel Technological Environments, DUXU 2013, Held as Part of 15th International Conference on Human-Computer Interaction, HCI International 2013 in Design, User Experience, and Usability. User Experience in Novel Technological Environments - Second International Conference, DUXU 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part III, VOLUME: 8014, ISSUE: PART 3, PAGES: 372-382
INDEXED IN: Scopus DBLP CrossRef: 1

Results per Page: 20.
Page 81 of 132. Total results: 2637.