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
1581
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
1582
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
1583
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
1584
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
1585
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
1586
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: 4
1587
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
1588
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: 4
1589
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
1590
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
1591
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
1592
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
1593
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
1594
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
1595
TÍTULO: An evolutionary solver for linear integer programming PDF
AUTORES: João Pedro Pedroso ;
PUBLICAÇÃO: 2014, FONTE: CoRR, VOLUME: abs/1407.7211
INDEXADO EM: DBLP arXiv
1596
TÍTULO: An Infra-Structure for Performance Estimation and Experimental Comparison of Predictive Models in R PDF
AUTORES: Luis Torgo ;
PUBLICAÇÃO: 2014, FONTE: CoRR, VOLUME: abs/1412.0436
INDEXADO EM: DBLP arXiv
1597
TÍTULO: An Online Learning Framework for Predicting the Taxi Stand's Profitability
AUTORES: Luis Moreira Matias ; Joao Mendes Moreira ; Michel Ferreira ; Joao Gama ; Luis Damas;
PUBLICAÇÃO: 2014, FONTE: IEEE 17th International Conference on Intelligent Transportation Systems (ITSC) in 2014 IEEE 17TH INTERNATIONAL CONFERENCE ON INTELLIGENT TRANSPORTATION SYSTEMS (ITSC), PÁGINAS: 2009-2014
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
1598
TÍTULO: Assessing Cosmetic Results After Breast Conserving Surgery. The Evolution of Cosmetic Evaluation  Full Text
AUTORES: Maria Joao Cardoso ; Helder Oliveira ; Jaime Cardoso ;
PUBLICAÇÃO: 2014, FONTE: JOURNAL OF SURGICAL ONCOLOGY, VOLUME: 110, NÚMERO: 1, PÁGINAS: 37-44
INDEXADO EM: Scopus WOS CrossRef: 36
1599
TÍTULO: Bidirectional Spreadsheet Formulas
AUTORES: Nuno Macedo ; Hugo Pacheco ; Nuno Rocha Sousa; Alcino Cunha ;
PUBLICAÇÃO: 2014, FONTE: IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) in 2014 IEEE SYMPOSIUM ON VISUAL LANGUAGES AND HUMAN-CENTRIC COMPUTING (VL/HCC 2014), PÁGINAS: 161-168
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
1600
TÍTULO: BiFluX: A Bidirectional Functional Update Language for XML. A Bidirectional Functional Update Language for XML
AUTORES: Hugo Pacheco ; Tao Zan; Zhenjiang Hu;
PUBLICAÇÃO: 2014, FONTE: 16th International Symposium on Principles and Practice of Declarative Programming, PPDP 2014 in Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, Kent, Canterbury, United Kingdom, September 8-10, 2014, PÁGINAS: 147-158
INDEXADO EM: Scopus DBLP CrossRef: 18

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