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

43 Team Members
Filters -> Year: 2026
1441
TÍTULO: A short note on type-inhabitation: Formula-trees vs. game semantics  Full Text
AUTORES: Alves, S ; Broda, S ;
PUBLICAÇÃO: 2015, FONTE: INFORMATION PROCESSING LETTERS, VOLUME: 115, NÚMERO: 11, PÁGINAS: 908-911
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
1442
TÍTULO: A Structural Approach to Assess Graph-Based Exercises
AUTORES: Ruben Sousa; Jose Paulo Leal ;
PUBLICAÇÃO: 2015, FONTE: 4th International Symposium on Languages, Applications and Technologies (SLATE) in LANGUAGES, APPLICATIONS AND TECHNOLOGIES, SLATE 2015, VOLUME: 563, PÁGINAS: 182-193
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
1443
TÍTULO: A Survey of Predictive Modelling under Imbalanced Distributions PDF
AUTORES: Paula Branco ; Luis Torgo ; Rita P. Ribeiro ;
PUBLICAÇÃO: 2015, FONTE: CoRR, VOLUME: abs/1505.01658
INDEXADO EM: DBLP arXiv
1444
TÍTULO: A Typed Language for Events
AUTORES: Sandra Alves ; Sabine Broda ; Maribel Fernandez;
PUBLICAÇÃO: 2015, FONTE: 25th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR) in LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2015), VOLUME: 9527, PÁGINAS: 107-123
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
1445
TÍTULO: Accelerating Recommender Systems using GPUs
AUTORES: Andre Valente Rodrigues ; Alipio Jorge ; Ines Dutra ;
PUBLICAÇÃO: 2015, FONTE: 30th ACM Symposium on Applied Computing (SAC) in 30TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, VOLS I AND II, VOLUME: 13-17-April-2015, PÁGINAS: 879-884
INDEXADO EM: Scopus WOS DBLP CrossRef: 8
1446
TÍTULO: Accelerating Recommender Systems using GPUs PDF
AUTORES: André Valente Rodrigues ; Alípio Jorge ; Inês Dutra ;
PUBLICAÇÃO: 2015, FONTE: CoRR, VOLUME: abs/1511.02433
INDEXADO EM: DBLP arXiv
1447
TÍTULO: Access Control and Obligations in the Category-Based Metamodel: A Rewrite-Based Semantics
AUTORES: Sandra Alves ; Anatoli Degtyarev; Maribel Fernandez;
PUBLICAÇÃO: 2015, FONTE: 24th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR) in LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2014), VOLUME: 8981, PÁGINAS: 148-163
INDEXADO EM: Scopus WOS DBLP CrossRef: 5
1448
TÍTULO: ADSNARK: Nearly Practical and Privacy-Preserving Proofs on Authenticated Data
AUTORES: Michael Backes; Manuel Barbosa ; Dario Fiore; Raphael M Reischuk;
PUBLICAÇÃO: 2015, FONTE: IEEE Symposium on Security and Privacy SP in 2015 IEEE SYMPOSIUM ON SECURITY AND PRIVACY SP 2015, VOLUME: 2015-July, PÁGINAS: 271-286
INDEXADO EM: Scopus WOS DBLP CrossRef: 54
1449
TÍTULO: An algorithm for packing tubes and boxes PDF
AUTORES: Pedroso, JP ; Tavares, JN ; Leite, J;
PUBLICAÇÃO: 2015, FONTE: 45th International Conference on Computers and Industrial Engineering, CIE 2015 in Proceedings - CIE 45: 2015 International Conference on Computers and Industrial Engineering, VOLUME: abs/1609.07676
INDEXADO EM: Scopus DBLP arXiv
1450
TÍTULO: An Experimental Study on Predictive Models Using Hierarchical Time Series  Full Text
AUTORES: Ana M Silva; Rita P Ribeiro ; Joao Gama ;
PUBLICAÇÃO: 2015, FONTE: 17th Portuguese Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE, VOLUME: 9273, PÁGINAS: 501-512
INDEXADO EM: Scopus WOS DBLP CrossRef
1451
TÍTULO: An overview on the exploitation of time in collaborative filtering. Exploiting time in collaborative filtering  Full Text
AUTORES: Joao Vinagre ; Alipio Mario Jorge ; Joao Gama ;
PUBLICAÇÃO: 2015, FONTE: WILEY INTERDISCIPLINARY REVIEWS-DATA MINING AND KNOWLEDGE DISCOVERY, VOLUME: 5, NÚMERO: 5, PÁGINAS: 195-215
INDEXADO EM: Scopus WOS DBLP CrossRef: 28
1452
TÍTULO: Analysis of the electromechanical activity of the heart from synchronized ECG and PCG signals of subjects under stress
AUTORES: Castro, A; Moukadem, A; Schmidt, S; Dieterlen, A; Coimbra, MT ;
PUBLICAÇÃO: 2015, FONTE: 8th International Conference on Bio-Inspired Systems and Signal Processing, BIOSIGNALS 2015 in BIOSIGNALS 2015 - 8th International Conference on Bio-Inspired Systems and Signal Processing, Proceedings; Part of 8th International Joint Conference on Biomedical Engineering Systems and Technologies, BIOSTEC 2015, PÁGINAS: 49-56
INDEXADO EM: Scopus DBLP CrossRef: 3
1453
TÍTULO: Automated Diagnosis of Breast Cancer on Medical Images
AUTORES: Marina Velikova; Inês Dutra ; Elizabeth S Burnside;
PUBLICAÇÃO: 2015, FONTE: Foundations of Biomedical Knowledge Representation - Methods and Applications, VOLUME: 9521, PÁGINAS: 47-67
INDEXADO EM: Scopus DBLP CrossRef
1454
TÍTULO: Average Size of Automata Constructions from Regular Expressions
AUTORES: Sabine Broda ; António Machiavelo ; Nelma Moreira ; Rogério Reis ;
PUBLICAÇÃO: 2015, FONTE: Bulletin of the EATCS, VOLUME: 116
INDEXADO EM: DBLP
1455
TÍTULO: Batched Evaluation of Full-Sharing Multithreaded Tabling
AUTORES: Miguel Areias ; Ricardo Rocha ;
PUBLICAÇÃO: 2015, FONTE: 4th International Symposium on Languages, Applications and Technologies (SLATE) in LANGUAGES, APPLICATIONS AND TECHNOLOGIES, SLATE 2015, VOLUME: 563, PÁGINAS: 113-124
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
1456
TÍTULO: Benchmarking analysis of social media strategies in the Higher Education Sector
AUTORES: Oliveira, L ; Figueira, A ;
PUBLICAÇÃO: 2015, FONTE: Conference on ENTERprise Information Systems (CENTERIS) / International Conference on Project MANagement (ProjMAN) / International Conference on Health and Social Care Information Systems and Technologies (HCist) in CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS/INTERNATIONAL CONFERENCE ON PROJECT MANAGEMENT/CONFERENCE ON HEALTH AND SOCIAL CARE INFORMATION SYSTEMS AND TECHNOLOGIES, CENTERIS/PROJMAN / HCIST 2015, VOLUME: 64, PÁGINAS: 779-786
INDEXADO EM: Scopus WOS DBLP CrossRef: 14
1457
TÍTULO: Biased allelic expression in human primary fibroblast single cells
AUTORES: Borel, C; Ferreira, PG ; Santoni, F; Delaneau, O; Fort, A; Popadin, KY; Garieri, M; Falconnet, E; Ribaux, P; Guipponi, M; Padioleau, I; Carninci, P; Dermitzakis, ET; Antonarakis, SE;
PUBLICAÇÃO: 2015, FONTE: American Journal of Human Genetics, VOLUME: 96, NÚMERO: 1, PÁGINAS: 70-80
INDEXADO EM: Scopus CrossRef: 125
1458
TÍTULO: Can ride-sharing become attractive? A case study of taxi-sharing employing a simulation modelling approach
AUTORES: Pedro M d'Orey ; Michel Ferreira ;
PUBLICAÇÃO: 2015, FONTE: IET INTELLIGENT TRANSPORT SYSTEMS, VOLUME: 9, NÚMERO: 2, PÁGINAS: 210-220
INDEXADO EM: Scopus WOS CrossRef: 24
1459
TÍTULO: Can We Find Deterministic Signatures in ECG and PCG Signals?
AUTORES: Oliveira, JH ; Ferreira, V; Miguel T Coimbra ;
PUBLICAÇÃO: 2015, FONTE: 8th International Conference on Bio-Inspired Systems and Signal Processing, BIOSIGNALS 2015 in BIOSIGNALS 2015 - Proceedings of the International Conference on Bio-inspired Systems and Signal Processing, Lisbon, Portugal, 12-15 January, 2015., PÁGINAS: 184-189
INDEXADO EM: Scopus DBLP CrossRef
1460
TÍTULO: Certifying execution time in multicores  Full Text
AUTORES: Vitor Rodrigues ; Benny Akesson; Mario Florido ; Simao Melo de Sousa ; Joao Pedro Pedroso ; Pedro Vasconcelos ;
PUBLICAÇÃO: 2015, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 111, NÚMERO: P3, PÁGINAS: 505-534
INDEXADO EM: Scopus WOS DBLP CrossRef: 4

Results per Page: 20.
Página 73 de 140. Total de resultados: 2794.