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

43 Team Members
Filters -> Year: 2025
1461
TÍTULO: A Datalog Engine for GPUs
AUTORES: Carlos A Alberto Martinez Angeles; Ines Dutra ; Vitor Santos Costa ; Jorge Buenabad Chavez;
PUBLICAÇÃO: 2014, FONTE: Kiel Declarative Programming Days (KDPD) in DECLARATIVE PROGRAMMING AND KNOWLEDGE MANAGEMENT, VOLUME: 8439, PÁGINAS: 152-168
INDEXADO EM: Scopus WOS DBLP CrossRef: 7
1462
TÍTULO: A DEPTH-MAP APPROACH FOR AUTOMATIC MICE BEHAVIOR RECOGNITION  Full Text
AUTORES: Joao P Monteiro ; Helder P Oliveira ; Paulo Aguiar ; Jaime S Cardoso ;
PUBLICAÇÃO: 2014, FONTE: IEEE International Conference on Image Processing (ICIP) in 2014 IEEE INTERNATIONAL CONFERENCE ON IMAGE PROCESSING (ICIP), PÁGINAS: 2261-2265
INDEXADO EM: Scopus WOS DBLP CrossRef: 9
1463
TÍTULO: A Hitchhiker's Guide to descriptional complexity through analytic combinatorics  Full Text
AUTORES: Sabine Broda ; Antonio Machiavelo ; Nelma Moreira ; Rogerio Reis ;
PUBLICAÇÃO: 2014, FONTE: THEORETICAL COMPUTER SCIENCE, VOLUME: 528, PÁGINAS: 85-100
INDEXADO EM: Scopus WOS DBLP CrossRef: 14
1464
TÍTULO: A Hybrid MapReduce Model for Prolog
AUTORES: Joana Corte Real ; Ines Dutra ; Ricardo Rocha ;
PUBLICAÇÃO: 2014, FONTE: 14 International Symposium on Integrated Circuits (ISIC) in 2014 14TH INTERNATIONAL SYMPOSIUM ON INTEGRATED CIRCUITS (ISIC), PÁGINAS: 340-343
INDEXADO EM: Scopus WOS DBLP CrossRef
1465
TÍTULO: A Linear Logic Programming Language for Concurrent Programming over Graph Structures
AUTORES: Flavio Cruz ; Ricardo Rocha ; Seth Copen Goldstein; Frank Pfenning ;
PUBLICAÇÃO: 2014, FONTE: 30th International Conference on Logic Programming in THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 14, NÚMERO: 4-5, PÁGINAS: 493-507
INDEXADO EM: Scopus WOS DBLP CrossRef: 7
1466
TÍTULO: A MILP-Based Approach for Hydrothermal Scheduling
AUTORES: Dewan Fayzur Rahman ; Ana Viana ; Joao Pedro Pedroso ;
PUBLICAÇÃO: 2014, FONTE: International Annual Conference of the German-Operations-Research-Society (GOR) in OPERATIONS RESEARCH PROCEEDINGS 2012, PÁGINAS: 157-162
INDEXADO EM: WOS DBLP CrossRef
1467
TÍTULO: A parallel virtual machine for executing forward-chaining linear logic programs
AUTORES: Cruz, F ; Rocha, R ; Goldstein, SC;
PUBLICAÇÃO: 2014, FONTE: International Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic-Based Methods in Programming Environments 2014, CICLOPS-WLPE 2014 in Proceedings of the International Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic-Based Methods in Programming Environments 2014, CICLOPS-WLPE 2014, PÁGINAS: 125-140
INDEXADO EM: Scopus
1468
TÍTULO: A portable prolog predicate for printing rational terms
AUTORES: Mantadelis, T ; Rocha, R ;
PUBLICAÇÃO: 2014, FONTE: International Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic-Based Methods in Programming Environments 2014, CICLOPS-WLPE 2014 in Proceedings of the International Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic-Based Methods in Programming Environments 2014, CICLOPS-WLPE 2014, PÁGINAS: 141-154
INDEXADO EM: Scopus
1469
TÍTULO: A Safe Approximation for Kolmogorov Complexity
AUTORES: Peter Bloem; Francisco Mota; Steven de Rooij; Luis Antunes ; Pieter Adriaans;
PUBLICAÇÃO: 2014, FONTE: 25th International Conference on Algorithmic Learning Theory (ALT) in Algorithmic Learning Theory (ALT 2014), VOLUME: 8776, PÁGINAS: 336-350
INDEXADO EM: Scopus WOS DBLP CrossRef: 7
1470
TÍTULO: A Scalable Parallel Approach for Subgraph Census Computation
AUTORES: David Aparicio ; Pedro Paredes ; Pedro Ribeiro ;
PUBLICAÇÃO: 2014, FONTE: 20th Euro-Par International Workshops in EURO-PAR 2014: PARALLEL PROCESSING WORKSHOPS, PT II, VOLUME: 8806, PÁGINAS: 194-205
INDEXADO EM: Scopus WOS DBLP CrossRef: 5
1471
TÍTULO: A Simple and Efficient Lock-Free Hash Trie Design for Concurrent Tabling PDF
AUTORES: Miguel Areias ; Ricardo Rocha ;
PUBLICAÇÃO: 2014, FONTE: CoRR, VOLUME: abs/1405.2850
INDEXADO EM: DBLP arXiv
1472
TÍTULO: A study of machine learning methods for detecting user interest during web sessions
AUTORES: Jorge, AM ; Leal, JP ; Anand, SS; Dias, H;
PUBLICAÇÃO: 2014, FONTE: 18th International Database Engineering and Applications Symposium (IDEAS) in PROCEEDINGS OF THE 18TH INTERNATIONAL DATABASE ENGINEERING AND APPLICATIONS SYMPOSIUM (IDEAS14), PÁGINAS: 149-157
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
1473
TÍTULO: A Survey of E-learning Content Aggregation Standards
AUTORES: Queiros, R ; Leal, JP ;
PUBLICAÇÃO: 2014, FONTE: ICWL Workshop in NEW HORIZONS IN WEB BASED LEARNING, ICWL 2014, VOLUME: 8699, PÁGINAS: 204-214
INDEXADO EM: Scopus WOS DBLP CrossRef: 1 Handle
1474
TÍTULO: A tabu search for the permutation flow shop problem with sequence dependent setup times
AUTORES: Nicolau Santos ; Rui Rebelo ; João Pedro Pedroso ;
PUBLICAÇÃO: 2014, FONTE: IJDATS, VOLUME: 6, NÚMERO: 3, PÁGINAS: 275-285
INDEXADO EM: Scopus DBLP CrossRef: 3
1475
TÍTULO: A Team-Based Scheduling Model for Interfacing Or-Parallel Prolog Engines  Full Text
AUTORES: Joao Santos ; Ricardo Rocha ;
PUBLICAÇÃO: 2014, FONTE: COMPUTER SCIENCE AND INFORMATION SYSTEMS, VOLUME: 11, NÚMERO: 4, PÁGINAS: 1435-1454
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
1476
TÍTULO: Achievable secrecy rates over MIMOME Gaussian channels with GMM signals in low-noise regime
AUTORES: Renna, F ; Laurenti, N; Tomasin, S;
PUBLICAÇÃO: 2014, FONTE: 2014 4th International Conference on Wireless Communications, Vehicular Technology, Information Theory and Aerospace and Electronic Systems, VITAE 2014 - Co-located with Global Wireless Summit in 2014 4th International Conference on Wireless Communications, Vehicular Technology, Information Theory and Aerospace and Electronic Systems, VITAE 2014 - Co-located with Global Wireless Summit
INDEXADO EM: Scopus CrossRef: 2
1477
TÍTULO: Achievable Secrecy Rates over MIMOME Gaussian Channels with GMM Signals in Low-Noise Regime
AUTORES: Francesco Renna ; Nicola Laurcnti; Stefano Tomasin;
PUBLICAÇÃO: 2014, FONTE: 4th International Conference on Wireless Communications, Vehicular Technology, Information Theory and Aerospace & Electronic Systems (VITAE) in 2014 4TH INTERNATIONAL CONFERENCE ON WIRELESS COMMUNICATIONS, VEHICULAR TECHNOLOGY, INFORMATION THEORY AND AEROSPACE & ELECTRONIC SYSTEMS (VITAE)
INDEXADO EM: WOS
1478
TÍTULO: Achieving Participant Acceptance of their Avatars  Full Text
AUTORES: Kristopher J Blom; Anna I B Bellido Rivas; Xenxo Alvarez; Ozan Cetinaslan; Bruno Oliveira ; Veronica Orvalho ; Mel Slater;
PUBLICAÇÃO: 2014, FONTE: PRESENCE-TELEOPERATORS AND VIRTUAL ENVIRONMENTS, VOLUME: 23, NÚMERO: 3, PÁGINAS: 287-299
INDEXADO EM: Scopus WOS DBLP CrossRef: 6
1479
TÍTULO: An Adjustable Sensor Platform Using Dual Wavelength Measurements For Optical Colorimetric Sensitive Films
AUTORES: Carlos Machado ; Carlos Gouveia; Joao Ferreira ; Barna Kovacs; Pedro Jorge ; Luis Lopes ;
PUBLICAÇÃO: 2014, FONTE: 13th IEEE Sensors Conference in 2014 IEEE SENSORS, VOLUME: 2014-December, NÚMERO: December, PÁGINAS: 398-401
INDEXADO EM: Scopus WOS CrossRef
1480
TÍTULO: An Architecture for Seamless Configuration, Deployment, and Management of Wireless Sensor-actuator Networks
AUTORES: Edgard Neto ; Rui Mendes; Luís M B Lopes ;
PUBLICAÇÃO: 2014, FONTE: 3rd International Conference on Sensor Networks, SENSORNETS 2014 in SENSORNETS 2014 - Proceedings of the 3rd International Conference on Sensor Networks, Lisbon, Portugal, 7 - 9 January, 2014, PÁGINAS: 73-81
INDEXADO EM: Scopus DBLP

Results per Page: 20.
Página 74 de 134. Total de resultados: 2676.