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: 3644
86 Team MembersFilters -> Year: 2026
3441
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
WOS3442
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
3443
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 WOS3444
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
3445
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
Scopus3446
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
3447
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 DBLP3448
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 DBLP3449
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 TRANSFORMATION, 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 TRANSFORMATION, VOLUME: 3018, PAGES: 160-175
3450
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
3451
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
3452
TITLE: Ontology-services to facilitate agents' interoperability
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
3453
TITLE: Ranking learning algorithms: Using IBL and meta-learning on accuracy and time results
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
3454
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
WOS3455
TITLE: Simulation of Data Distribution Strategies for LU Factorization on Heterogeneous Machines
AUTHORS: Jorge G Barbosa ; Morais, CN; Armando J Padilha;
PUBLISHED: 2003, SOURCE: IPDPS, PAGES: 103
AUTHORS: Jorge G Barbosa ; Morais, CN; Armando J Padilha;
PUBLISHED: 2003, SOURCE: IPDPS, PAGES: 103
3456
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
3457
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 WOS3458
TITLE: Towards Autonomy, Self-Organisation and Learning in Holonic Manufacturing
AUTHORS: Paulo Leitão ; Francisco Restivo ;
PUBLISHED: 2003, SOURCE: Lecture Notes in Computer Science - Multi-Agent Systems and Applications III, PAGES: 544-553
AUTHORS: Paulo Leitão ; Francisco Restivo ;
PUBLISHED: 2003, SOURCE: Lecture Notes in Computer Science - Multi-Agent Systems and Applications III, PAGES: 544-553
3459
TITLE: Type-based XML processing in logic programming
AUTHORS: Coelho, J ; Florido, M ;
PUBLISHED: 2003, SOURCE: 5th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PROCEEDINGS, VOLUME: 2562, PAGES: 273-285
AUTHORS: Coelho, J ; Florido, M ;
PUBLISHED: 2003, SOURCE: 5th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PROCEEDINGS, VOLUME: 2562, PAGES: 273-285
3460
TITLE: Using depth to capture average-case complexity
AUTHORS: Antunes, L ; Fortnow, Lance ; Vinodchandran, NV;
PUBLISHED: 2003, SOURCE: 14th International Symposium on Fundamentals of Computation Theory in FUNDAMENTALS OF COMPUTATION THEORY, PROCEEDINGS, VOLUME: 2751, PAGES: 303-310
AUTHORS: Antunes, L ; Fortnow, Lance ; Vinodchandran, NV;
PUBLISHED: 2003, SOURCE: 14th International Symposium on Fundamentals of Computation Theory in FUNDAMENTALS OF COMPUTATION THEORY, PROCEEDINGS, VOLUME: 2751, PAGES: 303-310
