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: 8139
531 Team MembersFilters -> Year: 2024
7401
TITLE: Normative specification: A tool for trust and security Full Text
AUTHORS: Pacheco, O ;
PUBLISHED: 2006, SOURCE: 3rd International Workshop on Formal Aspects in Security and Trust in FORMAL ASPECTS IN SECURITY AND TRUST, VOLUME: 3866, PAGES: 187-202
AUTHORS: Pacheco, O ;
PUBLISHED: 2006, SOURCE: 3rd International Workshop on Formal Aspects in Security and Trust in FORMAL ASPECTS IN SECURITY AND TRUST, VOLUME: 3866, PAGES: 187-202
7402
TITLE: ODAC: Hierarchical Clustering of Time Series Data Streams
AUTHORS: Pedro Pereira Rodrigues ; Joao Gama ; Joao Pedro Pedroso ;
PUBLISHED: 2006, SOURCE: 6th SIAM International Conference on Data Mining in PROCEEDINGS OF THE SIXTH SIAM INTERNATIONAL CONFERENCE ON DATA MINING, VOLUME: 2006, PAGES: 499-503
AUTHORS: Pedro Pereira Rodrigues ; Joao Gama ; Joao Pedro Pedroso ;
PUBLISHED: 2006, SOURCE: 6th SIAM International Conference on Data Mining in PROCEEDINGS OF THE SIXTH SIAM INTERNATIONAL CONFERENCE ON DATA MINING, VOLUME: 2006, PAGES: 499-503
7403
TITLE: On the behavior of SVM and some older algorithms in binary text classification tasks
AUTHORS: Fabrice Colas; Pavel Brazdil ;
PUBLISHED: 2006, SOURCE: 9th International Conference on Text, Speech and Dialogue in TEXT, SPEECH AND DIALOGUE, PROCEEDINGS, VOLUME: 4188, PAGES: 45-52
AUTHORS: Fabrice Colas; Pavel Brazdil ;
PUBLISHED: 2006, SOURCE: 9th International Conference on Text, Speech and Dialogue in TEXT, SPEECH AND DIALOGUE, PROCEEDINGS, VOLUME: 4188, PAGES: 45-52
7404
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
INDEXED IN: 
Scopus 
CrossRef
Scopus CrossRef7405
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
7406
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 DBLP7407
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 CrossRef7408
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
7409
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
Scopus7410
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
Handle7411
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
7412
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
7413
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 WOS7414
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
7415
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
7416
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
DBLP7417
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
CrossRef7418
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
DBLP7419
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 DBLP7420
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
