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: 8923
531 Team MembersFilters -> Year: 2025
6001
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
6002
TITLE: Interviews to Dublin Core Application Profiles developers
AUTHORS: Mariana C Malta ;
PUBLISHED: 2013
AUTHORS: Mariana C Malta ;
PUBLISHED: 2013
INDEXED IN: 
Handle
Handle6003
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 WOS6004
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
CrossRef6005
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
Scopus6006
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
Scopus6007
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
DBLP6008
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
6009
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 WOS6010
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 CrossRef6011
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
DBLP6012
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 DBLP6013
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
6014
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
6015
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)
6016
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
DBLP6017
TITLE: Logical clock systems and the challenges of autonomous operation
AUTHORS: Victor Fonte ;
PUBLISHED: 2013
AUTHORS: Victor Fonte ;
PUBLISHED: 2013
INDEXED IN: Handle
Handle6018
TITLE: Looking at the future [Olhando o futuro]
AUTHORS: Vasconcelos Raposo, J ;
PUBLISHED: 2013, SOURCE: Motricidade, VOLUME: 9, ISSUE: 3, PAGES: 1-2
AUTHORS: Vasconcelos Raposo, J ;
PUBLISHED: 2013, SOURCE: Motricidade, VOLUME: 9, ISSUE: 3, PAGES: 1-2
INDEXED IN: Scopus
Scopus6019
TITLE: Macronutrient composition of cooked dishes for patients with Phenylketonuria
AUTHORS: Filipa Pimentel; Rita Alves; Anabela Costa; Torres, Duarte ; M. Almeida; M. Oliveira; Bruno Oliveira ;
PUBLISHED: 2013
AUTHORS: Filipa Pimentel; Rita Alves; Anabela Costa; Torres, Duarte ; M. Almeida; M. Oliveira; Bruno Oliveira ;
PUBLISHED: 2013
INDEXED IN: Handle
Handle6020
TITLE: Making Programming Exercises Interoperable with PExIL
AUTHORS: Queiros, R ; Leal, JP ;
PUBLISHED: 2013, SOURCE: Conference on XML, Applications, and Associated Technologies (XATA) in INNOVATIONS IN XML APPLICATIONS AND METADATA MANAGEMENT: ADVANCING TECHNOLOGIES, PAGES: 38-56
AUTHORS: Queiros, R ; Leal, JP ;
PUBLISHED: 2013, SOURCE: Conference on XML, Applications, and Associated Technologies (XATA) in INNOVATIONS IN XML APPLICATIONS AND METADATA MANAGEMENT: ADVANCING TECHNOLOGIES, PAGES: 38-56
