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: 2675
43 Team MembersFilters -> Year: 2025
1861
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
1862
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
1863
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
1864
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
1865
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
1866
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
1867
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
DBLP1868
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
1869
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
1870
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
1871
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
DBLP1872
TITLE: SIMULTANEOUS DETECTION OF PROMINENT POINTS ON BREAST CANCER CONSERVATIVE TREATMENT IMAGES Full Text
AUTHORS: Helder P Oliveira ; Jaime S Cardoso ; Andre Magalhaes; Maria J Cardoso ;
PUBLISHED: 2012, SOURCE: 19th IEEE International Conference on Image Processing (ICIP) in 2012 IEEE INTERNATIONAL CONFERENCE ON IMAGE PROCESSING (ICIP 2012), PAGES: 2841-2844
AUTHORS: Helder P Oliveira ; Jaime S Cardoso ; Andre Magalhaes; Maria J Cardoso ;
PUBLISHED: 2012, SOURCE: 19th IEEE International Conference on Image Processing (ICIP) in 2012 IEEE INTERNATIONAL CONFERENCE ON IMAGE PROCESSING (ICIP 2012), PAGES: 2841-2844
1873
TITLE: Sketch express: A sketching interface for facial animation Full Text
AUTHORS: Jose Carlos Miranda; Xenxo Alvarez; Joao Orvalho; Diego Gutierrez; Augusto Sousa, AA ; Veronica Orvalho ;
PUBLISHED: 2012, SOURCE: COMPUTERS & GRAPHICS-UK, VOLUME: 36, ISSUE: 6, PAGES: 585-595
AUTHORS: Jose Carlos Miranda; Xenxo Alvarez; Joao Orvalho; Diego Gutierrez; Augusto Sousa, AA ; Veronica Orvalho ;
PUBLISHED: 2012, SOURCE: COMPUTERS & GRAPHICS-UK, VOLUME: 36, ISSUE: 6, PAGES: 585-595
1874
1875
TITLE: Supervising and managing projects through a template based e-portfolio system
AUTHORS: Felix, C ; Figueira, A ;
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: 152-157
AUTHORS: Felix, C ; Figueira, A ;
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: 152-157
INDEXED IN: 
Scopus DBLP
Scopus DBLP1876
TITLE: Technical Communications of the 28th International Conference on Logic Programming, ICLP 2012, September 4-8, 2012, Budapest, Hungary
AUTHORS: Agostino Dovier; Vítor Santos Costa ;
PUBLISHED: 2012, SOURCE: ICLP (Technical Communications), VOLUME: 17
AUTHORS: Agostino Dovier; Vítor Santos Costa ;
PUBLISHED: 2012, SOURCE: ICLP (Technical Communications), VOLUME: 17
INDEXED IN: DBLP
DBLP1877
TITLE: The ABS tool suite: Modelling, executing and analysing distributed adaptable object-oriented systems Full Text
AUTHORS: Wong, PYH; Albert, E; Muschevici, R; Proenca, J ; Schafer, J; Schlatte, R;
PUBLISHED: 2012, SOURCE: International Journal on Software Tools for Technology Transfer, VOLUME: 14, ISSUE: 5, PAGES: 567-588
AUTHORS: Wong, PYH; Albert, E; Muschevici, R; Proenca, J ; Schafer, J; Schlatte, R;
PUBLISHED: 2012, SOURCE: International Journal on Software Tools for Technology Transfer, VOLUME: 14, ISSUE: 5, PAGES: 567-588
1878
TITLE: The See-Through System: From Implementation to Test-Drive
AUTHORS: Pedro Gomes; Fausto Vieira ; Michel Ferreira ;
PUBLISHED: 2012, SOURCE: IEEE Vehicular Networking Conference (VNC) in 2012 IEEE VEHICULAR NETWORKING CONFERENCE (VNC), PAGES: 40-47
AUTHORS: Pedro Gomes; Fausto Vieira ; Michel Ferreira ;
PUBLISHED: 2012, SOURCE: IEEE Vehicular Networking Conference (VNC) in 2012 IEEE VEHICULAR NETWORKING CONFERENCE (VNC), PAGES: 40-47
1879
TITLE: The YAP Prolog system
AUTHORS: Vitor Santos Costa ; Ricardo Rocha ; Luis Damas ;
PUBLISHED: 2012, SOURCE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 12, ISSUE: 1-2, PAGES: 5-34
AUTHORS: Vitor Santos Costa ; Ricardo Rocha ; Luis Damas ;
PUBLISHED: 2012, SOURCE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 12, ISSUE: 1-2, PAGES: 5-34
1880
TITLE: Towards multi-threaded local tabling using a common table space
AUTHORS: Miguel Areias ; Ricardo Rocha ;
PUBLISHED: 2012, SOURCE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 12, ISSUE: 4-5, PAGES: 427-443
AUTHORS: Miguel Areias ; Ricardo Rocha ;
PUBLISHED: 2012, SOURCE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 12, ISSUE: 4-5, PAGES: 427-443
