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: 3689
85 Team MembersFilters -> Year: 2026
3481
TITLE: Formal specification of holonic control system ADACOR product holon, using high-level Petri nets
AUTHORS: Leitao, P ; Colombo, AW; Restivo, F ; Schoop, R;
PUBLISHED: 2003, SOURCE: IEEE International Conference on Industrial Informatics (INDIN 2003) in INDIN 2003: IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS, PROCEEDINGS, PAGES: 263-272
AUTHORS: Leitao, P ; Colombo, AW; Restivo, F ; Schoop, R;
PUBLISHED: 2003, SOURCE: IEEE International Conference on Industrial Informatics (INDIN 2003) in INDIN 2003: IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS, PROCEEDINGS, PAGES: 263-272
3482
TITLE: FORMAware: Framework of reflective components for managing architecture adaptation
AUTHORS: Moreira, R ; Blair, G; Carrapatoso, E;
PUBLISHED: 2003, SOURCE: 3rd International Workshop on Software Engineering and Middleware in SOFTWARE ENGINEERING AND MIDDLEWARE, VOLUME: 2596, PAGES: 115-129
AUTHORS: Moreira, R ; Blair, G; Carrapatoso, E;
PUBLISHED: 2003, SOURCE: 3rd International Workshop on Software Engineering and Middleware in SOFTWARE ENGINEERING AND MIDDLEWARE, VOLUME: 2596, PAGES: 115-129
INDEXED IN: 
Scopus 
WOS
Scopus WOS3483
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
3484
TITLE: Identification of adacor holons for manufacturing control
AUTHORS: Leitao, P ; Restivo, F ;
PUBLISHED: 2003, SOURCE: 7th IFAC Workshop on Intelligent Manufacturing Systems in INTELLIGENT MANUFACTURING SYSTEMS 2003, PAGES: 101-106
AUTHORS: Leitao, P ; Restivo, F ;
PUBLISHED: 2003, SOURCE: 7th IFAC Workshop on Intelligent Manufacturing Systems in INTELLIGENT MANUFACTURING SYSTEMS 2003, PAGES: 101-106
INDEXED IN: WOS
WOS3485
TITLE: Identification of ADACOR Holons for Manufacturing Control
AUTHORS: Paulo Leitão ; Francisco Restivo ;
PUBLISHED: 2003, SOURCE: IFAC Proceedings Volumes, VOLUME: 36, ISSUE: 3, PAGES: 109-114
AUTHORS: Paulo Leitão ; Francisco Restivo ;
PUBLISHED: 2003, SOURCE: IFAC Proceedings Volumes, VOLUME: 36, ISSUE: 3, PAGES: 109-114
3486
TITLE: Integration of automation resources in holonic manufacturing applications Full Text
AUTHORS: Leitao, P ; Boissier, R; Casais, F; Restivo, F ;
PUBLISHED: 2003, SOURCE: 1st International Conference on Industrial Applications of Holonic and Multi-Agent Systems in HOLONIC AND MULTI-AGENT SYSTEMS FOR MANUFACTURING, VOLUME: 2744, PAGES: 35-46
AUTHORS: Leitao, P ; Boissier, R; Casais, F; Restivo, F ;
PUBLISHED: 2003, SOURCE: 1st International Conference on Industrial Applications of Holonic and Multi-Agent Systems in HOLONIC AND MULTI-AGENT SYSTEMS FOR MANUFACTURING, VOLUME: 2744, PAGES: 35-46
INDEXED IN: Scopus WOS
Scopus WOS3487
TITLE: Integration of automation resources in holonic manufacturing applications
AUTHORS: Leitão, P ; Boissier, R; Casais, F; Restivo, F ;
PUBLISHED: 2003, SOURCE: 1st International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2003 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 2744, PAGES: 35-46
AUTHORS: Leitão, P ; Boissier, R; Casais, F; Restivo, F ;
PUBLISHED: 2003, SOURCE: 1st International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2003 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 2744, PAGES: 35-46
3488
TITLE: Intercase: An Environment for Prototyping User Interfaces
AUTHORS: Cristina Paludo Santos ; Denílson Rodrigues Da Silva;
PUBLISHED: 2003, SOURCE: Proceedings of the International Conference on Software Engineering Research and Practise, VOLUME: 2, PAGES: 721-725
AUTHORS: Cristina Paludo Santos ; Denílson Rodrigues Da Silva;
PUBLISHED: 2003, SOURCE: Proceedings of the International Conference on Software Engineering Research and Practise, VOLUME: 2, PAGES: 721-725
INDEXED IN: Scopus
Scopus3489
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
3490
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 DBLP3491
TITLE: Learning preferences to provide advice
AUTHORS: Nogueira, L ; Oliveira, E ;
PUBLISHED: 2003, SOURCE: 10th International Conference on Concurrent Engineering in CONCURRENT ENGINEERING: ENHANCED INTEROPERABLE SYSTEMS, PAGES: 129-134
AUTHORS: Nogueira, L ; Oliveira, E ;
PUBLISHED: 2003, SOURCE: 10th International Conference on Concurrent Engineering in CONCURRENT ENGINEERING: ENHANCED INTEROPERABLE SYSTEMS, PAGES: 129-134
INDEXED IN: Scopus WOS DBLP
Scopus WOS DBLP3492
TITLE: Linearization by program transformation
AUTHORS: Alves, S ; Florido, M ;
PUBLISHED: 2003, SOURCE: 13th International Symposium on Logic Based Program Synthesis and Transformation in LOGIC BASED PROGRAM SYNTHESIS AND TRNSFORMATION, VOLUME: 3018, PAGES: 160-175
AUTHORS: Alves, S ; Florido, M ;
PUBLISHED: 2003, SOURCE: 13th International Symposium on Logic Based Program Synthesis and Transformation in LOGIC BASED PROGRAM SYNTHESIS AND TRNSFORMATION, VOLUME: 3018, PAGES: 160-175
3493
TITLE: Loop dissevering: A technique for temporally partitioning loops in dynamically reconfigurable computing platforms
AUTHORS: Cardoso, JMP ;
PUBLISHED: 2003, SOURCE: International Parallel and Distributed Processing Symposium, IPDPS 2003 in Proceedings - International Parallel and Distributed Processing Symposium, IPDPS 2003, PAGES: 181
AUTHORS: Cardoso, JMP ;
PUBLISHED: 2003, SOURCE: International Parallel and Distributed Processing Symposium, IPDPS 2003 in Proceedings - International Parallel and Distributed Processing Symposium, IPDPS 2003, PAGES: 181
3494
TITLE: On combining temporal partitioning and sharing of functional units in compilation for reconfigurable architectures
AUTHORS: Cardoso, JMP ;
PUBLISHED: 2003, SOURCE: IEEE TRANSACTIONS ON COMPUTERS, VOLUME: 52, ISSUE: 10, PAGES: 1362-1375
AUTHORS: Cardoso, JMP ;
PUBLISHED: 2003, SOURCE: IEEE TRANSACTIONS ON COMPUTERS, VOLUME: 52, ISSUE: 10, PAGES: 1362-1375
3495
TITLE: Ontology-services to facilitate agents' interoperability Full Text
AUTHORS: Malucelli, A; Oliveira, ED ;
PUBLISHED: 2003, SOURCE: 6th Pacific Rim International Workshop on Multi-Agents in INTELLIGENT AGENTS AND MULTI-AGENT SYSTEMS, VOLUME: 2891, PAGES: 170-181
AUTHORS: Malucelli, A; Oliveira, ED ;
PUBLISHED: 2003, SOURCE: 6th Pacific Rim International Workshop on Multi-Agents in INTELLIGENT AGENTS AND MULTI-AGENT SYSTEMS, VOLUME: 2891, PAGES: 170-181
3496
TITLE: Ranking learning algorithms: Using IBL and meta-learning on accuracy and time results Full Text
AUTHORS: Brazdil, PB ; Soares, C ; Da Costa, JP ;
PUBLISHED: 2003, SOURCE: MACHINE LEARNING, VOLUME: 50, ISSUE: 3, PAGES: 251-277
AUTHORS: Brazdil, PB ; Soares, C ; Da Costa, JP ;
PUBLISHED: 2003, SOURCE: MACHINE LEARNING, VOLUME: 50, ISSUE: 3, PAGES: 251-277
3497
TITLE: Real time Internet DGPS service
AUTHORS: Snares, MG; Malheiro, B ; Restivo, FJ ;
PUBLISHED: 2003, SOURCE: 7th World Multiconference on Systemics, Cybernetics and Informatics in 7TH WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL IX, PROCEEDINGS: COMPUTER SCIENCE AND ENGINEERING: II, PAGES: 162-167
AUTHORS: Snares, MG; Malheiro, B ; Restivo, FJ ;
PUBLISHED: 2003, SOURCE: 7th World Multiconference on Systemics, Cybernetics and Informatics in 7TH WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL IX, PROCEEDINGS: COMPUTER SCIENCE AND ENGINEERING: II, PAGES: 162-167
INDEXED IN: WOS
WOS3498
TITLE: Simulation of Data Distribution Strategies for LU Factorization on Heterogeneous Machines
AUTHORS: Jorge G. Barbosa ; Morais, C.N.; Armando J. Padilha;
PUBLISHED: 2003, SOURCE: 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 22-26 April 2003, Nice, France, CD-ROM/Abstracts Proceedings, PAGES: 103
AUTHORS: Jorge G. Barbosa ; Morais, C.N.; Armando J. Padilha;
PUBLISHED: 2003, SOURCE: 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 22-26 April 2003, Nice, France, CD-ROM/Abstracts Proceedings, PAGES: 103
3499
TITLE: Sophistication revisited
AUTHORS: Antunes, L ; Fortnow, Lance ;
PUBLISHED: 2003, SOURCE: 30th International Colloquium on Automata, Languages and Programming (ICALP 2003) in AUTOMATA, LANGUAGES AND PROGRAMMING, PROCEEDINGS, VOLUME: 2719, PAGES: 267-277
AUTHORS: Antunes, L ; Fortnow, Lance ;
PUBLISHED: 2003, SOURCE: 30th International Colloquium on Automata, Languages and Programming (ICALP 2003) in AUTOMATA, LANGUAGES AND PROGRAMMING, PROCEEDINGS, VOLUME: 2719, PAGES: 267-277
3500
TITLE: Towards autonomy, self-organisation and learning in holonic manufacturing
AUTHORS: Leitao, P ; Restivo, F ;
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: 544-553
AUTHORS: Leitao, P ; Restivo, F ;
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: 544-553
INDEXED IN: Scopus WOS
Scopus WOS