Artificial Intelligence and Computer Science Laboratory (LIACC)
Laboratório de Inteligência Artificial e Ciência de Computadores
AuthID: I-000-18J
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: 2713
85 Team MembersFilters -> Year: 2024
2441
TITLE: An infrastructure to functionally test designs generated by compilers targeting FPGAs PDF Full Text
AUTHORS: Rodrigues, R; Cardoso, JMP ;
PUBLISHED: 2005, SOURCE: Design, Automation and Test in Europe Conference and Exhibition (DATE 05) in DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION, VOLS 1 AND 2, PROCEEDINGS, VOLUME: I, PAGES: 30-31
AUTHORS: Rodrigues, R; Cardoso, JMP ;
PUBLISHED: 2005, SOURCE: Design, Automation and Test in Europe Conference and Exhibition (DATE 05) in DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION, VOLS 1 AND 2, PROCEEDINGS, VOLUME: I, PAGES: 30-31
2442
TITLE: Applying biological paradigms to emerge behaviour in RoboCup Rescue team
AUTHORS: Reinaldo, F; Certo, J; Cordeiro, N; Reis, LP ; Camacho, R ; Lau, N ;
PUBLISHED: 2005, SOURCE: 12th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 3808, PAGES: 422-434
AUTHORS: Reinaldo, F; Certo, J; Cordeiro, N; Reis, LP ; Camacho, R ; Lau, N ;
PUBLISHED: 2005, SOURCE: 12th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 3808, PAGES: 422-434
2443
TITLE: CHIADO - Compilation of high-level computationally intensive algorithms to dynamically reconfligurable computing systems
AUTHORS: Cardoso, JMP ;
PUBLISHED: 2005, SOURCE: Conference on VLSI Circuits and Systems II in VLSI Circuits and Systems II, Pts 1 and 2, VOLUME: 5837, PAGES: 893-901
AUTHORS: Cardoso, JMP ;
PUBLISHED: 2005, SOURCE: Conference on VLSI Circuits and Systems II in VLSI Circuits and Systems II, Pts 1 and 2, VOLUME: 5837, PAGES: 893-901
2444
TITLE: Combining ontologies and agents to help in solving the heterogeneity problem in e-commerce negotiations
AUTHORS: Malucelli, A; Palzer, D; Oliveira, E ;
PUBLISHED: 2005, SOURCE: International Workshop on Data Engineering Issues in E-Commerce (DEEC 2005) in DEEC 2005: INTERNATIONAL WORKSHOP ON DATA ENGINEERING ISSUES IN E-COMMERCE, PROCEEDINGS, VOLUME: 2005, PAGES: 26-35
AUTHORS: Malucelli, A; Palzer, D; Oliveira, E ;
PUBLISHED: 2005, SOURCE: International Workshop on Data Engineering Issues in E-Commerce (DEEC 2005) in DEEC 2005: INTERNATIONAL WORKSHOP ON DATA ENGINEERING ISSUES IN E-COMMERCE, PROCEEDINGS, VOLUME: 2005, PAGES: 26-35
2445
TITLE: Compilation and temporal partitioning for a coarse-grain reconfigurable architecture Full Text
AUTHORS: Cardoso, JMP ; Weinhardt, M;
PUBLISHED: 2005, SOURCE: New Algorithms, Architectures and Applications for Reconfigurable Computing, PAGES: 105-115
AUTHORS: Cardoso, JMP ; Weinhardt, M;
PUBLISHED: 2005, SOURCE: New Algorithms, Architectures and Applications for Reconfigurable Computing, PAGES: 105-115
2446
TITLE: Contributions to an electronic institution supporting virtual enterprises' life cycle
AUTHORS: Rocha, AP ; Cardoso, HL ; Oliveira, E ;
PUBLISHED: 2005, SOURCE: Virtual Enterprise Integration: Technological and Organizational Perspectives, PAGES: 229-246
AUTHORS: Rocha, AP ; Cardoso, HL ; Oliveira, E ;
PUBLISHED: 2005, SOURCE: Virtual Enterprise Integration: Technological and Organizational Perspectives, PAGES: 229-246
2447
TITLE: Data parallel scheduling of operations in linear algebra on heterogeneous clusters
AUTHORS: Morais, C; Barbosa, J ; Tadeu, P;
PUBLISHED: 2005, SOURCE: WSEAS Transactions on Computers, VOLUME: 4, ISSUE: 10, PAGES: 1440-1448
AUTHORS: Morais, C; Barbosa, J ; Tadeu, P;
PUBLISHED: 2005, SOURCE: WSEAS Transactions on Computers, VOLUME: 4, ISSUE: 10, PAGES: 1440-1448
INDEXED IN: 
Scopus
Scopus2448
TITLE: Data-driven array architectures: a rebirth?
AUTHORS: Cardoso, JMP ;
PUBLISHED: 2005, SOURCE: Conference on VLSI Circuits and Systems II in VLSI Circuits and Systems II, Pts 1 and 2, VOLUME: 5837, PAGES: 479-490
AUTHORS: Cardoso, JMP ;
PUBLISHED: 2005, SOURCE: Conference on VLSI Circuits and Systems II in VLSI Circuits and Systems II, Pts 1 and 2, VOLUME: 5837, PAGES: 479-490
2449
TITLE: Data-driven regular reconfigurable arrays: Design space exploration and mapping Full Text
AUTHORS: Ferreira, R; Cardoso, JMP ; Toledo, A; Neto, HC;
PUBLISHED: 2005, SOURCE: 5th International Workshop on Embedded Computer Systems - Architectures, Modeling,, and Simulation in EMBEDDED COMPUTER SYSTEMS: ARCHITECTURES, MODELING, AND SIMULATION, VOLUME: 3553, PAGES: 41-50
AUTHORS: Ferreira, R; Cardoso, JMP ; Toledo, A; Neto, HC;
PUBLISHED: 2005, SOURCE: 5th International Workshop on Embedded Computer Systems - Architectures, Modeling,, and Simulation in EMBEDDED COMPUTER SYSTEMS: ARCHITECTURES, MODELING, AND SIMULATION, VOLUME: 3553, PAGES: 41-50
2450
TITLE: Distributed Surveillance System
AUTHORS: Hugo Dias; Joao Rocha; Paulo Silva; Carlos Leao; Luis Paulo Reis ;
PUBLISHED: 2005, SOURCE: Portuguese Conference on Artificial Intelligence in 2005 Portuguese Conference on Artificial Intelligence, Proceedings, PAGES: 257-261
AUTHORS: Hugo Dias; Joao Rocha; Paulo Silva; Carlos Leao; Luis Paulo Reis ;
PUBLISHED: 2005, SOURCE: Portuguese Conference on Artificial Intelligence in 2005 Portuguese Conference on Artificial Intelligence, Proceedings, PAGES: 257-261
2451
TITLE: Dynamic loop pipelining in data-driven architectures
AUTHORS: Cardoso, JMP ;
PUBLISHED: 2005, SOURCE: 2005 Computing Frontiers Conference in 2005 Computing Frontiers Conference, PAGES: 106-115
AUTHORS: Cardoso, JMP ;
PUBLISHED: 2005, SOURCE: 2005 Computing Frontiers Conference in 2005 Computing Frontiers Conference, PAGES: 106-115
2452
TITLE: ECOLANG - A communication language for simulations of complex ecological systems
AUTHORS: Pereira, A ; Duarte, P; Reis, LP ;
PUBLISHED: 2005, SOURCE: 19th European Conference on Modelling and Simulation (ECMS 2005) in SIMULATION IN WIDER EUROPE, PAGES: 493-500
AUTHORS: Pereira, A ; Duarte, P; Reis, LP ;
PUBLISHED: 2005, SOURCE: 19th European Conference on Modelling and Simulation (ECMS 2005) in SIMULATION IN WIDER EUROPE, PAGES: 493-500
INDEXED IN: Scopus 
WOS 
Handle
Scopus WOS Handle2453
TITLE: Editorial message for the special track on embedded systems: Applications, solutions, and techniques. applications, solutions, and techniques Full Text
AUTHORS: Bechini, A; Bodin, F; Prete, CA; Bartolini, S; Buttazzo, G; Cardoso, JMP ; Dang, T; Engels, M; Foglia, P; Giorgi, R; Jha, NK; Knijnenburg, P; Krall, A; Kuo, TW; Ledeczi, A; Liu, J; Memik, G; O'Boyle, M; Schants, R; Sips, HJ; ...More
PUBLISHED: 2005, SOURCE: 20th Annual ACM Symposium on Applied Computing in Proceedings of the ACM Symposium on Applied Computing, VOLUME: 1, PAGES: 836-837
AUTHORS: Bechini, A; Bodin, F; Prete, CA; Bartolini, S; Buttazzo, G; Cardoso, JMP ; Dang, T; Engels, M; Foglia, P; Giorgi, R; Jha, NK; Knijnenburg, P; Krall, A; Kuo, TW; Ledeczi, A; Liu, J; Memik, G; O'Boyle, M; Schants, R; Sips, HJ; ...More
PUBLISHED: 2005, SOURCE: 20th Annual ACM Symposium on Applied Computing in Proceedings of the ACM Symposium on Applied Computing, VOLUME: 1, PAGES: 836-837
INDEXED IN: Scopus 
CrossRef
Scopus CrossRef2454
TITLE: ERS-210 mobile video surveillance system
AUTHORS: Daniel C Silva ; Tiago F Pereira; Vasco V Moreira;
PUBLISHED: 2005, SOURCE: Portuguese Conference on Artificial Intelligence in 2005 Portuguese Conference on Artificial Intelligence, Proceedings, PAGES: 262-265
AUTHORS: Daniel C Silva ; Tiago F Pereira; Vasco V Moreira;
PUBLISHED: 2005, SOURCE: Portuguese Conference on Artificial Intelligence in 2005 Portuguese Conference on Artificial Intelligence, Proceedings, PAGES: 262-265
2455
TITLE: Experimental validation of ADACOR holonic control system
AUTHORS: Leitao, P ; Restivo, F ;
PUBLISHED: 2005, SOURCE: 2nd International Conference on Industrial Applications of Holonic and Mult-Agent Systems in HOLONIC AND MULTI-AGENT SYSTEMS FOR MANUFACTURING, PROCEEDINGS, VOLUME: 3593, PAGES: 121-132
AUTHORS: Leitao, P ; Restivo, F ;
PUBLISHED: 2005, SOURCE: 2nd International Conference on Industrial Applications of Holonic and Mult-Agent Systems in HOLONIC AND MULTI-AGENT SYSTEMS FOR MANUFACTURING, PROCEEDINGS, VOLUME: 3593, PAGES: 121-132
INDEXED IN: Scopus WOS
Scopus WOS2456
TITLE: Experimental Validation of ADACOR Holonic Control System
AUTHORS: Paulo Leitão ; Francisco Restivo ;
PUBLISHED: 2005, SOURCE: Holonic and Multi-Agent Systems for Manufacturing - Lecture Notes in Computer Science, PAGES: 121-132
AUTHORS: Paulo Leitão ; Francisco Restivo ;
PUBLISHED: 2005, SOURCE: Holonic and Multi-Agent Systems for Manufacturing - Lecture Notes in Computer Science, PAGES: 121-132
INDEXED IN: CrossRef Handle
CrossRef Handle2457
TITLE: Formal specification of ADACOR holonic control system: Coordination models Full Text
AUTHORS: Paulo Leitao ; Armando W Colombo; Francisco Restivo ;
PUBLISHED: 2005, SOURCE: 44th IEEE Conference on Decision Control/European Control Conference (CCD-ECC) in 2005 44th IEEE Conference on Decision and Control & European Control Conference, Vols 1-8, VOLUME: 2005, PAGES: 2137-2142
AUTHORS: Paulo Leitao ; Armando W Colombo; Francisco Restivo ;
PUBLISHED: 2005, SOURCE: 44th IEEE Conference on Decision Control/European Control Conference (CCD-ECC) in 2005 44th IEEE Conference on Decision and Control & European Control Conference, Vols 1-8, VOLUME: 2005, PAGES: 2137-2142
2458
TITLE: General Artificial Intelligence (GAIW 2005) - Introduction
AUTHORS: Balsa, J ; Moniz, L; Reis, LP ;
PUBLISHED: 2005, SOURCE: 12th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 3808, PAGES: 487-487
AUTHORS: Balsa, J ; Moniz, L; Reis, LP ;
PUBLISHED: 2005, SOURCE: 12th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 3808, PAGES: 487-487
INDEXED IN: WOS
WOS2459
TITLE: Holonic manufacturing control: A practical implementation
AUTHORS: Leitao, P ; Casais, F; Restivo, F ;
PUBLISHED: 2005, SOURCE: 6th IFIP International Conference on Information Technology for Balanced Automation Systems in Manufacturing and Services in EMERGING SOLUTIONS FOR FUTURE MANUFACTURING SYSTEMS, VOLUME: 159, PAGES: 33-44
AUTHORS: Leitao, P ; Casais, F; Restivo, F ;
PUBLISHED: 2005, SOURCE: 6th IFIP International Conference on Information Technology for Balanced Automation Systems in Manufacturing and Services in EMERGING SOLUTIONS FOR FUTURE MANUFACTURING SYSTEMS, VOLUME: 159, PAGES: 33-44
INDEXED IN: Scopus WOS
Scopus WOS2460
TITLE: Holonic Manufacturing Control: A Practical Implementation
AUTHORS: Paulo Leitão; Francisco Casais; Francisco Restivo ;
PUBLISHED: 2005, SOURCE: Emerging Solutions for Future Manufacturing Systems - IFIP International Federation for Information Processing, PAGES: 33-44
AUTHORS: Paulo Leitão; Francisco Casais; Francisco Restivo ;
PUBLISHED: 2005, SOURCE: Emerging Solutions for Future Manufacturing Systems - IFIP International Federation for Information Processing, PAGES: 33-44
INDEXED IN: CrossRef Handle
CrossRef Handle