Department of Computer Science (DCC)
Departamento de Ciências dos Computadores

University of Porto (UP) :: Faculty of Sciences (FCUP)

Publications Actions
Publications at Authenticus Institutional Profile

An Authenticus institution (group) is an organization which consists of a set of researchers (institutional/group team). The set of researchers depends on the organizational structure of the institution per year and can be set at the institution profile, under ‘Researchers’ interface. Based on the institutional team we produce listings of publications, statistics and institutional reports. 

Publications displayed at an Authenticus institutional profile depend on two parameters:

  • Researchers team associated with the institution per year. 
  • Publications source type. 

We define 3 types of publication sources:

  • Validated by team members - includes all publications validated by team members. Requires the definition of the institutional team. 
  • All published by team members - includes all publications validated by the institution team members plus all not-validated (only identified) publications. Requires the definition of the institutional team. 
  • Affiliation Based - includes publications that have the institution/group in the publication affiliation. Does not require institutional team, but at the same time does not guarantee that all publications will be listed. 
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: 2702

43 Team Members
Filters -> Year: 2025
1241
TITLE: Declarative Coordination of Graph-based Parallel Programs  Full Text
AUTHORS: Flavio Cruz ; Ricardo Rocha ; Seth Copen Goldstein;
PUBLISHED: 2016, SOURCE: 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (PPoPP) in ACM SIGPLAN NOTICES, VOLUME: 51, ISSUE: 8, PAGES: 37-48
INDEXED IN: Scopus WOS DBLP CrossRef: 3
1242
TITLE: Design and implementation of an IDE for learning programming languages using a gamification service
AUTHORS: Paiva, JC ; Leal, JP ; de Queirós, RAP ;
PUBLISHED: 2016, SOURCE: Gamification-Based E-Learning Strategies for Computer Programming Education, PAGES: 295-308
INDEXED IN: Scopus CrossRef: 3 Handle
1243
TITLE: Detection of Fraud Symptoms in the Retail Industry
AUTHORS: Rita P Ribeiro ; Ricardo Oliveira; Joao Gama ;
PUBLISHED: 2016, SOURCE: 15th Ibero-American Conference on Artificial Intelligence (AI) in ADVANCES IN ARTIFICIAL INTELLIGENCE - IBERAMIA 2016, VOLUME: 10022, PAGES: 189-200
INDEXED IN: Scopus WOS DBLP CrossRef: 1
1244
TITLE: Development of an autonomous system for integrated marine monitoring
AUTHORS: 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; ...More
PUBLISHED: 2016, SOURCE: Frontiers in Marine Science, VOLUME: 3
INDEXED IN: CrossRef
1245
TITLE: Digital Signatures Workflows in Alfresco
AUTHORS: Patrícia R Sousa ; Pedro Faria; Manuel Eduardo Correia ; João S Resende ; Luis Antunes ;
PUBLISHED: 2016, SOURCE: 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, PAGES: 304-318
INDEXED IN: Scopus DBLP CrossRef: 1
1246
TITLE: DISCOVERING SIMILAR ORGANIZATIONAL SOCIAL MEDIA STRATEGIES USING CLASSIFICATION AND CLUSTERING
AUTHORS: Alvaro Figueira ; Luciana Oliveira ;
PUBLISHED: 2016, SOURCE: 10th International Technology, Education and Development Conference (INTED) in INTED2016: 10TH INTERNATIONAL TECHNOLOGY, EDUCATION AND DEVELOPMENT CONFERENCE, PAGES: 5956-5964
INDEXED IN: WOS CrossRef
1247
TITLE: Distinguishability Operations and Closures  Full Text
AUTHORS: Cezar Campeanu; Nelma Moreira ; Rogerio Reis ;
PUBLISHED: 2016, SOURCE: FUNDAMENTA INFORMATICAE, VOLUME: 148, ISSUE: 3-4, PAGES: 243-266
INDEXED IN: Scopus WOS DBLP CrossRef: 5
1248
TITLE: Distinguishing Two Probability Ensembles with One Sample from each Ensemble  Full Text
AUTHORS: Luis Antunes ; Harry Buhrman; Armando Matos; Andre Souto ; Andreia Teixeira ;
PUBLISHED: 2016, SOURCE: THEORY OF COMPUTING SYSTEMS, VOLUME: 59, ISSUE: 3, PAGES: 517-531
INDEXED IN: Scopus WOS DBLP CrossRef
1249
TITLE: EduBridge Social Bridging Social Networks and Learning Management Systems
AUTHORS: Oliveira, L ; Figueira, A ;
PUBLISHED: 2016, SOURCE: 8th International Conference on Computer Supported Education (CSEDU) in PROCEEDINGS OF THE 8TH INTERNATIONAL CONFERENCE ON COMPUTER SUPPORTED EDUCATION, VOL 1 (CSEDU), VOLUME: 1, PAGES: 162-171
INDEXED IN: Scopus WOS DBLP CrossRef: 3 Handle
1250
TITLE: Enki: A Pedagogical Services Aggregator for Learning Programming Languages. A Pedagogical Services Aggregator for Learning Programming Languages
AUTHORS: José Carlos Paiva ; José Paulo Leal ; Ricardo Alexandre Peixoto Queirós ;
PUBLISHED: 2016, SOURCE: 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, PAGES: 332-337
INDEXED IN: Scopus DBLP CrossRef: 15 Handle
1251
TITLE: Eshu: An Extensible Web Editor for Diagrammatic Languages
AUTHORS: José Paulo Leal ; Helder Correia ; José Carlos Paiva ;
PUBLISHED: 2016, SOURCE: 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, PAGES: 12:1-12:13
INDEXED IN: Scopus DBLP
1252
TITLE: Estimation-Based Search Space Traversal in PILP Environments
AUTHORS: Joana Côrte Real ; Inês Dutra ; Ricardo Rocha ;
PUBLISHED: 2016, SOURCE: 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, PAGES: 1-13
INDEXED IN: Scopus DBLP CrossRef: 2
1253
TITLE: Expedite Feature Extraction for Enhanced Cloud Anomaly Detection  Full Text
AUTHORS: Bruno L Dalmazo; Joao P Vilela ; Paulo Simoes; Marilia Curado ;
PUBLISHED: 2016, SOURCE: IEEE/IFIP Network Operations and Management Symposium (NOMS) in NOMS 2016 - 2016 IEEE/IFIP NETWORK OPERATIONS AND MANAGEMENT SYMPOSIUM, PAGES: 1215-1220
INDEXED IN: Scopus WOS CrossRef: 9
1254
TITLE: Exploratory Study of the Cardiac Dynamic Trajectory in the Embedding Space PDF
AUTHORS: Oliveira, J ; Cardoso, B; Coimbra, MT ;
PUBLISHED: 2016, SOURCE: 43rd Computing in Cardiology Conference (CinC) in 2016 COMPUTING IN CARDIOLOGY CONFERENCE (CINC), VOL 43, VOLUME: 43, PAGES: 193-196
INDEXED IN: Scopus WOS DBLP CrossRef
1255
TITLE: Exploring the Solution Space of Self-Automated Parking Lots: An Empirical Evaluation of Vehicle Control Strategies
AUTHORS: d'Orey, PM ; Azevedo, J; Ferreira, M ;
PUBLISHED: 2016, SOURCE: 19th IEEE International Conference on Intelligent Transportation Systems (ITSC) in 2016 IEEE 19TH INTERNATIONAL CONFERENCE ON INTELLIGENT TRANSPORTATION SYSTEMS (ITSC), PAGES: 1134-1140
INDEXED IN: Scopus WOS DBLP CrossRef: 11
1256
TITLE: FastStep: Scalable Boolean Matrix Decomposition
AUTHORS: Miguel Araujo ; Pedro Ribeiro ; Christos Faloutsos ;
PUBLISHED: 2016, SOURCE: 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, PAGES: 461-473
INDEXED IN: Scopus WOS DBLP CrossRef: 3
1257
TITLE: Feature Nets: behavioural modelling of software product lines  Full Text
AUTHORS: Radu Muschevici; Jose Proenca ; Dave Clarke;
PUBLISHED: 2016, SOURCE: 10th International Conference on Integrated Formal Methods (IFM) in SOFTWARE AND SYSTEMS MODELING, VOLUME: 15, ISSUE: 4, PAGES: 1181-1206
INDEXED IN: Scopus WOS DBLP CrossRef: 19
1258
TITLE: Fitting of Breast Data Using Free Form Deformation Technique
AUTHORS: Hooshiar Zolfagharnasab ; Jaime S Cardoso ; Helder P Oliveira ;
PUBLISHED: 2016, SOURCE: 13th International Conference on Image Analysis and Recognition in Memory of Mohamed Kamel (ICIAR) in IMAGE ANALYSIS AND RECOGNITION (ICIAR 2016), VOLUME: 9730, PAGES: 608-615
INDEXED IN: Scopus WOS DBLP CrossRef: 1
1259
TITLE: Formalization of the Pumping Lemma for Context-Free Languages PDF  Full Text
AUTHORS: Marcus Vinícius Midena Ramos; Ruy de G. B. de Queiroz; Nelma Moreira ; José Carlos Bacelar Almeida ;
PUBLISHED: 2016, SOURCE: JOURNAL OF FORMALIZED REASONING, VOLUME: 9, ISSUE: 2, PAGES: 53-68
INDEXED IN: Scopus WOS DBLP arXiv
1260
TITLE: Foundations of Hardware-Based Attested Computation and Application to SGX
AUTHORS: Manuel Barbosa ; Bernardo Portela ; Guillaume Scerri; Bogdan Warinschi;
PUBLISHED: 2016, SOURCE: IACR Cryptology ePrint Archive, VOLUME: 2016, PAGES: 14
INDEXED IN: DBLP

Results per Page: 20.
Page 63 of 136. Total results: 2702.