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

85 Team Members
Filters -> Year: 2026
3401
TÍTULO: E-manufacturing in Europe: Enterprise networking
AUTORES: Restivo, FJ ;
PUBLICAÇÃO: 2004, FONTE: 18th International Conference on CAD/CAM Robotics and Factories of the Future (CARs&FOF) in E-MANUFACTURING: BUSINESS PARADIGMS AND SUPPORTING TECHNOLOGIES, PÁGINAS: 17-22
INDEXADO EM: WOS CrossRef
3402
TÍTULO: Generating timed trajectories for an autonomous vehicle: A non-linear dynamical systems approach  Full Text
AUTORES: Santos, CMP ;
PUBLICAÇÃO: 2004, FONTE: IEEE International Conference on Robotics and Automation in 2004 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION, VOLS 1- 5, PROCEEDINGS, VOLUME: 2004, NÚMERO: 4, PÁGINAS: 3741-3746
INDEXADO EM: Scopus WOS CrossRef: 16
3403
TÍTULO: Identifying classes of users to facilitate negotiation
AUTORES: Nogueira, L ; Oliveira, E ;
PUBLICAÇÃO: 2004, FONTE: 4th Working Conference on Virtual Enterprises in PROCESSES AND FOUNDATIONS FOR VIRTUAL ORGANIZATIONS, VOLUME: 134, PÁGINAS: 527-534
INDEXADO EM: Scopus WOS DBLP
3404
TÍTULO: Improving numerical reasoning capabilities of inductive logic programming systems
AUTORES: Alves, A; Camacho, R ; 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: 195-204
INDEXADO EM: Scopus WOS DBLP CrossRef: 2 Handle
3405
TÍTULO: Inferring cost equations for recursive, polymorphic and higher-order functional programs
AUTORES: Vasconcelos, PB ; Hammond, Kevin ;
PUBLICAÇÃO: 2004, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 3145, PÁGINAS: 86-101
INDEXADO EM: Scopus CrossRef: 47
3406
TÍTULO: Integrity for electronic patient record reports
AUTORES: Ferreira, A ; Correia, R ; Antunes, L ; Palhares, E; Marques, P ; Costa, P; Pereira, AD ;
PUBLICAÇÃO: 2004, FONTE: 17th IEEE Symposium on Computer-Based Medical Systems in 17TH IEEE SYMPOSIUM ON COMPUTER-BASED MEDICAL SYSTEMS, PROCEEDINGS, VOLUME: 17, PÁGINAS: 4-9
INDEXADO EM: Scopus WOS DBLP CrossRef: 5
3407
TÍTULO: Learning from Multiple Sources
AUTORES: Luís Nunes ; Eugénio C Oliveira ;
PUBLICAÇÃO: 2004, FONTE: AAMAS, VOLUME: 3, PÁGINAS: 1106-1113
INDEXADO EM: Scopus DBLP Handle
3408
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
3409
TÍTULO: MARCS - Multi-agent railway control system
AUTORES: Proença, 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: 12
3410
TÍTULO: Modeling loop unrolling: Approaches and open issues
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: 9
3411
TÍTULO: Multi-outlet retail site location assessment  Full Text
AUTORES: Mendes A.B. ; Themido I.H.;
PUBLICAÇÃO: 2004, FONTE: International Transactions in Operational Research, VOLUME: 11, NÚMERO: 1, PÁGINAS: 1-18
INDEXADO EM: Scopus CrossRef
3412
TÍTULO: Ontology-services agent to help in the structural and semantic heterogeneity
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
3413
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
3414
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
3415
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
3416
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
3417
TÍTULO: Towards to similarity identification to help in the agents' negotiation
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
3418
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
3419
TÍTULO: Using Meta-Learning to Support Data Mining
AUTORES: Ricardo Vilalta; Christophe G Giraud Carrier; Pavel Brazdil ; Carlos Soares ;
PUBLICAÇÃO: 2004, FONTE: Int. J. Comput. Sci. Appl., VOLUME: 1, NÚMERO: 1, PÁGINAS: 31-45
INDEXADO EM: DBLP
3420
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

Results per Page: 20.
Página 171 de 183. Total de resultados: 3642.