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: 8273
531 Team MembersFilters -> Year: 2024
7541
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 WOS7542
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
7543
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
7544
TITLE: Preface
AUTHORS: Zhiming Liu; Luís Soares Barbosa ;
PUBLISHED: 2006, SOURCE: Electr. Notes Theor. Comput. Sci., VOLUME: 160, PAGES: 1-2
AUTHORS: Zhiming Liu; Luís Soares Barbosa ;
PUBLISHED: 2006, SOURCE: Electr. Notes Theor. Comput. Sci., VOLUME: 160, PAGES: 1-2
INDEXED IN: 
DBLP
DBLP7545
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
INDEXED IN: 
CrossRef
CrossRef7546
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
DBLP7547
TITLE: Program slicing by calculation Full Text
AUTHORS: Nuno F Rodrigues ; Luis S Barbosa ;
PUBLISHED: 2006, SOURCE: 10th Brazilian Symposium on Programming Languages in JOURNAL OF UNIVERSAL COMPUTER SCIENCE, VOLUME: 12, ISSUE: 7, PAGES: 828-848
AUTHORS: Nuno F Rodrigues ; Luis S Barbosa ;
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 DBLP7548
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
7549
TITLE: Query Driven Sequence Pattern Mining PDF
AUTHORS: Pedro Gabriel Ferreira ; Paulo J Azevedo ;
PUBLISHED: 2006, SOURCE: XXI Simpósio Brasileiro de Banco de Dados, 16-20 de Outubro, Florianópolis, Santa Catarina, Brasil, Anais/Proceedings, PAGES: 1-15
AUTHORS: Pedro Gabriel Ferreira ; Paulo J Azevedo ;
PUBLISHED: 2006, SOURCE: XXI Simpósio Brasileiro de Banco de Dados, 16-20 de Outubro, Florianópolis, Santa Catarina, Brasil, Anais/Proceedings, PAGES: 1-15
INDEXED IN: DBLP
DBLP7550
TITLE: Reconfigurable Computing: Architectures and Applications. Second International Workshop, ARC 2006, Delft, The Netherlands, March 1-3, 2006 Revised Selected Papers (Lecture Notes in Computer Science)
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
INDEXED IN: CrossRef 
Openlibrary
CrossRef Openlibrary7551
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
DBLP7552
TITLE: Reconstructed high frame rate sequences quality measurement tool Full Text
AUTHORS: Costa, MI; Tavares, C; Barroso, J ; Soares, Salviano Soares, Pinto Soares ;
PUBLISHED: 2006, SOURCE: 11th Annual Joint Conference Integrating Technology into Computer Science Education 2006 in Working Group Reports on ITiCSE on Innovation and Technology in Computer Science Education 2006, VOLUME: 38, ISSUE: 3, PAGES: 333
AUTHORS: Costa, MI; Tavares, C; Barroso, J ; Soares, Salviano Soares, Pinto Soares ;
PUBLISHED: 2006, SOURCE: 11th Annual Joint Conference Integrating Technology into Computer Science Education 2006 in Working Group Reports on ITiCSE on Innovation and Technology in Computer Science Education 2006, VOLUME: 38, ISSUE: 3, PAGES: 333
7553
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 CrossRef7554
TITLE: Regular expression matching for reconfigurable packet inspection
AUTHORS: Joao Bispo ; Ioannis Sourdis; Joao M P Cardoso ; Stamatis Vassiliadis;
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: Joao Bispo ; Ioannis Sourdis; Joao M P Cardoso ; Stamatis Vassiliadis;
PUBLISHED: 2006, SOURCE: 5th IEEE International Conference on Field Programmable Technology in 2006 IEEE INTERNATIONAL CONFERENCE ON FIELD PROGRAMMABLE TECHNOLOGY, PROCEEDINGS, PAGES: 119-126
7555
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
7556
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 CrossRef7557
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
7558
TITLE: Repeater vs. bridge-based hybrid wired/wireless PROFIBUS networks: a comparative performance analysis
AUTHORS: Paulo Sousa ; Luis Lino Ferreira ; Mario Alves ;
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: Paulo Sousa ; Luis Lino Ferreira ; Mario Alves ;
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
7559
TITLE: Revisiting 1-copy equivalence in clustered databases Full Text
AUTHORS: Oliveira, R ; Pereira, J ; Correia, A; Archibald, E;
PUBLISHED: 2006, SOURCE: 2006 ACM Symposium on Applied Computing in Proceedings of the ACM Symposium on Applied Computing, VOLUME: 1, PAGES: 728-732
AUTHORS: Oliveira, R ; Pereira, J ; Correia, A; Archibald, E;
PUBLISHED: 2006, SOURCE: 2006 ACM Symposium on Applied Computing in Proceedings of the ACM Symposium on Applied Computing, VOLUME: 1, PAGES: 728-732
7560
TITLE: Rule-based prediction of rare extreme values
AUTHORS: Rita Ribeiro ; Luis Torgo ;
PUBLISHED: 2006, SOURCE: 9th International Conference on Discovery Science in DISCOVERY SCIENCE, PROCEEDINGS, VOLUME: 4265, PAGES: 219-230
AUTHORS: Rita Ribeiro ; Luis Torgo ;
PUBLISHED: 2006, SOURCE: 9th International Conference on Discovery Science in DISCOVERY SCIENCE, PROCEEDINGS, VOLUME: 4265, PAGES: 219-230
