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: 10649
536 Team MembersFilters -> Year: 2026
9901
TITLE: Supporting resource-based analysis of task information needs
AUTHORS: Campos, JC ; Doherty, GJ;
PUBLISHED: 2006, SOURCE: 12th International Workshop on Design, Specification and Verification of Interactive Systems in INTERACTIVE SYSTEMS: DESIGN, SPECIFICATION, AND VERIFICATION, VOLUME: 3941, PAGES: 188-200
AUTHORS: Campos, JC ; Doherty, GJ;
PUBLISHED: 2006, SOURCE: 12th International Workshop on Design, Specification and Verification of Interactive Systems in INTERACTIVE SYSTEMS: DESIGN, SPECIFICATION, AND VERIFICATION, VOLUME: 3941, PAGES: 188-200
9902
TITLE: Symbolic and spatial data analysis: Mining complex data structures
AUTHORS: Brito, P ; Noirhomme Fraiture, M;
PUBLISHED: 2006, SOURCE: INTELLIGENT DATA ANALYSIS, VOLUME: 10, ISSUE: 4, PAGES: 297-300
AUTHORS: Brito, P ; Noirhomme Fraiture, M;
PUBLISHED: 2006, SOURCE: INTELLIGENT DATA ANALYSIS, VOLUME: 10, ISSUE: 4, PAGES: 297-300
INDEXED IN: 
Scopus 
WOS 
DBLP
Scopus WOS DBLP9903
TITLE: The circle and the solenoid
AUTHORS: Pinto, AA ; Sullivan, D;
PUBLISHED: 2006, SOURCE: DISCRETE AND CONTINUOUS DYNAMICAL SYSTEMS, VOLUME: 16, ISSUE: 2, PAGES: 463-504
AUTHORS: Pinto, AA ; Sullivan, D;
PUBLISHED: 2006, SOURCE: DISCRETE AND CONTINUOUS DYNAMICAL SYSTEMS, VOLUME: 16, ISSUE: 2, PAGES: 463-504
INDEXED IN: Scopus WOS
Scopus WOS9904
TITLE: The Design and Implementation of the YAP Compiler: An Optimizing Compiler for Logic Programming Languages
AUTHORS: Anderson Faustino da Silva; Vítor Santos Costa ;
PUBLISHED: 2006, SOURCE: ICLP, VOLUME: 4079 LNCS, PAGES: 461-462
AUTHORS: Anderson Faustino da Silva; Vítor Santos Costa ;
PUBLISHED: 2006, SOURCE: ICLP, VOLUME: 4079 LNCS, PAGES: 461-462
9905
TITLE: The Design of the YAP Compiler: An Optimizing Compiler for Logic Programming Languages
AUTHORS: Anderson Faustino da Silva; Vítor Santos Costa ;
PUBLISHED: 2006, SOURCE: J. Univers. Comput. Sci., VOLUME: 12, ISSUE: 7, PAGES: 764-787
AUTHORS: Anderson Faustino da Silva; Vítor Santos Costa ;
PUBLISHED: 2006, SOURCE: J. Univers. Comput. Sci., VOLUME: 12, ISSUE: 7, PAGES: 764-787
INDEXED IN: Scopus DBLP
Scopus DBLP9906
TITLE: The influence of inter-domain mobility on message stream response time in wired/wireless profibus-based networks
AUTHORS: Ferreira, L ; Tovar, E ;
PUBLISHED: 2006, SOURCE: Fieldbus Systems and Their Applications 2005, PAGES: 135-142
AUTHORS: Ferreira, L ; Tovar, E ;
PUBLISHED: 2006, SOURCE: Fieldbus Systems and Their Applications 2005, PAGES: 135-142
9907
TITLE: The Power of Closed Reduction Strategies
AUTHORS: Sandra Alves ; Maribel Fernández; Mário Florido ; Ian Mackie;
PUBLISHED: 2006, SOURCE: WRS@FLoC, VOLUME: 174, ISSUE: 10 SPEC. ISS., PAGES: 57-74
AUTHORS: Sandra Alves ; Maribel Fernández; Mário Florido ; Ian Mackie;
PUBLISHED: 2006, SOURCE: WRS@FLoC, VOLUME: 174, ISSUE: 10 SPEC. ISS., PAGES: 57-74
9908
TITLE: The power of linear functions
AUTHORS: Alves, S ; Fernández, M; Florido, M ; Mackie, I;
PUBLISHED: 2006, SOURCE: 20th International Workshop on Computer Science Logic/15th Annual Conference of the European-Association-for-Computer-Science-Logic in COMPUTER SCIENCE LOGIC, PROCEEDINGS, VOLUME: 4207, PAGES: 119-134
AUTHORS: Alves, S ; Fernández, M; Florido, M ; Mackie, I;
PUBLISHED: 2006, SOURCE: 20th International Workshop on Computer Science Logic/15th Annual Conference of the European-Association-for-Computer-Science-Logic in COMPUTER SCIENCE LOGIC, PROCEEDINGS, VOLUME: 4207, PAGES: 119-134
9909
TITLE: The use of real-time publish-subscribe middleware in networked vehicle systems
AUTHORS: Marques, ERB ; Gil Gonçalves ; Sousa, JB;
PUBLISHED: 2006, SOURCE: 1st IFAC Workshop on Multivehicle Systems, MVS 2006 in IFAC Proceedings Volumes (IFAC-PapersOnline), VOLUME: 1, ISSUE: PART 1, PAGES: 108-113
AUTHORS: Marques, ERB ; Gil Gonçalves ; Sousa, JB;
PUBLISHED: 2006, SOURCE: 1st IFAC Workshop on Multivehicle Systems, MVS 2006 in IFAC Proceedings Volumes (IFAC-PapersOnline), VOLUME: 1, ISSUE: PART 1, PAGES: 108-113
INDEXED IN: Scopus
Scopus9910
TITLE: Towards a Coordination Model for Interactive Systems
AUTHORS: Marco Antonio Barbosa; Luís Soares Barbosa ; José Creissac Campos ;
PUBLISHED: 2006, SOURCE: FMIS@ICFEM, VOLUME: 183, ISSUE: SPEC. ISS., PAGES: 89-103
AUTHORS: Marco Antonio Barbosa; Luís Soares Barbosa ; José Creissac Campos ;
PUBLISHED: 2006, SOURCE: FMIS@ICFEM, VOLUME: 183, ISSUE: SPEC. ISS., PAGES: 89-103
9911
TITLE: Towards a generic group communication service
AUTHORS: Carvalho, N; Pereira, J ; Rodrigues, L ;
PUBLISHED: 2006, SOURCE: On the Move Confederated International Conference on CoopIS/DOA/GADA, and ODBASE in ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS 2006: COOPIS, DOA, GADA, AND ODBASE PT 2, PROCEEDINGS, VOLUME: 4276, PAGES: 1485-1502
AUTHORS: Carvalho, N; Pereira, J ; Rodrigues, L ;
PUBLISHED: 2006, SOURCE: On the Move Confederated International Conference on CoopIS/DOA/GADA, and ODBASE in ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS 2006: COOPIS, DOA, GADA, AND ODBASE PT 2, PROCEEDINGS, VOLUME: 4276, PAGES: 1485-1502
9912
TITLE: Towards interference-free deployment of ubicomp systems
AUTHORS: Ricardo Santos Morla ;
PUBLISHED: 2006, SOURCE: British Library, EThOS
AUTHORS: Ricardo Santos Morla ;
PUBLISHED: 2006, SOURCE: British Library, EThOS
INDEXED IN: DBLP
DBLP9913
TITLE: Transposing partial components - An exercise on coalgebraic refinement
AUTHORS: Barbosa, LS ; Oliveira, JN ;
PUBLISHED: 2006, SOURCE: 3rd International Symposium on Formal Methods for Components and Objects in THEORETICAL COMPUTER SCIENCE, VOLUME: 365, ISSUE: 1-2, PAGES: 2-22
AUTHORS: Barbosa, LS ; Oliveira, JN ;
PUBLISHED: 2006, SOURCE: 3rd International Symposium on Formal Methods for Components and Objects in THEORETICAL COMPUTER SCIENCE, VOLUME: 365, ISSUE: 1-2, PAGES: 2-22
9914
TITLE: Two-way analysis of variance for data from a concentrated bipolar Watson distribution Full Text
AUTHORS: Adelaide Figueiredo ;
PUBLISHED: 2006, SOURCE: JOURNAL OF APPLIED STATISTICS, VOLUME: 33, ISSUE: 6, PAGES: 575-581
AUTHORS: Adelaide Figueiredo ;
PUBLISHED: 2006, SOURCE: JOURNAL OF APPLIED STATISTICS, VOLUME: 33, ISSUE: 6, PAGES: 575-581
9915
TITLE: Type-safe two-level data transformation
AUTHORS: Cunha, A ; Oliveira, JN ; Visser, J;
PUBLISHED: 2006, SOURCE: 14th International Symposium on Formal Methods in FM 2006: FORMAL METHODS, PROCEEDINGS, VOLUME: 4085, PAGES: 284-299
AUTHORS: Cunha, A ; Oliveira, JN ; Visser, J;
PUBLISHED: 2006, SOURCE: 14th International Symposium on Formal Methods in FM 2006: FORMAL METHODS, PROCEEDINGS, VOLUME: 4085, PAGES: 284-299
9916
TITLE: Valuing Capacity Investment Decisions: Binomial vs. Markov Models
AUTHORS: Dalila B Fontes ; Fernando A Fontes ;
PUBLISHED: 2006
AUTHORS: Dalila B Fontes ; Fernando A Fontes ;
PUBLISHED: 2006
INDEXED IN: 
Handle
Handle9917
TITLE: Virtual barriers of electronic government in Portugal
AUTHORS: Ezequiel Silva; Joaquim Faias; Carla Teixeira Lopes ;
PUBLISHED: 2006, SOURCE: 1st Iberian Conference on Information Systems and Technologies in ACTAS DA 1A CONFERENCIA IBERICA DE SISTEMAS E TECNOLOGIAS DE INFORMACAO, VOL II, VOLUME: 2, PAGES: 805-820
AUTHORS: Ezequiel Silva; Joaquim Faias; Carla Teixeira Lopes ;
PUBLISHED: 2006, SOURCE: 1st Iberian Conference on Information Systems and Technologies in ACTAS DA 1A CONFERENCIA IBERICA DE SISTEMAS E TECNOLOGIAS DE INFORMACAO, VOL II, VOLUME: 2, PAGES: 805-820
INDEXED IN: Scopus WOS
Scopus WOS9918
TITLE: Visual interactive subgroup discovery with numerical properties of interest
AUTHORS: Paulo J Azevedo; Alípio M Jorge ; Fernando Pereira;
PUBLISHED: 2006
AUTHORS: Paulo J Azevedo; Alípio M Jorge ; Fernando Pereira;
PUBLISHED: 2006
INDEXED IN: Handle
Handle9919
TITLE: Visual interactive subgroup discovery with numerical properties of interest
AUTHORS: Jorge, AM ; Pereira, F; Azevedo, PJ ;
PUBLISHED: 2006, SOURCE: 9th International Conference on Discovery Science in DISCOVERY SCIENCE, PROCEEDINGS, VOLUME: 4265, PAGES: 301-305
AUTHORS: Jorge, AM ; Pereira, F; Azevedo, PJ ;
PUBLISHED: 2006, SOURCE: 9th International Conference on Discovery Science in DISCOVERY SCIENCE, PROCEEDINGS, VOLUME: 4265, PAGES: 301-305
9920
TITLE: Wavelet analysis of the Lisbon and Gibraltar North Atlantic Oscillation winter indices Full Text
AUTHORS: Barbosa, S ; Silva, ME ; Fernandes, MJ ;
PUBLISHED: 2006, SOURCE: INTERNATIONAL JOURNAL OF CLIMATOLOGY, VOLUME: 26, ISSUE: 5, PAGES: 581-593
AUTHORS: Barbosa, S ; Silva, ME ; Fernandes, MJ ;
PUBLISHED: 2006, SOURCE: INTERNATIONAL JOURNAL OF CLIMATOLOGY, VOLUME: 26, ISSUE: 5, PAGES: 581-593
