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: 8453
531 Team MembersFilters -> Year: 2025
6741
TITLE: Model-Checking Temporal Properties of Real-Time HTL Programs
AUTHORS: Carvalho, A; Carvalho, J; Pinto, JS ; de Sousa, SM ;
PUBLISHED: 2010, SOURCE: 4th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION, AND VALIDATION, PT II, VOLUME: 6416, ISSUE: PART 2, PAGES: 191-205
AUTHORS: Carvalho, A; Carvalho, J; Pinto, JS ; de Sousa, SM ;
PUBLISHED: 2010, SOURCE: 4th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION, AND VALIDATION, PT II, VOLUME: 6416, ISSUE: PART 2, PAGES: 191-205
6742
TITLE: Modeling 802.11 AP usage through daily keep-alive event counts
AUTHORS: Morla, R ; Massa, D;
PUBLISHED: 2010, SOURCE: 13th International Conference on Network-Based Information Systems, NBiS 2010 in Proceedings - 13th International Conference on Network-Based Information Systems, NBiS 2010, PAGES: 195-200
AUTHORS: Morla, R ; Massa, D;
PUBLISHED: 2010, SOURCE: 13th International Conference on Network-Based Information Systems, NBiS 2010 in Proceedings - 13th International Conference on Network-Based Information Systems, NBiS 2010, PAGES: 195-200
6743
TITLE: Modelling non-trivial evaluation processes
AUTHORS: José P Leal ; Ricardo Queirós;
PUBLISHED: 2010, SOURCE: Conference on Enterprise Information Systems
AUTHORS: José P Leal ; Ricardo Queirós;
PUBLISHED: 2010, SOURCE: Conference on Enterprise Information Systems
INDEXED IN: 
Handle
Handle6744
TITLE: Monitoring Incremental Histogram Distribution for Change Detection in Data Streams
AUTHORS: Raquel Sebastiao ; Joao Gama ; Pedro Pereira Rodrigues ; Joao Bernardes ;
PUBLISHED: 2010, SOURCE: 2nd International Workshop on Knowledge Discovery from Sensor Data in KNOWLEDGE DISCOVERY FROM SENSOR DATA, VOLUME: 5840, PAGES: 25-42
AUTHORS: Raquel Sebastiao ; Joao Gama ; Pedro Pereira Rodrigues ; Joao Bernardes ;
PUBLISHED: 2010, SOURCE: 2nd International Workshop on Knowledge Discovery from Sensor Data in KNOWLEDGE DISCOVERY FROM SENSOR DATA, VOLUME: 5840, PAGES: 25-42
6745
TITLE: Multiresolution motif discovery in time series
AUTHORS: Castro, N ; Azevedo, P ;
PUBLISHED: 2010, SOURCE: 10th SIAM International Conference on Data Mining, SDM 2010 in Proceedings of the 10th SIAM International Conference on Data Mining, SDM 2010, PAGES: 665-676
AUTHORS: Castro, N ; Azevedo, P ;
PUBLISHED: 2010, SOURCE: 10th SIAM International Conference on Data Mining, SDM 2010 in Proceedings of the 10th SIAM International Conference on Data Mining, SDM 2010, PAGES: 665-676
6746
TITLE: Multiyear to daily radon variability from continuous monitoring at the Amram tunnel, southern Israel. Multiyear to daily radon variability Full Text
AUTHORS: Barbosa, SM ; Zafrir, H; Malik, U; Piatibratova, O;
PUBLISHED: 2010, SOURCE: GEOPHYSICAL JOURNAL INTERNATIONAL, VOLUME: 182, ISSUE: 2, PAGES: 829-842
AUTHORS: Barbosa, SM ; Zafrir, H; Malik, U; Piatibratova, O;
PUBLISHED: 2010, SOURCE: GEOPHYSICAL JOURNAL INTERNATIONAL, VOLUME: 182, ISSUE: 2, PAGES: 829-842
6747
TITLE: Negro and Danube are mirror rivers Full Text
AUTHORS: Goncalves, R ; Pinto, A ;
PUBLISHED: 2010, SOURCE: JOURNAL OF DIFFERENCE EQUATIONS AND APPLICATIONS, VOLUME: 16, ISSUE: 12, PAGES: 1491-1499
AUTHORS: Goncalves, R ; Pinto, A ;
PUBLISHED: 2010, SOURCE: JOURNAL OF DIFFERENCE EQUATIONS AND APPLICATIONS, VOLUME: 16, ISSUE: 12, PAGES: 1491-1499
6748
TITLE: NITROGEN BALANCE ASSESSMENT IN BURN PATIENTS Full Text
AUTHORS: Andreia Beca; Paula Egipto; Davide Carvalho ; Flora Correia ; Bruno Oliveira ; Acacio Rodrigues ; Jose Amarante ; Luis L Medina;
PUBLISHED: 2010, SOURCE: ACTA MEDICA PORTUGUESA, VOLUME: 23, ISSUE: 5, PAGES: 883-890
AUTHORS: Andreia Beca; Paula Egipto; Davide Carvalho ; Flora Correia ; Bruno Oliveira ; Acacio Rodrigues ; Jose Amarante ; Luis L Medina;
PUBLISHED: 2010, SOURCE: ACTA MEDICA PORTUGUESA, VOLUME: 23, ISSUE: 5, PAGES: 883-890
INDEXED IN: 
Scopus 
WOS
Scopus WOS6749
TITLE: Non-iterative frequency estimation in the DFT magnitude domain
AUTHORS: Sousa, R ; Ferreira, A ;
PUBLISHED: 2010, SOURCE: 4th International Symposium on Communications, Control, and Signal Processing, ISCCSP-2010 in Final Program and Abstract Book - 4th International Symposium on Communications, Control, and Signal Processing, ISCCSP 2010
AUTHORS: Sousa, R ; Ferreira, A ;
PUBLISHED: 2010, SOURCE: 4th International Symposium on Communications, Control, and Signal Processing, ISCCSP-2010 in Final Program and Abstract Book - 4th International Symposium on Communications, Control, and Signal Processing, ISCCSP 2010
6750
TITLE: Nova política editorial Full Text
AUTHORS: José Vasconcelos-Raposo ;
PUBLISHED: 2010, SOURCE: Motricidade, VOLUME: 6, ISSUE: 3
AUTHORS: José Vasconcelos-Raposo ;
PUBLISHED: 2010, SOURCE: Motricidade, VOLUME: 6, ISSUE: 3
INDEXED IN: 
CrossRef
CrossRef6751
TITLE: O fórum central: catalizador da participação do aluno em turmas virtuais no ensino a distancia online
AUTHORS: José Coelho ; Adérito Fernandes Marcos ;
PUBLISHED: 2010, SOURCE: Enc. Bibli: R. Eletr. Bibliotecon. Ci. Inf. - Encontros Bibli: Revista Eletrônica de Biblioteconomia e Ciência da Informação, PAGES: 85-99
AUTHORS: José Coelho ; Adérito Fernandes Marcos ;
PUBLISHED: 2010, SOURCE: Enc. Bibli: R. Eletr. Bibliotecon. Ci. Inf. - Encontros Bibli: Revista Eletrônica de Biblioteconomia e Ciência da Informação, PAGES: 85-99
INDEXED IN: CrossRef
CrossRef6752
TITLE: Obesity and metabolic syndrome in 7-9 years-old Portuguese schoolchildren Full Text
AUTHORS: Pedrosa, C; Oliveira, BMPM ; Albuquerque, I; Simoes Pereira, C; Vaz De Almeida, MD; Flora Correia ;
PUBLISHED: 2010, SOURCE: DIABETOLOGY & METABOLIC SYNDROME, VOLUME: 2, ISSUE: 1, PAGES: 40
AUTHORS: Pedrosa, C; Oliveira, BMPM ; Albuquerque, I; Simoes Pereira, C; Vaz De Almeida, MD; Flora Correia ;
PUBLISHED: 2010, SOURCE: DIABETOLOGY & METABOLIC SYNDROME, VOLUME: 2, ISSUE: 1, PAGES: 40
6753
TITLE: On adding structure to unstructured overlay networks
AUTHORS: Leitao, J; Carvalho, NA; Pereira, J ; Oliveira, R ; Rodrigues, L ;
PUBLISHED: 2010, SOURCE: Handbook of Peer-to-Peer Networking, PAGES: 327-365
AUTHORS: Leitao, J; Carvalho, NA; Pereira, J ; Oliveira, R ; Rodrigues, L ;
PUBLISHED: 2010, SOURCE: Handbook of Peer-to-Peer Networking, PAGES: 327-365
6754
TITLE: On identifying and optimizing instruction sequences for dynamic compilation
AUTHORS: João Bispo ; João M P Cardoso ;
PUBLISHED: 2010, SOURCE: 2010 International Conference on Field-Programmable Technology, FPT'10 in Proceedings of the International Conference on Field-Programmable Technology, FPT 2010, 8-10 December 2010, Tsinghua University, Beijing, China, PAGES: 437-440
AUTHORS: João Bispo ; João M P Cardoso ;
PUBLISHED: 2010, SOURCE: 2010 International Conference on Field-Programmable Technology, FPT'10 in Proceedings of the International Conference on Field-Programmable Technology, FPT 2010, 8-10 December 2010, Tsinghua University, Beijing, China, PAGES: 437-440
6755
TITLE: On Identifying Patterns in Code Repositories to Assist the Generation of Hardware Templates
AUTHORS: Adriano K Sanches; João M P Cardoso ;
PUBLISHED: 2010, SOURCE: 20th International Conference on Field Programmable Logic and Applications, FPL 2010 in International Conference on Field Programmable Logic and Applications, FPL 2010, August 31 2010 - September 2, 2010, Milano, Italy, PAGES: 267-270
AUTHORS: Adriano K Sanches; João M P Cardoso ;
PUBLISHED: 2010, SOURCE: 20th International Conference on Field Programmable Logic and Applications, FPL 2010 in International Conference on Field Programmable Logic and Applications, FPL 2010, August 31 2010 - September 2, 2010, Milano, Italy, PAGES: 267-270
6756
TITLE: On Identifying Segments of Traces for Dynamic Compilation
AUTHORS: João Bispo ; João M P Cardoso ;
PUBLISHED: 2010, SOURCE: 20th International Conference on Field Programmable Logic and Applications, FPL 2010 in International Conference on Field Programmable Logic and Applications, FPL 2010, August 31 2010 - September 2, 2010, Milano, Italy, PAGES: 263-266
AUTHORS: João Bispo ; João M P Cardoso ;
PUBLISHED: 2010, SOURCE: 20th International Conference on Field Programmable Logic and Applications, FPL 2010 in International Conference on Field Programmable Logic and Applications, FPL 2010, August 31 2010 - September 2, 2010, Milano, Italy, PAGES: 263-266
6757
TITLE: On Multi-Objective Evolutionary Algorithms
AUTHORS: Dalila B M M Fontes ; António Gaspar-Cunha;
PUBLISHED: 2010, SOURCE: Applied Optimization - Handbook of Multicriteria Analysis, PAGES: 287-310
AUTHORS: Dalila B M M Fontes ; António Gaspar-Cunha;
PUBLISHED: 2010, SOURCE: Applied Optimization - Handbook of Multicriteria Analysis, PAGES: 287-310
6758
TITLE: On the Expressiveness and Trade-Offs of Large Scale Tuple Stores
AUTHORS: Ricardo Vilaça ; Francisco Cruz ; Rui Carlos Oliveira ;
PUBLISHED: 2010, SOURCE: On the Move to Meaningful Internet Systems, OTM 2010 - Confederated International Conferences: CoopIS, IS, DOA and ODBASE, Hersonissos, Crete, Greece, October 25-29, 2010, Proceedings, Part II, VOLUME: 6427, PAGES: 727-744
AUTHORS: Ricardo Vilaça ; Francisco Cruz ; Rui Carlos Oliveira ;
PUBLISHED: 2010, SOURCE: On the Move to Meaningful Internet Systems, OTM 2010 - Confederated International Conferences: CoopIS, IS, DOA and ODBASE, Hersonissos, Crete, Greece, October 25-29, 2010, Proceedings, Part II, VOLUME: 6427, PAGES: 727-744
INDEXED IN: 
DBLP
DBLP6759
TITLE: On the Expressiveness and Trade-Offs of Large Scale Tuple Stores
AUTHORS: Ricardo Vilaca ; Francisco Cruz ; Rui Oliveira ;
PUBLISHED: 2010, SOURCE: On the Move Confederated International Conference in ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2010, PT II, VOLUME: 6427, ISSUE: PART 2, PAGES: 727-744
AUTHORS: Ricardo Vilaca ; Francisco Cruz ; Rui Oliveira ;
PUBLISHED: 2010, SOURCE: On the Move Confederated International Conference in ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2010, PT II, VOLUME: 6427, ISSUE: PART 2, PAGES: 727-744
6760
TITLE: On the Implementation of the CLP(BN) Language
AUTHORS: Vitor Santos Costa ;
PUBLISHED: 2010, SOURCE: 12th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PROCEEDINGS, VOLUME: 5937, PAGES: 234-248
AUTHORS: Vitor Santos Costa ;
PUBLISHED: 2010, SOURCE: 12th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PROCEEDINGS, VOLUME: 5937, PAGES: 234-248
