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: 2901
83 Team MembersFilters -> Year: 2024
2721
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: 3rd International Workshop on Verification, Model Checking, and Abstract Interpretation, VMCAI 2002 in Verification, Model Checking, and Abstract Interpretation, Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers, VOLUME: 2294, PAGES: 32-45
AUTHORS: Gilles Barthe ; Guillaume Dufay; Line Jakubiec; Simão Melo de Sousa ;
PUBLISHED: 2002, SOURCE: 3rd International Workshop on Verification, Model Checking, and Abstract Interpretation, VMCAI 2002 in Verification, Model Checking, and Abstract Interpretation, Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers, VOLUME: 2294, PAGES: 32-45
2722
TITLE: A Holonic Control Approach for Distributed Manufacturing
AUTHORS: Paulo Leitão ; Francisco Restivo ;
PUBLISHED: 2002, SOURCE: Knowledge and Technology Integration in Production and Services, PAGES: 263-270
AUTHORS: Paulo Leitão ; Francisco Restivo ;
PUBLISHED: 2002, SOURCE: Knowledge and Technology Integration in Production and Services, PAGES: 263-270
2723
TITLE: A multi-agent system for e-insurance brokering
AUTHORS: Nogueira, L ; Oliveira, E ;
PUBLISHED: 2002, SOURCE: Agent-Related Workshops on Agent Technol and Software Engn/Agent Technologies for E-Services/3rd Int Symp on Multi-Agents Syst, Large Complex Syst and E-Businesses in AGENT TECHNOLOGIES, INFRASTRUCTURES, TOOLS, AND APPLICATIONS FOR E-SERVICES, VOLUME: 2592, PAGES: 263-282
AUTHORS: Nogueira, L ; Oliveira, E ;
PUBLISHED: 2002, SOURCE: Agent-Related Workshops on Agent Technol and Software Engn/Agent Technologies for E-Services/3rd Int Symp on Multi-Agents Syst, Large Complex Syst and E-Businesses in AGENT TECHNOLOGIES, INFRASTRUCTURES, TOOLS, AND APPLICATIONS FOR E-SERVICES, VOLUME: 2592, PAGES: 263-282
2724
TITLE: Agent-based holonic production control
AUTHORS: Leitao, P ; Restivo, F ;
PUBLISHED: 2002, SOURCE: 13th International Workshop on Database and Expert Systems Applications (DEXA 2002) in 13TH INTERNATIONAL WORKSHOP ON DATABASE AND EXPERT SYSTEMS APPLICATIONS, PROCEEDINGS, PAGES: 589-593
AUTHORS: Leitao, P ; Restivo, F ;
PUBLISHED: 2002, SOURCE: 13th International Workshop on Database and Expert Systems Applications (DEXA 2002) in 13TH INTERNATIONAL WORKSHOP ON DATABASE AND EXPERT SYSTEMS APPLICATIONS, PROCEEDINGS, PAGES: 589-593
2725
TITLE: Cooperative Learning Using Advice Exchange
AUTHORS: Luís Nunes; Eugenio Oliveira ;
PUBLISHED: 2002, SOURCE: Adaptive Agents and Multi-Agent Systems: Adaptation and Multi-Agent Learning, VOLUME: 2636, PAGES: 33-48
AUTHORS: Luís Nunes; Eugenio Oliveira ;
PUBLISHED: 2002, SOURCE: Adaptive Agents and Multi-Agent Systems: Adaptation and Multi-Agent Learning, VOLUME: 2636, PAGES: 33-48
2726
TITLE: Emotional valence-based mechanisms and agent personality
AUTHORS: Oliveira, E ; Sarmento, L;
PUBLISHED: 2002, SOURCE: 16th Brazilian Symposium on Artificial Intelligence (SBIA 2002) in ADVANCES IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 2507, PAGES: 152-162
AUTHORS: Oliveira, E ; Sarmento, L;
PUBLISHED: 2002, SOURCE: 16th Brazilian Symposium on Artificial Intelligence (SBIA 2002) in ADVANCES IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 2507, PAGES: 152-162
2727
TITLE: Evaluation of a visualisation design for knowledge sharing and information discovery
AUTHORS: Gouveia, L. ; Gouveia, FR ;
PUBLISHED: 2002, SOURCE: 3rd International Conference on Enterprise Information Systems (ICEIS 2001) in ENTERPRISE INFORMATION SYSTEMS III, VOLUME: 1, PAGES: 83-89
AUTHORS: Gouveia, L. ; Gouveia, FR ;
PUBLISHED: 2002, SOURCE: 3rd International Conference on Enterprise Information Systems (ICEIS 2001) in ENTERPRISE INFORMATION SYSTEMS III, VOLUME: 1, PAGES: 83-89
INDEXED IN: 
Scopus 
WOS 
DBLP
Scopus WOS DBLP2728
TITLE: Fast and guaranteed C compilation onto the PACT-XPP (TM) reconfigurable computing platform
AUTHORS: Cardoso, JMP ; Weinhardt, M;
PUBLISHED: 2002, SOURCE: 10th Annual IEEE Symposium on Field-Programmable Custom Computing Machines in 10TH ANNUAL IEEE SYMPOSIUM ON FIELD-PROGRAMMABLE CUSTOM COMPUTING MACHINES, PROCEEDINGS, PAGES: 291-292
AUTHORS: Cardoso, JMP ; Weinhardt, M;
PUBLISHED: 2002, SOURCE: 10th Annual IEEE Symposium on Field-Programmable Custom Computing Machines in 10TH ANNUAL IEEE SYMPOSIUM ON FIELD-PROGRAMMABLE CUSTOM COMPUTING MACHINES, PROCEEDINGS, PAGES: 291-292
2729
TITLE: Grasping the potential of digital signal processing through real-time DSP laboratory experiments
AUTHORS: Ferreira, AJS ; Restivo, FJO ;
PUBLISHED: 2002, SOURCE: 10th IEEE Digital Signal Processing Workshop/2nd IEEE Signal Processing Education Workshop in PROCEEDINGS OF THE 2002 IEEE 10TH DIGITAL SIGNAL PROCESSING WORKSHOP & 2ND SIGNAL PROCESSING EDUCATION WORKSHOP, PAGES: 286-291
AUTHORS: Ferreira, AJS ; Restivo, FJO ;
PUBLISHED: 2002, SOURCE: 10th IEEE Digital Signal Processing Workshop/2nd IEEE Signal Processing Education Workshop in PROCEEDINGS OF THE 2002 IEEE 10TH DIGITAL SIGNAL PROCESSING WORKSHOP & 2ND SIGNAL PROCESSING EDUCATION WORKSHOP, PAGES: 286-291
2730
TITLE: Holonic adaptive production control systems
AUTHORS: Leitao, P ; Restivo, F ;
PUBLISHED: 2002, SOURCE: 28th Annual Conference of the IEEE Industrial-Electronics-Society in IECON-2002: PROCEEDINGS OF THE 2002 28TH ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY, VOLS 1-4, VOLUME: 4, PAGES: 2968-2973
AUTHORS: Leitao, P ; Restivo, F ;
PUBLISHED: 2002, SOURCE: 28th Annual Conference of the IEEE Industrial-Electronics-Society in IECON-2002: PROCEEDINGS OF THE 2002 28TH ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY, VOLS 1-4, VOLUME: 4, PAGES: 2968-2973
2731
TITLE: Improved dataset characterisation for meta-learning
AUTHORS: Peng, YH; Flach, PA; Soares, C ; Brazdil, P ;
PUBLISHED: 2002, SOURCE: 5th International Conference on Discovery Science (DS 2002) in DISCOVERY SCIENCE, PROCEEDINGS, VOLUME: 2534, PAGES: 141-152
AUTHORS: Peng, YH; Flach, PA; Soares, C ; Brazdil, P ;
PUBLISHED: 2002, SOURCE: 5th International Conference on Discovery Science (DS 2002) in DISCOVERY SCIENCE, PROCEEDINGS, VOLUME: 2534, PAGES: 141-152
2732
TITLE: On Learning by Exchanging Advice PDF
AUTHORS: Luís Nunes; Eugenio Oliveira ;
PUBLISHED: 2002, SOURCE: CoRR, VOLUME: cs.LG/0203010
AUTHORS: Luís Nunes; Eugenio Oliveira ;
PUBLISHED: 2002, SOURCE: CoRR, VOLUME: cs.LG/0203010
INDEXED IN: DBLP 
arXiv
DBLP arXiv2733
TITLE: On the Relation between Rank 2 Intersection Types and Simple Types PDF
AUTHORS: Sandra Alves ; Mário Florido ;
PUBLISHED: 2002, SOURCE: AGP 2002: Proceedings of the Joint Conference on Declarative Programming, APPIA-GULP-PRODE, Madrid, Spain, September 16-18, 2002., PAGES: 259-274
AUTHORS: Sandra Alves ; Mário Florido ;
PUBLISHED: 2002, SOURCE: AGP 2002: Proceedings of the Joint Conference on Declarative Programming, APPIA-GULP-PRODE, Madrid, Spain, September 16-18, 2002., PAGES: 259-274
INDEXED IN: DBLP
DBLP2734
TITLE: Reflection, Self-Awareness and Self-Healing in OpenORB
AUTHORS: Blair, GS; Coulson, G; Blair, L; Duran Limon, H; Grace, P; Moreira, R ; Parlavantzas, N;
PUBLISHED: 2002, SOURCE: Proceedings of the first Workshop on Self-Healing Systems (WOSS'02) in Proceedings of the first ACM SIGSOFT Workshop on Self-Healing Systems (WOSS'02), PAGES: 9-14
AUTHORS: Blair, GS; Coulson, G; Blair, L; Duran Limon, H; Grace, P; Moreira, R ; Parlavantzas, N;
PUBLISHED: 2002, SOURCE: Proceedings of the first Workshop on Self-Healing Systems (WOSS'02) in Proceedings of the first ACM SIGSOFT Workshop on Self-Healing Systems (WOSS'02), PAGES: 9-14
INDEXED IN: Scopus
Scopus2735
TITLE: Reliable framework architecture for multi-agents systems interaction
AUTHORS: Oliveira, E ; Pereira, G; Gomes, C;
PUBLISHED: 2002, SOURCE: 7th International Conference on Computer Supported Cooperative Work in Design (CSCWD 2002) in PROCEEDINGS OF THE SEVENTH INTERNATIONAL CONFERENCE ON CSCW IN DESIGN, VOLUME: 7, PAGES: 276-281
AUTHORS: Oliveira, E ; Pereira, G; Gomes, C;
PUBLISHED: 2002, SOURCE: 7th International Conference on Computer Supported Cooperative Work in Design (CSCWD 2002) in PROCEEDINGS OF THE SEVENTH INTERNATIONAL CONFERENCE ON CSCW IN DESIGN, VOLUME: 7, PAGES: 276-281
INDEXED IN: Scopus WOS DBLP
Scopus WOS DBLP2736
TITLE: Structural Abstraction and Application in Logic Programming
AUTHORS: António Porto ;
PUBLISHED: 2002, SOURCE: 6th Fuji International Symposium on Functional and Logic Programming, FLOPS 2002 in Functional and Logic Programming, 6th International Symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002, Proceedings, VOLUME: 2441, PAGES: 275-289
AUTHORS: António Porto ;
PUBLISHED: 2002, SOURCE: 6th Fuji International Symposium on Functional and Logic Programming, FLOPS 2002 in Functional and Logic Programming, 6th International Symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002, Proceedings, VOLUME: 2441, PAGES: 275-289
2737
TITLE: Tool-Assisted Specification and Verification of the JavaCard Platform
AUTHORS: Gilles Barthe ; Pierre Courtieu; Guillaume Dufay; Simão Melo de Sousa ;
PUBLISHED: 2002, SOURCE: Algebraic Methodology and Software Technology, 9th International Conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002, Proceedings, VOLUME: 2422, PAGES: 41-59
AUTHORS: Gilles Barthe ; Pierre Courtieu; Guillaume Dufay; Simão Melo de Sousa ;
PUBLISHED: 2002, SOURCE: Algebraic Methodology and Software Technology, 9th International Conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002, Proceedings, VOLUME: 2422, PAGES: 41-59
2738
TITLE: Type inference using constraint handling rules
AUTHORS: Alves, S ; Florido, M ;
PUBLISHED: 2002, SOURCE: WFLP 2002, International Workshop on Functional and (Constraint) Logic Programming, Selected Papers in Electronic Notes in Theoretical Computer Science, VOLUME: 64, PAGES: 59-75
AUTHORS: Alves, S ; Florido, M ;
PUBLISHED: 2002, SOURCE: WFLP 2002, International Workshop on Functional and (Constraint) Logic Programming, Selected Papers in Electronic Notes in Theoretical Computer Science, VOLUME: 64, PAGES: 59-75
2739
TITLE: Using BDI agents to improve driver modelling in a commuter scenario Full Text
AUTHORS: Rossetti, RJF ; Bordini, RH; Bazzan, ALC; Bampi, S; Liu, R; Vliet, DV;
PUBLISHED: 2002, SOURCE: Transportation Research Part C: Emerging Technologies, VOLUME: 10, ISSUE: 5-6, PAGES: 373-398
AUTHORS: Rossetti, RJF ; Bordini, RH; Bazzan, ALC; Bampi, S; Liu, R; Vliet, DV;
PUBLISHED: 2002, SOURCE: Transportation Research Part C: Emerging Technologies, VOLUME: 10, ISSUE: 5-6, PAGES: 373-398
2740
TITLE: XPP-VC: A C Compiler with temporal partitioning for the PACT-XPP architecture
AUTHORS: Cardoso, JMP ; Weinhardt, M;
PUBLISHED: 2002, SOURCE: 12th International Conference on Field-Programmable Logic and Applications in FIELD-PROGRAMMABLE LOGIC AND APPLICATIONS, PROCEEDINGS: RECONFIGURABLE COMPUTING IS GOING MAINSTREAM, VOLUME: 2438, PAGES: 864-874
AUTHORS: Cardoso, JMP ; Weinhardt, M;
PUBLISHED: 2002, SOURCE: 12th International Conference on Field-Programmable Logic and Applications in FIELD-PROGRAMMABLE LOGIC AND APPLICATIONS, PROCEEDINGS: RECONFIGURABLE COMPUTING IS GOING MAINSTREAM, VOLUME: 2438, PAGES: 864-874
