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: 10677
536 Team MembersFilters -> Year: 2026
7461
TITLE: Interactive Verification of Safety-Critical Software
AUTHORS: da Cruz, D; Henriques, PR ; Pinto, JS ;
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: da Cruz, D; Henriques, PR ; Pinto, JS ;
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
7462
TITLE: Interviews to Dublin Core Application Profiles developers
AUTHORS: Mariana C Malta ;
PUBLISHED: 2013
AUTHORS: Mariana C Malta ;
PUBLISHED: 2013
INDEXED IN: 
Handle
Handle7463
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 WOS7464
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
Scopus7465
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
CrossRef7466
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
Scopus7467
TITLE: Juggle: large-scale discovery in music recommendation
AUTHORS: Filipe Coelho; José Luís Devezas ; Cristina Ribeiro ;
PUBLISHED: 2013, SOURCE: OAIR, PAGES: 219-220
AUTHORS: Filipe Coelho; José Luís Devezas ; Cristina Ribeiro ;
PUBLISHED: 2013, SOURCE: OAIR, PAGES: 219-220
INDEXED IN: 
DBLP
DBLP7468
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 CrossRef7469
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
7470
TITLE: Knowledge on Heart Condition of Children based on Demographic and Physiological Features
AUTHORS: Ferreira, P ; Vinhoza, TTV ; Castro, A ; Mourato, F; Tavares, T; Mattos, S; Dutra, I ; Coimbra, M ;
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: Ferreira, P ; Vinhoza, TTV ; Castro, A ; Mourato, F; Tavares, T; Mattos, S; Dutra, I ; Coimbra, M ;
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
7471
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 WOS7472
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 CrossRef7473
TITLE: Large-scale crossmedia retrieval for playlist generation and song discovery
AUTHORS: Filipe Coelho; José Luís Devezas ; Cristina Ribeiro ;
PUBLISHED: 2013, SOURCE: OAIR, PAGES: 61-64
AUTHORS: Filipe Coelho; José Luís Devezas ; Cristina Ribeiro ;
PUBLISHED: 2013, SOURCE: OAIR, PAGES: 61-64
INDEXED IN: DBLP
DBLP7474
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 CrossRef7475
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
7476
TITLE: Learning Model Rules From High-Speed Data Streams
AUTHORS: Ezilda Almeida ; Carlos Abreu Ferreira ; João Gama ;
PUBLISHED: 2013, SOURCE: UDM@IJCAI, VOLUME: 1088, PAGES: 10
AUTHORS: Ezilda Almeida ; Carlos Abreu Ferreira ; João Gama ;
PUBLISHED: 2013, SOURCE: UDM@IJCAI, VOLUME: 1088, PAGES: 10
INDEXED IN: Scopus DBLP
Scopus DBLP7477
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
7478
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
7479
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)
7480
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
DBLP