Departamento de Ciências dos Computadores (DCC)
Department of Computer Science

Universidade do Porto (UP) :: Faculdade de Ciências (FCUP)

Publications Actions
Publicações no Perfil Institucional do Authenticus

Uma Instituição (Grupo) no Authenticus é uma organização que engloba um conjunto de Investigadores (equipa da Instituição ou do Grupo). O conjunto de Investigadores depende da estrutura organizacional da instituição em cada ano e pode ser definido no perfil da Instituição, na secção “Investigadores”. Com base na equipa definida, o Authenticus produz listas de publicações, estatísticas e relatórios institucionais.

As publicações listadas no perfil da Instituição no Authenticus dependem de dois parâmetros:

  • Investigadores associados à equipa da Instituição em cada ano.
  • Origem das Publicações.

As publicações associadas à Instituição podem ter três origens:

  • Publicações validadas pelos membros da equipa - Inclui todas as publicações validadas pelos membros da equipa; é necessário que a equipa da Instituição esteja definida.
  • Todas as Publicadas pelos membros da equipa - Inclui todas as anteriores mais aquelas em que um dos autores foi identificado com um membro da equipa, ainda que não tenha sido validada; é necessário que a equipa da Instituição esteja definida.
  • Com Base na Afiliação - inclui todas as publicações que têm a Instituição ou o Grupo mencionado na afiliação; não é necessário que a equipa da Instituição esteja definida mas, por outro lado, não é garantido que todas as publicações da Instituição sejam listadas.
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: 2850

46 Team Members
Filters -> Year: 2026
1281
TÍTULO: On Applying Probabilistic Logic Programming to Breast Cancer Data
AUTORES: Joana Côrte Real ; Inês Dutra ; Ricardo Rocha ;
PUBLICAÇÃO: 2017, FONTE: ILP, VOLUME: 10759 LNAI, PÁGINAS: 31-45
INDEXADO EM: Scopus DBLP CrossRef: 3
1282
TÍTULO: On modifying the temporal modeling of HSMMs for pediatric heart sound segmentation
AUTORES: Oliveira, J ; Mantadelis, T ; Renna, F ; Gomes, P; Coimbra, M ;
PUBLICAÇÃO: 2017, FONTE: IEEE International Workshop on Signal Processing Systems (SiPS) in 2017 IEEE INTERNATIONAL WORKSHOP ON SIGNAL PROCESSING SYSTEMS (SIPS), VOLUME: 2017-October, PÁGINAS: 1-6
INDEXADO EM: Scopus WOS DBLP CrossRef: 5
1283
TÍTULO: On scaling dynamic programming problems with a multithreaded tabling, Prolog system  Full Text
AUTORES: Miguel Areias ; Rocha, R ;
PUBLICAÇÃO: 2017, FONTE: 1st International Workshop on Software Engineering for Parallel Systems (SEPS) co-located with SPLASH Conference in JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 125, PÁGINAS: 417-426
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
1284
TÍTULO: On the Average Complexity of Partial Derivative Automata for Semi-extended Expressions
AUTORES: Rafaela Bastos; Sabine Broda ; António Machiavelo ; Nelma Moreira ; Rogério Reis ;
PUBLICAÇÃO: 2017, FONTE: J. Autom. Lang. Comb., VOLUME: 22, NÚMERO: 1-3, PÁGINAS: 5-28
INDEXADO EM: DBLP
1285
TÍTULO: On the Average Complexity of Strong Star Normal Form
AUTORES: Broda, S ; Machiavelo, A ; Moreira, N ; Reis, R ;
PUBLICAÇÃO: 2017, FONTE: 19th IFIP WG 1.02 International Conference on Descriptional Complexity of Formal Systems (DCFS) in DESCRIPTIONAL COMPLEXITY OF FORMAL SYSTEMS, DCFS 2017, VOLUME: 10316, PÁGINAS: 77-88
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
1286
TÍTULO: On the Implementation of a Cloud-Based Computing Test Bench Environment for Prolog Systems  Full Text
AUTORES: Goncalves, R; Miguel Areias ; Rocha, R ;
PUBLICAÇÃO: 2017, FONTE: INFORMATION, VOLUME: 8, NÚMERO: 4, PÁGINAS: 129
INDEXADO EM: Scopus WOS DBLP CrossRef
1287
TÍTULO: On the Mother of All Automata: The Position Automaton
AUTORES: Broda, S ; Holzer, M; Maia, E ; Moreira, N ; Reis, R ;
PUBLICAÇÃO: 2017, FONTE: 21st International Conference on Developments in Language Theory (DLT) in DEVELOPMENTS IN LANGUAGE THEORY, DLT 2017, VOLUME: 10396, PÁGINAS: 134-146
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
1288
TÍTULO: On the rate of decrease in logical depth  Full Text
AUTORES: Antunes, LF ; Souto, A ; Vitanyi, PMB;
PUBLICAÇÃO: 2017, FONTE: THEORETICAL COMPUTER SCIENCE, VOLUME: 702, PÁGINAS: 60-64
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
1289
TÍTULO: On the use of stochastic local search techniques to revise first-order logic theories from examples  Full Text
AUTORES: Paes, A; Zaverucha, G; Costa, VS ;
PUBLICAÇÃO: 2017, FONTE: MACHINE LEARNING, VOLUME: 106, NÚMERO: 2, PÁGINAS: 197-241
INDEXADO EM: WOS DBLP CrossRef: 7
1290
TÍTULO: Optimal state reductions of automata with partially specified behaviors  Full Text
AUTORES: Moreira, N ; Pighizzini, G; Reis, R ;
PUBLICAÇÃO: 2017, FONTE: THEORETICAL COMPUTER SCIENCE, VOLUME: 658, PÁGINAS: 235-245
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
1291
TÍTULO: Optimising the calculation of statistical functions
AUTORES: André Valente Rodrigues; Carla Silva ; Paulo Ricardo Amorim Borges; Sergio Silva; Inês Dutra ;
PUBLICAÇÃO: 2017, FONTE: Int. J. Big Data Intell., VOLUME: 4, NÚMERO: 2, PÁGINAS: 123-138
INDEXADO EM: DBLP CrossRef
1292
TÍTULO: Osteoarthritis
AUTORES: Ondrésik, M; Oliveira, JM; Reis, RL ;
PUBLICAÇÃO: 2017, FONTE: Studies in Mechanobiology, Tissue Engineering and Biomaterials, VOLUME: 21, PÁGINAS: 55-72
INDEXADO EM: Scopus
1294
TÍTULO: Performance Analysis of Network Traffic Predictors in the Cloud  Full Text
AUTORES: Bruno L Dalmazo; Joao P Vilela ; Marilia Curado ;
PUBLICAÇÃO: 2017, FONTE: JOURNAL OF NETWORK AND SYSTEMS MANAGEMENT, VOLUME: 25, NÚMERO: 2, PÁGINAS: 290-320
INDEXADO EM: Scopus WOS CrossRef: 28
1295
TÍTULO: Performance trade-offs on a secure multi-party relational database  Full Text
AUTORES: Rogerio Pontes ; Mário Pinto; Manuel Barbosa ; Ricardo Vilaça ; Miguel Matos ; Rui Oliveira ;
PUBLICAÇÃO: 2017, FONTE: SAC, VOLUME: Part F128005, PÁGINAS: 456-461
INDEXADO EM: Scopus DBLP CrossRef: 1
1296
TÍTULO: Pharmacovigilance via Baseline Regularization with Large-Scale Longitudinal Observational Data  Full Text
AUTORES: Zhaobin Kuang; Peggy L Peissig; Vítor Santos Costa ; Richard Maclin; David Page;
PUBLICAÇÃO: 2017, FONTE: KDD, VOLUME: Part F129685, PÁGINAS: 1537-1546
INDEXADO EM: Scopus DBLP CrossRef: 2
1297
TÍTULO: Predicting the Relevance of Social Media Posts Based on Linguistic Features and Journalistic Criteria  Full Text
AUTORES: Alexandre Pinto; Hugo Goncalo Oliveira; Alvaro Figueira ; Ana Oliveira Alves ;
PUBLICAÇÃO: 2017, FONTE: 18th EPIA Conference on Artificial Intelligence in NEW GENERATION COMPUTING, VOLUME: 35, NÚMERO: 4, PÁGINAS: 451-472
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
1298
TÍTULO: Prediction of Breast Deformities: A Step Forward for Planning Aesthetic Results After Breast Surgery
AUTORES: Silvia Bessa ; Hooshiar Zolfagharnasab ; Eduardo Pereira; Helder P Oliveira ;
PUBLICAÇÃO: 2017, FONTE: 8th Iberian Conference on Pattern Recognition and Image Analysis (IbPRIA) in PATTERN RECOGNITION AND IMAGE ANALYSIS (IBPRIA 2017), VOLUME: 10255, PÁGINAS: 267-276
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
1299
TÍTULO: Preface
AUTORES: Vivek Nigam; Mário Florido ;
PUBLICAÇÃO: 2017, FONTE: Electronic Notes in Theoretical Computer Science, VOLUME: 332, PÁGINAS: 1-2
INDEXADO EM: Scopus CrossRef
1300
TÍTULO: Preface
AUTORES: Konstantinidis, S; Moreira, N ; Reis Rogério ; Shallit, J;
PUBLICAÇÃO: 2017, FONTE: Role of Theory in Computer Science, The: Essays Dedicated to Janusz Brzozowski
INDEXADO EM: Scopus CrossRef

Results per Page: 20.
Página 65 de 143. Total de resultados: 2850.