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
7441
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
7442
TITLE: Improving the performance of Transposable Elements detection tools
AUTHORS: Tiago Loureiro; Rui Camacho ; Jorge Vieira ; Nuno A Fonseca ;
PUBLISHED: 2013, SOURCE: J. Integrative Bioinformatics, VOLUME: 10, ISSUE: 3, PAGES: 231
AUTHORS: Tiago Loureiro; Rui Camacho ; Jorge Vieira ; Nuno A Fonseca ;
PUBLISHED: 2013, SOURCE: J. Integrative Bioinformatics, VOLUME: 10, ISSUE: 3, PAGES: 231
7443
TITLE: Improving transaction abort rates without compromising throughput through judicious scheduling Full Text
AUTHORS: Nunes, A ; Pereira, J ;
PUBLISHED: 2013, SOURCE: 28th Annual ACM Symposium on Applied Computing, SAC 2013 in Proceedings of the ACM Symposium on Applied Computing, PAGES: 493-494
AUTHORS: Nunes, A ; Pereira, J ;
PUBLISHED: 2013, SOURCE: 28th Annual ACM Symposium on Applied Computing, SAC 2013 in Proceedings of the ACM Symposium on Applied Computing, PAGES: 493-494
7444
TITLE: Inferring UI Patterns with Inductive Logic Programming
AUTHORS: Miguel Nabuco; Ana C R Paiva ; Rui Camacho ; Joao Pascoal Faria ;
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: Miguel Nabuco; Ana C R Paiva ; Rui Camacho ; Joao Pascoal Faria ;
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 
WOS
Scopus WOS7445
TITLE: Information Extraction and Search in Newspaper Front Pages
AUTHORS: Tiago Varela; Sérgio Nunes ;
PUBLISHED: 2013
AUTHORS: Tiago Varela; Sérgio Nunes ;
PUBLISHED: 2013
INDEXED IN: 
Handle
Handle7446
TITLE: Innovations in health care services: The CAALYX system Full Text
AUTHORS: Artur Rocha ; Angelo Martins ; Jose Celso Freire Junior; Maged Kamel K Boulos; Manuel E Escriche Vicente; Robert Feld; Pepijn van de Ven; John Nelson; Alan Bourke; Gearoid OLaighin; Claudio Sdogati; Angela Jobes; Leire Narvaiza; Alejandro Rodriguez Molinero;
PUBLISHED: 2013, SOURCE: INTERNATIONAL JOURNAL OF MEDICAL INFORMATICS, VOLUME: 82, ISSUE: 11
AUTHORS: Artur Rocha ; Angelo Martins ; Jose Celso Freire Junior; Maged Kamel K Boulos; Manuel E Escriche Vicente; Robert Feld; Pepijn van de Ven; John Nelson; Alan Bourke; Gearoid OLaighin; Claudio Sdogati; Angela Jobes; Leire Narvaiza; Alejandro Rodriguez Molinero;
PUBLISHED: 2013, SOURCE: INTERNATIONAL JOURNAL OF MEDICAL INFORMATICS, VOLUME: 82, ISSUE: 11
7447
TITLE: Insights on web-based peer review: a case study with energy engineering students
AUTHORS: Caroline Dominguez; Ana Maia; Daniela Pedrosa; Maria M. Nascimento ; Goncalo Cruz ;
PUBLISHED: 2013, SOURCE: 1st International Conference of the Portuguese-Society-for-Engineering-Education (CISPEE) in 2013 1ST INTERNATIONAL CONFERENCE OF THE PORTUGUESE SOCIETY FOR ENGINEERING EDUCATION (CISPEE)
AUTHORS: Caroline Dominguez; Ana Maia; Daniela Pedrosa; Maria M. Nascimento ; Goncalo Cruz ;
PUBLISHED: 2013, SOURCE: 1st International Conference of the Portuguese-Society-for-Engineering-Education (CISPEE) in 2013 1ST INTERNATIONAL CONFERENCE OF THE PORTUGUESE SOCIETY FOR ENGINEERING EDUCATION (CISPEE)
7448
TITLE: Integrating Formal and Informal Learning through a FLOSS-Based Innovative Approach
AUTHORS: Fernandes, S; Martinho, MH ; Cerone, A; Barbosa, LS ;
PUBLISHED: 2013, SOURCE: 19th International Conference on Collaboration and Technology (CRIWG) in COLLABORATION AND TECHNOLOGY, CRIWG 2013, VOLUME: 8224, PAGES: 208-214
AUTHORS: Fernandes, S; Martinho, MH ; Cerone, A; Barbosa, LS ;
PUBLISHED: 2013, SOURCE: 19th International Conference on Collaboration and Technology (CRIWG) in COLLABORATION AND TECHNOLOGY, CRIWG 2013, VOLUME: 8224, PAGES: 208-214
7449
TITLE: Integrating the LMS in Service Oriented eLearning Systems
AUTHORS: José Paulo Leal ; Ricardo Queirós ;
PUBLISHED: 2013, SOURCE: - Governance, Communication, and Innovation in a Knowledge Intensive Society, PAGES: 180-190
AUTHORS: José Paulo Leal ; Ricardo Queirós ;
PUBLISHED: 2013, SOURCE: - Governance, Communication, and Innovation in a Knowledge Intensive Society, PAGES: 180-190
INDEXED IN: 
CrossRef
CrossRef7450
TITLE: Integration of heterogeneous mobile devices in scenarios of enterprise training inside and outside - Mobility and Cloud
AUTHORS: Fernando Moreira ; Manuel Perez Cota; Ramiro Goncalves ;
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: Fernando Moreira ; Manuel Perez Cota; Ramiro Goncalves ;
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 WOS
Scopus WOS7451
TITLE: Integrative functional statistics in logic programming
AUTHORS: Angelopoulos, N; Santos Costa, V ; Azevedo, J; Wielemaker, J; Camacho, R ; Wessels, L;
PUBLISHED: 2013, SOURCE: 15th International Symposium on Practical Aspects of Declarative Languages, PADL 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7752 LNCS, PAGES: 190-205
AUTHORS: Angelopoulos, N; Santos Costa, V ; Azevedo, J; Wielemaker, J; Camacho, R ; Wessels, L;
PUBLISHED: 2013, SOURCE: 15th International Symposium on Practical Aspects of Declarative Languages, PADL 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7752 LNCS, PAGES: 190-205
7452
TITLE: Intelligent micro grid management using a multi-agent approach
AUTHORS: Oliveira, P; Pinto, T ; Praca, I ; Vale, Z ; Morais, H;
PUBLISHED: 2013, SOURCE: 2013 IEEE Grenoble Conference PowerTech, POWERTECH 2013 in 2013 IEEE Grenoble Conference PowerTech, POWERTECH 2013
AUTHORS: Oliveira, P; Pinto, T ; Praca, I ; Vale, Z ; Morais, H;
PUBLISHED: 2013, SOURCE: 2013 IEEE Grenoble Conference PowerTech, POWERTECH 2013 in 2013 IEEE Grenoble Conference PowerTech, POWERTECH 2013
7453
TITLE: Intelligent remuneration and tariffs for virtual power players
AUTHORS: Ribeiro, C; Pinto, T ; Morais, H; Vale, Z ; Santos, G;
PUBLISHED: 2013, SOURCE: 2013 IEEE Grenoble Conference PowerTech, POWERTECH 2013 in 2013 IEEE Grenoble Conference PowerTech, POWERTECH 2013
AUTHORS: Ribeiro, C; Pinto, T ; Morais, H; Vale, Z ; Santos, G;
PUBLISHED: 2013, SOURCE: 2013 IEEE Grenoble Conference PowerTech, POWERTECH 2013 in 2013 IEEE Grenoble Conference PowerTech, POWERTECH 2013
7454
TITLE: Interactive high fidelity visualization of complex materials on the GPU Full Text
AUTHORS: Nuno Silva; Luis Paulo Santos ;
PUBLISHED: 2013, SOURCE: COMPUTERS & GRAPHICS-UK, VOLUME: 37, ISSUE: 7, PAGES: 809-819
AUTHORS: Nuno Silva; Luis Paulo Santos ;
PUBLISHED: 2013, SOURCE: COMPUTERS & GRAPHICS-UK, VOLUME: 37, ISSUE: 7, PAGES: 809-819
7455
TITLE: Interactive interaction constraints
AUTHORS: Proenca, J ; Clarke, D;
PUBLISHED: 2013, SOURCE: 15th International Conference on Coordination Models and Languages, COORDINATION 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7890 LNCS, PAGES: 211-225
AUTHORS: Proenca, J ; Clarke, D;
PUBLISHED: 2013, SOURCE: 15th International Conference on Coordination Models and Languages, COORDINATION 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7890 LNCS, PAGES: 211-225
7456
TITLE: Interactive Verification of Safety-Critical Software Full Text
AUTHORS: Daniela da Cruz; Pedro Rangel Henriques ; Jorge Sousa Pinto ;
PUBLISHED: 2013, SOURCE: IEEE 37th Annual Computer Software and Applications Conference (COMPSAC) in 2013 IEEE 37TH ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC), PAGES: 519-528
AUTHORS: Daniela da Cruz; Pedro Rangel Henriques ; Jorge Sousa Pinto ;
PUBLISHED: 2013, SOURCE: IEEE 37th Annual Computer Software and Applications Conference (COMPSAC) in 2013 IEEE 37TH ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC), PAGES: 519-528
7457
TITLE: Interviews to Dublin Core Application Profiles developers
AUTHORS: Mariana C Malta ;
PUBLISHED: 2013
AUTHORS: Mariana C Malta ;
PUBLISHED: 2013
INDEXED IN: Handle
Handle7458
TITLE: Intraorganizational EDI System Case study Sousacamp SGPS
AUTHORS: Daniel Alves Martins; Ramiro Goncalves ; Frederico Branco ;
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: Daniel Alves Martins; Ramiro Goncalves ; Frederico Branco ;
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 WOS
Scopus WOS7459
TITLE: Introduction
AUTHORS: Diniz, PC ; Cardoso, JMP ; De F. Coutinho, JG; Petrov, Z;
PUBLISHED: 2013, SOURCE: Compilation and Synthesis for Embedded Reconfigurable Systems: An Aspect-Oriented Approach, VOLUME: 9781461448945, PAGES: 1-11
AUTHORS: Diniz, PC ; Cardoso, JMP ; De F. Coutinho, JG; Petrov, Z;
PUBLISHED: 2013, SOURCE: Compilation and Synthesis for Embedded Reconfigurable Systems: An Aspect-Oriented Approach, VOLUME: 9781461448945, PAGES: 1-11
INDEXED IN: Scopus
Scopus7460
TITLE: Introduction
AUTHORS: Pedro C Diniz ; João M P Cardoso ; José Gabriel de F. Coutinho; Zlatko Petrov;
PUBLISHED: 2013, SOURCE: Compilation and Synthesis for Embedded Reconfigurable Systems, PAGES: 1-11
AUTHORS: Pedro C Diniz ; João M P Cardoso ; José Gabriel de F. Coutinho; Zlatko Petrov;
PUBLISHED: 2013, SOURCE: Compilation and Synthesis for Embedded Reconfigurable Systems, PAGES: 1-11
INDEXED IN: CrossRef
CrossRef