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: 10656
535 Team MembersFilters -> Year: 2026
9861
TITLE: On the semantics of componentware: A coalgebraic persecutive
AUTHORS: Luís S Barbosa; Sun Meng; Bernhard K Aichernig; Nuno Rodrigues ;
PUBLISHED: 2006, SOURCE: Mathematical Frameworks For Component Software: Models For Analysis And Synthesis, PAGES: 69-117
AUTHORS: Luís S Barbosa; Sun Meng; Bernhard K Aichernig; Nuno Rodrigues ;
PUBLISHED: 2006, SOURCE: Mathematical Frameworks For Component Software: Models For Analysis And Synthesis, PAGES: 69-117
9862
TITLE: Organizational survival in cooperation networks: The case of automobile manufacturing Full Text
AUTHORS: Campos, P ; Brazdil, P ; Brito, P ;
PUBLISHED: 2006, SOURCE: 7th Working Conference on Virtual Enterprises in Network-Centric Collaboration and Supporting Frameworks, VOLUME: 224, PAGES: 77-84
AUTHORS: Campos, P ; Brazdil, P ; Brito, P ;
PUBLISHED: 2006, SOURCE: 7th Working Conference on Virtual Enterprises in Network-Centric Collaboration and Supporting Frameworks, VOLUME: 224, PAGES: 77-84
9863
TITLE: Os agentes de software e o processo de tomada de decisão : estudo empírico do impacto de um shopbot
AUTHORS: Maria Bernardo ;
PUBLISHED: 2006
AUTHORS: Maria Bernardo ;
PUBLISHED: 2006
INDEXED IN: 
Handle
Handle9864
TITLE: Our experiences with optimizations in Sun's Java Just-In-Time compilers Full Text
AUTHORS: Da Silva, AF; Costa, VS ;
PUBLISHED: 2006, SOURCE: Journal of Universal Computer Science, VOLUME: 12, ISSUE: 7, PAGES: 788-810
AUTHORS: Da Silva, AF; Costa, VS ;
PUBLISHED: 2006, SOURCE: Journal of Universal Computer Science, VOLUME: 12, ISSUE: 7, PAGES: 788-810
INDEXED IN: 
Scopus 
DBLP
Scopus DBLP9865
TITLE: Parallel progressive precomputed radiance transfer
AUTHORS: Santos, LP ; Valentim, S; Fernandes, AR;
PUBLISHED: 2006, SOURCE: 22nd Spring Conference on Computer Graphics, SCCG 2006 in Proceedings - SCCG 2006: 22nd Spring Conference on Computer Graphics, PAGES: 33-40
AUTHORS: Santos, LP ; Valentim, S; Fernandes, AR;
PUBLISHED: 2006, SOURCE: 22nd Spring Conference on Computer Graphics, SCCG 2006 in Proceedings - SCCG 2006: 22nd Spring Conference on Computer Graphics, PAGES: 33-40
INDEXED IN: Scopus 
CrossRef
Scopus CrossRef9866
TITLE: Patterns for Documenting Frameworks - Part II. customization
AUTHORS: Ademar Aguiar ; Gabriel David ;
PUBLISHED: 2006, SOURCE: 11th European Conference on Pattern Languages of Programs, EuroPLoP 2006 in EuroPLoP' 2006, Eleventh European Conference on Pattern Languages of Programs, Irsee, Germany, July 5-9, 2006, PAGES: 393-406
AUTHORS: Ademar Aguiar ; Gabriel David ;
PUBLISHED: 2006, SOURCE: 11th European Conference on Pattern Languages of Programs, EuroPLoP 2006 in EuroPLoP' 2006, Eleventh European Conference on Pattern Languages of Programs, Irsee, Germany, July 5-9, 2006, PAGES: 393-406
9867
TITLE: Patterns for documenting frameworks: Customization
AUTHORS: Aguiar, A ; David, G ;
PUBLISHED: 2006, SOURCE: PLoP Pattern Languages of Programs 2006 Conference, PLoP in PLoP 2006 - PLoP Pattern Languages of Programs 2006 Conference Proceedings
AUTHORS: Aguiar, A ; David, G ;
PUBLISHED: 2006, SOURCE: PLoP Pattern Languages of Programs 2006 Conference, PLoP in PLoP 2006 - PLoP Pattern Languages of Programs 2006 Conference Proceedings
INDEXED IN: Scopus
Scopus9868
TITLE: Performance of the EM algorithm on the identification of a mixture
of Watson distributions defined on the hypersphere
AUTHORS: Adelaide Figueiredo ; Paulo Gomes;
PUBLISHED: 2006
AUTHORS: Adelaide Figueiredo ; Paulo Gomes;
PUBLISHED: 2006
INDEXED IN: Handle
Handle9869
TITLE: PERSONA: Customization of services based on smart user modeling [PERSONA: Personalização de serviços com base na modelização inteligente de utilizadores]
AUTHORS: Santos, A ; Gomes, P; Antunes, B; Rodrigues, L ; Barbeira, J;
PUBLISHED: 2006, SOURCE: 1a Conferencia Iberica de Sistemas e Tecnologias de Informacao, CISTI 2006 - 1st Iberian Conference on Information Systems and Technologies, CISTI 2006 in CISTI 2006 - Actas da 1a Conferencia Iberica de Sistemas e Tecnologias de Informacao, VOLUME: 2, PAGES: 607-621
AUTHORS: Santos, A ; Gomes, P; Antunes, B; Rodrigues, L ; Barbeira, J;
PUBLISHED: 2006, SOURCE: 1a Conferencia Iberica de Sistemas e Tecnologias de Informacao, CISTI 2006 - 1st Iberian Conference on Information Systems and Technologies, CISTI 2006 in CISTI 2006 - Actas da 1a Conferencia Iberica de Sistemas e Tecnologias de Informacao, VOLUME: 2, PAGES: 607-621
INDEXED IN: Scopus
Scopus9870
TITLE: PERSONA: personalization of services with a basis in intelligent user modelling
AUTHORS: Arnaldo Santos ; Paulo Gomes; Bruno Antunes; Luis Rodrigues; Jacinto Barbeira;
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, PAGES: 607-621
AUTHORS: Arnaldo Santos ; Paulo Gomes; Bruno Antunes; Luis Rodrigues; Jacinto Barbeira;
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, PAGES: 607-621
INDEXED IN: 
WOS
WOS9871
TITLE: Personalization of e-newsletters based on web log analysis and clustering
AUTHORS: Carla Carvalho; Alipio M Jorge ; Carlos Soares ;
PUBLISHED: 2006, SOURCE: IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology (WI-IAT 2006) in 2006 IEEE/WIC/ACM International Conference on Web Intelligence, (WI 2006 Main Conference Proceedings), PAGES: 724-727
AUTHORS: Carla Carvalho; Alipio M Jorge ; Carlos Soares ;
PUBLISHED: 2006, SOURCE: IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology (WI-IAT 2006) in 2006 IEEE/WIC/ACM International Conference on Web Intelligence, (WI 2006 Main Conference Proceedings), PAGES: 724-727
9872
TITLE: PFORTE: Revising probabilistic FOL theories
AUTHORS: Paes, A; Revoredo, K; Zaverucha, G; Costa, VS ;
PUBLISHED: 2006, SOURCE: IBERAMIA-SBIA 2006 - 2nd International Joint Conference, 10th Ibero-American Conference on AI, 18th Brazilian AI Symposium in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 4140 LNAI, PAGES: 441-450
AUTHORS: Paes, A; Revoredo, K; Zaverucha, G; Costa, VS ;
PUBLISHED: 2006, SOURCE: IBERAMIA-SBIA 2006 - 2nd International Joint Conference, 10th Ibero-American Conference on AI, 18th Brazilian AI Symposium in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 4140 LNAI, PAGES: 441-450
9873
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 WOS9874
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
9875
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
9876
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
DBLP9877
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
9878
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
DBLP9879
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 DBLP9880
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
