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: 8180
531 Team MembersFilters -> Year: 2024
7721
TITLE: Verifying user interface behaviour with model checking
AUTHORS: José Creissac Campos ; Michael D Harrison ; Karsten Loer;
PUBLISHED: 2004, SOURCE: Verification and Validation of Enterprise Information Systems, Proceedings of the 2nd International Workshop on Verification and Validation of Enterprise Information Systems, VVEIS 2004, In conjunction with ICEIS 2004, Porto, Portugal, April 2004, PAGES: 87-96
AUTHORS: José Creissac Campos ; Michael D Harrison ; Karsten Loer;
PUBLISHED: 2004, SOURCE: Verification and Validation of Enterprise Information Systems, Proceedings of the 2nd International Workshop on Verification and Validation of Enterprise Information Systems, VVEIS 2004, In conjunction with ICEIS 2004, Porto, Portugal, April 2004, PAGES: 87-96
INDEXED IN: 
DBLP
DBLP7722
TITLE: 3D modelling of large urban scenes from diverse sources of information
AUTHORS: Coelho, AF ; Sousa, AA ; Ferreira, FN;
PUBLISHED: 2003, SOURCE: 7th International Conference on Electronic Publishing in FROM INFORMATION TO KNOWLEDGE, PAGES: 278-287
AUTHORS: Coelho, AF ; Sousa, AA ; Ferreira, FN;
PUBLISHED: 2003, SOURCE: 7th International Conference on Electronic Publishing in FROM INFORMATION TO KNOWLEDGE, PAGES: 278-287
INDEXED IN: 
WOS DBLP 
Handle
WOS DBLP Handle7723
TITLE: A CLP-based tool for computer aided generation and solving of maths exercises
AUTHORS: Tomas, AP ; Leal, JP ;
PUBLISHED: 2003, SOURCE: 5th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PROCEEDINGS, VOLUME: 2562, PAGES: 223-240
AUTHORS: Tomas, AP ; Leal, JP ;
PUBLISHED: 2003, SOURCE: 5th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PROCEEDINGS, VOLUME: 2562, PAGES: 223-240
7724
TITLE: A comparative analysis of clustering algorithms applied to load profiling
AUTHORS: Rodrigues, F ; Duarte, J; Figueiredo, V; Vale, Z ; Cordeiro, M;
PUBLISHED: 2003, SOURCE: 3rd International Conference on Machine Learning and Data Mining in Pattern Recognition in MACHINE LEARNING AND DATA MINING IN PATTERN RECOGNITION, PROCEEDINGS, VOLUME: 2734, PAGES: 73-85
AUTHORS: Rodrigues, F ; Duarte, J; Figueiredo, V; Vale, Z ; Cordeiro, M;
PUBLISHED: 2003, SOURCE: 3rd International Conference on Machine Learning and Data Mining in Pattern Recognition in MACHINE LEARNING AND DATA MINING IN PATTERN RECOGNITION, PROCEEDINGS, VOLUME: 2734, PAGES: 73-85
7725
TITLE: A formal approach to the usability engineering
AUTHORS: José Creissac Campos ;
PUBLISHED: 2003, SOURCE: Latin American Conference on Human-Computer Interaction, CLIHC '03 in Latin American Conference on Human-Computer Interaction, CLIHC'03, Rio de Janeiro, Brazil, November 17-20, 2003, VOLUME: 46, PAGES: 17-28
AUTHORS: José Creissac Campos ;
PUBLISHED: 2003, SOURCE: Latin American Conference on Human-Computer Interaction, CLIHC '03 in Latin American Conference on Human-Computer Interaction, CLIHC'03, Rio de Janeiro, Brazil, November 17-20, 2003, VOLUME: 46, PAGES: 17-28
INDEXED IN: 
Scopus DBLP
Scopus DBLP7726
TITLE: A generalized net model of the treatment of mechanically ventilated patients with nosocomial pneumonia
AUTHORS: Todorova, L; Bentes, I. ; Barroso, J ; Temelkov, A;
PUBLISHED: 2003, SOURCE: 10th International Conference on Concurrent Engineering in CONCURRENT ENGINEERING: ADVANCED DESIGN, PRODUCTION AND MANAGEMENT SYSTEMS, PAGES: 1057-1063
AUTHORS: Todorova, L; Bentes, I. ; Barroso, J ; Temelkov, A;
PUBLISHED: 2003, SOURCE: 10th International Conference on Concurrent Engineering in CONCURRENT ENGINEERING: ADVANCED DESIGN, PRODUCTION AND MANAGEMENT SYSTEMS, PAGES: 1057-1063
INDEXED IN: Scopus WOS
Scopus WOS7727
TITLE: A multi-threaded asynchronous language
AUTHORS: Paulino, H ; Marques, P ; Lopes, L ; Vasconcelos, V ; Silva, F ;
PUBLISHED: 2003, SOURCE: 7th International Conference on Parallel Computing Technologies (PaCT 2003) in PARALLEL COMPUTING TECHNOLOGIES, PROCEEDINGS, VOLUME: 2763, PAGES: 316-323
AUTHORS: Paulino, H ; Marques, P ; Lopes, L ; Vasconcelos, V ; Silva, F ;
PUBLISHED: 2003, SOURCE: 7th International Conference on Parallel Computing Technologies (PaCT 2003) in PARALLEL COMPUTING TECHNOLOGIES, PROCEEDINGS, VOLUME: 2763, PAGES: 316-323
7728
TITLE: A multidimensional dynamic regulation model for E-marketplaces: DYNEX
AUTHORS: Tavares, LV ; Pereira, MJ; Coelho, JS ;
PUBLISHED: 2003, SOURCE: 2nd IFIP Conference on E-Commerce, E-Business, E-Government (13E 2002) in TOWARDS THE KNOWLEDGE SOCIETY: E-COMMERCE, E-BUSINESS, AND E-GOVERNMENT, VOLUME: 105, PAGES: 67-81
AUTHORS: Tavares, LV ; Pereira, MJ; Coelho, JS ;
PUBLISHED: 2003, SOURCE: 2nd IFIP Conference on E-Commerce, E-Business, E-Government (13E 2002) in TOWARDS THE KNOWLEDGE SOCIETY: E-COMMERCE, E-BUSINESS, AND E-GOVERNMENT, VOLUME: 105, PAGES: 67-81
INDEXED IN: Scopus WOS
Scopus WOS7729
TITLE: A note on scheduling on a single processor with variable speed
AUTHORS: Jorge M S Valente ; Rui A F S Alves;
PUBLISHED: 2003, SOURCE: Pesquisa Operacional, VOLUME: 23, ISSUE: 3, PAGES: 457-462
AUTHORS: Jorge M S Valente ; Rui A F S Alves;
PUBLISHED: 2003, SOURCE: Pesquisa Operacional, VOLUME: 23, ISSUE: 3, PAGES: 457-462
INDEXED IN: 
CrossRef
CrossRef7730
TITLE: A parallel ILP algorithm that incorporates incremental batch learning
AUTHORS: Nuno Fonseca; Rui Camacho ; Fernado Silva;
PUBLISHED: 2003
AUTHORS: Nuno Fonseca; Rui Camacho ; Fernado Silva;
PUBLISHED: 2003
INDEXED IN: Handle
Handle7731
TITLE: A role based model for the normative specification of organized collective agency and agents interaction Full Text
AUTHORS: Pacheco, O ; Carmo, J ;
PUBLISHED: 2003, SOURCE: AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS, VOLUME: 6, ISSUE: 2, PAGES: 145-184
AUTHORS: Pacheco, O ; Carmo, J ;
PUBLISHED: 2003, SOURCE: AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS, VOLUME: 6, ISSUE: 2, PAGES: 145-184
7732
TITLE: Accurate decision trees for mining high-speed data streams
AUTHORS: Gama, J ; Rocha, R; Medas, P;
PUBLISHED: 2003, SOURCE: 9th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, KDD '03 in Proceedings of the ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, PAGES: 523-528
AUTHORS: Gama, J ; Rocha, R; Medas, P;
PUBLISHED: 2003, SOURCE: 9th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, KDD '03 in Proceedings of the ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, PAGES: 523-528
7733
TITLE: Adaptation to drifting concepts Full Text
AUTHORS: Castillo, G; Gama, J ; Medas, P;
PUBLISHED: 2003, SOURCE: 11th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, VOLUME: 2902, PAGES: 279-293
AUTHORS: Castillo, G; Gama, J ; Medas, P;
PUBLISHED: 2003, SOURCE: 11th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, VOLUME: 2902, PAGES: 279-293
7734
TITLE: Adaptive Bayes for a student modeling prediction task based on learning styles
AUTHORS: Castillo, G; Gama, J ; Breda, AM ;
PUBLISHED: 2003, SOURCE: 9th International Conference on User Modeling in USER MODELING 2003, PROCEEDINGS, VOLUME: 2702, PAGES: 328-332
AUTHORS: Castillo, G; Gama, J ; Breda, AM ;
PUBLISHED: 2003, SOURCE: 9th International Conference on User Modeling in USER MODELING 2003, PROCEEDINGS, VOLUME: 2702, PAGES: 328-332
7735
TITLE: Adaptive gossip-based broadcast
AUTHORS: Rodrigues, L ; Pereira, J ; Handurukande, S; Guerraoui, R; Kermarrec, AM;
PUBLISHED: 2003, SOURCE: International Conference on Dependable Systems and Networks in 2003 INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS, PROCEEDINGS, PAGES: 47-56
AUTHORS: Rodrigues, L ; Pereira, J ; Handurukande, S; Guerraoui, R; Kermarrec, AM;
PUBLISHED: 2003, SOURCE: International Conference on Dependable Systems and Networks in 2003 INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS, PROCEEDINGS, PAGES: 47-56
7736
7737
TITLE: An interoperable GIS solution for the public administration
AUTHORS: Rocha, A ; Lopes, JC ; Bartolo, L; Chilro, R;
PUBLISHED: 2003, SOURCE: 2nd International Conference on Electronic Government (EGOV 2003) in ELECTRONIC GOVENMENT, PROCEEDINGS, VOLUME: 2739, PAGES: 345-350
AUTHORS: Rocha, A ; Lopes, JC ; Bartolo, L; Chilro, R;
PUBLISHED: 2003, SOURCE: 2nd International Conference on Electronic Government (EGOV 2003) in ELECTRONIC GOVENMENT, PROCEEDINGS, VOLUME: 2739, PAGES: 345-350
7738
TITLE: Análise de Séries Temporais com Recurso a Técnicas de Bases de Dados
AUTHORS: César Garcia; João Correia Lopes ;
PUBLISHED: 2003, SOURCE: VIII Jornadas Ingeniería del Software y Bases de Datos (JISBD 2003), 12-14 Noviembre 2003, Alicante, PAGES: 685-694
AUTHORS: César Garcia; João Correia Lopes ;
PUBLISHED: 2003, SOURCE: VIII Jornadas Ingeniería del Software y Bases de Datos (JISBD 2003), 12-14 Noviembre 2003, Alicante, PAGES: 685-694
INDEXED IN: DBLP
DBLP7739
TITLE: Ankle kinematics to evaluate functional recovery in crushed rat sciatic nerve Full Text
AUTHORS: Varejao, ASP ; Cabrita, AM ; Meek, MF; Bulas Cruz, J; Filipe, VM ; Gabriel, RC ; Ferreira, AJ ; Geuna, S; Winter, DA;
PUBLISHED: 2003, SOURCE: MUSCLE & NERVE, VOLUME: 27, ISSUE: 6, PAGES: 706-714
AUTHORS: Varejao, ASP ; Cabrita, AM ; Meek, MF; Bulas Cruz, J; Filipe, VM ; Gabriel, RC ; Ferreira, AJ ; Geuna, S; Winter, DA;
PUBLISHED: 2003, SOURCE: MUSCLE & NERVE, VOLUME: 27, ISSUE: 6, PAGES: 706-714
7740
TITLE: ARCHITECT-R: A System for Reconfigurable Robots Design
AUTHORS: Gonçalves, R.A.; Moraes, P.A.; João M. P. Cardoso ; Denis F. Wolf; Marcio Merino Fernandes; Roseli Francelin Francelin Romero; Eduardo Marques;
PUBLISHED: 2003, SOURCE: Proceedings of the 2003 ACM Symposium on Applied Computing in Proceedings of the 2003 ACM Symposium on Applied Computing (SAC), March 9-12, 2003, Melbourne, FL, USA, PAGES: 679-683
AUTHORS: Gonçalves, R.A.; Moraes, P.A.; João M. P. Cardoso ; Denis F. Wolf; Marcio Merino Fernandes; Roseli Francelin Francelin Romero; Eduardo Marques;
PUBLISHED: 2003, SOURCE: Proceedings of the 2003 ACM Symposium on Applied Computing in Proceedings of the 2003 ACM Symposium on Applied Computing (SAC), March 9-12, 2003, Melbourne, FL, USA, PAGES: 679-683
INDEXED IN: Scopus DBLP
Scopus DBLP