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: 2637
43 Team MembersFilters -> Year: 2024
1481
TITLE: ITS for Sustainable Mobility: A Survey on Applications and Impact Assessment Tools
AUTHORS: Pedro M d'Orey ; Michel Ferreira ;
PUBLISHED: 2014, SOURCE: IEEE TRANSACTIONS ON INTELLIGENT TRANSPORTATION SYSTEMS, VOLUME: 15, ISSUE: 2, PAGES: 477-493
AUTHORS: Pedro M d'Orey ; Michel Ferreira ;
PUBLISHED: 2014, SOURCE: IEEE TRANSACTIONS ON INTELLIGENT TRANSPORTATION SYSTEMS, VOLUME: 15, ISSUE: 2, PAGES: 477-493
1482
TITLE: Late Breaking Papers of the 23rd International Conference on Inductive Logic Programming, Rio de Janeiro, Brazil, August 28th - to - 30th, 2013
AUTHORS: Gerson Zaverucha; Vítor Santos Costa ; Aline Marins Paes;
PUBLISHED: 2014, SOURCE: ILP (Late Breaking Papers), VOLUME: 1187
AUTHORS: Gerson Zaverucha; Vítor Santos Costa ; Aline Marins Paes;
PUBLISHED: 2014, SOURCE: ILP (Late Breaking Papers), VOLUME: 1187
INDEXED IN: 
DBLP
DBLP1483
TITLE: Lifted Variable Elimination for Probabilistic Logic Programming
AUTHORS: Elena Bellodi; Evelina Lamma; Fabrizio Riguzzi; Vitor Santos Costa ; Riccardo Zese;
PUBLISHED: 2014, SOURCE: 30th International Conference on Logic Programming in THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 14, ISSUE: 4-5, PAGES: 681-695
AUTHORS: Elena Bellodi; Evelina Lamma; Fabrizio Riguzzi; Vitor Santos Costa ; Riccardo Zese;
PUBLISHED: 2014, SOURCE: 30th International Conference on Logic Programming in THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 14, ISSUE: 4-5, PAGES: 681-695
1484
TITLE: Linearity in Computation
AUTHORS: Mário Florido ; Ian Mackie;
PUBLISHED: 2014, SOURCE: J. Log. Comput., VOLUME: 24, ISSUE: 3, PAGES: 511-512
AUTHORS: Mário Florido ; Ian Mackie;
PUBLISHED: 2014, SOURCE: J. Log. Comput., VOLUME: 24, ISSUE: 3, PAGES: 511-512
1485
TITLE: Linearity: A Roadmap
AUTHORS: Sandra Alves ; Maribel Fernandez; Mario Florido ; Ian Mackie;
PUBLISHED: 2014, SOURCE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 24, ISSUE: 4, PAGES: 513-529
AUTHORS: Sandra Alves ; Maribel Fernandez; Mario Florido ; Ian Mackie;
PUBLISHED: 2014, SOURCE: JOURNAL OF LOGIC AND COMPUTATION, VOLUME: 24, ISSUE: 4, PAGES: 513-529
1486
TITLE: Local Self Similar Descriptors: Comparison and Application to Gastroenterology Images
AUTHORS: Ricardo Sousa; Daniel C Moura; Mario Dinis Ribeiro ; Miguel T Coimbra ;
PUBLISHED: 2014, SOURCE: 36th Annual International Conference of the IEEE-Engineering-in-Medicine-and-Biology-Society (EMBC) in 2014 36TH ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE AND BIOLOGY SOCIETY (EMBC), PAGES: 4635-4638
AUTHORS: Ricardo Sousa; Daniel C Moura; Mario Dinis Ribeiro ; Miguel T Coimbra ;
PUBLISHED: 2014, SOURCE: 36th Annual International Conference of the IEEE-Engineering-in-Medicine-and-Biology-Society (EMBC) in 2014 36TH ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE AND BIOLOGY SOCIETY (EMBC), PAGES: 4635-4638
1487
TITLE: Managing and Assessing Group Work from a Distance Full Text
AUTHORS: Alvaro Figueira ; Rui Pereira;
PUBLISHED: 2014, SOURCE: IEEE Frontiers in Education Conference (FIE) in 2014 IEEE FRONTIERS IN EDUCATION CONFERENCE (FIE), VOLUME: 2015-February, ISSUE: February, PAGES: 27-34
AUTHORS: Alvaro Figueira ; Rui Pereira;
PUBLISHED: 2014, SOURCE: IEEE Frontiers in Education Conference (FIE) in 2014 IEEE FRONTIERS IN EDUCATION CONFERENCE (FIE), VOLUME: 2015-February, ISSUE: February, PAGES: 27-34
1488
TITLE: Maximizing Expectation on Vertex-Disjoint Cycle Packing
AUTHORS: Joao Pedro Pedroso ;
PUBLISHED: 2014, SOURCE: 14th International Conference on Computational Science and Its Applications (ICCSA) in COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2014, PT II, VOLUME: 8580, ISSUE: PART 2, PAGES: 32-46
AUTHORS: Joao Pedro Pedroso ;
PUBLISHED: 2014, SOURCE: 14th International Conference on Computational Science and Its Applications (ICCSA) in COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2014, PT II, VOLUME: 8580, ISSUE: PART 2, PAGES: 32-46
1489
TITLE: Measuring the effectiveness of an e-commerce site throughweb and sales activity
AUTHORS: Carneiro, AR; Jorge, AM ; Brito, PQ ; Domingues, MA;
PUBLISHED: 2014, SOURCE: International Conference on Modeling, Optimization and Dynamics, ICMOD 2010 and 5th Bioeconomy Conference 2012 in Springer Proceedings in Mathematics and Statistics, VOLUME: 73, PAGES: 149-162
AUTHORS: Carneiro, AR; Jorge, AM ; Brito, PQ ; Domingues, MA;
PUBLISHED: 2014, SOURCE: International Conference on Modeling, Optimization and Dynamics, ICMOD 2010 and 5th Bioeconomy Conference 2012 in Springer Proceedings in Mathematics and Statistics, VOLUME: 73, PAGES: 149-162
INDEXED IN: 
Scopus 
CrossRef
Scopus CrossRef1490
TITLE: Metaheuristic search based methods for unit commitment Full Text
AUTHORS: Dewan Fayzur Rahman ; Ana Viana ; Joao Pedro Pedroso ;
PUBLISHED: 2014, SOURCE: INTERNATIONAL JOURNAL OF ELECTRICAL POWER & ENERGY SYSTEMS, VOLUME: 59, PAGES: 14-22
AUTHORS: Dewan Fayzur Rahman ; Ana Viana ; Joao Pedro Pedroso ;
PUBLISHED: 2014, SOURCE: INTERNATIONAL JOURNAL OF ELECTRICAL POWER & ENERGY SYSTEMS, VOLUME: 59, PAGES: 14-22
1491
TITLE: MobBIO: A Multimodal Database Captured with a Portable Handheld Device
AUTHORS: Ana F Sequeira ; Joao C Monteiro; Ana Rebelo ; Helder P Oliveira ;
PUBLISHED: 2014, SOURCE: 9th International Conference on Computer Vision Theory and Applications (VISAPP) in PROCEEDINGS OF THE 2014 9TH INTERNATIONAL CONFERENCE ON COMPUTER VISION, THEORY AND APPLICATIONS (VISAPP 2014), VOL 3, VOLUME: 3, PAGES: 133-139
AUTHORS: Ana F Sequeira ; Joao C Monteiro; Ana Rebelo ; Helder P Oliveira ;
PUBLISHED: 2014, SOURCE: 9th International Conference on Computer Vision Theory and Applications (VISAPP) in PROCEEDINGS OF THE 2014 9TH INTERNATIONAL CONFERENCE ON COMPUTER VISION, THEORY AND APPLICATIONS (VISAPP 2014), VOL 3, VOLUME: 3, PAGES: 133-139
INDEXED IN: Scopus 
WOS DBLP
Scopus WOS DBLP1492
TITLE: MobILive 2014-Mobile Iris Liveness Detection Competition
AUTHORS: Sequeira, AF ; Oliveira, HP ; Monteiro, JC; Monteiro, JP ; Cardoso, JS ;
PUBLISHED: 2014, SOURCE: 2nd IEEE/IAPR International Joint Conference on Biometrics, IJCB 2014 in 2014 IEEE/IAPR INTERNATIONAL JOINT CONFERENCE ON BIOMETRICS (IJCB 2014), PAGES: 1-6
AUTHORS: Sequeira, AF ; Oliveira, HP ; Monteiro, JC; Monteiro, JP ; Cardoso, JS ;
PUBLISHED: 2014, SOURCE: 2nd IEEE/IAPR International Joint Conference on Biometrics, IJCB 2014 in 2014 IEEE/IAPR INTERNATIONAL JOINT CONFERENCE ON BIOMETRICS (IJCB 2014), PAGES: 1-6
1493
TITLE: Monadic combinators for "Putback" style bidirectional programming
AUTHORS: Hugo Pacheco ; Zhenjiang Hu; Sebastian Fischer;
PUBLISHED: 2014, SOURCE: ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2014 - Co-located with POPL 2014 in Proceedings of the ACM SIGPLAN 2014 workshop on Partial evaluation and program manipulation, PEPM 2014, January 20-21, 2014, San Diego, California, USA, PAGES: 39-50
AUTHORS: Hugo Pacheco ; Zhenjiang Hu; Sebastian Fischer;
PUBLISHED: 2014, SOURCE: ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2014 - Co-located with POPL 2014 in Proceedings of the ACM SIGPLAN 2014 workshop on Partial evaluation and program manipulation, PEPM 2014, January 20-21, 2014, San Diego, California, USA, PAGES: 39-50
1494
TITLE: Monitoring Recommender Systems: A Business Intelligence Approach
AUTHORS: Catarina Felix ; Carlos Soares ; Alipio Jorge ; Joao Vinagre ;
PUBLISHED: 2014, SOURCE: 14th International Conference on Computational Science and Its Applications (ICCSA) in COMPUTATIONAL SCIENCE AND ITS APPLICATIONS, PART VI - ICCSA 2014, VOLUME: 8584, ISSUE: PART 6, PAGES: 277-288
AUTHORS: Catarina Felix ; Carlos Soares ; Alipio Jorge ; Joao Vinagre ;
PUBLISHED: 2014, SOURCE: 14th International Conference on Computational Science and Its Applications (ICCSA) in COMPUTATIONAL SCIENCE AND ITS APPLICATIONS, PART VI - ICCSA 2014, VOLUME: 8584, ISSUE: PART 6, PAGES: 277-288
1495
TITLE: Morphometric Analysis of Sciatic Nerve Images: A Directional Gradient Approach
AUTHORS: Ines V Rodrigues; Pedro M Ferreira ; Ana R Malheiro; Pedro Brites; Eduardo M Pereira ; Helder P Oliveira ;
PUBLISHED: 2014, SOURCE: IEEE International Conference on Bioinformatics and Biomedicine (IEEE BIBM) in 2014 IEEE INTERNATIONAL CONFERENCE ON BIOINFORMATICS AND BIOMEDICINE (BIBM), PAGES: 261-266
AUTHORS: Ines V Rodrigues; Pedro M Ferreira ; Ana R Malheiro; Pedro Brites; Eduardo M Pereira ; Helder P Oliveira ;
PUBLISHED: 2014, SOURCE: IEEE International Conference on Bioinformatics and Biomedicine (IEEE BIBM) in 2014 IEEE INTERNATIONAL CONFERENCE ON BIOINFORMATICS AND BIOMEDICINE (BIBM), PAGES: 261-266
1496
TITLE: Multiscale Parameter Tuning of a Semantic Relatedness Algorithm
AUTHORS: José Paulo Leal ; Teresa Costa ;
PUBLISHED: 2014, SOURCE: 3rd Symposium on Languages, Applications and Technologies, SLATE 2014 in 3rd Symposium on Languages, Applications and Technologies, SLATE 2014, June 19-20, 2014 - Bragança, Portugal, VOLUME: 38, PAGES: 201-213
AUTHORS: José Paulo Leal ; Teresa Costa ;
PUBLISHED: 2014, SOURCE: 3rd Symposium on Languages, Applications and Technologies, SLATE 2014 in 3rd Symposium on Languages, Applications and Technologies, SLATE 2014, June 19-20, 2014 - Bragança, Portugal, VOLUME: 38, PAGES: 201-213
INDEXED IN: Scopus DBLP
Scopus DBLP1497
TITLE: Network Coding Protocols for Smart Grid Communications
AUTHORS: Rui Prior ; Daniel E Lucani; Yannick Phulpin; Maricica Nistor; Joao Barros ;
PUBLISHED: 2014, SOURCE: IEEE TRANSACTIONS ON SMART GRID, VOLUME: 5, ISSUE: 3, PAGES: 1523-1531
AUTHORS: Rui Prior ; Daniel E Lucani; Yannick Phulpin; Maricica Nistor; Joao Barros ;
PUBLISHED: 2014, SOURCE: IEEE TRANSACTIONS ON SMART GRID, VOLUME: 5, ISSUE: 3, PAGES: 1523-1531
1498
TITLE: Noninvasive Blood Pressure and the Second Heart Sound Analysis
AUTHORS: Ana Castro ; Sandra S Mattos; Miguel T Coimbra ;
PUBLISHED: 2014, SOURCE: 36th Annual International Conference of the IEEE-Engineering-in-Medicine-and-Biology-Society (EMBC) in 2014 36TH ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE AND BIOLOGY SOCIETY (EMBC), PAGES: 5494-5497
AUTHORS: Ana Castro ; Sandra S Mattos; Miguel T Coimbra ;
PUBLISHED: 2014, SOURCE: 36th Annual International Conference of the IEEE-Engineering-in-Medicine-and-Biology-Society (EMBC) in 2014 36TH ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE AND BIOLOGY SOCIETY (EMBC), PAGES: 5494-5497
1499
TITLE: On predicting a call center's workload: A discretization-based approach
AUTHORS: Moreira Matias, L ; Nunes, R; Ferreira, M ; Mendes Moreira, J ; Gama, J ;
PUBLISHED: 2014, SOURCE: 21st International Symposium on Methodologies for Intelligent Systems, ISMIS 2014 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8502 LNAI, PAGES: 548-553
AUTHORS: Moreira Matias, L ; Nunes, R; Ferreira, M ; Mendes Moreira, J ; Gama, J ;
PUBLISHED: 2014, SOURCE: 21st International Symposium on Methodologies for Intelligent Systems, ISMIS 2014 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8502 LNAI, PAGES: 548-553
1500
TITLE: On the correctness and efficiency of lock-free expandable tries for tabled logic programs
AUTHORS: Areias, M ; Rocha, R ;
PUBLISHED: 2014, SOURCE: 15th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2014 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8324 LNCS, PAGES: 168-183
AUTHORS: Areias, M ; Rocha, R ;
PUBLISHED: 2014, SOURCE: 15th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2014 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8324 LNCS, PAGES: 168-183
