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: 10645
536 Team MembersFilters -> Year: 2026
9861
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
9862
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 WOS9863
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
9864
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
9865
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
9866
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
DBLP9867
TITLE: Program slicing by calculation
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 DBLP9868
TITLE: Quantitative pharmacophore models with inductive logic programming
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
9869
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
DBLP9870
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
9871
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
DBLP9872
TITLE: Reconstructed high frame rate sequences quality measurement tool
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
9873
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 CrossRef9874
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
9875
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
9876
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 CrossRef9877
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
9878
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
9879
TITLE: Revisiting 1-copy equivalence in clustered databases
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
9880
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
