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
3481
TÍTULO: A formal executable semantics of the JavaCard platform
AUTORES: Barthe, G ; Dufay, G; Jakubiec, L; Serpette, B; de Sousa, SM ;
PUBLICAÇÃO: 2001, FONTE: 10th European Symposium on Programming in PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, VOLUME: 2028, PÁGINAS: 302-319
INDEXADO EM: Scopus WOS DBLP
3482
TÍTULO: A language for specifying complete timetabling problems
AUTORES: Reis, LP ; Oliveira, E ;
PUBLICAÇÃO: 2001, FONTE: 3rd International Conference on Practice and Theory of Automated Timetabling in PRACTICE AND THEORY OF AUTOMATED TIMETABLING III, VOLUME: 2079, PÁGINAS: 322-341
INDEXADO EM: Scopus WOS DBLP CrossRef: 14
3483
TÍTULO: A multi-agent based cell controller
AUTORES: Leitao, P ; Restivo, F ; Putnik, G ;
PUBLICAÇÃO: 2001, FONTE: 8th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2001) in ETFA 2001: 8TH IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, VOL 2, PROCEEDINGS, VOLUME: 2, PÁGINAS: 463-470
INDEXADO EM: Scopus WOS CrossRef: 5
3484
TÍTULO: A reflective component-based and architecture aware framework to manage architecture composition
AUTORES: Moreira, RS ; Blair, GS; Carrapatoso, E;
PUBLICAÇÃO: 2001, FONTE: 3rd International Symposium on Distributed Objects and Applications, DOA 2001 in Proceedings - 3rd International Symposium on Distributed Objects and Applications, DOA 2001, PÁGINAS: 187-196
INDEXADO EM: Scopus CrossRef: 8
3486
TÍTULO: Agents' advanced features for negotiation and coordination  Full Text
AUTORES: Oliveira, E ;
PUBLICAÇÃO: 2001, FONTE: 9th Advanced Course on Artificial Intelligence (ACAI 2001)/3rd European Agent Systems Summer School (EASSS 2001) in MULTI-AGENT SYSTEMS AND APPLICATIONS, VOLUME: 2086, PÁGINAS: 173-186
INDEXADO EM: WOS DBLP
3487
TÍTULO: Applying DIP techniques to microscopic biological images
AUTORES: Araujo, AA; Faria, BM ; Silva, MAR; Reis, HJ;
PUBLICAÇÃO: 2001, FONTE: Nonlinear Image Processing and Pattern Analysis XII in Proceedings of SPIE - The International Society for Optical Engineering, VOLUME: 4304, PÁGINAS: 58-66
INDEXADO EM: Scopus CrossRef
3488
TÍTULO: Argumentation as Distributed Belief Revision: Conflict Resolution in Decentralised Co-operative Multi-agent Systems
AUTORES: Benedita Malheiro ; Eugénio Oliveira ;
PUBLICAÇÃO: 2001, FONTE: EPIA, VOLUME: 2258 LNAI, PÁGINAS: 205-218
INDEXADO EM: Scopus DBLP CrossRef: 2
3489
TÍTULO: COACH UNILANG - A Standard Language for Coaching a (Robo)Soccer Team
AUTORES: Luís Paulo Reis ; Nuno Lau ;
PUBLICAÇÃO: 2001, FONTE: RoboCup, VOLUME: 2377 LNAI, PÁGINAS: 183-192
INDEXADO EM: Scopus DBLP CrossRef: 15
3490
TÍTULO: Compilation Increasing the Scheduling Scope for Multi-memory-FPGA-Based Custom Computing Machines
AUTORES: João M P Cardoso ; Horácio C Neto;
PUBLICAÇÃO: 2001, FONTE: FPL, VOLUME: 2147, PÁGINAS: 523-533
INDEXADO EM: Scopus DBLP CrossRef
3491
TÍTULO: Electronic Institutions as a Framework for Agents' Negotiation and Mutual Commitment
AUTORES: Ana Paula Rocha ; Eugénio C Oliveira ;
PUBLICAÇÃO: 2001, FONTE: EPIA, VOLUME: 2258 LNAI, PÁGINAS: 232-245
INDEXADO EM: Scopus DBLP CrossRef: 5
3492
TÍTULO: FC Portugal 2001 Team Description: Flexible Teamwork and Configurable Strategy
AUTORES: Nuno Lau ; Luís Paulo Reis ;
PUBLICAÇÃO: 2001, FONTE: RoboCup, VOLUME: 2377 LNAI, PÁGINAS: 515-518
INDEXADO EM: Scopus DBLP CrossRef: 3
3493
TÍTULO: Jakarta: A Toolset for Reasoning about JavaCard
AUTORES: Gilles Barthe ; Guillaume Dufay; Marieke Huisman; Simão Melo de Sousa ;
PUBLICAÇÃO: 2001, FONTE: E-smart, VOLUME: 2140, PÁGINAS: 2-18
INDEXADO EM: Scopus DBLP
3494
TÍTULO: Novel Algorithm Combining Temporal Partitioning and Sharing of Functional Units
AUTORES: Cardoso, JMP ;
PUBLICAÇÃO: 2001, FONTE: 9th Annual IEEE Symposium on Field-Programmable Custom Computing Machines, FCCM 2001 in Proceedings - 9th Annual IEEE Symposium on Field-Programmable Custom Computing Machines, FCCM 2001, PÁGINAS: 31-40
INDEXADO EM: Scopus DBLP
3495
TÍTULO: Parallel image processing system on a cluster of personal computers - Best student paper award: First prize
AUTORES: Barbosa, J ; João Manuel R. S. Tavares ; Padilha, AJ;
PUBLICAÇÃO: 2001, FONTE: 4th International Conference on Vector and Parallel Processing (VECPAR 2000) in VECTOR AND PARALLEL PROCESSING - VECPAR 2000, VOLUME: 1981, PÁGINAS: 439-452
INDEXADO EM: Scopus WOS DBLP CrossRef
3496
TÍTULO: Reducing Rankings of Classifiers by Eliminating Redundant Classifiers
AUTORES: Pavel Brazdil ; Carlos Soares ; Rui Pereira;
PUBLICAÇÃO: 2001, FONTE: EPIA, VOLUME: 2258 LNAI, PÁGINAS: 14-21
INDEXADO EM: Scopus DBLP CrossRef: 2
3497
TÍTULO: RoboCup-2000 - The Fourth Robotic Soccer World Championships
AUTORES: Stone, P; Asada, M; Balch, T; D'Andrea, R; Fujita, M; Hengst, B; Kraetzschmar, G; Lima, P ; Lau, N ; Lund, H; Polani, D; Scerri, P; Tadokoro, S; Weigel, T; Wyeth, G;
PUBLICAÇÃO: 2001, FONTE: AI MAGAZINE, VOLUME: 22, NÚMERO: 1, PÁGINAS: 11-38
INDEXADO EM: Scopus WOS
3498
TÍTULO: Sampling-Based Relative Landmarks: Systematically Test-Driving Algorithms Before Choosing
AUTORES: Carlos Soares ; Johann Petrak; Pavel Brazdil ;
PUBLICAÇÃO: 2001, FONTE: EPIA, VOLUME: 2258 LNAI, PÁGINAS: 88-95
INDEXADO EM: Scopus DBLP CrossRef: 19
3499
TÍTULO: Self-tuned parallel processing system for heterogeneous clusters
AUTORES: Barbosa, J ; João Manuel R. S. Tavares ; Padilha, A;
PUBLICAÇÃO: 2001, FONTE: International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA 2001) in PDPTA'2001: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, PÁGINAS: 1451-1457
INDEXADO EM: WOS
3500
TÍTULO: The design and implementation of open ORB 2
AUTORES: Blair, GS; Coulson, G; Andersen, A; Blair, L; Clarke, M; Costa, F; Duran Limon, H; Fitzpatrick, T; Johnston, L; Moreira, R ; Parlavantzas, N; Saikoski, K;
PUBLICAÇÃO: 2001, FONTE: IEEE Distributed Systems Online, VOLUME: 2, NÚMERO: 6
INDEXADO EM: Scopus

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