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: 3642
85 Team MembersFilters -> Year: 2026
3441
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 WOS3442
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
3443
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
Scopus3444
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
3445
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 DBLP3446
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 DBLP3447
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
3448
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
3449
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
3450
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
3451
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
3452
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
WOS3453
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
3454
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
3455
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 WOS3456
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
3457
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
3458
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
3459
TITLE: A comparative study of some issues concerning algorithm recommendation using ranking methods
AUTHORS: Soares, C ; Brazdil, P ;
PUBLISHED: 2002, SOURCE: 8th Ibero-American Conference on Artifical Intelligence (IBERAMIA 02) in ADVANCES IN ARTIFICIAL INTELLIGENCE - IBERAMIA 2002, PROCEEDINGS, VOLUME: 2527, PAGES: 80-89
AUTHORS: Soares, C ; Brazdil, P ;
PUBLISHED: 2002, SOURCE: 8th Ibero-American Conference on Artifical Intelligence (IBERAMIA 02) in ADVANCES IN ARTIFICIAL INTELLIGENCE - IBERAMIA 2002, PROCEEDINGS, VOLUME: 2527, PAGES: 80-89
3460
TITLE: A Formal Correspondence between Offensive and Defensive JavaCard Virtual Machines
AUTHORS: Gilles Barthe ; Guillaume Dufay; Line Jakubiec; Simão Melo de Sousa ;
PUBLISHED: 2002, SOURCE: VMCAI, VOLUME: 2294 LNCS, PAGES: 32-45
AUTHORS: Gilles Barthe ; Guillaume Dufay; Line Jakubiec; Simão Melo de Sousa ;
PUBLISHED: 2002, SOURCE: VMCAI, VOLUME: 2294 LNCS, PAGES: 32-45
