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

43 Team Members
Filters -> Year: 2025
1661
TÍTULO: Integrative functional statistics in logic programming
AUTORES: Angelopoulos, N; Santos Costa, V ; Azevedo, J; Wielemaker, J; Camacho, R ; Wessels, L;
PUBLICAÇÃO: 2013, FONTE: 15th International Symposium on Practical Aspects of Declarative Languages, PADL 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7752 LNCS, PÁGINAS: 190-205
INDEXADO EM: Scopus DBLP CrossRef: 11
1662
TÍTULO: Interactive interaction constraints
AUTORES: Proenca, J ; Clarke, D;
PUBLICAÇÃO: 2013, FONTE: 15th International Conference on Coordination Models and Languages, COORDINATION 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7890 LNCS, PÁGINAS: 211-225
INDEXADO EM: Scopus DBLP CrossRef: 5
1663
TÍTULO: Interactive Shopping Experience through Immersive Store Environments
AUTORES: Kunal Mankodiya; Rolando Martins ; Jonathan Francis; Elmer Garduno; Rajeev Gandhi; Priya Narasimhan;
PUBLICAÇÃO: 2013, FONTE: 2nd International Conference on Design, User Experience, and Usability: User Experience in Novel Technological Environments, DUXU 2013, Held as Part of 15th International Conference on Human-Computer Interaction, HCI International 2013 in Design, User Experience, and Usability. User Experience in Novel Technological Environments - Second International Conference, DUXU 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part III, VOLUME: 8014, NÚMERO: PART 3, PÁGINAS: 372-382
INDEXADO EM: Scopus DBLP CrossRef: 1
1664
TÍTULO: Is Kinect Depth Data Accurate for the Aesthetic Evaluation after Breast Cancer Surgeries?
AUTORES: Helder P Oliveira ; Marco D Silva; Andre Magalhaes; Maria J Cardoso ; Jaime S Cardoso ;
PUBLICAÇÃO: 2013, FONTE: 6th Iberian Conference on Pattern Recognition and Image Analysis (IbPRIA) in PATTERN RECOGNITION AND IMAGE ANALYSIS, IBPRIA 2013, VOLUME: 7887, PÁGINAS: 261-268
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
1665
TÍTULO: Knowledge on Heart Condition of Children based on Demographic and Physiological Features
AUTORES: Pedro Ferreira ; Tiago T V Vinhoza ; Ana Castro ; Felipe Mourato; Thiago Tavares; Sandra Mattos; Ines Dutra ; Miguel Coimbra ;
PUBLICAÇÃO: 2013, FONTE: 26th IEEE International Symposium on Computer-Based Medical Systems (CBMS) in 2013 IEEE 26TH INTERNATIONAL SYMPOSIUM ON COMPUTER-BASED MEDICAL SYSTEMS (CBMS), PÁGINAS: 314-319
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
1666
TÍTULO: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface
AUTORES: Jurgensen, H; Reis, R ;
PUBLICAÇÃO: 2013, FONTE: 15th International Workshop on Descriptional Complexity of Formal Systems, DCFS 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8031 LNCS
INDEXADO EM: Scopus
1667
TÍTULO: LIFEISGAME: A SERIOUS GAME ABOUT EMOTIONS FOR CHILDREN WITH AUTISM SPECTRUM DISORDERS PDF
AUTORES: Alves, S; Marques, A; Queiros, C; Orvalho, V ;
PUBLICAÇÃO: 2013, FONTE: International Psychological Applications Conference and Trends in INPACT 2013: INTERNATIONAL PSYCHOLOGICAL APPLICATIONS CONFERENCE AND TRENDS, VOLUME: 11, NÚMERO: 3, PÁGINAS: 323-323
INDEXADO EM: Scopus WOS DBLP
1668
TÍTULO: Log Analysis of Human Computer Interactions Regarding Break The Glass Accesses to Genetic Reports
AUTORES: Ana Ferreira ; Pedro Farinha ; Catia Santos Pereira; Ricardo Correia ; Pedro P Rodrigues ; Altamiro Costa Pereira ; Veronica Orvalho ;
PUBLICAÇÃO: 2013, FONTE: 15th International Conference on Enterprise Information Systems (ICEIS) in ICEIS: PROCEEDINGS OF THE 15TH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS - VOL 3, VOLUME: 3, PÁGINAS: 46-53
INDEXADO EM: Scopus WOS DBLP CrossRef
1669
TÍTULO: Low-power secret-key agreement over OFDM
AUTORES: Renna, F ; Laurenti, N; Tomasin, S; Baldi, M; Maturo, N; Bianchi, M; Chiaraluce, F; Bloch, M;
PUBLICAÇÃO: 2013, FONTE: 2013 2nd ACM Workshop on Hot Topics on Wireless Network Security and Privacy, HotWiSec 2013 in HotWiSec 2013 - Proceedings of the 2013 ACM Workshop on Hot Topics on Wireless Network Security and Privacy, PÁGINAS: 43-47
INDEXADO EM: Scopus CrossRef: 7
1670
TÍTULO: Making Programming Exercises Interoperable with PExIL
AUTORES: Queiros, R ; Leal, JP ;
PUBLICAÇÃO: 2013, FONTE: Conference on XML, Applications, and Associated Technologies (XATA) in INNOVATIONS IN XML APPLICATIONS AND METADATA MANAGEMENT: ADVANCING TECHNOLOGIES, PÁGINAS: 38-56
INDEXADO EM: Scopus WOS CrossRef: 2 Handle
1671
TÍTULO: Managing experiments on cognitive processes in writing with HandSpy  Full Text
AUTORES: Carlos Monteiro; Jose Paulo Leal ;
PUBLICAÇÃO: 2013, FONTE: COMPUTER SCIENCE AND INFORMATION SYSTEMS, VOLUME: 10, NÚMERO: 4, PÁGINAS: 1747-1773
INDEXADO EM: Scopus WOS DBLP CrossRef: 5
1672
TÍTULO: MetaBot: Automated and Dynamically Schedulable Robotic Behaviors in Retail Environments
AUTORES: Francis, J; Drolia, U; Mankodiya, K; Rolando Martins ; Gandhi, R; Narasimhan, P;
PUBLICAÇÃO: 2013, FONTE: 2013 11th IEEE International Symposium on Robotic and Sensors Environments, ROSE 2013 in 2013 IEEE INTERNATIONAL SYMPOSIUM ON ROBOTIC AND SENSORS ENVIRONMENTS (ROSE 2013), PÁGINAS: 148-153
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
1673
TÍTULO: Methods for the Aesthetic Evaluation of Breast Cancer Conservation Treatment: A Technological Review
AUTORES: Oliveira, HP ; Cardoso, JS ; Magalhaes, A; Cardoso, MJ ;
PUBLICAÇÃO: 2013, FONTE: CURRENT MEDICAL IMAGING, VOLUME: 9, NÚMERO: 1, PÁGINAS: 32-46
INDEXADO EM: Scopus WOS CrossRef: 27
1674
TÍTULO: Multi-interval Discretization of Continuous Attributes for Label Ranking  Full Text
AUTORES: de Sa, CR ; Soares, C ; Knobbe, A; Azevedo, P ; Jorge, AM ;
PUBLICAÇÃO: 2013, FONTE: 16th International Conference on Discovery Science (DS) in DISCOVERY SCIENCE, VOLUME: 8140, PÁGINAS: 155-169
INDEXADO EM: Scopus WOS DBLP CrossRef: 12 Handle
1675
TÍTULO: Multiple-choice Vector Bin Packing: Arc-flow Formulation with Graph Compression PDF
AUTORES: Filipe Brandão; João Pedro Pedroso ;
PUBLICAÇÃO: 2013, FONTE: CoRR, VOLUME: abs/1312.3836
INDEXADO EM: DBLP arXiv
1676
TÍTULO: On Comparing Alternative Splitting Strategies for Or-Parallel Prolog Execution on Multicores PDF
AUTORES: Rui Vieira; Ricardo Rocha ; Fernando M. A. Silva ;
PUBLICAÇÃO: 2013, FONTE: CoRR, VOLUME: abs/1301.7690
INDEXADO EM: DBLP arXiv
1677
TÍTULO: On Logical Depth and the Running Time of Shortest Programs PDF
AUTORES: Luis Filipe Coelho Antunes ; Andre Souto ; Paul M. B. Vitányi;
PUBLICAÇÃO: 2013, FONTE: CoRR, VOLUME: abs/1310.6976
INDEXADO EM: DBLP arXiv
1678
TÍTULO: On Predicting the Taxi-Passenger Demand: A Real-Time Approach
AUTORES: Luis Moreira Matias ; Joao Gama ; Michel Ferreira ; Joao Mendes Moreira ; Luis Damas ;
PUBLICAÇÃO: 2013, FONTE: 16th Portuguese Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE, EPIA 2013, VOLUME: 8154, PÁGINAS: 54-65
INDEXADO EM: Scopus WOS DBLP CrossRef: 28
1679
TÍTULO: On recommending urban hotspots to find our next passenger PDF
AUTORES: Moreira Matias, L ; Fernandes, R; Gama, J ; Ferreira, M ; Mendes Moreira, J ; Damas, L ;
PUBLICAÇÃO: 2013, FONTE: 3rd Workshop on Ubiquitous Data Mining, UDM 2013 - Co-located with the 23rd International Joint Conference on Artificial Intelligence, IJCAI 2013 in CEUR Workshop Proceedings, VOLUME: 1088, PÁGINAS: 17-23
INDEXADO EM: Scopus DBLP
1680
TÍTULO: On the Average Size of Glushkov and Equation Automata for KAT Expressions
AUTORES: Sabine Broda ; António Machiavelo ; Nelma Moreira ; Rogério Reis ;
PUBLICAÇÃO: 2013, FONTE: 19th International Symposium on Fundamentals of Computation Theory, FCT 2013 in Fundamentals of Computation Theory - 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013. Proceedings, VOLUME: 8070, PÁGINAS: 72-83
INDEXADO EM: Scopus DBLP CrossRef: 6

Results per Page: 20.
Página 84 de 134. Total de resultados: 2675.