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: 10705
536 Team MembersFilters -> Year: 2026
8821
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-+
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-+
8822
TITLE: Modeling 802.11 AP Usage through Daily Keep-Alive Event Counts
AUTHORS: Dossa Massa ; Ricardo Morla;
PUBLISHED: 2010, SOURCE: NBiS, PAGES: 195-200
AUTHORS: Dossa Massa ; Ricardo Morla;
PUBLISHED: 2010, SOURCE: NBiS, PAGES: 195-200
8823
TITLE: Modeling and planning collaboration using organizational constraints
AUTHORS: Michael Igler; Paulo Moura ; Matthias Faerber; Michael Zeising; Stefan Jablonski;
PUBLISHED: 2010, SOURCE: CollaborateCom, PAGES: 1-10
AUTHORS: Michael Igler; Paulo Moura ; Matthias Faerber; Michael Zeising; Stefan Jablonski;
PUBLISHED: 2010, SOURCE: CollaborateCom, PAGES: 1-10
INDEXED IN: 
Scopus 
DBLP
Scopus DBLP8824
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
Handle8825
TITLE: Monitoring Incremental Histogram Distribution for Change Detection in Data Streams
AUTHORS: Sebastiao, R ; Gama, J ; Rodrigues, PP ; Bernardes, J ;
PUBLISHED: 2010, SOURCE: 2nd International Workshop on Knowledge Discovery from Sensor Data in KNOWLEDGE DISCOVERY FROM SENSOR DATA, VOLUME: 5840, PAGES: 25-+
AUTHORS: Sebastiao, R ; Gama, J ; Rodrigues, PP ; Bernardes, J ;
PUBLISHED: 2010, SOURCE: 2nd International Workshop on Knowledge Discovery from Sensor Data in KNOWLEDGE DISCOVERY FROM SENSOR DATA, VOLUME: 5840, PAGES: 25-+
8826
TITLE: Motivations and trends for IT/IS adoption: Insights from portuguese companies
AUTHORS: João Eduardo Quintela Alves de Sousa Varajão; Antonio Trigo; João Manuel Pereira Barroso ;
PUBLISHED: 2010, PAGES: 1639-1656
AUTHORS: João Eduardo Quintela Alves de Sousa Varajão; Antonio Trigo; João Manuel Pereira Barroso ;
PUBLISHED: 2010, PAGES: 1639-1656
INDEXED IN: Scopus
Scopus8827
TITLE: Multi-agent Personal Memory Assistant
AUTHORS: Costa, A; Paulo Novais ; Costa, R ; Corchado, JM; Neves, J ;
PUBLISHED: 2010, SOURCE: 8th International Conference on Practical Applications of Agents and Multi-Agent Systems in TRENDS IN PRACTICAL APPLICATIONS OF AGENTS AND MULTIAGENT SYSTEMS, VOLUME: 71, PAGES: 97-104
AUTHORS: Costa, A; Paulo Novais ; Costa, R ; Corchado, JM; Neves, J ;
PUBLISHED: 2010, SOURCE: 8th International Conference on Practical Applications of Agents and Multi-Agent Systems in TRENDS IN PRACTICAL APPLICATIONS OF AGENTS AND MULTIAGENT SYSTEMS, VOLUME: 71, PAGES: 97-104
8828
TITLE: Multiresolution Motif Discovery in Time Series Full Text
AUTHORS: Nuno Filipe Castro ; Paulo J Azevedo ;
PUBLISHED: 2010, SOURCE: SDM, PAGES: 665-676
AUTHORS: Nuno Filipe Castro ; Paulo J Azevedo ;
PUBLISHED: 2010, SOURCE: SDM, PAGES: 665-676
8829
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
8830
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
8831
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 WOS8832
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
8833
TITLE: Nonlinear Prediction in Complex Systems Using the Ruelle-Takens Embedding
AUTHORS: Gonçalves, R ; Pinto, AA;
PUBLISHED: 2010, SOURCE: Discrete Dynamics and Difference Equations
AUTHORS: Gonçalves, R ; Pinto, AA;
PUBLISHED: 2010, SOURCE: Discrete Dynamics and Difference Equations
INDEXED IN: 
CrossRef
CrossRef8834
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
CrossRef8835
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
CrossRef8836
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
8837
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
8838
TITLE: On identifying and optimizing instruction sequences for dynamic compilation
AUTHORS: João Bispo ; João M P Cardoso ;
PUBLISHED: 2010, SOURCE: FPT, PAGES: 437-440
AUTHORS: João Bispo ; João M P Cardoso ;
PUBLISHED: 2010, SOURCE: FPT, PAGES: 437-440
8839
TITLE: On Identifying Patterns in Code Repositories to Assist the Generation of Hardware Templates Full Text
AUTHORS: Adriano K Sanches; João M P Cardoso ;
PUBLISHED: 2010, SOURCE: FPL, PAGES: 267-270
AUTHORS: Adriano K Sanches; João M P Cardoso ;
PUBLISHED: 2010, SOURCE: FPL, PAGES: 267-270
8840
TITLE: On Identifying Segments of Traces for Dynamic Compilation Full Text
AUTHORS: João Bispo ; João M P Cardoso ;
PUBLISHED: 2010, SOURCE: FPL, PAGES: 263-266
AUTHORS: João Bispo ; João M P Cardoso ;
PUBLISHED: 2010, SOURCE: FPL, PAGES: 263-266
