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

43 Team Members
Filters -> Year: 2025
1061
TÍTULO: Mind the Gap: A Well Log Data Analysis PDF
AUTORES: Rui L. Lopes; Alípio Jorge ;
PUBLICAÇÃO: 2017, FONTE: CoRR, VOLUME: abs/1705.03669
INDEXADO EM: DBLP arXiv
1062
TÍTULO: Mining Moodle Logs for Grade Prediction: A methodology walk-through. A methodology walk-through
AUTORES: Álvaro Figueira ;
PUBLICAÇÃO: 2017, FONTE: 5th International Conference on Technological Ecosystem for Enhancing Multiculturality, TEEM 2017 in Proceedings of the 5th International Conference on Technological Ecosystems for Enhancing Multiculturality, TEEM 2017, Cádiz, Spain, October 18 - 20, 2017, VOLUME: Part F132203, PÁGINAS: 44:1-44:8
INDEXADO EM: Scopus DBLP CrossRef: 9
1063
TÍTULO: Model Trees
AUTORES: Luís Torgo ;
PUBLICAÇÃO: 2017, FONTE: Encyclopedia of Machine Learning and Data Mining, PÁGINAS: 845-848
INDEXADO EM: DBLP CrossRef
1064
TÍTULO: Modular Health Kiosk based on Web Technologies
AUTORES: Joao Silva; Pedro Brandao ; Rui Prior ;
PUBLICAÇÃO: 2017, FONTE: 10th International Joint Conference on Biomedical Engineering Systems and Technologies in PROCEEDINGS OF THE 10TH INTERNATIONAL JOINT CONFERENCE ON BIOMEDICAL ENGINEERING SYSTEMS AND TECHNOLOGIES, VOL 5: HEALTHINF, PÁGINAS: 517-525
INDEXADO EM: WOS DBLP CrossRef: 1
1065
TÍTULO: Multi-modal Complete Breast Segmentation
AUTORES: Hooshiar Zolfagharnasab ; Joao P Monteiro ; Joao F Teixeira ; Filipa Borlinhas; 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: 519-527
INDEXADO EM: Scopus WOS DBLP CrossRef
1066
TÍTULO: Nash equilibria in the two-player kidney exchange game  Full Text
AUTORES: Margarida Carvalho ; Andrea Lodi; Joao Pedro Pedroso ; Ana Viana ;
PUBLICAÇÃO: 2017, FONTE: MATHEMATICAL PROGRAMMING, VOLUME: 161, NÚMERO: 1-2, PÁGINAS: 389-417
INDEXADO EM: Scopus WOS DBLP CrossRef: 17
1067
TÍTULO: Network Motifs Detection Using Random Networks with Prescribed Subgraph Frequencies
AUTORES: Miguel E P Silva ; Pedro Paredes ; Pedro Ribeiro ;
PUBLICAÇÃO: 2017, FONTE: 8th Conference on Complex Networks (CompleNet) in COMPLEX NETWORKS VIII, VOLUME: Part F2, PÁGINAS: 17-29
INDEXADO EM: Scopus WOS CrossRef: 6
1068
TÍTULO: Non-Blocking Concurrent Imperative Programming with Session Types PDF  Full Text
AUTORES: Miguel Silva ; Mario Florido ; Frank Pfenning ;
PUBLICAÇÃO: 2017, FONTE: 4th International Workshop on Linearity, LINEARITY 2016 in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 238, NÚMERO: 238, PÁGINAS: 64-72
INDEXADO EM: Scopus WOS DBLP arXiv CrossRef: 2
1069
TÍTULO: Nurses and their health at work: the relationship between depression and burnout
AUTORES: Silvia Quintas; Cristina Queiros ; Antonio Marques; Veronica Orvalho ;
PUBLICAÇÃO: 2017, FONTE: INTERNATIONAL JOURNAL ON WORKING CONDITIONS, NÚMERO: 13, PÁGINAS: 1-20
INDEXADO EM: WOS
1070
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: 27th International Conference on Inductive Logic Programming, ILP 2017 in Inductive Logic Programming - 27th International Conference, ILP 2017, Orléans, France, September 4-6, 2017, Revised Selected Papers, VOLUME: 10759, PÁGINAS: 31-45
INDEXADO EM: Scopus DBLP CrossRef
1071
TÍTULO: On modifying the temporal modeling of HSMMs for pediatric heart sound segmentation  Full Text
AUTORES: Jorge Oliveira ; Theofrastos Mantadelis ; Francesco Renna ; Pedro Gomes; Miguel Coimbra ;
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: 4
1072
TÍTULO: On scaling dynamic programming problems with a multithreaded tabling, Prolog system  Full Text
AUTORES: Areias, M ; 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
1073
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: Journal of Automata, Languages and Combinatorics, VOLUME: 22, NÚMERO: 1-3, PÁGINAS: 5-28
INDEXADO EM: DBLP
1074
TÍTULO: On the Average Complexity of Strong Star Normal Form
AUTORES: Sabine Broda ; Antonio Machiavelo ; Nelma Moreira ; Rogerio Reis ;
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
1075
TÍTULO: On the Implementation of a Cloud-Based Computing Test Bench Environment for Prolog Systems  Full Text
AUTORES: Ricardo Goncalves; Miguel Areias ; Ricardo Rocha ;
PUBLICAÇÃO: 2017, FONTE: INFORMATION, VOLUME: 8, NÚMERO: 4, PÁGINAS: 129
INDEXADO EM: Scopus WOS DBLP CrossRef
1076
TÍTULO: On the Mother of All Automata: The Position Automaton
AUTORES: Sabine Broda ; Markus Holzer; Eva Maia ; Nelma Moreira ; Rogerio Reis ;
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: 2
1077
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
1078
TÍTULO: On the use of stochastic local search techniques to revise first-order logic theories from examples  Full Text
AUTORES: Aline Paes; Gerson Zaverucha; Vitor Santos Costa ;
PUBLICAÇÃO: 2017, FONTE: MACHINE LEARNING, VOLUME: 106, NÚMERO: 2, PÁGINAS: 197-241
INDEXADO EM: WOS DBLP CrossRef: 7
1079
TÍTULO: Optimal state reductions of automata with partially specified behaviors  Full Text
AUTORES: Nelma Moreira ; Giovanni Pighizzini; Rogerio Reis ;
PUBLICAÇÃO: 2017, FONTE: THEORETICAL COMPUTER SCIENCE, VOLUME: 658, PÁGINAS: 235-245
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
1080
TÍTULO: Optimising the calculation of statistical functions
AUTORES: André Rodrigues; Carla Silva ; Paulo Vinicius Koerich Borges; Sergio Silva; Inês Dutra ;
PUBLICAÇÃO: 2017, FONTE: IJBDI, VOLUME: 4, NÚMERO: 2, PÁGINAS: 123-138
INDEXADO EM: DBLP CrossRef

Results per Page: 20.
Página 54 de 133. Total de resultados: 2644.