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

43 Team Members
Filters -> Year: 2024
1421
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
1422
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
1423
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
1424
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
1425
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
1426
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
1427
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
1428
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
1429
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
1430
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
1431
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
1432
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
1433
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
1434
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
1435
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
1436
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
1437
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
1438
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
1439
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
1440
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

Results per Page: 20.
Página 72 de 132. Total de resultados: 2637.