CS: Computer Science
CS: Computer Science
    
    
        AuthID: I-000-B2B 
    
        
    
        
    
        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: 9016
530 Team MembersFilters -> Year: 2025
6061
TITLE:  Foreword - High dynamic range imaging  Full Text
AUTHORS: Santos, LP ; Debattista, K;
PUBLISHED: 2013, SOURCE: COMPUTERS & GRAPHICS-UK, VOLUME: 37, ISSUE: 7
AUTHORS: Santos, LP ; Debattista, K;
PUBLISHED: 2013, SOURCE: COMPUTERS & GRAPHICS-UK, VOLUME: 37, ISSUE: 7
6062
TITLE:  Formal verification of side-channel countermeasures using self-composition  Full Text
AUTHORS: Bacelar Almeida, JB ; Manuel Barbosa ; Jorge S Pinto ; Barbara Vieira;
PUBLISHED: 2013, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 78, ISSUE: 7, PAGES: 796-812
AUTHORS: Bacelar Almeida, JB ; Manuel Barbosa ; Jorge S Pinto ; Barbara Vieira;
PUBLISHED: 2013, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 78, ISSUE: 7, PAGES: 796-812
6063
TITLE:  Gathering the Users' Needs in the Development of Assistive Technology: A Blind Navigation System Use Case
AUTHORS: Hugo Paredes ; Hugo Fernandes ; Paulo Martins ; João Barroso ;
PUBLISHED: 2013, SOURCE: 7th International Conference on Universal Access in Human-Computer Interaction: Design Methods, Tools, and Interaction Techniques for eInclusion, UAHCI 2013, Held as Part of 15th International Conference on Human-Computer Interaction, HCI 2013 in Universal Access in Human-Computer Interaction. Applications and Services for Quality of Life - 7th International Conference, UAHCI 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part III, VOLUME: 8011, ISSUE: PART 3, PAGES: 79-88
AUTHORS: Hugo Paredes ; Hugo Fernandes ; Paulo Martins ; João Barroso ;
PUBLISHED: 2013, SOURCE: 7th International Conference on Universal Access in Human-Computer Interaction: Design Methods, Tools, and Interaction Techniques for eInclusion, UAHCI 2013, Held as Part of 15th International Conference on Human-Computer Interaction, HCI 2013 in Universal Access in Human-Computer Interaction. Applications and Services for Quality of Life - 7th International Conference, UAHCI 2013, Held as Part of HCI International 2013, Las Vegas, NV, USA, July 21-26, 2013, Proceedings, Part III, VOLUME: 8011, ISSUE: PART 3, PAGES: 79-88
6064
TITLE:  General chair message
AUTHORS: Cardoso, JMP ;
PUBLISHED: 2013, SOURCE: 2013 23rd International Conference on Field Programmable Logic and Applications, FPL 2013 in 2013 23rd International Conference on Field Programmable Logic and Applications, FPL 2013 - Proceedings
AUTHORS: Cardoso, JMP ;
PUBLISHED: 2013, SOURCE: 2013 23rd International Conference on Field Programmable Logic and Applications, FPL 2013 in 2013 23rd International Conference on Field Programmable Logic and Applications, FPL 2013 - Proceedings
INDEXED IN:  Scopus
 Scopus  CrossRef
 CrossRef
 Scopus
 Scopus  CrossRef
 CrossRef6065
TITLE:  Generative and Transformational Techniques in Software Engineering IV, International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers
AUTHORS: Ralf Lämmel; João Saraiva ; Joost Visser;
PUBLISHED: 2013, SOURCE: GTTSE, VOLUME: 7680
AUTHORS: Ralf Lämmel; João Saraiva ; Joost Visser;
PUBLISHED: 2013, SOURCE: GTTSE, VOLUME: 7680
INDEXED IN:  DBLP
 DBLP  CrossRef
 CrossRef
 DBLP
 DBLP  CrossRef
 CrossRef6066
TITLE:  Genetic Algorithm with a Local Search Strategy for Discovering Communities in Complex Networks
AUTHORS: Dayou Y Liu; Di Jin; Carlos Baquero ; Dongxiao X He; Bo Yang; Qiangyuan Y Yu;
PUBLISHED: 2013, SOURCE: INTERNATIONAL JOURNAL OF COMPUTATIONAL INTELLIGENCE SYSTEMS, VOLUME: 6, ISSUE: 2, PAGES: 354-369
AUTHORS: Dayou Y Liu; Di Jin; Carlos Baquero ; Dongxiao X He; Bo Yang; Qiangyuan Y Yu;
PUBLISHED: 2013, SOURCE: INTERNATIONAL JOURNAL OF COMPUTATIONAL INTELLIGENCE SYSTEMS, VOLUME: 6, ISSUE: 2, PAGES: 354-369
6067
TITLE:  GIDERAS Regional Spatial Data Infrastructure and Sectorial Applications Manager
AUTHORS: Lino Oliveira ; Leonel Dias ; Andre Rodrigues; Rui Barros ;
PUBLISHED: 2013, SOURCE: 8th Iberian Conference on Information Systems and Technologies (CISTI) in PROCEEDINGS OF THE 2013 8TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI 2013)
AUTHORS: Lino Oliveira ; Leonel Dias ; Andre Rodrigues; Rui Barros ;
PUBLISHED: 2013, SOURCE: 8th Iberian Conference on Information Systems and Technologies (CISTI) in PROCEEDINGS OF THE 2013 8TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI 2013)
INDEXED IN:  Scopus
 Scopus  WOS
 WOS
 Scopus
 Scopus  WOS
 WOS6068
TITLE:  GIS2R-Augmented Reality and 360 degrees Panoramas Framework for Geomarketing
AUTHORS: Leonel Dias ; Antonio Coelho ; Andre Rodrigues; Carlos Rebelo; Andre Cardoso;
PUBLISHED: 2013, SOURCE: 8th Iberian Conference on Information Systems and Technologies (CISTI) in PROCEEDINGS OF THE 2013 8TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI 2013)
AUTHORS: Leonel Dias ; Antonio Coelho ; Andre Rodrigues; Carlos Rebelo; Andre Cardoso;
PUBLISHED: 2013, SOURCE: 8th Iberian Conference on Information Systems and Technologies (CISTI) in PROCEEDINGS OF THE 2013 8TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI 2013)
INDEXED IN:  Scopus
 Scopus  WOS
 WOS
 Scopus
 Scopus  WOS
 WOS6069
TITLE:  Giving Alloy a family
AUTHORS: Renato Neves ; Alexandre Madeira ; Manuel A Martins ; Luís Soares Barbosa ;
PUBLISHED: 2013, SOURCE: 2013 IEEE 14th International Conference on Information Reuse and Integration, IEEE IRI 2013 in IEEE 14th International Conference on Information Reuse & Integration, IRI 2013, San Francisco, CA, USA, August 14-16, 2013, PAGES: 512-519
AUTHORS: Renato Neves ; Alexandre Madeira ; Manuel A Martins ; Luís Soares Barbosa ;
PUBLISHED: 2013, SOURCE: 2013 IEEE 14th International Conference on Information Reuse and Integration, IEEE IRI 2013 in IEEE 14th International Conference on Information Reuse & Integration, IRI 2013, San Francisco, CA, USA, August 14-16, 2013, PAGES: 512-519
6070
TITLE:  Guided emotional state regulation: Understanding and shaping players' affective experiences in digital games
AUTHORS: Nogueira, PA; Rodrigues, R ; Oliveira, E ; Nacke, LE;
PUBLISHED: 2013, SOURCE: 9th AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment, AIIDE 2013 in Proceedings of the 9th AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment, AIIDE 2013, PAGES: 51-57
AUTHORS: Nogueira, PA; Rodrigues, R ; Oliveira, E ; Nacke, LE;
PUBLISHED: 2013, SOURCE: 9th AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment, AIIDE 2013 in Proceedings of the 9th AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment, AIIDE 2013, PAGES: 51-57
INDEXED IN:  Scopus
 Scopus  DBLP
 DBLP
 Scopus
 Scopus  DBLP
 DBLP6071
TITLE:  Hardware pipelining of repetitive patterns in processor instruction traces
AUTHORS: Bispo, J ; Cardoso, JMP ; Monteiro, J ;
PUBLISHED: 2013, SOURCE: Journal of Integrated Circuits and Systems, VOLUME: 8, ISSUE: 1, PAGES: 22-31
AUTHORS: Bispo, J ; Cardoso, JMP ; Monteiro, J ;
PUBLISHED: 2013, SOURCE: Journal of Integrated Circuits and Systems, VOLUME: 8, ISSUE: 1, PAGES: 22-31
INDEXED IN:  Scopus
 Scopus
 Scopus
 Scopus6072
TITLE:  Hardware/software compilation
AUTHORS: Nobre, R ; Cardoso, JMP ; Olivier, B; Nane, R; Fitzpatrick, L; De F. Coutinho, JG; Van Someren, H; Sima, VM; Bertels, K; Diniz, PC ;
PUBLISHED: 2013, SOURCE: Compilation and Synthesis for Embedded Reconfigurable Systems: An Aspect-Oriented Approach, VOLUME: 9781461448945, PAGES: 105-134
AUTHORS: Nobre, R ; Cardoso, JMP ; Olivier, B; Nane, R; Fitzpatrick, L; De F. Coutinho, JG; Van Someren, H; Sima, VM; Bertels, K; Diniz, PC ;
PUBLISHED: 2013, SOURCE: Compilation and Synthesis for Embedded Reconfigurable Systems: An Aspect-Oriented Approach, VOLUME: 9781461448945, PAGES: 105-134
6073
TITLE:  HEALTH-RELATED QUALITY OF LIFE AND FOOD VARIETY OF EUROPEAN ELDERLY
AUTHORS: Morais, C; Afonso, C; Oliveira, B ; Lumbers, M; Raats, M; Almeida, MDV;
PUBLISHED: 2013, SOURCE: ANNALS OF NUTRITION AND METABOLISM, VOLUME: 63, PAGES: 521-521
AUTHORS: Morais, C; Afonso, C; Oliveira, B ; Lumbers, M; Raats, M; Almeida, MDV;
PUBLISHED: 2013, SOURCE: ANNALS OF NUTRITION AND METABOLISM, VOLUME: 63, PAGES: 521-521
INDEXED IN:  WOS
 WOS  Handle
 Handle
 WOS
 WOS  Handle
 Handle6074
TITLE:  Healthcare professionals as customers: A service perspective on Portuguese primary care health information systems
AUTHORS: Teixeira, JG ; Patricio, L ; Nobrega, L; Constantine, L; Fisk, RP;
PUBLISHED: 2013, SOURCE: 2013 IEEE 15th International Conference on e-Health Networking, Applications and Services, Healthcom 2013 in 2013 IEEE 15th International Conference on e-Health Networking, Applications and Services, Healthcom 2013, PAGES: 377-381
AUTHORS: Teixeira, JG ; Patricio, L ; Nobrega, L; Constantine, L; Fisk, RP;
PUBLISHED: 2013, SOURCE: 2013 IEEE 15th International Conference on e-Health Networking, Applications and Services, Healthcom 2013 in 2013 IEEE 15th International Conference on e-Health Networking, Applications and Services, Healthcom 2013, PAGES: 377-381
INDEXED IN:  Scopus
 Scopus  CrossRef
 CrossRef
 Scopus
 Scopus  CrossRef
 CrossRef6075
TITLE:  Hospital Repository for Radiological Parameters Registration of Health Professionals
AUTHORS: Joana Pinto; Luís Barbosa ; Torres T Pereira; Mauro Trindade; Vítor Costa;
PUBLISHED: 2013, SOURCE: Procedia Technology, VOLUME: 9, PAGES: 1320-1328
AUTHORS: Joana Pinto; Luís Barbosa ; Torres T Pereira; Mauro Trindade; Vítor Costa;
PUBLISHED: 2013, SOURCE: Procedia Technology, VOLUME: 9, PAGES: 1320-1328
INDEXED IN:  CrossRef
 CrossRef
 CrossRef
 CrossRef6076
TITLE:  Hybridisation at work
AUTHORS: Neves, R ; Madeira, A ; Martins, MA ; Barbosa, LS ;
PUBLISHED: 2013, SOURCE: 5th International Conference on Algebra and Coalgebra in Computer Science, CALCO 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8089 LNCS, PAGES: 340-345
AUTHORS: Neves, R ; Madeira, A ; Martins, MA ; Barbosa, LS ;
PUBLISHED: 2013, SOURCE: 5th International Conference on Algebra and Coalgebra in Computer Science, CALCO 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8089 LNCS, PAGES: 340-345
INDEXED IN:  Scopus
 Scopus  DBLP
 DBLP
 Scopus
 Scopus  DBLP
 DBLP6077
TITLE:  Immune response is a personal matter
AUTHORS: Ferreira, PG ; Dermitzakis, ET;
PUBLISHED: 2013, SOURCE: eLife, VOLUME: 2013, ISSUE: 2
AUTHORS: Ferreira, PG ; Dermitzakis, ET;
PUBLISHED: 2013, SOURCE: eLife, VOLUME: 2013, ISSUE: 2
6078
TITLE:  Impact of an intervention through teachers to prevent consumption of low nutrition, energy-dense foods and beverages: A randomized trial  Full Text
AUTHORS: Rosario, R ; Araujo, A; Oliveira, B ; Padrao, P ; Lopes, O; Teixeira, V ; Moreira, A ; Barros, R ; Pereira, B ; Moreira, P ;
PUBLISHED: 2013, SOURCE: PREVENTIVE MEDICINE, VOLUME: 57, ISSUE: 1, PAGES: 20-25
AUTHORS: Rosario, R ; Araujo, A; Oliveira, B ; Padrao, P ; Lopes, O; Teixeira, V ; Moreira, A ; Barros, R ; Pereira, B ; Moreira, P ;
PUBLISHED: 2013, SOURCE: PREVENTIVE MEDICINE, VOLUME: 57, ISSUE: 1, PAGES: 20-25
6079
TITLE:  Implementation of CRM systems in Portuguese Municipalities
AUTHORS: Duque, J; Varajao, J ; Vitor, F ; Dominguez, C;
PUBLISHED: 2013, SOURCE: LOCAL GOVERNMENT STUDIES, VOLUME: 39, ISSUE: 6, PAGES: 878-894
AUTHORS: Duque, J; Varajao, J ; Vitor, F ; Dominguez, C;
PUBLISHED: 2013, SOURCE: LOCAL GOVERNMENT STUDIES, VOLUME: 39, ISSUE: 6, PAGES: 878-894
6080
TITLE:  Implementing QVT-R Bidirectional Model Transformations Using Alloy
AUTHORS: Nuno Macedo ; Alcino Cunha ;
PUBLISHED: 2013, SOURCE: 16th International Conference on Fundamental Approaches to Software Engineering (FASE) in FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, FASE 2013, VOLUME: 7793, PAGES: 297-311
AUTHORS: Nuno Macedo ; Alcino Cunha ;
PUBLISHED: 2013, SOURCE: 16th International Conference on Fundamental Approaches to Software Engineering (FASE) in FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, FASE 2013, VOLUME: 7793, PAGES: 297-311
