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: 2713

85 Team Members
Filters -> Year: 2024
2501
TÍTULO: Linearization of the lambda-calculus and its relation with intersection type systems
AUTORES: Florido, M ; Damas, L ;
PUBLICAÇÃO: 2004, FONTE: JOURNAL OF FUNCTIONAL PROGRAMMING, VOLUME: 14, NÚMERO: 5, PÁGINAS: 519-546
INDEXADO EM: Scopus WOS DBLP CrossRef: 8
2502
TÍTULO: MARCS - Multi-agent railway control system
AUTORES: Proenca, H ; Oliveira, E ;
PUBLICAÇÃO: 2004, FONTE: 9th Ibero-American Conference on Artificial Intelligence (IBERAMIA 2004) in ADVANCES IN ARTIFICIAL INTELLIGENCE - IBERAMIA 2004, VOLUME: 3315, PÁGINAS: 12-21
INDEXADO EM: Scopus WOS DBLP CrossRef: 9
2503
TÍTULO: Modeling loop unrolling: Approaches and open issues  Full Text
AUTORES: Cardoso, JMP ; Diniz, PC ;
PUBLICAÇÃO: 2004, FONTE: 4th SAMOS International Workshop in COMPUTER SYSTEMS: ARCHITECTURES, MODELING, AND SIMULATION, VOLUME: 3133, PÁGINAS: 224-233
INDEXADO EM: Scopus WOS DBLP CrossRef: 7
2504
TÍTULO: Ontology-services agent to help in the structural and semantic heterogeneity  Full Text
AUTORES: Malucelli, A; Oliveira, E ;
PUBLICAÇÃO: 2004, FONTE: 18th World Computer Congress in VIRTUAL ENTERPRISES AND COLLABORATIVE NETWORKS, VOLUME: 149, PÁGINAS: 175-182
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
2505
TÍTULO: Scheduling parallel tasks on heterogeneous clusters
AUTORES: Barbosa, J ; Morais, C; Monteiro, AP;
PUBLICAÇÃO: 2004, FONTE: Proceedings of the 16th IASTED International Conference on Parallel and Distributed Computing and Systems in Proceedings of the IASTED International Conference on Parallel and Distributed Computing and Systems, VOLUME: 16, PÁGINAS: 449-454
INDEXADO EM: Scopus
2506
TÍTULO: Self-loop pipelining and reconfigurable dataflow arrays  Full Text
AUTORES: Cardoso, JMP ;
PUBLICAÇÃO: 2004, FONTE: 4th SAMOS International Workshop in COMPUTER SYSTEMS: ARCHITECTURES, MODELING, AND SIMULATION, VOLUME: 3133, PÁGINAS: 234-243
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
2507
TÍTULO: Supporting adaptable distributed systems with FORMAware
AUTORES: Moreira, RS ; Blair, GS; Carraoatoso, E;
PUBLICAÇÃO: 2004, FONTE: Proceedings - 24th International Conference on Distributed Computing Systems Workshops in Proceedings - International Conference on Distributed Computing Systems, VOLUME: 24, PÁGINAS: 320-325
INDEXADO EM: Scopus
2508
TÍTULO: The use of Qualitative Indicators for Performance Measurement in Manufacturing Control Systems
AUTORES: Paulo Leitão; Francisco Restivo ;
PUBLICAÇÃO: 2004, FONTE: IFAC Proceedings Volumes, VOLUME: 37, NÚMERO: 4, PÁGINAS: 443-448
INDEXADO EM: CrossRef: 1 Handle
2509
TÍTULO: Towards to similarity identification to help in the agents' negotiation  Full Text
AUTORES: Malucelli, A; Oliveira, E ;
PUBLICAÇÃO: 2004, FONTE: 17th Brazilian Symposium on Artificial Intelligence (SBIA 2004) in ADVANCES IN ARTIFICIAL INTELLIGENCE - SBIA 2004, VOLUME: 3171, PÁGINAS: 536-545
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
2510
TÍTULO: UMTS-WLAN service integration at core network level
AUTORES: Pinto, P; Bernardo, L ; Sobral, P ;
PUBLICAÇÃO: 2004, FONTE: 3rd European Conference on Universal Multiservice Networks in UNIVERSAL MULTISERVICE NETWORKS, PROCEEDINGS, VOLUME: 3262, PÁGINAS: 29-39
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
2511
TÍTULO: Using Meta-Learning to Support Data Mining PDF
AUTORES: Ricardo Vilalta; Christophe Giraud G Carrier; Pavel Brazdil ; Carlos Soares ;
PUBLICAÇÃO: 2004, FONTE: IJCSA, VOLUME: 1, NÚMERO: 1, PÁGINAS: 31-45
INDEXADO EM: DBLP
2512
TÍTULO: Virtual Enterprise Normative Framework Within Electronic Institutions
AUTORES: Henrique Lopes Cardoso ; Eugénio C Oliveira ;
PUBLICAÇÃO: 2004, FONTE: Engineering Societies in the Agents World V, 5th InternationalWorkshop, ESAW 2004, Toulouse, France, October 20-22, 2004, Revised Selected and Invited Papers, VOLUME: 3451, PÁGINAS: 14-32
INDEXADO EM: DBLP CrossRef: 29
2513
TÍTULO: A formal validation approach for holonic control system specifications
AUTORES: Leitao, P ; Colombo, AW; Restivo, F ;
PUBLICAÇÃO: 2003, FONTE: 9th IEEE International Conference on Emerging Technologies and Factory Automation in ETFA 2003: IEEE CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, VOL 1, PROCEEDINGS, VOLUME: 1, NÚMERO: January, PÁGINAS: 203-210
INDEXADO EM: Scopus WOS CrossRef: 3
2514
TÍTULO: A multi-agent system for e-insurance brokering
AUTORES: Nogueira, L ; Oliveira, E ;
PUBLICAÇÃO: 2003, FONTE: NODe 2002 Agent-Related Workshops in Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science), VOLUME: 2592, PÁGINAS: 263-282
INDEXADO EM: Scopus
2515
TÍTULO: Advice-Exchange in Heterogeneous Groups of Learning Agents
AUTORES: Nunes, L ; Oliveira, E ;
PUBLICAÇÃO: 2003, FONTE: Proceedings of the Second International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS 03 in Proceedings of the Interantional Conference on Autonomous Agents, VOLUME: 2, PÁGINAS: 1084-1085
INDEXADO EM: Scopus DBLP CrossRef: 3
2516
TÍTULO: An approach to the formal specification of holonic control systems
AUTORES: Leitão, P; Colombo, AW; Restivo, F ;
PUBLICAÇÃO: 2003, FONTE: 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, PÁGINAS: 59-70
INDEXADO EM: Scopus CrossRef Handle
2517
TÍTULO: An approach to the formal specification of holonic control systems  Full Text
AUTORES: Leitao, P ; Colombo, AW; Restivo, F ;
PUBLICAÇÃO: 2003, FONTE: 1st International Conference on Industrial Applications of Holonic and Multi-Agent Systems in HOLONIC AND MULTI-AGENT SYSTEMS FOR MANUFACTURING, VOLUME: 2744, PÁGINAS: 59-70
INDEXADO EM: Scopus WOS
2518
TÍTULO: An integrated information system powered by Prolog
AUTORES: Porto, A ;
PUBLICAÇÃO: 2003, FONTE: 5th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PROCEEDINGS, VOLUME: 2562, PÁGINAS: 92-109
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
2519
TÍTULO: An Internet DGPS service for precise outdoor navigation
AUTORES: Soares, MG; Malheiro, B ; Restivo, FJ ;
PUBLICAÇÃO: 2003, FONTE: 9th IEEE International Conference on Emerging Technologies and Factory Automation in ETFA 2003: IEEE CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, VOL 1, PROCEEDINGS, VOLUME: 1, NÚMERO: January, PÁGINAS: 512-518
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
2520
TÍTULO: ARCHITECT-R: A System for Reconfigurable Robots Design
AUTORES: Gonçalves, R.A.; Moraes, P.A.; João M. P. Cardoso ; Denis F. Wolf; Marcio Merino Fernandes; Roseli Francelin Francelin Romero; Eduardo Marques;
PUBLICAÇÃO: 2003, FONTE: Proceedings of the 2003 ACM Symposium on Applied Computing in Proceedings of the 2003 ACM Symposium on Applied Computing (SAC), March 9-12, 2003, Melbourne, FL, USA, PÁGINAS: 679-683
INDEXADO EM: Scopus DBLP

Results per Page: 20.
Página 126 de 136. Total de resultados: 2713.