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: 8452
531 Team MembersFilters -> Year: 2025
6201
TITLE: Verification conditions for single-assignment programs Full Text
AUTHORS: Da Cruz, D; Frade, MJ ; Pinto, JS ;
PUBLISHED: 2012, SOURCE: 27th Annual ACM Symposium on Applied Computing, SAC 2012 in Proceedings of the ACM Symposium on Applied Computing, PAGES: 1264-1270
AUTHORS: Da Cruz, D; Frade, MJ ; Pinto, JS ;
PUBLISHED: 2012, SOURCE: 27th Annual ACM Symposium on Applied Computing, SAC 2012 in Proceedings of the ACM Symposium on Applied Computing, PAGES: 1264-1270
6202
TITLE: Verification of MPI Programs Using Session Types
AUTHORS: Kohei Honda; Eduardo R B Marques ; Francisco Martins ; Nicholas Ng; Vasco Thudichum Vasconcelos ; Nobuko Yoshida;
PUBLISHED: 2012, SOURCE: 19th European MPI Users' Group Meeting on Recent Advances in the Message Passing Interface, EuroMPI 2012 in Recent Advances in the Message Passing Interface - 19th European MPI Users' Group Meeting, EuroMPI 2012, Vienna, Austria, September 23-26, 2012. Proceedings, VOLUME: 7490, PAGES: 291-293
AUTHORS: Kohei Honda; Eduardo R B Marques ; Francisco Martins ; Nicholas Ng; Vasco Thudichum Vasconcelos ; Nobuko Yoshida;
PUBLISHED: 2012, SOURCE: 19th European MPI Users' Group Meeting on Recent Advances in the Message Passing Interface, EuroMPI 2012 in Recent Advances in the Message Passing Interface - 19th European MPI Users' Group Meeting, EuroMPI 2012, Vienna, Austria, September 23-26, 2012. Proceedings, VOLUME: 7490, PAGES: 291-293
6204
TITLE: Virtual Centre for the Rehabilitation of Road Accident Victims (VICERAVI)
AUTHORS: Liliana Mendes; Artemisa Rocha Dores; Paula Alexandra Rego; Pedro Miguel Moreira ; Fernando Barbosa ; Luis Paulo Reis ; Jose Viana; Antonio Coelho ; Sousa, A. ;
PUBLISHED: 2012, SOURCE: 7th Iberian Conference on Information Systems and Technologies (CISTI 2012) in SISTEMAS Y TECNOLOGIAS DE INFORMACION, VOLS 1 AND 2, PAGES: 817-822
AUTHORS: Liliana Mendes; Artemisa Rocha Dores; Paula Alexandra Rego; Pedro Miguel Moreira ; Fernando Barbosa ; Luis Paulo Reis ; Jose Viana; Antonio Coelho ; Sousa, A. ;
PUBLISHED: 2012, SOURCE: 7th Iberian Conference on Information Systems and Technologies (CISTI 2012) in SISTEMAS Y TECNOLOGIAS DE INFORMACION, VOLS 1 AND 2, PAGES: 817-822
INDEXED IN: 
Scopus 
WOS
Scopus WOS6205
TITLE: Virtual Centre for the Rehabilitation of Road Accident Victims (VICERAVI)
AUTHORS: Liliana Mendes; Artemisa Rocha Dores; Fernando Barbosa; Paula Alexandra Rego ; Pedro Miguel Moreira ; Luis Paulo Reis ; Jose Viana; Antonio Coelho ; Sousa, A. ;
PUBLISHED: 2012, SOURCE: 7th Iberian Conference on Information Systems and Technologies (CISTI) in 7TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI 2012)
AUTHORS: Liliana Mendes; Artemisa Rocha Dores; Fernando Barbosa; Paula Alexandra Rego ; Pedro Miguel Moreira ; Luis Paulo Reis ; Jose Viana; Antonio Coelho ; Sousa, A. ;
PUBLISHED: 2012, SOURCE: 7th Iberian Conference on Information Systems and Technologies (CISTI) in 7TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI 2012)
INDEXED IN: WOS
WOS6206
TITLE: Virtual City Neurocognitive Rehabilitation of Acquired Brain Injury
AUTHORS: Dores, AR; Miranda, MJ; Carvalho, IP ; Mendes, L; Barbosa, F ; Coelho, A ; de Sousa, L ; Caldas, AC;
PUBLISHED: 2012, SOURCE: 7th Iberian Conference on Information Systems and Technologies (CISTI) in INFORMATION SYSTEMS AND TECHNOLOGIES
AUTHORS: Dores, AR; Miranda, MJ; Carvalho, IP ; Mendes, L; Barbosa, F ; Coelho, A ; de Sousa, L ; Caldas, AC;
PUBLISHED: 2012, SOURCE: 7th Iberian Conference on Information Systems and Technologies (CISTI) in INFORMATION SYSTEMS AND TECHNOLOGIES
INDEXED IN: Scopus WOS 
Handle
Scopus WOS Handle6207
TITLE: Virtual Worlds and Metaverse Platforms. New Communication and Identity Paradigms
AUTHORS: Nelson Zagalo; Leonel Morgado ; Ana Boa-Ventura;
PUBLISHED: 2012
AUTHORS: Nelson Zagalo; Leonel Morgado ; Ana Boa-Ventura;
PUBLISHED: 2012
INDEXED IN: 
CrossRef 
Openlibrary
CrossRef Openlibrary6208
TITLE: Visual Analysis of Online Interactions through Social Network Patterns
AUTHORS: André Silva; Álvaro Figueira ;
PUBLISHED: 2012, SOURCE: 12th IEEE International Conference on Advanced Learning Technologies, ICALT 2012 in 12th IEEE International Conference on Advanced Learning Technologies, ICALT 2012, Rome, Italy, July 4-6, 2012, PAGES: 639-641
AUTHORS: André Silva; Álvaro Figueira ;
PUBLISHED: 2012, SOURCE: 12th IEEE International Conference on Advanced Learning Technologies, ICALT 2012 in 12th IEEE International Conference on Advanced Learning Technologies, ICALT 2012, Rome, Italy, July 4-6, 2012, PAGES: 639-641
6209
TITLE: Web Accessibility and Digital Businesses: The Potential Economic Value of Portuguese People with Disability
AUTHORS: Tania Rocha ; Maximino Bessa ; Ramiro Goncalves ; Emanuel Peres ; Luis Magalhaes ;
PUBLISHED: 2012, SOURCE: 4th International Conference on Software Development for Enhancing Accessibility and Fighting Info-Exclusion (DSAI) in PROCEEDINGS OF THE 4TH INTERNATIONAL CONFERENCE ON SOFTWARE DEVELOPMENT FOR ENHANCING ACCESSIBILITY AND FIGHTING INFO-EXCLUSION (DSAI 2012), VOLUME: 14, PAGES: 56-64
AUTHORS: Tania Rocha ; Maximino Bessa ; Ramiro Goncalves ; Emanuel Peres ; Luis Magalhaes ;
PUBLISHED: 2012, SOURCE: 4th International Conference on Software Development for Enhancing Accessibility and Fighting Info-Exclusion (DSAI) in PROCEEDINGS OF THE 4TH INTERNATIONAL CONFERENCE ON SOFTWARE DEVELOPMENT FOR ENHANCING ACCESSIBILITY AND FIGHTING INFO-EXCLUSION (DSAI 2012), VOLUME: 14, PAGES: 56-64
6210
TITLE: Where are we going? Predicting the evolution of individuals
AUTHORS: Siddiqui, ZF; Oliveira, M ; Gama, J ; Spiliopoulou, M;
PUBLISHED: 2012, SOURCE: 11th International Symposium on Intelligent Data Analysis, IDA 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7619 LNCS, PAGES: 357-368
AUTHORS: Siddiqui, ZF; Oliveira, M ; Gama, J ; Spiliopoulou, M;
PUBLISHED: 2012, SOURCE: 11th International Symposium on Intelligent Data Analysis, IDA 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7619 LNCS, PAGES: 357-368
6211
TITLE: WIKI::SCORE A Collaborative Environment For Music Transcription And Publishing
AUTHORS: Almeida, JJ ; Carvalho, NR; Oliveira, JN ;
PUBLISHED: 2012, SOURCE: 16th International Conference on Electronic Publishing (ELPUB) in SOCIAL SHAPING OF DIGITAL PUBLISHING: EXPLORING THE INTERPLAY BETWEEN CULTURE AND TECHNOLOGY, PAGES: 82-93
AUTHORS: Almeida, JJ ; Carvalho, NR; Oliveira, JN ;
PUBLISHED: 2012, SOURCE: 16th International Conference on Electronic Publishing (ELPUB) in SOCIAL SHAPING OF DIGITAL PUBLISHING: EXPLORING THE INTERPLAY BETWEEN CULTURE AND TECHNOLOGY, PAGES: 82-93
INDEXED IN: Scopus WOS
Scopus WOS6212
TITLE: Will it be identity crisis? [Serão crises de identidade?]
AUTHORS: Vasconcelos Raposo, J ;
PUBLISHED: 2012, SOURCE: Motricidade, VOLUME: 8, ISSUE: 4, PAGES: 1-4
AUTHORS: Vasconcelos Raposo, J ;
PUBLISHED: 2012, SOURCE: Motricidade, VOLUME: 8, ISSUE: 4, PAGES: 1-4
INDEXED IN: Scopus
Scopus6213
TITLE: X-BOT: A Protocol for Resilient Optimization of Unstructured Overlay Networks Full Text
AUTHORS: Joao Leitao ; Joao Pedro Marques; Jose Pereira ; Luis Rodrigues ;
PUBLISHED: 2012, SOURCE: IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, VOLUME: 23, ISSUE: 11, PAGES: 2175-2188
AUTHORS: Joao Leitao ; Joao Pedro Marques; Jose Pereira ; Luis Rodrigues ;
PUBLISHED: 2012, SOURCE: IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, VOLUME: 23, ISSUE: 11, PAGES: 2175-2188
6214
TITLE: 5th Workshop on Wikis for Software Engineering
AUTHORS: Ademar Aguiar ; Paulo Merson;
PUBLISHED: 2011, SOURCE: 7th Annual International Symposium on Wikis and Open Collaboration, WikiSym 2011 in Proceedings of the 7th International Symposium on Wikis and Open Collaboration, 2011, Mountain View, CA, USA, October 3-5, 2011, PAGES: 233-234
AUTHORS: Ademar Aguiar ; Paulo Merson;
PUBLISHED: 2011, SOURCE: 7th Annual International Symposium on Wikis and Open Collaboration, WikiSym 2011 in Proceedings of the 7th International Symposium on Wikis and Open Collaboration, 2011, Mountain View, CA, USA, October 3-5, 2011, PAGES: 233-234
6215
TITLE: A 3D simulation framework for safe ambient-assisted home care
AUTHORS: Velasquez, C; Christophe Soares ; Morla, R ; Moreira, RS ; Jose M Torres ; Sobral, P ;
PUBLISHED: 2011, SOURCE: 5th International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies, UBICOMM 2011; 3rd International Workshop on Pervasive Computing in Embedded Systems, PECES 2011 in UBICOMM 2011 - 5th International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies; PECES 2011 - 3rd International Workshop on Pervasive Computing in Embedded Systems, PAGES: 61-66
AUTHORS: Velasquez, C; Christophe Soares ; Morla, R ; Moreira, RS ; Jose M Torres ; Sobral, P ;
PUBLISHED: 2011, SOURCE: 5th International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies, UBICOMM 2011; 3rd International Workshop on Pervasive Computing in Embedded Systems, PECES 2011 in UBICOMM 2011 - 5th International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies; PECES 2011 - 3rd International Workshop on Pervasive Computing in Embedded Systems, PAGES: 61-66
INDEXED IN: Scopus
Scopus6216
TITLE: A aplicação do E-marketing em empresas de uma região Ultraperiférica - Região Autónoma da Madeira
AUTHORS: Sousa, S; Teixeira, MS ; Gonçalves, R ;
PUBLISHED: 2011, SOURCE: RISTI - Revista Iberica de Sistemas e Tecnologias de Informacao, ISSUE: 7, PAGES: 17-31
AUTHORS: Sousa, S; Teixeira, MS ; Gonçalves, R ;
PUBLISHED: 2011, SOURCE: RISTI - Revista Iberica de Sistemas e Tecnologias de Informacao, ISSUE: 7, PAGES: 17-31
INDEXED IN: Scopus
Scopus6217
TITLE: A Biased Random Key Genetic Algorithm Approach for Unit Commitment Problem Full Text
AUTHORS: Roque, LAC ; Fontes, DBMM ; Fontes, FACC ;
PUBLISHED: 2011, SOURCE: 10th International Symposium on Experimental Algorithms in EXPERIMENTAL ALGORITHMS, VOLUME: 6630, PAGES: 327-339
AUTHORS: Roque, LAC ; Fontes, DBMM ; Fontes, FACC ;
PUBLISHED: 2011, SOURCE: 10th International Symposium on Experimental Algorithms in EXPERIMENTAL ALGORITHMS, VOLUME: 6630, PAGES: 327-339
6218
TITLE: A comparative study on LMS interoperability
AUTHORS: Leal, JP ; Queiros, R ;
PUBLISHED: 2011, SOURCE: Higher Education Institutions and Learning Management Systems: Adoption and Standardization, PAGES: 142-161
AUTHORS: Leal, JP ; Queiros, R ;
PUBLISHED: 2011, SOURCE: Higher Education Institutions and Learning Management Systems: Adoption and Standardization, PAGES: 142-161
6219
TITLE: A Correlation-Aware Data Placement Strategy for Key-Value Stores Full Text
AUTHORS: Vilaca, R ; Oliveira, R ; Pereira, J ;
PUBLISHED: 2011, SOURCE: DisCoTech 2011: 6th International Federated Conferences on Distributed Computing Techniques in DISTRIBUTED APPLICATIONS AND INTEROPERABLE SYSTEMS, VOLUME: 6723, PAGES: 214-227
AUTHORS: Vilaca, R ; Oliveira, R ; Pereira, J ;
PUBLISHED: 2011, SOURCE: DisCoTech 2011: 6th International Federated Conferences on Distributed Computing Techniques in DISTRIBUTED APPLICATIONS AND INTEROPERABLE SYSTEMS, VOLUME: 6723, PAGES: 214-227
6220
TITLE: A Domain-Specific Language for the Specification of Adaptable Context Inference
AUTHORS: André C Santos; Pedro C Diniz ; João M P Cardoso ; Diogo R Ferreira;
PUBLISHED: 2011, SOURCE: 2011 IFIP 9th International Conference on Embedded and Ubiquitous Computing, EUC 2011 in IEEE/IFIP 9th International Conference on Embedded and Ubiquitous Computing, EUC 2011, Melbourne, Australia, October 24-26, 2011, PAGES: 268-273
AUTHORS: André C Santos; Pedro C Diniz ; João M P Cardoso ; Diogo R Ferreira;
PUBLISHED: 2011, SOURCE: 2011 IFIP 9th International Conference on Embedded and Ubiquitous Computing, EUC 2011 in IEEE/IFIP 9th International Conference on Embedded and Ubiquitous Computing, EUC 2011, Melbourne, Australia, October 24-26, 2011, PAGES: 268-273
