Department of Computer Science (DCC)
Departamento de Ciências dos Computadores
AuthID: I-000-0JZ
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
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!
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!
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!
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: 2849
46 Team MembersFilters -> Year: 2026
1401
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
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
1402
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 de Queirós ;
PUBLISHED: 2016, SOURCE: ITiCSE, VOLUME: 11-13-July-2016, PAGES: 332-337
AUTHORS: José Carlos Paiva ; José Paulo Leal ; Ricardo Alexandre Peixoto de Queirós ;
PUBLISHED: 2016, SOURCE: ITiCSE, VOLUME: 11-13-July-2016, PAGES: 332-337
1403
TITLE: Eshu: An Extensible Web Editor for Diagrammatic Languages
AUTHORS: José Paulo Leal ; Helder Correia ; José Carlos Paiva ;
PUBLISHED: 2016, SOURCE: SLATE, VOLUME: 51, PAGES: 12:1-12:13
AUTHORS: José Paulo Leal ; Helder Correia ; José Carlos Paiva ;
PUBLISHED: 2016, SOURCE: SLATE, VOLUME: 51, PAGES: 12:1-12:13
INDEXED IN: 
Scopus 
DBLP
Scopus DBLP1404
TITLE: Estimation-Based Search Space Traversal in PILP Environments
AUTHORS: Joana Côrte Real ; Inês Dutra ; Ricardo Rocha ;
PUBLISHED: 2016, SOURCE: ILP, VOLUME: 10326 LNAI, PAGES: 1-13
AUTHORS: Joana Côrte Real ; Inês Dutra ; Ricardo Rocha ;
PUBLISHED: 2016, SOURCE: ILP, VOLUME: 10326 LNAI, PAGES: 1-13
1405
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
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
1406
TITLE: Exploratory Study of the Cardiac Dynamic Trajectory in the Embedding Space
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
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
1407
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
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
1408
TITLE: FastStep: Scalable Boolean Matrix Decomposition
AUTHORS: Araujo, M ; Ribeiro, P ; Faloutsos, C ;
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
AUTHORS: Araujo, M ; Ribeiro, P ; Faloutsos, C ;
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
1409
TITLE: Feature Nets: behavioural modelling of software product lines
AUTHORS: Muschevici, R; Proença, J ; Clarke, D;
PUBLISHED: 2016, SOURCE: 10th International Conference on Integrated Formal Methods (IFM) in SOFTWARE AND SYSTEMS MODELING, VOLUME: 15, ISSUE: 4, PAGES: 1181-1206
AUTHORS: Muschevici, R; Proença, J ; Clarke, D;
PUBLISHED: 2016, SOURCE: 10th International Conference on Integrated Formal Methods (IFM) in SOFTWARE AND SYSTEMS MODELING, VOLUME: 15, ISSUE: 4, PAGES: 1181-1206
1410
TITLE: Fitting of Breast Data Using Free Form Deformation Technique
AUTHORS: Zolfagharnasab, H ; Cardoso, JS ; Oliveira, HP ;
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
AUTHORS: Zolfagharnasab, H ; Cardoso, JS ; Oliveira, HP ;
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
1411
TITLE: Formalization of the Pumping Lemma for Context-Free Languages PDF
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
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
Scopus WOS DBLP arXiv1412
TITLE: Foundations of Hardware-Based Attested Computation and Application to SGX
AUTHORS: Barbosa, M ; Portela, B ; Scerri, G; Warinschi, B;
PUBLISHED: 2016, SOURCE: 1st IEEE European Symposium on Security and Privacy (Euro S&P) in 1ST IEEE EUROPEAN SYMPOSIUM ON SECURITY AND PRIVACY, PAGES: 245-260
AUTHORS: Barbosa, M ; Portela, B ; Scerri, G; Warinschi, B;
PUBLISHED: 2016, SOURCE: 1st IEEE European Symposium on Security and Privacy (Euro S&P) in 1ST IEEE EUROPEAN SYMPOSIUM ON SECURITY AND PRIVACY, PAGES: 245-260
1413
TITLE: Gamification of Learning Activities with the Odin service
AUTHORS: Paiva, JC ; Leal, JP ; Queirós, R ;
PUBLISHED: 2016, SOURCE: PTI 17th KKIO Software Engineering Conference in COMPUTER SCIENCE AND INFORMATION SYSTEMS, VOLUME: 13, ISSUE: 3, PAGES: 809-826
AUTHORS: Paiva, JC ; Leal, JP ; Queirós, R ;
PUBLISHED: 2016, SOURCE: PTI 17th KKIO Software Engineering Conference in COMPUTER SCIENCE AND INFORMATION SYSTEMS, VOLUME: 13, ISSUE: 3, PAGES: 809-826
1414
TITLE: Generating error control codes with automata and transducers
AUTHORS: Stavros Konstantinidis; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2016, SOURCE: NCMA, PAGES: 211-226
AUTHORS: Stavros Konstantinidis; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2016, SOURCE: NCMA, PAGES: 211-226
INDEXED IN: DBLP
DBLP1415
TITLE: Geometry-Based Propagation Modeling and Simulation of Vehicle-to-Infrastructure Links
AUTHORS: Bengi Aygun; Mate Boban; Joao P Vilela ; Alexander M Wyglinski;
PUBLISHED: 2016, SOURCE: IEEE 83rd Vehicular Technology Conference (VTC Spring) in 2016 IEEE 83RD VEHICULAR TECHNOLOGY CONFERENCE (VTC SPRING), VOLUME: 2016-July
AUTHORS: Bengi Aygun; Mate Boban; Joao P Vilela ; Alexander M Wyglinski;
PUBLISHED: 2016, SOURCE: IEEE 83rd Vehicular Technology Conference (VTC Spring) in 2016 IEEE 83RD VEHICULAR TECHNOLOGY CONFERENCE (VTC SPRING), VOLUME: 2016-July
1417
TITLE: Hail-a-Drone: Enabling teleoperated taxi fleets
AUTHORS: d'Orey, PM ; Hosseini, A; Azevedo, J; Diermeyer, F; Ferreira, M ; Lienkamp, M;
PUBLISHED: 2016, SOURCE: IEEE Intelligent Vehicles Symposium (IV) in 2016 IEEE INTELLIGENT VEHICLES SYMPOSIUM (IV), VOLUME: 2016-August, PAGES: 774-781
AUTHORS: d'Orey, PM ; Hosseini, A; Azevedo, J; Diermeyer, F; Ferreira, M ; Lienkamp, M;
PUBLISHED: 2016, SOURCE: IEEE Intelligent Vehicles Symposium (IV) in 2016 IEEE INTELLIGENT VEHICLES SYMPOSIUM (IV), VOLUME: 2016-August, PAGES: 774-781
1418
TITLE: Hierarchical time series forecast in electrical grids
AUTHORS: Almeida, V ; Ribeiro, R ; Gama, J ;
PUBLISHED: 2016, SOURCE: International Conference on Information Science and Applications, ICISA 2016 in Lecture Notes in Electrical Engineering, VOLUME: 376, PAGES: 995-1005
AUTHORS: Almeida, V ; Ribeiro, R ; Gama, J ;
PUBLISHED: 2016, SOURCE: International Conference on Information Science and Applications, ICISA 2016 in Lecture Notes in Electrical Engineering, VOLUME: 376, PAGES: 995-1005
1419
TITLE: Hitch Hiker 2.0: a binding model with flexible data aggregation for the Internet-of-Things
AUTHORS: Ramachandran, GS; Proenca, J ; Daniels, W; Pickavet, M; Staessens, D; Huygens, C; Joosen, W; Hughes, D;
PUBLISHED: 2016, SOURCE: JOURNAL OF INTERNET SERVICES AND APPLICATIONS, VOLUME: 7, ISSUE: 1, PAGES: 4:1-4:15
AUTHORS: Ramachandran, GS; Proenca, J ; Daniels, W; Pickavet, M; Staessens, D; Huygens, C; Joosen, W; Hughes, D;
PUBLISHED: 2016, SOURCE: JOURNAL OF INTERNET SERVICES AND APPLICATIONS, VOLUME: 7, ISSUE: 1, PAGES: 4:1-4:15
1420
TITLE: How Well Can The Fusion of Gabor Filters And Local Binary Patterns Help In Identifying Gastric Lesions?
AUTHORS: Riaz, F; Hassan, A; Pimentel Nunes, P ; Lage, DLEJ; Coimbra, MT ;
PUBLISHED: 2016, SOURCE: 38th Annual International Conference of the IEEE-Engineering-in-Medicine-and-Biology-Society (EMBC) in 2016 38TH ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE AND BIOLOGY SOCIETY (EMBC), PAGES: 1204-1207
AUTHORS: Riaz, F; Hassan, A; Pimentel Nunes, P ; Lage, DLEJ; Coimbra, MT ;
PUBLISHED: 2016, SOURCE: 38th Annual International Conference of the IEEE-Engineering-in-Medicine-and-Biology-Society (EMBC) in 2016 38TH ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE AND BIOLOGY SOCIETY (EMBC), PAGES: 1204-1207
