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

43 Team Members
Filters -> Year: 2025
1261
TÍTULO: Detection of Fraud Symptoms in the Retail Industry
AUTORES: Rita P Ribeiro ; Ricardo Oliveira; Joao Gama ;
PUBLICAÇÃO: 2016, FONTE: 15th Ibero-American Conference on Artificial Intelligence (AI) in ADVANCES IN ARTIFICIAL INTELLIGENCE - IBERAMIA 2016, VOLUME: 10022, PÁGINAS: 189-200
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
1262
TÍTULO: Development of an autonomous system for integrated marine monitoring
AUTORES: Magalhães Catarina; Mucha Ana Paula; Carvalho Maria; Ribeiro Hugo; Almeida Cristina; Azevedo Isabel; Ramos Sandra; Borges Teresa; Leandro Sérgio; Dos Santos Antonina; Silva Alexandra; Bartilotti Cátia; Cotrim Sónia; Marques Raquel; Churro Catarina; Dias André; Ferreira Hugo; Dias Ireneu; Torgo Luís ; Oliveira Mariana ; Dias Nuno; Jorge Pedro; Martins Alfredo; Silva Eduardo; ...Mais
PUBLICAÇÃO: 2016, FONTE: Frontiers in Marine Science, VOLUME: 3
INDEXADO EM: CrossRef
1263
TÍTULO: Digital Signatures Workflows in Alfresco
AUTORES: Patrícia R Sousa ; Pedro Faria; Manuel Eduardo Correia ; João S Resende ; Luis Antunes ;
PUBLICAÇÃO: 2016, FONTE: 5th International Conference on Electronic Government and the Information Systems Perspective, EGOVIS 2016 in Electronic Government and the Information Systems Perspective - 5th International Conference, EGOVIS 2016, Porto, Portugal, September 5-8, 2016, Proceedings, VOLUME: 9831, PÁGINAS: 304-318
INDEXADO EM: Scopus DBLP CrossRef: 1
1264
TÍTULO: DISCOVERING SIMILAR ORGANIZATIONAL SOCIAL MEDIA STRATEGIES USING CLASSIFICATION AND CLUSTERING
AUTORES: Alvaro Figueira ; Luciana Oliveira ;
PUBLICAÇÃO: 2016, FONTE: 10th International Technology, Education and Development Conference (INTED) in INTED2016: 10TH INTERNATIONAL TECHNOLOGY, EDUCATION AND DEVELOPMENT CONFERENCE, PÁGINAS: 5956-5964
INDEXADO EM: WOS CrossRef
1265
TÍTULO: Distinguishability Operations and Closures  Full Text
AUTORES: Cezar Campeanu; Nelma Moreira ; Rogerio Reis ;
PUBLICAÇÃO: 2016, FONTE: FUNDAMENTA INFORMATICAE, VOLUME: 148, NÚMERO: 3-4, PÁGINAS: 243-266
INDEXADO EM: Scopus WOS DBLP CrossRef: 5
1266
TÍTULO: Distinguishing Two Probability Ensembles with One Sample from each Ensemble  Full Text
AUTORES: Luis Antunes ; Harry Buhrman; Armando Matos; Andre Souto ; Andreia Teixeira ;
PUBLICAÇÃO: 2016, FONTE: THEORY OF COMPUTING SYSTEMS, VOLUME: 59, NÚMERO: 3, PÁGINAS: 517-531
INDEXADO EM: Scopus WOS DBLP CrossRef
1267
TÍTULO: EduBridge Social Bridging Social Networks and Learning Management Systems
AUTORES: Oliveira, L ; Figueira, A ;
PUBLICAÇÃO: 2016, FONTE: 8th International Conference on Computer Supported Education (CSEDU) in PROCEEDINGS OF THE 8TH INTERNATIONAL CONFERENCE ON COMPUTER SUPPORTED EDUCATION, VOL 1 (CSEDU), VOLUME: 1, PÁGINAS: 162-171
INDEXADO EM: Scopus WOS DBLP CrossRef: 3 Handle
1268
TÍTULO: Enki: A Pedagogical Services Aggregator for Learning Programming Languages. A Pedagogical Services Aggregator for Learning Programming Languages
AUTORES: José Carlos Paiva ; José Paulo Leal ; Ricardo Alexandre Peixoto Queirós ;
PUBLICAÇÃO: 2016, FONTE: 2016 ACM Conference on Innovation and Technology in Computer Science Education, ITiCSE 2016 in Proceedings of the 2016 ACM Conference on Innovation and Technology in Computer Science Education, ITiCSE 2016, Arequipa, Peru, July 9-13, 2016, VOLUME: 11-13-July-2016, PÁGINAS: 332-337
INDEXADO EM: Scopus DBLP CrossRef: 15 Handle
1269
TÍTULO: Eshu: An Extensible Web Editor for Diagrammatic Languages
AUTORES: José Paulo Leal ; Helder Correia ; José Carlos Paiva ;
PUBLICAÇÃO: 2016, FONTE: 5th Symposium on Languages, Applications and Technologies, SLATE 2016 in 5th Symposium on Languages, Applications and Technologies, SLATE 2016, June 20-21, 2016, Maribor, Slovenia, VOLUME: 51, PÁGINAS: 12:1-12:13
INDEXADO EM: Scopus DBLP
1270
TÍTULO: Estimation-Based Search Space Traversal in PILP Environments
AUTORES: Joana Côrte Real ; Inês Dutra ; Ricardo Rocha ;
PUBLICAÇÃO: 2016, FONTE: 26th International Conference on Inductive Logic Programming, ILP 2016 in Inductive Logic Programming - 26th International Conference, ILP 2016, London, UK, September 4-6, 2016, Revised Selected Papers, VOLUME: 10326, PÁGINAS: 1-13
INDEXADO EM: Scopus DBLP CrossRef: 2
1271
TÍTULO: Expedite Feature Extraction for Enhanced Cloud Anomaly Detection  Full Text
AUTORES: Bruno L Dalmazo; Joao P Vilela ; Paulo Simoes; Marilia Curado ;
PUBLICAÇÃO: 2016, FONTE: IEEE/IFIP Network Operations and Management Symposium (NOMS) in NOMS 2016 - 2016 IEEE/IFIP NETWORK OPERATIONS AND MANAGEMENT SYMPOSIUM, PÁGINAS: 1215-1220
INDEXADO EM: Scopus WOS CrossRef: 9
1272
TÍTULO: Exploratory Study of the Cardiac Dynamic Trajectory in the Embedding Space PDF
AUTORES: Oliveira, J ; Cardoso, B; Coimbra, MT ;
PUBLICAÇÃO: 2016, FONTE: 43rd Computing in Cardiology Conference (CinC) in 2016 COMPUTING IN CARDIOLOGY CONFERENCE (CINC), VOL 43, VOLUME: 43, PÁGINAS: 193-196
INDEXADO EM: Scopus WOS DBLP CrossRef
1273
TÍTULO: Exploring the Solution Space of Self-Automated Parking Lots: An Empirical Evaluation of Vehicle Control Strategies
AUTORES: d'Orey, PM ; Azevedo, J; Ferreira, M ;
PUBLICAÇÃO: 2016, FONTE: 19th IEEE International Conference on Intelligent Transportation Systems (ITSC) in 2016 IEEE 19TH INTERNATIONAL CONFERENCE ON INTELLIGENT TRANSPORTATION SYSTEMS (ITSC), PÁGINAS: 1134-1140
INDEXADO EM: Scopus WOS DBLP CrossRef: 11
1274
TÍTULO: FastStep: Scalable Boolean Matrix Decomposition
AUTORES: Miguel Araujo ; Pedro Ribeiro ; Christos Faloutsos ;
PUBLICAÇÃO: 2016, FONTE: 20th Pacific-Asia Conference on Knowledge Discovery and Data Mining (PAKDD) in ADVANCES IN KNOWLEDGE DISCOVERY AND DATA MINING, PAKDD 2016, PT I, VOLUME: 9651, PÁGINAS: 461-473
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
1275
TÍTULO: Feature Nets: behavioural modelling of software product lines  Full Text
AUTORES: Radu Muschevici; Jose Proenca ; Dave Clarke;
PUBLICAÇÃO: 2016, FONTE: 10th International Conference on Integrated Formal Methods (IFM) in SOFTWARE AND SYSTEMS MODELING, VOLUME: 15, NÚMERO: 4, PÁGINAS: 1181-1206
INDEXADO EM: Scopus WOS DBLP CrossRef: 19
1276
TÍTULO: Fitting of Breast Data Using Free Form Deformation Technique
AUTORES: Hooshiar Zolfagharnasab ; Jaime S Cardoso ; Helder P Oliveira ;
PUBLICAÇÃO: 2016, FONTE: 13th International Conference on Image Analysis and Recognition in Memory of Mohamed Kamel (ICIAR) in IMAGE ANALYSIS AND RECOGNITION (ICIAR 2016), VOLUME: 9730, PÁGINAS: 608-615
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
1277
TÍTULO: Formalization of the Pumping Lemma for Context-Free Languages PDF  Full Text
AUTORES: Marcus Vinícius Midena Ramos; Ruy de G. B. de Queiroz; Nelma Moreira ; José Carlos Bacelar Almeida ;
PUBLICAÇÃO: 2016, FONTE: JOURNAL OF FORMALIZED REASONING, VOLUME: 9, NÚMERO: 2, PÁGINAS: 53-68
INDEXADO EM: Scopus WOS DBLP arXiv
1278
TÍTULO: Foundations of Hardware-Based Attested Computation and Application to SGX
AUTORES: Manuel Barbosa ; Bernardo Portela ; Guillaume Scerri; Bogdan Warinschi;
PUBLICAÇÃO: 2016, FONTE: IACR Cryptology ePrint Archive, VOLUME: 2016, PÁGINAS: 14
INDEXADO EM: DBLP
1279
TÍTULO: Foundations of Hardware-Based Attested Computation and Application to SGX
AUTORES: Manuel Barbosa ; Bernardo Portela ; Guillaume Scerri; Bogdan Warinschi;
PUBLICAÇÃO: 2016, FONTE: 1st IEEE European Symposium on Security and Privacy (Euro S&P) in 1ST IEEE EUROPEAN SYMPOSIUM ON SECURITY AND PRIVACY, PÁGINAS: 245-260
INDEXADO EM: Scopus WOS DBLP CrossRef: 33
1280
TÍTULO: Gamification of Learning Activities with the Odin service  Full Text
AUTORES: Paiva, JC ; Leal, JP ; Queiros, R ;
PUBLICAÇÃO: 2016, FONTE: PTI 17th KKIO Software Engineering Conference in COMPUTER SCIENCE AND INFORMATION SYSTEMS, VOLUME: 13, NÚMERO: 3, PÁGINAS: 809-826
INDEXADO EM: Scopus WOS DBLP CrossRef: 10 Handle

Results per Page: 20.
Página 64 de 136. Total de resultados: 2720.