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: 2644
43 Team MembersFilters -> Year: 2025
1821
TITLE: Proceedings of the POPL 2012 Workshop on Declarative Aspects of Multicore Programming, DAMP 2012, Philadelphia, PA, USA, Saturday, January 28, 2012
AUTHORS: Umut A Acar; Vítor Santos Costa ;
PUBLISHED: 2012, SOURCE: DAMP
AUTHORS: Umut A Acar; Vítor Santos Costa ;
PUBLISHED: 2012, SOURCE: DAMP
INDEXED IN: 
DBLP
DBLP1822
TITLE: Programming exercises evaluation systems: An interoperability survey
AUTHORS: Queiros, R ; Leal, JP ;
PUBLISHED: 2012, SOURCE: 4th International Conference on Computer Supported Education, CSEDU 2012 in CSEDU 2012 - Proceedings of the 4th International Conference on Computer Supported Education, VOLUME: 1, PAGES: 83-90
AUTHORS: Queiros, R ; Leal, JP ;
PUBLISHED: 2012, SOURCE: 4th International Conference on Computer Supported Education, CSEDU 2012 in CSEDU 2012 - Proceedings of the 4th International Conference on Computer Supported Education, VOLUME: 1, PAGES: 83-90
INDEXED IN: 
Scopus DBLP
Scopus DBLP1823
TITLE: Programming exercises evaluation systems: an interoperability survey
AUTHORS: Ricardo Queirós; José P Leal ;
PUBLISHED: 2012, SOURCE: Proceedings of the 4th International Conference on Computer Supported Education, VOLUME: 1
AUTHORS: Ricardo Queirós; José P Leal ;
PUBLISHED: 2012, SOURCE: Proceedings of the 4th International Conference on Computer Supported Education, VOLUME: 1
INDEXED IN: 
Handle
Handle1824
TITLE: Querying subgraph sets with g-tries
AUTHORS: Pedro Manuel Pinto Ribeiro ; Fernando M A Silva ;
PUBLISHED: 2012, SOURCE: 2nd ACM SIGMOD Workshop on Databases and Social Networks, DBSocial 2012 in Proceedings of the 2nd ACM SIGMOD Workshop on Databases and Social Networks, DBSocial 2012, Scottsdale, AZ, USA, May 20, 2012, PAGES: 25-30
AUTHORS: Pedro Manuel Pinto Ribeiro ; Fernando M A Silva ;
PUBLISHED: 2012, SOURCE: 2nd ACM SIGMOD Workshop on Databases and Social Networks, DBSocial 2012 in Proceedings of the 2nd ACM SIGMOD Workshop on Databases and Social Networks, DBSocial 2012, Scottsdale, AZ, USA, May 20, 2012, PAGES: 25-30
1825
TITLE: Reducing the Environmental Impact of Taxi Operation: the Taxi-sharing Use Case
AUTHORS: Pedro M d'Orey ; Ricardo Fernandes; Michel Ferreira ;
PUBLISHED: 2012, SOURCE: 12th International Conference on ITS Telecommunications (ITST) in 2012 12TH INTERNATIONAL CONFERENCE ON ITS TELECOMMUNICATIONS (ITST-2012), PAGES: 313-317
AUTHORS: Pedro M d'Orey ; Ricardo Fernandes; Michel Ferreira ;
PUBLISHED: 2012, SOURCE: 12th International Conference on ITS Telecommunications (ITST) in 2012 12TH INTERNATIONAL CONFERENCE ON ITS TELECOMMUNICATIONS (ITST-2012), PAGES: 313-317
1826
TITLE: Relational differential prediction
AUTHORS: Nassif, H; Santos Costa, V ; Burnside, ES; Page, D;
PUBLISHED: 2012, SOURCE: 2012 European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases, ECML-PKDD 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7523 LNAI, ISSUE: PART 1, PAGES: 617-632
AUTHORS: Nassif, H; Santos Costa, V ; Burnside, ES; Page, D;
PUBLISHED: 2012, SOURCE: 2012 European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases, ECML-PKDD 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7523 LNAI, ISSUE: PART 1, PAGES: 617-632
1827
TITLE: Relations as Executable Specifications: Taming Partiality and Non-determinism Using Invariants
AUTHORS: Nuno Macedo ; Hugo Pacheco ; Alcino Cunha ;
PUBLISHED: 2012, SOURCE: 13th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2012 in Relational and Algebraic Methods in Computer Science - 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings, VOLUME: 7560, PAGES: 146-161
AUTHORS: Nuno Macedo ; Hugo Pacheco ; Alcino Cunha ;
PUBLISHED: 2012, SOURCE: 13th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2012 in Relational and Algebraic Methods in Computer Science - 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings, VOLUME: 7560, PAGES: 146-161
1828
TITLE: RNA secondary structure mediates alternative 3 ' ss selection in Saccharomyces cerevisiae
AUTHORS: Mireya Plass; Carles Codony Servat; Pedro G Gabriel Ferreira ; Josep Vilardell; Eduardo Eyras;
PUBLISHED: 2012, SOURCE: RNA-A PUBLICATION OF THE RNA SOCIETY, VOLUME: 18, ISSUE: 6, PAGES: 1103-1115
AUTHORS: Mireya Plass; Carles Codony Servat; Pedro G Gabriel Ferreira ; Josep Vilardell; Eduardo Eyras;
PUBLISHED: 2012, SOURCE: RNA-A PUBLICATION OF THE RNA SOCIETY, VOLUME: 18, ISSUE: 6, PAGES: 1103-1115
1829
TITLE: Robustness of logical depth
AUTHORS: Antunes, L ; Souto, A ; Teixeira, A ;
PUBLISHED: 2012, SOURCE: Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7318 LNCS, PAGES: 29-34
AUTHORS: Antunes, L ; Souto, A ; Teixeira, A ;
PUBLISHED: 2012, SOURCE: Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7318 LNCS, PAGES: 29-34
1830
TITLE: Runtime programming through model-preserving, scalable runtime patches
AUTHORS: Kirsch, CM; Lopes, L ; Marques, ERB ; Sokolova, A;
PUBLISHED: 2012, SOURCE: 7th International Workshop on Formal Aspects of Component Software, FACS 2010 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6921 LNCS, PAGES: 290-294
AUTHORS: Kirsch, CM; Lopes, L ; Marques, ERB ; Sokolova, A;
PUBLISHED: 2012, SOURCE: 7th International Workshop on Formal Aspects of Component Software, FACS 2010 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6921 LNCS, PAGES: 290-294
1831
TITLE: Scalable VANET Simulations with NS-3
AUTHORS: Ricardo Fernandes; Michel Ferreira ;
PUBLISHED: 2012, SOURCE: IEEE 75th Vehicular Technology Conference (VTC Spring) in 2012 IEEE 75TH VEHICULAR TECHNOLOGY CONFERENCE (VTC SPRING), PAGES: 1-5
AUTHORS: Ricardo Fernandes; Michel Ferreira ;
PUBLISHED: 2012, SOURCE: IEEE 75th Vehicular Technology Conference (VTC Spring) in 2012 IEEE 75TH VEHICULAR TECHNOLOGY CONFERENCE (VTC SPRING), PAGES: 1-5
1832
TITLE: Scheduling cyclic task graphs with SCC-map
AUTHORS: Sardinha, A; Alves, TAO; Marzulo, LAJ; Franca, FMG; Barbosa, VC; Costa, VS ;
PUBLISHED: 2012, SOURCE: 3rd Workshop on Applications for Multi-Core Architecture, WAMCA 2012 in Proceedings - 3rd Workshop on Applications for Multi-Core Architecture, WAMCA 2012, PAGES: 54-59
AUTHORS: Sardinha, A; Alves, TAO; Marzulo, LAJ; Franca, FMG; Barbosa, VC; Costa, VS ;
PUBLISHED: 2012, SOURCE: 3rd Workshop on Applications for Multi-Core Architecture, WAMCA 2012 in Proceedings - 3rd Workshop on Applications for Multi-Core Architecture, WAMCA 2012, PAGES: 54-59
1833
TITLE: Scheduling OR-parallelism in YapOr and ThOr on Multi-Core Machines
AUTHORS: Ines Dutra ; Ricardo Rocha ; Vitor Santos Costa ; Fernando Silva ; Joao Santos ;
PUBLISHED: 2012, SOURCE: 26th IEEE International Parallel and Distributed Processing Symposium (IPDPS) in 2012 IEEE 26TH INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM WORKSHOPS & PHD FORUM (IPDPSW), PAGES: 1581-1590
AUTHORS: Ines Dutra ; Ricardo Rocha ; Vitor Santos Costa ; Fernando Silva ; Joao Santos ;
PUBLISHED: 2012, SOURCE: 26th IEEE International Parallel and Distributed Processing Symposium (IPDPS) in 2012 IEEE 26TH INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM WORKSHOPS & PHD FORUM (IPDPSW), PAGES: 1581-1590
1834
TITLE: Security and privacy issues for the network of the future. Security and privacy issues for the network of the future Full Text
AUTHORS: Giannis F Marias; Joao Barros ; Markus Fiedler; Andreas Fischer; Harald Hauff; Ralph Herkenhoener; Antonio Grillo; Alessandro Lentini; Luisa Lima ; Charlott Lorentzen; Wojciech Mazurczyk; Hermann de Meer; Paulo F Oliveira; George C Polyzos; Enric Pujol; Krzysztof Szczypiorski; Joao P Vilela ; Tiago T V Vinhoza ;
PUBLISHED: 2012, SOURCE: SECURITY AND COMMUNICATION NETWORKS, VOLUME: 5, ISSUE: 9, PAGES: 987-1005
AUTHORS: Giannis F Marias; Joao Barros ; Markus Fiedler; Andreas Fischer; Harald Hauff; Ralph Herkenhoener; Antonio Grillo; Alessandro Lentini; Luisa Lima ; Charlott Lorentzen; Wojciech Mazurczyk; Hermann de Meer; Paulo F Oliveira; George C Polyzos; Enric Pujol; Krzysztof Szczypiorski; Joao P Vilela ; Tiago T V Vinhoza ;
PUBLISHED: 2012, SOURCE: SECURITY AND COMMUNICATION NETWORKS, VOLUME: 5, ISSUE: 9, PAGES: 987-1005
1835
TITLE: Self tolerance by tuning T-cell activation: An artificial immune system for anomaly detection
AUTHORS: Antunes, MJ ; Manuel E. Correia ;
PUBLISHED: 2012, SOURCE: 5th International ICST Conference on Bio-Inspired Models of Network, Information, and Computing Systems, BIONETICS 2010 in Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, VOLUME: 87 LNICST, PAGES: 1-15
AUTHORS: Antunes, MJ ; Manuel E. Correia ;
PUBLISHED: 2012, SOURCE: 5th International ICST Conference on Bio-Inspired Models of Network, Information, and Computing Systems, BIONETICS 2010 in Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, VOLUME: 87 LNICST, PAGES: 1-15
1836
TITLE: Semantically Secure Functional Encryption, Revisited
AUTHORS: Manuel Barbosa ; Pooya Farshim;
PUBLISHED: 2012, SOURCE: IACR Cryptology ePrint Archive, VOLUME: 2012, PAGES: 474
AUTHORS: Manuel Barbosa ; Pooya Farshim;
PUBLISHED: 2012, SOURCE: IACR Cryptology ePrint Archive, VOLUME: 2012, PAGES: 474
INDEXED IN: DBLP
DBLP1837
TITLE: Sensor Systems and Software - Third International ICST Conference, S-Cube 2012, Lisbon, Portugal, June 4-5, 2012, Revised Selected Papers
AUTHORS: Francisco Martins ; Luís M B Lopes ; Hervé Paulino ;
PUBLISHED: 2012, SOURCE: S-CUBE, VOLUME: 102
AUTHORS: Francisco Martins ; Luís M B Lopes ; Hervé Paulino ;
PUBLISHED: 2012, SOURCE: S-CUBE, VOLUME: 102
1838
TITLE: Sequential Pattern Knowledge in Multi-Relational Learning
AUTHORS: Ferreira, CA ; Gama, J ; Costa, VS ;
PUBLISHED: 2012, SOURCE: 26th Annual International Symposium on Computer and Information Science in COMPUTER AND INFORMATION SCIENCES II, PAGES: 539-545
AUTHORS: Ferreira, CA ; Gama, J ; Costa, VS ;
PUBLISHED: 2012, SOURCE: 26th Annual International Symposium on Computer and Information Science in COMPUTER AND INFORMATION SCIENCES II, PAGES: 539-545
1839
TITLE: Shape your body. control a virtual silhouette using body motion
AUTHORS: Luís Leite; Veronica Orvalho ;
PUBLISHED: 2012, SOURCE: Proceedings of the 2012 ACM annual conference extended abstracts on Human Factors in Computing Systems Extended Abstracts - CHI EA '12
AUTHORS: Luís Leite; Veronica Orvalho ;
PUBLISHED: 2012, SOURCE: Proceedings of the 2012 ACM annual conference extended abstracts on Human Factors in Computing Systems Extended Abstracts - CHI EA '12
1840
TITLE: Shape your body: control a virtual silhouette using body motion
AUTHORS: Luís Leite; Verónica Orvalho ;
PUBLISHED: 2012, SOURCE: CHI Conference on Human Factors in Computing Systems, CHI '12, Extended Abstracts Volume, Austin, TX, USA, May 5-10, 2012, PAGES: 1913-1918
AUTHORS: Luís Leite; Verónica Orvalho ;
PUBLISHED: 2012, SOURCE: CHI Conference on Human Factors in Computing Systems, CHI '12, Extended Abstracts Volume, Austin, TX, USA, May 5-10, 2012, PAGES: 1913-1918
INDEXED IN: DBLP
DBLP