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
9921
TITLE: PFORTE: Revising Probabilistic FOL Theories
AUTHORS: Aline Paes; Kate Revoredo; Gerson Zaverucha; Vítor Santos Costa ;
PUBLISHED: 2006, SOURCE: IBERAMIA-SBIA, VOLUME: 4140 LNAI, PAGES: 441-450
AUTHORS: Aline Paes; Kate Revoredo; Gerson Zaverucha; Vítor Santos Costa ;
PUBLISHED: 2006, SOURCE: IBERAMIA-SBIA, VOLUME: 4140 LNAI, PAGES: 441-450
9922
TITLE: Pointfree factorization of operation refinement
AUTHORS: Jose N Oliveira ; Cesar J Rodrigues;
PUBLISHED: 2006, SOURCE: 14th International Symposium on Formal Methods in FM 2006: FORMAL METHODS, PROCEEDINGS, VOLUME: 4085, PAGES: 236-251
AUTHORS: Jose N Oliveira ; Cesar J Rodrigues;
PUBLISHED: 2006, SOURCE: 14th International Symposium on Formal Methods in FM 2006: FORMAL METHODS, PROCEEDINGS, VOLUME: 4085, PAGES: 236-251
INDEXED IN: 
Scopus 
WOS
Scopus WOS9923
TITLE: POSIX trace based behavioural reflection
AUTHORS: Filipe Valpereiro; Luis M Miguel Pinho ;
PUBLISHED: 2006, SOURCE: 11th Ada-Europe International Conference on Reliable Software Technologies in RELIABLE SOFTWARE TECHNOLOGIES - ADA - EUROPE 2006, PROCEEDINGS, VOLUME: 4006, PAGES: 27-39
AUTHORS: Filipe Valpereiro; Luis M Miguel Pinho ;
PUBLISHED: 2006, SOURCE: 11th Ada-Europe International Conference on Reliable Software Technologies in RELIABLE SOFTWARE TECHNOLOGIES - ADA - EUROPE 2006, PROCEEDINGS, VOLUME: 4006, PAGES: 27-39
9924
TITLE: Predicting rare extreme values
AUTHORS: Torgo, L ; Ribeiro, R ;
PUBLISHED: 2006, SOURCE: 10th Pacific-Asia Conference on Knowledge Discovery and Data Mining in ADVANCES IN KNOWLEDGE DISCOVERY AND DATA MINING, PROCEEDINGS, VOLUME: 3918, PAGES: 816-820
AUTHORS: Torgo, L ; Ribeiro, R ;
PUBLISHED: 2006, SOURCE: 10th Pacific-Asia Conference on Knowledge Discovery and Data Mining in ADVANCES IN KNOWLEDGE DISCOVERY AND DATA MINING, PROCEEDINGS, VOLUME: 3918, PAGES: 816-820
9925
TITLE: Preface
AUTHORS: Zhiming Liu; Luís Barbosa ;
PUBLISHED: 2006, SOURCE: Electronic Notes in Theoretical Computer Science, VOLUME: 160, PAGES: 1-2
AUTHORS: Zhiming Liu; Luís Barbosa ;
PUBLISHED: 2006, SOURCE: Electronic Notes in Theoretical Computer Science, VOLUME: 160, PAGES: 1-2
9926
TITLE: Proceedings of the International Workshop on Formal Aspects of Component Software, FACS 2005, Macao, October 24-25, 2005
AUTHORS: Zhiming Liu; Luís Soares Barbosa ;
PUBLISHED: 2006, SOURCE: FACS, VOLUME: 160
AUTHORS: Zhiming Liu; Luís Soares Barbosa ;
PUBLISHED: 2006, SOURCE: FACS, VOLUME: 160
INDEXED IN: 
DBLP
DBLP9927
TITLE: Program slicing by calculation Full Text
AUTHORS: Rodrigues, NF ; Barbosa, LS ;
PUBLISHED: 2006, SOURCE: 10th Brazilian Symposium on Programming Languages in JOURNAL OF UNIVERSAL COMPUTER SCIENCE, VOLUME: 12, ISSUE: 7, PAGES: 828-848
AUTHORS: Rodrigues, NF ; Barbosa, LS ;
PUBLISHED: 2006, SOURCE: 10th Brazilian Symposium on Programming Languages in JOURNAL OF UNIVERSAL COMPUTER SCIENCE, VOLUME: 12, ISSUE: 7, PAGES: 828-848
INDEXED IN: Scopus WOS DBLP
Scopus WOS DBLP9928
TITLE: Quantitative pharmacophore models with inductive logic programming Full Text
AUTHORS: Srinivasan, A; Page, D; Camacho, R ; King, R;
PUBLISHED: 2006, SOURCE: 13th International Conference on Inductive Logic Programming in MACHINE LEARNING, VOLUME: 64, ISSUE: 1-3, PAGES: 65-90
AUTHORS: Srinivasan, A; Page, D; Camacho, R ; King, R;
PUBLISHED: 2006, SOURCE: 13th International Conference on Inductive Logic Programming in MACHINE LEARNING, VOLUME: 64, ISSUE: 1-3, PAGES: 65-90
9929
TITLE: Query Driven Sequence Pattern Mining
AUTHORS: Pedro Gabriel Ferreira ; Paulo J Azevedo ;
PUBLISHED: 2006, SOURCE: SBBD, PAGES: 1-15
AUTHORS: Pedro Gabriel Ferreira ; Paulo J Azevedo ;
PUBLISHED: 2006, SOURCE: SBBD, PAGES: 1-15
INDEXED IN: DBLP
DBLP9930
TITLE: Reconfigurable Computing: Architectures and Applications. Second International Workshop, ARC 2006, Delft, The Netherlands, March 1-3, 2006, Revised Selected Papers
AUTHORS: Koen Bertels; João M P Cardoso ; Stamatis Vassiliadis;
PUBLISHED: 2006, SOURCE: Lecture Notes in Computer Science
AUTHORS: Koen Bertels; João M P Cardoso ; Stamatis Vassiliadis;
PUBLISHED: 2006, SOURCE: Lecture Notes in Computer Science
9931
TITLE: Reconfigurable Computing: Architectures and Applications, Second International Workshop, ARC 2006, Delft, The Netherlands, March 1-3, 2006, Revised Selected Papers
AUTHORS: Koen Bertels; João M P Cardoso ; Stamatis Vassiliadis;
PUBLISHED: 2006, SOURCE: ARC, VOLUME: 3985
AUTHORS: Koen Bertels; João M P Cardoso ; Stamatis Vassiliadis;
PUBLISHED: 2006, SOURCE: ARC, VOLUME: 3985
INDEXED IN: DBLP
DBLP9932
TITLE: Reconstructed high frame rate sequences quality measurement tool Full Text
AUTHORS: Mónica Isabel Teixeira da Costa; Carmem Tavares; João Barroso ; Soares, Salviano Soares, Pinto Soares ;
PUBLISHED: 2006, SOURCE: ITiCSE, VOLUME: 38, ISSUE: 3, PAGES: 333
AUTHORS: Mónica Isabel Teixeira da Costa; Carmem Tavares; João Barroso ; Soares, Salviano Soares, Pinto Soares ;
PUBLISHED: 2006, SOURCE: ITiCSE, VOLUME: 38, ISSUE: 3, PAGES: 333
9933
TITLE: Refinement criteria for high fidelity interactive walkthroughs
AUTHORS: Oliveira, A; Santos, LP ; Proenca, A ;
PUBLISHED: 2006, SOURCE: GRAPHITE 2006: 4th International Conference on Computer Graphics and Interactive Techniques in Australasia and Southeast Asia in Proceedings - GRAPHITE 2006: 4th International Conference on Computer Graphics and Interactive Techniques in Australasia and Southeast Asia, PAGES: 453-458
AUTHORS: Oliveira, A; Santos, LP ; Proenca, A ;
PUBLISHED: 2006, SOURCE: GRAPHITE 2006: 4th International Conference on Computer Graphics and Interactive Techniques in Australasia and Southeast Asia in Proceedings - GRAPHITE 2006: 4th International Conference on Computer Graphics and Interactive Techniques in Australasia and Southeast Asia, PAGES: 453-458
INDEXED IN: Scopus 
CrossRef
Scopus CrossRef9934
TITLE: Regular expression matching for reconfigurable packet inspection
AUTHORS: Bispo, J ; Sourdis, L; Cardoso, JMP ; Vassiliadis, S;
PUBLISHED: 2006, SOURCE: 5th IEEE International Conference on Field Programmable Technology in 2006 IEEE INTERNATIONAL CONFERENCE ON FIELD PROGRAMMABLE TECHNOLOGY, PROCEEDINGS, PAGES: 119-126
AUTHORS: Bispo, J ; Sourdis, L; Cardoso, JMP ; Vassiliadis, S;
PUBLISHED: 2006, SOURCE: 5th IEEE International Conference on Field Programmable Technology in 2006 IEEE INTERNATIONAL CONFERENCE ON FIELD PROGRAMMABLE TECHNOLOGY, PROCEEDINGS, PAGES: 119-126
9935
TITLE: Regulatory T cell adjustment of quorum growth thresholds and the control of local immune responses Full Text
AUTHORS: Burroughs, NJ; de Oliveira, BMPM ; Pinto, AA ;
PUBLISHED: 2006, SOURCE: JOURNAL OF THEORETICAL BIOLOGY, VOLUME: 241, ISSUE: 1, PAGES: 134-141
AUTHORS: Burroughs, NJ; de Oliveira, BMPM ; Pinto, AA ;
PUBLISHED: 2006, SOURCE: JOURNAL OF THEORETICAL BIOLOGY, VOLUME: 241, ISSUE: 1, PAGES: 134-141
9936
TITLE: Relational sampling for data quality auditing and decision support Full Text
AUTHORS: Bruno Cortes; Jose Nuno Oliveira ;
PUBLISHED: 2006, SOURCE: 6th International Conference on Enterprise Information Systems (ICEIS 2004) in Enterprise Information Systems VI, PAGES: 82-88
AUTHORS: Bruno Cortes; Jose Nuno Oliveira ;
PUBLISHED: 2006, SOURCE: 6th International Conference on Enterprise Information Systems (ICEIS 2004) in Enterprise Information Systems VI, PAGES: 82-88
INDEXED IN: WOS CrossRef
WOS CrossRef9937
TITLE: RepeatAround: A software tool for finding and visualizing repeats in circular genomes and its application to a human mtDNA database Full Text
AUTHORS: Ana Goios ; Jose Meirinhos; Ricardo Rocha ; Ricardo Lopes ; Amorim, Antonio ; Luisa Pereira ;
PUBLISHED: 2006, SOURCE: MITOCHONDRION, VOLUME: 6, ISSUE: 4, PAGES: 218-224
AUTHORS: Ana Goios ; Jose Meirinhos; Ricardo Rocha ; Ricardo Lopes ; Amorim, Antonio ; Luisa Pereira ;
PUBLISHED: 2006, SOURCE: MITOCHONDRION, VOLUME: 6, ISSUE: 4, PAGES: 218-224
9938
TITLE: Repeater vs. bridge-based hybrid wired/wireless PROFIBUS networks: a comparative performance analysis
AUTHORS: Sousa, P ; Ferreira, LL ; Alves, M ;
PUBLISHED: 2006, SOURCE: 11th IEEE International Conference on Emerging Technologies and Factory Automation in 2006 IEEE CONFERENCE ON EMERGING TECHNOLOGIES & FACTORY AUTOMATION, VOLS 1 -3, PAGES: 987-994
AUTHORS: Sousa, P ; Ferreira, LL ; Alves, M ;
PUBLISHED: 2006, SOURCE: 11th IEEE International Conference on Emerging Technologies and Factory Automation in 2006 IEEE CONFERENCE ON EMERGING TECHNOLOGIES & FACTORY AUTOMATION, VOLS 1 -3, PAGES: 987-994
9939
TITLE: Revisiting 1-copy equivalence in clustered databases Full Text
AUTHORS: Rui Oliveira ; José Pereira ; Alfrânio Correia Jr.; Edward Archibald;
PUBLISHED: 2006, SOURCE: SAC, VOLUME: 1, PAGES: 728-732
AUTHORS: Rui Oliveira ; José Pereira ; Alfrânio Correia Jr.; Edward Archibald;
PUBLISHED: 2006, SOURCE: SAC, VOLUME: 1, PAGES: 728-732
9940
TITLE: Rule-based prediction of rare extreme values
AUTHORS: Ribeiro, R ; Torgo, L ;
PUBLISHED: 2006, SOURCE: 9th International Conference on Discovery Science in DISCOVERY SCIENCE, PROCEEDINGS, VOLUME: 4265, PAGES: 219-230
AUTHORS: Ribeiro, R ; Torgo, L ;
PUBLISHED: 2006, SOURCE: 9th International Conference on Discovery Science in DISCOVERY SCIENCE, PROCEEDINGS, VOLUME: 4265, PAGES: 219-230
