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: 9043
530 Team MembersFilters -> Year: 2025
6401
TITLE:  Analysing Tactics in Architectural Patterns
AUTHORS: Sanchez, A ; Aguiar, A ; Barbosa, LS ; Riesco, D;
PUBLISHED: 2012, SOURCE: 35th IEEE Software Engineering Workshop (SEW) in PROCEEDINGS OF THE 2012 IEEE 35TH SOFTWARE ENGINEERING WORKSHOP (SEW 2012), PAGES: 32-41
AUTHORS: Sanchez, A ; Aguiar, A ; Barbosa, LS ; Riesco, D;
PUBLISHED: 2012, SOURCE: 35th IEEE Software Engineering Workshop (SEW) in PROCEEDINGS OF THE 2012 IEEE 35TH SOFTWARE ENGINEERING WORKSHOP (SEW 2012), PAGES: 32-41
6402
TITLE:  Analysis of error detection schemes: Toolchain support and hardware/software implications
AUTHORS: Ali Azarian ; João Canas Ferreira ; Stephan Werner; Zlatko Petrov; João M P Cardoso ; Michael Hübner;
PUBLISHED: 2012, SOURCE: 2012 NASA/ESA Conference on Adaptive Hardware and Systems, AHS 2012 in 2012 NASA/ESA Conference on Adaptive Hardware and Systems, AHS 2012, Erlangen, Germany, June 25-28, 2012, PAGES: 62-69
AUTHORS: Ali Azarian ; João Canas Ferreira ; Stephan Werner; Zlatko Petrov; João M P Cardoso ; Michael Hübner;
PUBLISHED: 2012, SOURCE: 2012 NASA/ESA Conference on Adaptive Hardware and Systems, AHS 2012 in 2012 NASA/ESA Conference on Adaptive Hardware and Systems, AHS 2012, Erlangen, Germany, June 25-28, 2012, PAGES: 62-69
6403
TITLE:  Ant Colony System based approach to Single Machine Scheduling Problems Weighted Tardiness Scheduling Problem
AUTHORS: Madureira, A ; Falcao, D; Pereira, I ;
PUBLISHED: 2012, SOURCE: 4th World Congress on Nature and Biologically Inspired Computing (NaBIC) in PROCEEDINGS OF THE 2012 FOURTH WORLD CONGRESS ON NATURE AND BIOLOGICALLY INSPIRED COMPUTING (NABIC), PAGES: 86-91
AUTHORS: Madureira, A ; Falcao, D; Pereira, I ;
PUBLISHED: 2012, SOURCE: 4th World Congress on Nature and Biologically Inspired Computing (NaBIC) in PROCEEDINGS OF THE 2012 FOURTH WORLD CONGRESS ON NATURE AND BIOLOGICALLY INSPIRED COMPUTING (NABIC), PAGES: 86-91
6404
TITLE:  Application engineering of service-based software product lines  Full Text
AUTHORS: Paulo Queiroz ; Rosana Braga;
PUBLISHED: 2012, SOURCE: Proceedings of the ACM Symposium on Applied Computing, PAGES: 1996-1997
AUTHORS: Paulo Queiroz ; Rosana Braga;
PUBLISHED: 2012, SOURCE: Proceedings of the ACM Symposium on Applied Computing, PAGES: 1996-1997
6405
TITLE:  Application of autonomous avatars to play the role of members in teamwork
AUTHORS: Andreas Vilela; Rui Prada ; Aires Marques; Henrique Costa; Jorge Rafael; Leonel Morgado ;
PUBLISHED: 2012, SOURCE: 7th Iberian Conference on Information Systems and Technologies (CISTI 2012) in SISTEMAS Y TECNOLOGIAS DE INFORMACION, VOLS 1 AND 2, PAGES: 835-840
AUTHORS: Andreas Vilela; Rui Prada ; Aires Marques; Henrique Costa; Jorge Rafael; Leonel Morgado ;
PUBLISHED: 2012, SOURCE: 7th Iberian Conference on Information Systems and Technologies (CISTI 2012) in SISTEMAS Y TECNOLOGIAS DE INFORMACION, VOLS 1 AND 2, PAGES: 835-840
INDEXED IN: 
 WOS
6406
TITLE:  Applications of Fractional Calculus to Epidemiological Models  Full Text
AUTHORS: Urszula Skwara ; Jose Martins ; Peyman Ghaffari; Maira Aguiar ; Joao Boto; Nico Stollenwerk ;
PUBLISHED: 2012, SOURCE: International Conference of Numerical Analysis and Applied Mathematics (ICNAAM) in NUMERICAL ANALYSIS AND APPLIED MATHEMATICS (ICNAAM 2012), VOLS A AND B, VOLUME: 1479, ISSUE: 1, PAGES: 1339-1342
AUTHORS: Urszula Skwara ; Jose Martins ; Peyman Ghaffari; Maira Aguiar ; Joao Boto; Nico Stollenwerk ;
PUBLISHED: 2012, SOURCE: International Conference of Numerical Analysis and Applied Mathematics (ICNAAM) in NUMERICAL ANALYSIS AND APPLIED MATHEMATICS (ICNAAM 2012), VOLS A AND B, VOLUME: 1479, ISSUE: 1, PAGES: 1339-1342
6407
TITLE:  Assertion-based slicing and slice graphs  Full Text
AUTHORS: Jose Bernardo Barros ; Daniela da Cruz ; Pedro Rangel Henriques ; Jorge Sousa Pinto ;
PUBLISHED: 2012, SOURCE: FORMAL ASPECTS OF COMPUTING, VOLUME: 24, ISSUE: 2, PAGES: 217-248
AUTHORS: Jose Bernardo Barros ; Daniela da Cruz ; Pedro Rangel Henriques ; Jorge Sousa Pinto ;
PUBLISHED: 2012, SOURCE: FORMAL ASPECTS OF COMPUTING, VOLUME: 24, ISSUE: 2, PAGES: 217-248
6408
TITLE:  Assessing driver's mental representation of Adaptive Cruise Control (ACC) and its possible effects on behavioural adaptations  Full Text
AUTHORS: Piccinini, GF; Simoes, A ; Rodrigues, CM ; Leitao, M ;
PUBLISHED: 2012, SOURCE: WORK-A JOURNAL OF PREVENTION ASSESSMENT & REHABILITATION, VOLUME: 41, ISSUE: SUPPL.1, PAGES: 4396-4401
AUTHORS: Piccinini, GF; Simoes, A ; Rodrigues, CM ; Leitao, M ;
PUBLISHED: 2012, SOURCE: WORK-A JOURNAL OF PREVENTION ASSESSMENT & REHABILITATION, VOLUME: 41, ISSUE: SUPPL.1, PAGES: 4396-4401
6409
TITLE:  Assessing the completeness of cancer registration using suboptimal death certificate information
AUTHORS: Clara Castro; Maria Jose Bento; Nuno Lunet ; Pedro Campos ;
PUBLISHED: 2012, SOURCE: EUROPEAN JOURNAL OF CANCER PREVENTION, VOLUME: 21, ISSUE: 5, PAGES: 478-479
AUTHORS: Clara Castro; Maria Jose Bento; Nuno Lunet ; Pedro Campos ;
PUBLISHED: 2012, SOURCE: EUROPEAN JOURNAL OF CANCER PREVENTION, VOLUME: 21, ISSUE: 5, PAGES: 478-479
6410
TITLE:  Assessment Model for Educational Collaborative Virtual Environments
AUTHORS: Rosa Reis; Paula Escudeio; Benjamin Fonseca ;
PUBLISHED: 2012, SOURCE: 7th International Conference on Computer Science and Education in PROCEEDINGS OF 2012 7TH INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE & EDUCATION, VOLS I-VI, PAGES: 1555-1559
AUTHORS: Rosa Reis; Paula Escudeio; Benjamin Fonseca ;
PUBLISHED: 2012, SOURCE: 7th International Conference on Computer Science and Education in PROCEEDINGS OF 2012 7TH INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE & EDUCATION, VOLS I-VI, PAGES: 1555-1559
6411
TITLE:  Atmospheric correction of satellite altimetry observations and sea-level variability in the NE Atlantic  Full Text
AUTHORS: Susana M Barbosa ;
PUBLISHED: 2012, SOURCE: ADVANCES IN SPACE RESEARCH, VOLUME: 50, ISSUE: 8, PAGES: 1077-1084
AUTHORS: Susana M Barbosa ;
PUBLISHED: 2012, SOURCE: ADVANCES IN SPACE RESEARCH, VOLUME: 50, ISSUE: 8, PAGES: 1077-1084
6412
TITLE:  Automatic assessment of short free text answers
AUTHORS: Rodrigues, F ; Araujo, L;
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: 2, PAGES: 50-57
AUTHORS: Rodrigues, F ; Araujo, L;
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: 2, PAGES: 50-57
INDEXED IN: 
 Scopus
6413
TITLE:  Automatic Clustering Assessment through a Social Tagging System
AUTHORS: Elisabete Cunha; Alvaro Figueira ;
PUBLISHED: 2012, SOURCE: 15th IEEE International Conference on Computational Science and Engineering (CSE) / 10th IEEE/IFIP International Conference on Embedded and Ubiquitous Computing (EUC) in 15TH IEEE INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE AND ENGINEERING (CSE 2012) / 10TH IEEE/IFIP INTERNATIONAL CONFERENCE ON EMBEDDED AND UBIQUITOUS COMPUTING (EUC 2012), PAGES: 74-81
AUTHORS: Elisabete Cunha; Alvaro Figueira ;
PUBLISHED: 2012, SOURCE: 15th IEEE International Conference on Computational Science and Engineering (CSE) / 10th IEEE/IFIP International Conference on Embedded and Ubiquitous Computing (EUC) in 15TH IEEE INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE AND ENGINEERING (CSE 2012) / 10TH IEEE/IFIP INTERNATIONAL CONFERENCE ON EMBEDDED AND UBIQUITOUS COMPUTING (EUC 2012), PAGES: 74-81
6414
TITLE:  Automatic elasticity in OpenStack
AUTHORS: Beernaert, L; Matos, M ; Vilaca, R ; Oliveira, R ;
PUBLISHED: 2012, SOURCE: 1st Workshop on Secure and Dependable Middleware for Cloud Monitoring and Management, SDMCMM 2012 in Proceedings of the Workshop on Secure and Dependable Middleware for Cloud Monitoring and Management, SDMCMM 2012
AUTHORS: Beernaert, L; Matos, M ; Vilaca, R ; Oliveira, R ;
PUBLISHED: 2012, SOURCE: 1st Workshop on Secure and Dependable Middleware for Cloud Monitoring and Management, SDMCMM 2012 in Proceedings of the Workshop on Secure and Dependable Middleware for Cloud Monitoring and Management, SDMCMM 2012
6415
TITLE:  Automatic ontology alignment disambiguation based on ontological structural dimension
AUTHORS: Gouveia, A; Silva, N ; Rocha, J ;
PUBLISHED: 2012, SOURCE: 14th International Conference on Enterprise Information Systems, ICEIS 2012 in ICEIS 2012 - Proceedings of the 14th International Conference on Enterprise Information Systems, VOLUME: 2 ISAS, ISSUE: SAIC/-, PAGES: 164-167
AUTHORS: Gouveia, A; Silva, N ; Rocha, J ;
PUBLISHED: 2012, SOURCE: 14th International Conference on Enterprise Information Systems, ICEIS 2012 in ICEIS 2012 - Proceedings of the 14th International Conference on Enterprise Information Systems, VOLUME: 2 ISAS, ISSUE: SAIC/-, PAGES: 164-167
INDEXED IN: 
 Scopus
6416
TITLE:  Automatic segmentation and 3D feature extraction of protein aggregates in Caenorhabditis Elegans
AUTHORS: Pedro L Rodrigues; Antnio H J Moreira; Andreia Teixeira Castro ; Joao Oliveira; Nuno Dias ; Nuno F Rodrigues ; Joao L Vilaca ;
PUBLISHED: 2012, SOURCE: Conference on Medical Imaging - Biomedical Applications in Molecular, Structural and Functional Imaging in MEDICAL IMAGING 2012: BIOMEDICAL APPLICATIONS IN MOLECULAR, STRUCTURAL, AND FUNCTIONAL IMAGING, VOLUME: 8317
AUTHORS: Pedro L Rodrigues; Antnio H J Moreira; Andreia Teixeira Castro ; Joao Oliveira; Nuno Dias ; Nuno F Rodrigues ; Joao L Vilaca ;
PUBLISHED: 2012, SOURCE: Conference on Medical Imaging - Biomedical Applications in Molecular, Structural and Functional Imaging in MEDICAL IMAGING 2012: BIOMEDICAL APPLICATIONS IN MOLECULAR, STRUCTURAL, AND FUNCTIONAL IMAGING, VOLUME: 8317
6417
TITLE:  Automatic traceability acquisition framework
AUTHORS: Bettencourt, N ; Peixoto, R; Silva, N ;
PUBLISHED: 2012, SOURCE: 2nd International Conference on Web Intelligence, Mining and Semantics, WIMS 2012 in ACM International Conference Proceeding Series
AUTHORS: Bettencourt, N ; Peixoto, R; Silva, N ;
PUBLISHED: 2012, SOURCE: 2nd International Conference on Web Intelligence, Mining and Semantics, WIMS 2012 in ACM International Conference Proceeding Series
INDEXED IN: 
 Scopus 
 CrossRef
 CrossRef6418
TITLE:  Automatic Unbounded Verification of Alloy Specifications with Prover9  PDF
AUTHORS: Nuno Macedo ; Alcino Cunha ;
PUBLISHED: 2012, SOURCE: CoRR, VOLUME: abs/1209.5773
AUTHORS: Nuno Macedo ; Alcino Cunha ;
PUBLISHED: 2012, SOURCE: CoRR, VOLUME: abs/1209.5773
INDEXED IN: 
 DBLP 
 arXiv
6419
TITLE:  Balancing Market Integration in MASCEM Electricity Market Simulator
AUTHORS: Santos, G; Pinto, T ; Vale, Z ; Morais, H; Praca, I ;
PUBLISHED: 2012, SOURCE: General Meeting of the IEEE-Power-and-Energy-Society in 2012 IEEE POWER AND ENERGY SOCIETY GENERAL MEETING
AUTHORS: Santos, G; Pinto, T ; Vale, Z ; Morais, H; Praca, I ;
PUBLISHED: 2012, SOURCE: General Meeting of the IEEE-Power-and-Energy-Society in 2012 IEEE POWER AND ENERGY SOCIETY GENERAL MEETING
6420
TITLE:  Bidirectional data transformation by calculation
AUTHORS: Hugo Pacheco ;
PUBLISHED: 2012
AUTHORS: Hugo Pacheco ;
PUBLISHED: 2012
INDEXED IN: 
 DBLP 
 Handle
 Handle