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: 2846
47 Team MembersFilters -> Year: 2026
1641
TITLE: A tabu search for the permutation flow shop problem with sequence dependent setup times
AUTHORS: Nicolau Santos ; Rui Rebelo ; João Pedro Pedroso ;
PUBLISHED: 2014, SOURCE: Int. J. Data Anal. Tech. Strateg., VOLUME: 6, ISSUE: 3, PAGES: 275-285
AUTHORS: Nicolau Santos ; Rui Rebelo ; João Pedro Pedroso ;
PUBLISHED: 2014, SOURCE: Int. J. Data Anal. Tech. Strateg., VOLUME: 6, ISSUE: 3, PAGES: 275-285
1642
TITLE: A Team-Based Scheduling Model for Interfacing Or-Parallel Prolog Engines
AUTHORS: Santos, J ; Rocha, R ;
PUBLISHED: 2014, SOURCE: COMPUTER SCIENCE AND INFORMATION SYSTEMS, VOLUME: 11, ISSUE: 4, PAGES: 1435-1454
AUTHORS: Santos, J ; Rocha, R ;
PUBLISHED: 2014, SOURCE: COMPUTER SCIENCE AND INFORMATION SYSTEMS, VOLUME: 11, ISSUE: 4, PAGES: 1435-1454
1643
TITLE: Achievable secrecy rates over MIMOME Gaussian channels with GMM signals in low-noise regime
AUTHORS: Renna, F ; Laurenti, N; Tomasin, S;
PUBLISHED: 2014, SOURCE: 2014 4th International Conference on Wireless Communications, Vehicular Technology, Information Theory and Aerospace and Electronic Systems, VITAE 2014 - Co-located with Global Wireless Summit in 2014 4th International Conference on Wireless Communications, Vehicular Technology, Information Theory and Aerospace and Electronic Systems, VITAE 2014 - Co-located with Global Wireless Summit
AUTHORS: Renna, F ; Laurenti, N; Tomasin, S;
PUBLISHED: 2014, SOURCE: 2014 4th International Conference on Wireless Communications, Vehicular Technology, Information Theory and Aerospace and Electronic Systems, VITAE 2014 - Co-located with Global Wireless Summit in 2014 4th International Conference on Wireless Communications, Vehicular Technology, Information Theory and Aerospace and Electronic Systems, VITAE 2014 - Co-located with Global Wireless Summit
1644
TITLE: Achievable Secrecy Rates over MIMOME Gaussian Channels with GMM Signals in Low-Noise Regime
AUTHORS: Francesco Renna ; Nicola Laurcnti; Stefano Tomasin;
PUBLISHED: 2014, SOURCE: 4th International Conference on Wireless Communications, Vehicular Technology, Information Theory and Aerospace & Electronic Systems (VITAE) in 2014 4TH INTERNATIONAL CONFERENCE ON WIRELESS COMMUNICATIONS, VEHICULAR TECHNOLOGY, INFORMATION THEORY AND AEROSPACE & ELECTRONIC SYSTEMS (VITAE)
AUTHORS: Francesco Renna ; Nicola Laurcnti; Stefano Tomasin;
PUBLISHED: 2014, SOURCE: 4th International Conference on Wireless Communications, Vehicular Technology, Information Theory and Aerospace & Electronic Systems (VITAE) in 2014 4TH INTERNATIONAL CONFERENCE ON WIRELESS COMMUNICATIONS, VEHICULAR TECHNOLOGY, INFORMATION THEORY AND AEROSPACE & ELECTRONIC SYSTEMS (VITAE)
INDEXED IN: 
WOS
WOS1645
TITLE: Achieving Participant Acceptance of their Avatars
AUTHORS: Blom, KJ; Rivas, AIB; Alvarez, X; Cetinaslan, O; Oliveira, B ; Orvalho, V ; Slater, M;
PUBLISHED: 2014, SOURCE: PRESENCE-VIRTUAL AND AUGMENTED REALITY, VOLUME: 23, ISSUE: 3, PAGES: 287-299
AUTHORS: Blom, KJ; Rivas, AIB; Alvarez, X; Cetinaslan, O; Oliveira, B ; Orvalho, V ; Slater, M;
PUBLISHED: 2014, SOURCE: PRESENCE-VIRTUAL AND AUGMENTED REALITY, VOLUME: 23, ISSUE: 3, PAGES: 287-299
1646
TITLE: An Adjustable Sensor Platform Using Dual Wavelength Measurements For Optical Colorimetric Sensitive Films
AUTHORS: Carlos Machado ; Carlos Gouveia; Joao Ferreira ; Barna Kovacs; Pedro Jorge ; Luis Lopes ;
PUBLISHED: 2014, SOURCE: 13th IEEE Sensors Conference in 2014 IEEE SENSORS, VOLUME: 2014-December, ISSUE: December, PAGES: 398-401
AUTHORS: Carlos Machado ; Carlos Gouveia; Joao Ferreira ; Barna Kovacs; Pedro Jorge ; Luis Lopes ;
PUBLISHED: 2014, SOURCE: 13th IEEE Sensors Conference in 2014 IEEE SENSORS, VOLUME: 2014-December, ISSUE: December, PAGES: 398-401
1647
TITLE: An Architecture for Seamless Configuration, Deployment, and Management of Wireless Sensor-actuator Networks
AUTHORS: Edgard Neto ; Rui Mendes; Luís M B Lopes ;
PUBLISHED: 2014, SOURCE: SENSORNETS, PAGES: 73-81
AUTHORS: Edgard Neto ; Rui Mendes; Luís M B Lopes ;
PUBLISHED: 2014, SOURCE: SENSORNETS, PAGES: 73-81
INDEXED IN: 
Scopus 
DBLP
Scopus DBLP1648
TITLE: An evolutionary solver for linear integer programming PDF
AUTHORS: João Pedro Pedroso ;
PUBLISHED: 2014, SOURCE: CoRR, VOLUME: abs/1407.7211
AUTHORS: João Pedro Pedroso ;
PUBLISHED: 2014, SOURCE: CoRR, VOLUME: abs/1407.7211
INDEXED IN: DBLP 
arXiv
DBLP arXiv1649
TITLE: An Infra-Structure for Performance Estimation and Experimental Comparison of Predictive Models in R PDF
AUTHORS: Luis Torgo ;
PUBLISHED: 2014, SOURCE: CoRR, VOLUME: abs/1412.0436
AUTHORS: Luis Torgo ;
PUBLISHED: 2014, SOURCE: CoRR, VOLUME: abs/1412.0436
INDEXED IN: DBLP arXiv
DBLP arXiv1650
TITLE: An Online Learning Framework for Predicting the Taxi Stand's Profitability
AUTHORS: Moreira Matias, L ; Mendes Moreira, J ; Ferreira, M ; Gama, J ; Damas, L;
PUBLISHED: 2014, SOURCE: IEEE 17th International Conference on Intelligent Transportation Systems (ITSC) in 2014 IEEE 17TH INTERNATIONAL CONFERENCE ON INTELLIGENT TRANSPORTATION SYSTEMS (ITSC), PAGES: 2009-2014
AUTHORS: Moreira Matias, L ; Mendes Moreira, J ; Ferreira, M ; Gama, J ; Damas, L;
PUBLISHED: 2014, SOURCE: IEEE 17th International Conference on Intelligent Transportation Systems (ITSC) in 2014 IEEE 17TH INTERNATIONAL CONFERENCE ON INTELLIGENT TRANSPORTATION SYSTEMS (ITSC), PAGES: 2009-2014
1651
TITLE: Assessing Cosmetic Results After Breast Conserving Surgery. The Evolution of Cosmetic Evaluation Full Text
AUTHORS: Maria Joao Cardoso ; Helder Oliveira ; Jaime Cardoso ;
PUBLISHED: 2014, SOURCE: JOURNAL OF SURGICAL ONCOLOGY, VOLUME: 110, ISSUE: 1, PAGES: 37-44
AUTHORS: Maria Joao Cardoso ; Helder Oliveira ; Jaime Cardoso ;
PUBLISHED: 2014, SOURCE: JOURNAL OF SURGICAL ONCOLOGY, VOLUME: 110, ISSUE: 1, PAGES: 37-44
1652
TITLE: CAOVerif: An open-source deductive verification platform for cryptographic software implementations
AUTHORS: Almeida, JB ; Barbosa, M ; Filliatre, JC; Pinto, JS ; Vieira, B;
PUBLISHED: 2014, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 91, ISSUE: PART B, PAGES: 216-233
AUTHORS: Almeida, JB ; Barbosa, M ; Filliatre, JC; Pinto, JS ; Vieira, B;
PUBLISHED: 2014, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 91, ISSUE: PART B, PAGES: 216-233
1653
TITLE: Challenges in Computing Semantic Relatedness for Large Semantic Graphs
AUTHORS: Costa, T ; Leal, JP ;
PUBLISHED: 2014, SOURCE: 18th International Database Engineering and Applications Symposium (IDEAS) in PROCEEDINGS OF THE 18TH INTERNATIONAL DATABASE ENGINEERING AND APPLICATIONS SYMPOSIUM (IDEAS14), PAGES: 376-377
AUTHORS: Costa, T ; Leal, JP ;
PUBLISHED: 2014, SOURCE: 18th International Database Engineering and Applications Symposium (IDEAS) in PROCEEDINGS OF THE 18TH INTERNATIONAL DATABASE ENGINEERING AND APPLICATIONS SYMPOSIUM (IDEAS14), PAGES: 376-377
1654
TITLE: Classifying Heart Sounds using SAX Motifs, Random Forests and Text Mining techniques
AUTHORS: Gomes, EF ; Jorge, Alipio M. ; Azevedo, Paulo J. ;
PUBLISHED: 2014, SOURCE: 18th International Database Engineering and Applications Symposium (IDEAS) in PROCEEDINGS OF THE 18TH INTERNATIONAL DATABASE ENGINEERING AND APPLICATIONS SYMPOSIUM (IDEAS14), PAGES: 334-337
AUTHORS: Gomes, EF ; Jorge, Alipio M. ; Azevedo, Paulo J. ;
PUBLISHED: 2014, SOURCE: 18th International Database Engineering and Applications Symposium (IDEAS) in PROCEEDINGS OF THE 18TH INTERNATIONAL DATABASE ENGINEERING AND APPLICATIONS SYMPOSIUM (IDEAS14), PAGES: 334-337
1655
TITLE: Compiling CAO: From Cryptographic Specifications to C Implementations
AUTHORS: Manuel Barbosa ; David Castro; Paulo F Silva ;
PUBLISHED: 2014, SOURCE: POST, VOLUME: 8414 LNCS, PAGES: 240-244
AUTHORS: Manuel Barbosa ; David Castro; Paulo F Silva ;
PUBLISHED: 2014, SOURCE: POST, VOLUME: 8414 LNCS, PAGES: 240-244
1656
TITLE: Constraint Logic Programming for Hedges: A Semantic Reconstruction
AUTHORS: Dundua, B ; Florido, M ; Kutsia, T; Marin, M;
PUBLISHED: 2014, SOURCE: 12th International Symposium on Functional and Logic Programming (FLOPS) in FUNCTIONAL AND LOGIC PROGRAMMING, FLOPS 2014, VOLUME: 8475, PAGES: 285-301
AUTHORS: Dundua, B ; Florido, M ; Kutsia, T; Marin, M;
PUBLISHED: 2014, SOURCE: 12th International Symposium on Functional and Logic Programming (FLOPS) in FUNCTIONAL AND LOGIC PROGRAMMING, FLOPS 2014, VOLUME: 8475, PAGES: 285-301
1657
TITLE: Cooperari: a tool for cooperative testing of multithreaded Java programs. a tool for cooperative testing of multithreaded Java programs
AUTHORS: Eduardo R B Marques ; Francisco Martins ; Miguel Simões;
PUBLISHED: 2014, SOURCE: PPPJ, VOLUME: 13-December-2014, PAGES: 200-206
AUTHORS: Eduardo R B Marques ; Francisco Martins ; Miguel Simões;
PUBLISHED: 2014, SOURCE: PPPJ, VOLUME: 13-December-2014, PAGES: 200-206
1658
TITLE: Couillard: Parallel programming via coarse-grained Data-flow Compilation
AUTHORS: Marzulo, LAJ; Alves, TAO; França, FMG; Costa, VS ;
PUBLISHED: 2014, SOURCE: PARALLEL COMPUTING, VOLUME: 40, ISSUE: 10, PAGES: 661-680
AUTHORS: Marzulo, LAJ; Alves, TAO; França, FMG; Costa, VS ;
PUBLISHED: 2014, SOURCE: PARALLEL COMPUTING, VOLUME: 40, ISSUE: 10, PAGES: 661-680
1659
TITLE: Counting Equivalent Linear Finite Transducers Using a Canonical Form
AUTHORS: Amorim, I ; Machiavelo, A ; Reis, R ;
PUBLISHED: 2014, SOURCE: 19th International Conference on Implementation and Application of Automata (CIAA) in IMPLEMENTATION AND APPLICATION OF AUTOMATA, CIAA 2014, VOLUME: 8587, PAGES: 70-83
AUTHORS: Amorim, I ; Machiavelo, A ; Reis, R ;
PUBLISHED: 2014, SOURCE: 19th International Conference on Implementation and Application of Automata (CIAA) in IMPLEMENTATION AND APPLICATION OF AUTOMATA, CIAA 2014, VOLUME: 8587, PAGES: 70-83
1660
TITLE: Declarative Programming and Knowledge Management - Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers. Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers
AUTHORS: Michael Hanus; Ricardo Rocha ;
PUBLISHED: 2014, SOURCE: KDPD, VOLUME: 8439
AUTHORS: Michael Hanus; Ricardo Rocha ;
PUBLISHED: 2014, SOURCE: KDPD, VOLUME: 8439
