Laboratório de Inteligência Artificial e Ciência de Computadores (LIACC)
Artificial Intelligence and Computer Science Laboratory

Publications Actions
Publicações no Perfil Institucional do Authenticus

Uma Instituição (Grupo) no Authenticus é uma organização que engloba um conjunto de Investigadores (equipa da Instituição ou do Grupo). O conjunto de Investigadores depende da estrutura organizacional da instituição em cada ano e pode ser definido no perfil da Instituição, na secção “Investigadores”. Com base na equipa definida, o Authenticus produz listas de publicações, estatísticas e relatórios institucionais.

As publicações listadas no perfil da Instituição no Authenticus dependem de dois parâmetros:

  • Investigadores associados à equipa da Instituição em cada ano.
  • Origem das Publicações.

As publicações associadas à Instituição podem ter três origens:

  • Publicações validadas pelos membros da equipa - Inclui todas as publicações validadas pelos membros da equipa; é necessário que a equipa da Instituição esteja definida.
  • Todas as Publicadas pelos membros da equipa - Inclui todas as anteriores mais aquelas em que um dos autores foi identificado com um membro da equipa, ainda que não tenha sido validada; é necessário que a equipa da Instituição esteja definida.
  • Com Base na Afiliação - inclui todas as publicações que têm a Instituição ou o Grupo mencionado na afiliação; não é necessário que a equipa da Instituição esteja definida mas, por outro lado, não é garantido que todas as publicações da Instituição sejam listadas.
External   Internal

Update Citation

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!

Update PrePrints

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!

Publications Count: 2901

83 Team Members
Filters -> 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
INDEXED IN: Scopus DBLP CrossRef: 16
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
INDEXED IN: CrossRef: 8
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
INDEXED IN: WOS DBLP CrossRef: 4
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
INDEXED IN: WOS CrossRef: 10
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
INDEXED IN: DBLP CrossRef: 8
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
INDEXED IN: Scopus WOS DBLP CrossRef: 6
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
INDEXED IN: Scopus WOS DBLP
2728
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
INDEXED IN: WOS DBLP CrossRef: 3
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
INDEXED IN: Scopus WOS CrossRef: 3
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
INDEXED IN: Scopus WOS CrossRef: 4
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
INDEXED IN: Scopus WOS DBLP CrossRef: 76
2732
TITLE: On Learning by Exchanging Advice PDF
AUTHORS: Luís Nunes; Eugenio Oliveira ;
PUBLISHED: 2002, SOURCE: CoRR, VOLUME: cs.LG/0203010
INDEXED IN: DBLP arXiv
2733
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
INDEXED IN: DBLP
2734
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
INDEXED IN: Scopus
2735
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
INDEXED IN: Scopus WOS DBLP
2736
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
INDEXED IN: Scopus DBLP CrossRef: 1
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
INDEXED IN: Scopus DBLP CrossRef: 7
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
INDEXED IN: Scopus DBLP CrossRef: 3
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
INDEXED IN: Scopus CrossRef: 53
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
INDEXED IN: Scopus WOS DBLP CrossRef: 12

Results per Page: 20.
Página 137 de 146. Total de resultados: 2901.