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: 10670
535 Team MembersFilters -> Year: 2026
7781
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
WOS7782
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
7783
TITLE: Applying toc buffer management in health information systems to improve hospital performance
AUTHORS: Bacelar Silva, GM; Rodrigues, PP ;
PUBLISHED: 2012, SOURCE: HEALTHINF 2012 - Proceedings of the International Conference on Health Informatics in HEALTHINF 2012 - Proceedings of the International Conference on Health Informatics, PAGES: 345-349
AUTHORS: Bacelar Silva, GM; Rodrigues, PP ;
PUBLISHED: 2012, SOURCE: HEALTHINF 2012 - Proceedings of the International Conference on Health Informatics in HEALTHINF 2012 - Proceedings of the International Conference on Health Informatics, PAGES: 345-349
INDEXED IN: 
Scopus 
DBLP
Scopus DBLP7784
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
7785
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
7786
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
7787
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
7788
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
7789
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
Scopus7790
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
7791
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
7792
TITLE: Automatic Extraction of Goal-Scoring Behaviors from Soccer Matches
AUTHORS: Fernando Almeida; Pedro Henriques Abreu ; Nuno Lau ; Luis Paulo Reis ;
PUBLISHED: 2012, SOURCE: 25th IEEE\RSJ International Conference on Intelligent Robots and Systems (IROS) in 2012 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS), PAGES: 849-856
AUTHORS: Fernando Almeida; Pedro Henriques Abreu ; Nuno Lau ; Luis Paulo Reis ;
PUBLISHED: 2012, SOURCE: 25th IEEE\RSJ International Conference on Intelligent Robots and Systems (IROS) in 2012 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS), PAGES: 849-856
7793
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
Scopus7794
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
7795
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
Scopus CrossRef7796
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
DBLP arXiv7797
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
7798
TITLE: Bidirectional data transformation by calculation
AUTHORS: Hugo Pacheco ;
PUBLISHED: 2012
AUTHORS: Hugo Pacheco ;
PUBLISHED: 2012
INDEXED IN: DBLP 
Handle
DBLP Handle7799
TITLE: Bidirectional Transformation of Model-Driven Spreadsheets
AUTHORS: Jácome Cunha ; João Paulo Fernandes ; Jorge Mendes ; Hugo Pacheco ; João Saraiva ;
PUBLISHED: 2012, SOURCE: 5th International Conference on Theory and Practice of Model Transformations, ICMT 2012 in Theory and Practice of Model Transformations - 5th International Conference, ICMT 2012, Prague, Czech Republic, May 28-29, 2012. Proceedings, VOLUME: 7307, PAGES: 105-120
AUTHORS: Jácome Cunha ; João Paulo Fernandes ; Jorge Mendes ; Hugo Pacheco ; João Saraiva ;
PUBLISHED: 2012, SOURCE: 5th International Conference on Theory and Practice of Model Transformations, ICMT 2012 in Theory and Practice of Model Transformations - 5th International Conference, ICMT 2012, Prague, Czech Republic, May 28-29, 2012. Proceedings, VOLUME: 7307, PAGES: 105-120
7800
TITLE: Bigraphical modelling of architectural patterns
AUTHORS: Sanchez, A ; Barbosa, LS ; Riesco, D;
PUBLISHED: 2012, SOURCE: 8th International Symposium on Formal Aspects of Component Software, FACS 2011 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7253 LNCS, PAGES: 313-330
AUTHORS: Sanchez, A ; Barbosa, LS ; Riesco, D;
PUBLISHED: 2012, SOURCE: 8th International Symposium on Formal Aspects of Component Software, FACS 2011 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7253 LNCS, PAGES: 313-330
