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

43 Team Members
Filters -> Year: 2025
1781
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
1782
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
1783
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
1784
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
1785
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
1786
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: 7
1787
TÍTULO: MetaBot: Automated and Dynamically Schedulable Robotic Behaviors in Retail Environments
AUTORES: Francis, J; Drolia, U; Mankodiya, K; Martins, R ; 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
1788
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
1789
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
1790
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
1791
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
1792
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
1793
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: 29
1794
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
1795
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
1796
TÍTULO: On the efficient implementation of mode-directed tabling
AUTORES: Santos, J ; Rocha, R ;
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: 141-156
INDEXADO EM: Scopus DBLP CrossRef: 4
1797
TÍTULO: On the logical depth function PDF
AUTORES: Luis Filipe Coelho Antunes ; Andre Souto ; Teixeira, A.; Paul M. B. Vitányi;
PUBLICAÇÃO: 2013, FONTE: CoRR, VOLUME: abs/1301.4451
INDEXADO EM: DBLP arXiv
1798
TÍTULO: On the relationship between functional encryption, obfuscation, and fully homomorphic encryption
AUTORES: Alwen, J; Barbosa, M ; Farshim, P; Gennaro, R; Gordon, SD; Tessaro, S; Wilson, DA;
PUBLICAÇÃO: 2013, FONTE: 14th IMA International Conference on Cryptography and Coding, IMACC 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8308 LNCS, PÁGINAS: 65-84
INDEXADO EM: Scopus DBLP
1799
TÍTULO: On the Semantic Security of Functional Encryption Schemes
AUTORES: Manuel Barbosa ; Pooya Farshim;
PUBLICAÇÃO: 2013, FONTE: 16th International Conference on Practice and Theory in Public-Key Cryptography (PKC) in PUBLIC-KEY CRYPTOGRAPHY - PKC 2013, VOLUME: 7778, PÁGINAS: 143-161
INDEXADO EM: Scopus WOS DBLP CrossRef: 19
1800
TÍTULO: One-Way Functions Using Algorithmic and Classical Information Theories  Full Text
AUTORES: Luis Antunes ; Armando Matos ; Alexandre Pinto ; Andre Souto ; Andreia Teixeira ;
PUBLICAÇÃO: 2013, FONTE: THEORY OF COMPUTING SYSTEMS, VOLUME: 52, NÚMERO: 1, PÁGINAS: 162-178
INDEXADO EM: Scopus WOS DBLP CrossRef: 5

Results per Page: 20.
Página 90 de 140. Total de resultados: 2791.