Department of Informatics Engineering (DEI)
Departamento de Engenharia Informática
AuthID: I-000-0K9
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: 3865
49 Team MembersFilters -> Year: 2024
3601
TITLE: Bridging the gap between compilation and synthesis in the DEFACTO system
AUTHORS: Diniz, P ; Hall, M; Park, J; So, B; Ziegler, H;
PUBLISHED: 2003, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 2624, PAGES: 52-70
AUTHORS: Diniz, P ; Hall, M; Park, J; So, B; Ziegler, H;
PUBLISHED: 2003, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 2624, PAGES: 52-70
INDEXED IN: 
Scopus
Scopus3602
TITLE: Brokering in electronic insurance markets
AUTHORS: Nogueira, L ; Oliveira, E ;
PUBLISHED: 2003, SOURCE: 3rd International Central and Eastern European Conference on Multi-Agent Systems (CEEMAS (2003) in MULTI-AGENT SYSTEMS AND APPLICATIONS III, PROCEEDINGS, VOLUME: 2691, PAGES: 574-583
AUTHORS: Nogueira, L ; Oliveira, E ;
PUBLISHED: 2003, SOURCE: 3rd International Central and Eastern European Conference on Multi-Agent Systems (CEEMAS (2003) in MULTI-AGENT SYSTEMS AND APPLICATIONS III, PROCEEDINGS, VOLUME: 2691, PAGES: 574-583
3603
TITLE: Calligraphic interfaces: Mixed metaphors for design
AUTHORS: Pereira, JP; Jorge, JA ; Branco, VA ; Ferreira, FN;
PUBLISHED: 2003, SOURCE: 10th International Workshop on Design, Specification and Verification of Interactive Systems in INTERACTIVE SYSTEMS: DESIGN, SPECIFICATION, AND VERIFICATION, VOLUME: 2844, PAGES: 154-170
AUTHORS: Pereira, JP; Jorge, JA ; Branco, VA ; Ferreira, FN;
PUBLISHED: 2003, SOURCE: 10th International Workshop on Design, Specification and Verification of Interactive Systems in INTERACTIVE SYSTEMS: DESIGN, SPECIFICATION, AND VERIFICATION, VOLUME: 2844, PAGES: 154-170
3604
TITLE: Compilation for FPGA-based reconfigurable hardware Full Text
AUTHORS: Cardoso, JMP ; Neto, HC ;
PUBLISHED: 2003, SOURCE: IEEE DESIGN & TEST OF COMPUTERS, VOLUME: 20, ISSUE: 2, PAGES: 65-75
AUTHORS: Cardoso, JMP ; Neto, HC ;
PUBLISHED: 2003, SOURCE: IEEE DESIGN & TEST OF COMPUTERS, VOLUME: 20, ISSUE: 2, PAGES: 65-75
3605
TITLE: Compiler-generated communication for pipelined FPGA applications Full Text
AUTHORS: Ziegler, HE; Hall, MW; Diniz, PC ;
PUBLISHED: 2003, SOURCE: Proceedings of the 40th Design Automation Conference in Proceedings - Design Automation Conference, PAGES: 610-615
AUTHORS: Ziegler, HE; Hall, MW; Diniz, PC ;
PUBLISHED: 2003, SOURCE: Proceedings of the 40th Design Automation Conference in Proceedings - Design Automation Conference, PAGES: 610-615
INDEXED IN: Scopus
Scopus3606
TITLE: Cooperative learning using advice exchange
AUTHORS: Nunes, L ; Oliveira, E ;
PUBLISHED: 2003, SOURCE: 2nd Symposium on Adaptive Agents and Multi-Agent Systems in ADAPTIVE AGENTS AND MULTI-AGENT SYSTEMS: ADAPTATION AND MULTI-AGENT LEARNING, VOLUME: 2636, PAGES: 33-48
AUTHORS: Nunes, L ; Oliveira, E ;
PUBLISHED: 2003, SOURCE: 2nd Symposium on Adaptive Agents and Multi-Agent Systems in ADAPTIVE AGENTS AND MULTI-AGENT SYSTEMS: ADAPTATION AND MULTI-AGENT LEARNING, VOLUME: 2636, PAGES: 33-48
INDEXED IN: Scopus 
WOS
Scopus WOS3607
TITLE: Coordenação em sistemas multi-Agente : Aplicações na gestão universitária e futebol robótico
AUTHORS: Luís P G d Reis ;
PUBLISHED: 2003
AUTHORS: Luís P G d Reis ;
PUBLISHED: 2003
INDEXED IN: 
Handle
Handle3608
TITLE: Data search and reorganization using FPGAs: Application to spatial pointer-based data structures
AUTHORS: Diniz, PC ; Park, J;
PUBLISHED: 2003, SOURCE: 11th Annual IEEE Symposium on Field-Programmable Custom Computing Machines, FCCM 2003 in IEEE Symposium on FPGAs for Custom Computing Machines, Proceedings, VOLUME: 2003-January, PAGES: 207-217
AUTHORS: Diniz, PC ; Park, J;
PUBLISHED: 2003, SOURCE: 11th Annual IEEE Symposium on Field-Programmable Custom Computing Machines, FCCM 2003 in IEEE Symposium on FPGAs for Custom Computing Machines, Proceedings, VOLUME: 2003-January, PAGES: 207-217
INDEXED IN: Scopus
Scopus3609
TITLE: Detection and validation of lung field contours on chest radiographs
AUTHORS: Mendonca, AM ; Alves Da Silva, J ; Campilho, A ;
PUBLISHED: 2003, SOURCE: Proceedings of the IASTED International Conference on Biomedical Engineering in Proceedings of the IASTED International Conference on Biomedical Engineering, PAGES: 183-188
AUTHORS: Mendonca, AM ; Alves Da Silva, J ; Campilho, A ;
PUBLISHED: 2003, SOURCE: Proceedings of the IASTED International Conference on Biomedical Engineering in Proceedings of the IASTED International Conference on Biomedical Engineering, PAGES: 183-188
INDEXED IN: Scopus
Scopus3610
TITLE: ECO: An empirical-based compilation and optimization system
AUTHORS: Baradaran, N; Chame, J; Chen, C; Diniz, P ; Hall, M; Lee, YJ; Liu, B; Lucas, R;
PUBLISHED: 2003, SOURCE: International Parallel and Distributed Processing Symposium, IPDPS 2003 in Proceedings - International Parallel and Distributed Processing Symposium, IPDPS 2003
AUTHORS: Baradaran, N; Chame, J; Chen, C; Diniz, P ; Hall, M; Lee, YJ; Liu, B; Lucas, R;
PUBLISHED: 2003, SOURCE: International Parallel and Distributed Processing Symposium, IPDPS 2003 in Proceedings - International Parallel and Distributed Processing Symposium, IPDPS 2003
INDEXED IN: Scopus
Scopus3611
TITLE: Efficient data structures for inductive logic programming
AUTHORS: Fonseca, N ; Rocha, R ; Camacho, R ; Silva, F ;
PUBLISHED: 2003, SOURCE: 13th International Conference on Inductive Logic Programming in INDUCTIVE LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 2835, PAGES: 130-145
AUTHORS: Fonseca, N ; Rocha, R ; Camacho, R ; Silva, F ;
PUBLISHED: 2003, SOURCE: 13th International Conference on Inductive Logic Programming in INDUCTIVE LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 2835, PAGES: 130-145
3612
TITLE: Eliminating Synchronization Bottlenecks Using Adaptive Replication
AUTHORS: Rinard, MC; Diniz, PC ;
PUBLISHED: 2003, SOURCE: ACM Transactions on Programming Languages and Systems, VOLUME: 25, ISSUE: 3, PAGES: 316-359
AUTHORS: Rinard, MC; Diniz, PC ;
PUBLISHED: 2003, SOURCE: ACM Transactions on Programming Languages and Systems, VOLUME: 25, ISSUE: 3, PAGES: 316-359
3613
TITLE: Emotional Advantage for Adaptability and Autonomy
AUTHORS: Oliveira, E ; Sarmento, L;
PUBLISHED: 2003, SOURCE: Proceedings of the Second International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS 03 in Proceedings of the Interantional Conference on Autonomous Agents, VOLUME: 2, PAGES: 305-312
AUTHORS: Oliveira, E ; Sarmento, L;
PUBLISHED: 2003, SOURCE: Proceedings of the Second International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS 03 in Proceedings of the Interantional Conference on Autonomous Agents, VOLUME: 2, PAGES: 305-312
3614
TITLE: Exchanging advice and learning to trust
AUTHORS: Nunes, L ; Oliveira, E ;
PUBLISHED: 2003, SOURCE: 7th International Workshop on Cooperative Information Agents in COOPERATIVE INFORMATION AGENTS VII, PROCEEDINGS, VOLUME: 2782, PAGES: 250-265
AUTHORS: Nunes, L ; Oliveira, E ;
PUBLISHED: 2003, SOURCE: 7th International Workshop on Cooperative Information Agents in COOPERATIVE INFORMATION AGENTS VII, PROCEEDINGS, VOLUME: 2782, PAGES: 250-265
3615
TITLE: Experimental evaluation of a caching technique for ILP Full Text
AUTHORS: Fonseca, N ; Costa, VS ; Silva, F ; Camacho, R ;
PUBLISHED: 2003, SOURCE: 11th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, VOLUME: 2902, PAGES: 151-155
AUTHORS: Fonseca, N ; Costa, VS ; Silva, F ; Camacho, R ;
PUBLISHED: 2003, SOURCE: 11th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, VOLUME: 2902, PAGES: 151-155
3616
TITLE: From C programs to the configure-execute model Full Text
AUTHORS: Cardoso, JMP ; Weinhardt, M;
PUBLISHED: 2003, SOURCE: Design, Automation and Test in Europe Conference and Exhibition (DATE 03) in DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION, PROCEEDINGS, PAGES: 576-581
AUTHORS: Cardoso, JMP ; Weinhardt, M;
PUBLISHED: 2003, SOURCE: Design, Automation and Test in Europe Conference and Exhibition (DATE 03) in DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION, PROCEEDINGS, PAGES: 576-581
3617
TITLE: High Performance Computing for Computational Science - VECPAR 2002, 5th International Conference, Porto, Portugal, June 26-28, 2002, Selected Papers and Invited Talks
AUTHORS: José Laginha L M Palma ; Jack Dongarra; Vicente Hernández; António Augusto de Sousa ;
PUBLISHED: 2003, SOURCE: VECPAR, VOLUME: 2565
AUTHORS: José Laginha L M Palma ; Jack Dongarra; Vicente Hernández; António Augusto de Sousa ;
PUBLISHED: 2003, SOURCE: VECPAR, VOLUME: 2565
3618
TITLE: Improving the efficiency of ILP systems Full Text
AUTHORS: Camacho, R ;
PUBLISHED: 2003, SOURCE: 11th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, VOLUME: 2902, PAGES: 224-228
AUTHORS: Camacho, R ;
PUBLISHED: 2003, SOURCE: 11th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, VOLUME: 2902, PAGES: 224-228
3619
TITLE: Is the UCI repository useful for data mining? Full Text
AUTHORS: Soares, C ;
PUBLISHED: 2003, SOURCE: 11th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, VOLUME: 2902, ISSUE: 2902, PAGES: 209-223
AUTHORS: Soares, C ;
PUBLISHED: 2003, SOURCE: 11th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, VOLUME: 2902, ISSUE: 2902, PAGES: 209-223
3620
TITLE: Learning as a methodology for partner selection in agent-based negotiation
AUTHORS: Pereira, G; Oliveira, E ;
PUBLISHED: 2003, SOURCE: 10th International Conference on Concurrent Engineering in CONCURRENT ENGINEERING: ENHANCED INTEROPERABLE SYSTEMS, PAGES: 135-141
AUTHORS: Pereira, G; Oliveira, E ;
PUBLISHED: 2003, SOURCE: 10th International Conference on Concurrent Engineering in CONCURRENT ENGINEERING: ENHANCED INTEROPERABLE SYSTEMS, PAGES: 135-141
INDEXED IN: Scopus WOS 
DBLP
Scopus WOS DBLP