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

47 Team Members
Filters -> Year: 2026
1281
TÍTULO: Non-Blocking Concurrent Imperative Programming with Session Types  Full Text
AUTORES: Silva, M ; Florido, M ; Pfenning, F ;
PUBLICAÇÃO: 2017, FONTE: ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 238, NÚMERO: 238, PÁGINAS: 64-72
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
1282
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
1283
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
1284
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
1285
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
1286
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
1287
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
1288
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
1289
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
1290
TÍTULO: On the rate of decrease in logical depth  Full Text
AUTORES: Antunes, LF ; Souto, A ; Vitányi, PMB;
PUBLICAÇÃO: 2017, FONTE: THEORETICAL COMPUTER SCIENCE, VOLUME: 702, PÁGINAS: 60-64
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
1291
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
1292
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
1293
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
1294
TÍTULO: Optimising the calculation of statistical functions
AUTORES: Sérgio Silva; Inês Dutra ; Paulo Borges; André Rodrigues; Carla Silva;
PUBLICAÇÃO: 2017, FONTE: International Journal of Big Data Intelligence, VOLUME: 4, NÚMERO: 2, PÁGINAS: 123
INDEXADO EM: CrossRef
1295
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
1297
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
1298
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
1299
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
1300
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

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