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
1121
TITLE: Tuberculosis in children from diagnosis to decision to treat
AUTHORS: Ramos, S; Rita Gaio ; Ferreira, F; Paulo Leal, JP ; Martins, S; Vasco Santos, JV ; Carvalho, I; Duarte, R ;
PUBLISHED: 2017, SOURCE: REVISTA PORTUGUESA DE PNEUMOLOGIA, VOLUME: 23, ISSUE: 6, PAGES: 317-322
INDEXED IN: Scopus WOS CrossRef: 1
1122
TITLE: Type-Based Cost Analysis for Lazy Functional Languages  Full Text
AUTHORS: Steffen Jost; Pedro Vasconcelos ; Mario Florido ; Hammond, Kevin ;
PUBLISHED: 2017, SOURCE: JOURNAL OF AUTOMATED REASONING, VOLUME: 59, ISSUE: 1, PAGES: 87-120
INDEXED IN: Scopus WOS DBLP CrossRef: 14
1123
TITLE: Typed connector families and their semantics  Full Text
AUTHORS: José Proença ; Dave Clarke;
PUBLISHED: 2017, SOURCE: Sci. Comput. Program., VOLUME: 146, PAGES: 28-49
INDEXED IN: Scopus DBLP CrossRef: 2
1124
TITLE: Understanding the Energy Saving Potential of Smart Scale Selection in the Viola and Jones Facial Detection Algorithm
AUTHORS: Noel Pérez; Sérgio Faria; Miguel T Coimbra ;
PUBLISHED: 2017, SOURCE: Proceedings of the 10th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2017) - Volume 2: BIOIMAGING, Porto, Portugal, February 21-23, 2017., PAGES: 122-127
INDEXED IN: DBLP
1125
TITLE: Usability Assessment of a Health Kiosk
AUTHORS: Joao Silva; Pedro Brandao ; Rui Prior ;
PUBLISHED: 2017, SOURCE: IEEE Symposium on Computers and Communications (ISCC) in 2017 IEEE SYMPOSIUM ON COMPUTERS AND COMMUNICATIONS (ISCC), PAGES: 260-265
INDEXED IN: Scopus WOS DBLP CrossRef: 1
1126
TITLE: Using Edge-Clouds to Reduce Load on Traditional WiFi Infrastructures and Improve Quality of Experience
AUTHORS: Pedro M P Pinto Silva ; Joao Rodrigues ; Joaquim Silva ; Rolando Martins ; Luis Lopes ; Fernando Silva ;
PUBLISHED: 2017, SOURCE: 1st IEEE International Conference on Fog and Edge Computing (ICFEC) in 2017 IEEE 1ST INTERNATIONAL CONFERENCE ON FOG AND EDGE COMPUTING (ICFEC), PAGES: 61-67
INDEXED IN: Scopus WOS DBLP CrossRef: 13
1127
TITLE: Using Iterative Deepening for Probabilistic Logic Inference
AUTHORS: Theofrastos Mantadelis ; Ricardo Rocha ;
PUBLISHED: 2017, SOURCE: 19th International Symposium on Practical Aspects of Declarative Languages, PADL 2017 in Practical Aspects of Declarative Languages - 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings, VOLUME: 10137, PAGES: 198-213
INDEXED IN: Scopus DBLP CrossRef: 3
1128
TITLE: Visualization of sentiment spread on social networked content: Learning analytics for integrated learning environments
AUTHORS: Oliveiar, Luciana ; Figueira, Alvaro ;
PUBLISHED: 2017, SOURCE: 8th IEEE Global Engineering Education Conference (EDUCON) in PROCEEDINGS OF 2017 IEEE GLOBAL ENGINEERING EDUCATION CONFERENCE (EDUCON2017), PAGES: 1290-1298
INDEXED IN: Scopus WOS DBLP CrossRef: 5
1129
TITLE: WHATSAPPENING OUTSIDE YOUR LMS? ANALYZING A SOCIAL MEDIA INSTANT MESSAGING POWERED LEARNING COMMUNITY
AUTHORS: Luciana Oliveira ; Alvaro Figueira ;
PUBLISHED: 2017, SOURCE: 11th International Conference on Technology, Education and Development (INTED) in INTED2017: 11TH INTERNATIONAL TECHNOLOGY, EDUCATION AND DEVELOPMENT CONFERENCE, PAGES: 8952-8960
INDEXED IN: WOS CrossRef: 1
1130
TITLE: 3D Characters for Virtual Reality
AUTHORS: Verónica Orvalho ; Catarina Runa Miranda; John P Lewis;
PUBLISHED: 2016, SOURCE: 37th Annual Conference of the European Association for Computer Graphics, Eurographics 2016 - Tutorials, Lisbon, Portugal, May 9-13, 2016
INDEXED IN: DBLP
1131
TITLE: 5th Symposium on Languages, Applications and Technologies, SLATE 2016, June 20-21, 2016, Maribor, Slovenia
AUTHORS: Marjan Mernik; José Paulo Leal ; Hugo Gonçalo Oliveira;
PUBLISHED: 2016, SOURCE: SLATE, VOLUME: 51
INDEXED IN: DBLP
1132
TITLE: A general framework for reconstruction and classification from compressive measurements with side information
AUTHORS: Wang, L; Renna, F ; Yuan, X; Rodrigues, M; Calderbank, R; Carin, L;
PUBLISHED: 2016, SOURCE: 41st IEEE International Conference on Acoustics, Speech and Signal Processing, ICASSP 2016 in ICASSP, IEEE International Conference on Acoustics, Speech and Signal Processing - Proceedings, VOLUME: 2016-May, PAGES: 4239-4243
INDEXED IN: Scopus CrossRef: 1
1133
TITLE: A Lock-Free Hash Trie Design for Concurrent Tabled Logic Programs  Full Text
AUTHORS: Miguel Areias ; Ricardo Rocha ;
PUBLISHED: 2016, SOURCE: INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING, VOLUME: 44, ISSUE: 3, PAGES: 386-406
INDEXED IN: Scopus WOS DBLP CrossRef: 10
1134
TITLE: A Mobile-Based Attribute Aggregation Architecture for User-Centric Identity Management
AUTHORS: Alexandre B Augusto; Manuel E. Correia ;
PUBLISHED: 2016, SOURCE: Psychology and Mental Health, PAGES: 470-492
INDEXED IN: CrossRef
1135
TITLE: A multicenter prospective study of the real-time use of narrow-band imaging in the diagnosis of premalignant gastric conditions and lesions
AUTHORS: Pimentel Nunes, P ; Libanio, D ; Lage, J; Abrantes, D; Coimbra, M ; Esposito, G; Hormozdi, D; Pepper, M; Drasovean, S; White, JR; Dobru, D; Buxbaum, J; Ragunath, K; Annibale, B; Dinis Ribeiro, M ;
PUBLISHED: 2016, SOURCE: ENDOSCOPY, VOLUME: 48, ISSUE: 8, PAGES: 723-730
INDEXED IN: Scopus WOS CrossRef: 147
1136
TITLE: A multiple criteria utility-based approach for unit commitment with wind power and pumped storage hydro  Full Text
AUTHORS: Vieira, B ; Viana, A ; Matos, M ; Pedroso, JP ;
PUBLISHED: 2016, SOURCE: ELECTRIC POWER SYSTEMS RESEARCH, VOLUME: 131, PAGES: 244-254
INDEXED IN: Scopus WOS CrossRef Handle
1137
TITLE: A procedure for splitting data-aware processes and its application to coordination  Full Text
AUTHORS: Sung Shik T Q Jongmans; Dave Clarke; José Proença ;
PUBLISHED: 2016, SOURCE: Sci. Comput. Program., VOLUME: 115-116, PAGES: 47-78
INDEXED IN: Scopus DBLP CrossRef: 5
1138
TITLE: A safe-by-design programming language for wireless sensor networks  Full Text
AUTHORS: Luis Lopes ; Francisco Martins ;
PUBLISHED: 2016, SOURCE: JOURNAL OF SYSTEMS ARCHITECTURE, VOLUME: 63, PAGES: 16-32
INDEXED IN: Scopus WOS DBLP CrossRef: 8
1139
TITLE: A Speech-to-Text Interface for MammoClass
AUTHORS: Ricardo Sousa Roche; Pedro Ferreira ; Ines Dutra ; Ricardo Correia ; Rogerio Salvini; Elizabeth Burnside;
PUBLISHED: 2016, SOURCE: 29th IEEE International Symposium on Computer-Based Medical Systems (CBMS) in 2016 IEEE 29TH INTERNATIONAL SYMPOSIUM ON COMPUTER-BASED MEDICAL SYSTEMS (CBMS), VOLUME: 2016-August, PAGES: 1-6
INDEXED IN: Scopus WOS DBLP CrossRef: 2
1140
TITLE: A Subgraph-Based Ranking System for Professional Tennis Players
AUTHORS: David Aparicio ; Pedro Ribeiro ; Fernando Silva ;
PUBLISHED: 2016, SOURCE: 6th International Workshop on Complex Networks (CompleNet) in COMPLEX NETWORKS VII, VOLUME: 644, PAGES: 159-171
INDEXED IN: Scopus WOS DBLP CrossRef: 4

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