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: 10654
535 Team MembersFilters -> Year: 2026
7441
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
7442
TITLE: Interviews to Dublin Core Application Profiles developers
AUTHORS: Mariana C Malta ;
PUBLISHED: 2013
AUTHORS: Mariana C Malta ;
PUBLISHED: 2013
INDEXED IN: 
Handle
Handle7443
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 WOS7444
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
CrossRef7445
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
Scopus7446
TITLE: Iterative, incremental and evolving EAF-based negotiation process
AUTHORS: Paulo Maio ; Silva, N ; Cardoso, J;
PUBLISHED: 2013, SOURCE: Studies in Computational Intelligence, VOLUME: 435, PAGES: 161-179
AUTHORS: Paulo Maio ; Silva, N ; Cardoso, J;
PUBLISHED: 2013, SOURCE: Studies in Computational Intelligence, VOLUME: 435, PAGES: 161-179
INDEXED IN: Scopus
Scopus7447
TITLE: Juggle: large-scale discovery in music recommendation
AUTHORS: Filipe Coelho; José Luís Devezas ; Cristina Ribeiro ;
PUBLISHED: 2013, SOURCE: Open research Areas in Information Retrieval, OAIR '13, Lisbon, Portugal, May 15-17, 2013, PAGES: 219-220
AUTHORS: Filipe Coelho; José Luís Devezas ; Cristina Ribeiro ;
PUBLISHED: 2013, SOURCE: Open research Areas in Information Retrieval, OAIR '13, Lisbon, Portugal, May 15-17, 2013, PAGES: 219-220
INDEXED IN: 
DBLP
DBLP7448
TITLE: Kaizen
AUTHORS: Catarina Delgado ; Branco Manuel Castelo ;
PUBLISHED: 2013, SOURCE: Encyclopedia of Corporate Social Responsibility, PAGES: 1531-1537
AUTHORS: Catarina Delgado ; Branco Manuel Castelo ;
PUBLISHED: 2013, SOURCE: Encyclopedia of Corporate Social Responsibility, PAGES: 1531-1537
INDEXED IN: Scopus CrossRef
Scopus CrossRef7449
TITLE: Kidney Targeting and Puncturing During Percutaneous Nephrolithotomy: Recent Advances and Future Perspectives
AUTHORS: Pedro L Rodrigues; Nuno F Rodrigues ; Jaime Fonseca ; Estevao Lima ; Joao L Vilaca ;
PUBLISHED: 2013, SOURCE: JOURNAL OF ENDOUROLOGY, VOLUME: 27, ISSUE: 7, PAGES: 826-834
AUTHORS: Pedro L Rodrigues; Nuno F Rodrigues ; Jaime Fonseca ; Estevao Lima ; Joao L Vilaca ;
PUBLISHED: 2013, SOURCE: JOURNAL OF ENDOUROLOGY, VOLUME: 27, ISSUE: 7, PAGES: 826-834
7450
TITLE: Knowledge on Heart Condition of Children based on Demographic and Physiological Features
AUTHORS: Pedro Ferreira ; Tiago T V Vinhoza ; Ana Castro ; Felipe Mourato; Thiago Tavares; Sandra Mattos; Ines Dutra ; Miguel Coimbra ;
PUBLISHED: 2013, SOURCE: 26th IEEE International Symposium on Computer-Based Medical Systems (CBMS) in 2013 IEEE 26TH INTERNATIONAL SYMPOSIUM ON COMPUTER-BASED MEDICAL SYSTEMS (CBMS), PAGES: 314-319
AUTHORS: Pedro Ferreira ; Tiago T V Vinhoza ; Ana Castro ; Felipe Mourato; Thiago Tavares; Sandra Mattos; Ines Dutra ; Miguel Coimbra ;
PUBLISHED: 2013, SOURCE: 26th IEEE International Symposium on Computer-Based Medical Systems (CBMS) in 2013 IEEE 26TH INTERNATIONAL SYMPOSIUM ON COMPUTER-BASED MEDICAL SYSTEMS (CBMS), PAGES: 314-319
7451
TITLE: Lacunarity Analysis of Pulmonary Emphysema in High-Resolution CT Images
AUTHORS: Veronica Vasconcelos ; Luis Marques ; Jose Silvestre Silva ; Joao Barroso ;
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: Veronica Vasconcelos ; Luis Marques ; Jose Silvestre Silva ; Joao Barroso ;
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 WOS7452
TITLE: LARA experiments
AUTHORS: Goncalves, F; Petrov, Z; De F. Coutinho, JG; Nane, R; Sima, VM; Cardoso, JMP ; Werner, S; Bhattacharya, S; Carvalho, T ; Nobre, R; De Sa, J; Teixeira, J; Diniz, PC ; Bertels, K; Constantinides, G; Luk, W; Becker, J; Alves, JC ; Ferreira, JC ; Almeida, GM;
PUBLISHED: 2013, SOURCE: Compilation and Synthesis for Embedded Reconfigurable Systems: An Aspect-Oriented Approach, VOLUME: 9781461448945, PAGES: 135-179
AUTHORS: Goncalves, F; Petrov, Z; De F. Coutinho, JG; Nane, R; Sima, VM; Cardoso, JMP ; Werner, S; Bhattacharya, S; Carvalho, T ; Nobre, R; De Sa, J; Teixeira, J; Diniz, PC ; Bertels, K; Constantinides, G; Luk, W; Becker, J; Alves, JC ; Ferreira, JC ; Almeida, GM;
PUBLISHED: 2013, SOURCE: Compilation and Synthesis for Embedded Reconfigurable Systems: An Aspect-Oriented Approach, VOLUME: 9781461448945, PAGES: 135-179
INDEXED IN: Scopus CrossRef
Scopus CrossRef7453
TITLE: Large-scale crossmedia retrieval for playlist generation and song discovery
AUTHORS: Filipe Coelho; José Luís Devezas ; Cristina Ribeiro ;
PUBLISHED: 2013, SOURCE: Open research Areas in Information Retrieval, OAIR '13, Lisbon, Portugal, May 15-17, 2013, PAGES: 61-64
AUTHORS: Filipe Coelho; José Luís Devezas ; Cristina Ribeiro ;
PUBLISHED: 2013, SOURCE: Open research Areas in Information Retrieval, OAIR '13, Lisbon, Portugal, May 15-17, 2013, PAGES: 61-64
INDEXED IN: DBLP
DBLP7454
TITLE: Lean Thinking
AUTHORS: Catarina Delgado ; Branco Manuel Castelo ;
PUBLISHED: 2013, SOURCE: Encyclopedia of Corporate Social Responsibility, PAGES: 1569-1578
AUTHORS: Catarina Delgado ; Branco Manuel Castelo ;
PUBLISHED: 2013, SOURCE: Encyclopedia of Corporate Social Responsibility, PAGES: 1569-1578
INDEXED IN: Scopus CrossRef
Scopus CrossRef7455
TITLE: Learner's satisfaction within a breast imaging eLearning course for radiographers
AUTHORS: Ines C Moreira ; Sandra Rua Ventura; Isabel Ramos; Pedro Pereira Rodrigues ;
PUBLISHED: 2013, SOURCE: 26th IEEE International Symposium on Computer-Based Medical Systems (CBMS) in 2013 IEEE 26TH INTERNATIONAL SYMPOSIUM ON COMPUTER-BASED MEDICAL SYSTEMS (CBMS), PAGES: 215-220
AUTHORS: Ines C Moreira ; Sandra Rua Ventura; Isabel Ramos; Pedro Pereira Rodrigues ;
PUBLISHED: 2013, SOURCE: 26th IEEE International Symposium on Computer-Based Medical Systems (CBMS) in 2013 IEEE 26TH INTERNATIONAL SYMPOSIUM ON COMPUTER-BASED MEDICAL SYSTEMS (CBMS), PAGES: 215-220
7456
TITLE: Learning model rules from high-speed data streams PDF
AUTHORS: Almeida, E ; Ferreira, C ; Gama, J ;
PUBLISHED: 2013, SOURCE: 3rd Workshop on Ubiquitous Data Mining, UDM 2013 - Co-located with the 23rd International Joint Conference on Artificial Intelligence, IJCAI 2013 in CEUR Workshop Proceedings, VOLUME: 1088, PAGES: 10-16
AUTHORS: Almeida, E ; Ferreira, C ; Gama, J ;
PUBLISHED: 2013, SOURCE: 3rd Workshop on Ubiquitous Data Mining, UDM 2013 - Co-located with the 23rd International Joint Conference on Artificial Intelligence, IJCAI 2013 in CEUR Workshop Proceedings, VOLUME: 1088, PAGES: 10-16
INDEXED IN: Scopus DBLP
Scopus DBLP7457
TITLE: Learning-Assisted Intelligent Scheduling System Full Text
AUTHORS: Madureira, A ; Pereira, JP; Pereira, I ;
PUBLISHED: 2013, SOURCE: IEEE International Conference on Systems, Man, and Cybernetics (SMC) in 2013 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS (SMC 2013), PAGES: 2820-2825
AUTHORS: Madureira, A ; Pereira, JP; Pereira, I ;
PUBLISHED: 2013, SOURCE: IEEE International Conference on Systems, Man, and Cybernetics (SMC) in 2013 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS (SMC 2013), PAGES: 2820-2825
7458
TITLE: Lightweight, efficient, robust epidemic dissemination Full Text
AUTHORS: Miguel Matos ; Valerio Schiavoni; Pascal Felber; Rui Oliveira ; Etienne Riviere;
PUBLISHED: 2013, SOURCE: JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, VOLUME: 73, ISSUE: 7, PAGES: 987-999
AUTHORS: Miguel Matos ; Valerio Schiavoni; Pascal Felber; Rui Oliveira ; Etienne Riviere;
PUBLISHED: 2013, SOURCE: JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, VOLUME: 73, ISSUE: 7, PAGES: 987-999
7459
TITLE: Load control timescales simulation in a Multi-Agent Smart Grid Platform
AUTHORS: Oliveira, P; Luis Gomes; Tiago Pinto ; Pedro Faria; Zita A Vale; Hugo Morais;
PUBLISHED: 2013, SOURCE: 4th IEEE PES Innovative Smart Grid Technologies Europe, ISGT Europe 2013, Lyngby, Denmark, October 6-9, 2013, PAGES: 1-5
AUTHORS: Oliveira, P; Luis Gomes; Tiago Pinto ; Pedro Faria; Zita A Vale; Hugo Morais;
PUBLISHED: 2013, SOURCE: 4th IEEE PES Innovative Smart Grid Technologies Europe, ISGT Europe 2013, Lyngby, Denmark, October 6-9, 2013, PAGES: 1-5
INDEXED IN: DBLP
DBLP7460
TITLE: Load Control Timescales Simulation in a Multi-Agent Smart Grid Platform
AUTHORS: Oliveira, P; Gomes, L; Pinto, T ; Faria, P; Vale, Z ; Morais, H;
PUBLISHED: 2013, SOURCE: 4th IEEE/PES Innovative Smart Grid Technologies Europe (ISGT EUROPE) in 2013 4TH IEEE/PES INNOVATIVE SMART GRID TECHNOLOGIES EUROPE (ISGT EUROPE)
AUTHORS: Oliveira, P; Gomes, L; Pinto, T ; Faria, P; Vale, Z ; Morais, H;
PUBLISHED: 2013, SOURCE: 4th IEEE/PES Innovative Smart Grid Technologies Europe (ISGT EUROPE) in 2013 4TH IEEE/PES INNOVATIVE SMART GRID TECHNOLOGIES EUROPE (ISGT EUROPE)
