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

85 Team Members
Filters -> Year: 2026
3521
TÍTULO: Structural Abstraction and Application in Logic Programming
AUTORES: António Porto ;
PUBLICAÇÃO: 2002, FONTE: 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, PÁGINAS: 275-289
INDEXADO EM: Scopus DBLP CrossRef: 1
3522
TÍTULO: Tool-Assisted Specification and Verification of the JavaCard Platform
AUTORES: Gilles Barthe ; Pierre Courtieu; Guillaume Dufay; Simão Melo de Sousa ;
PUBLICAÇÃO: 2002, FONTE: Algebraic Methodology and Software Technology, 9th International Conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002, Proceedings, VOLUME: 2422, PÁGINAS: 41-59
INDEXADO EM: Scopus DBLP CrossRef: 7
3523
TÍTULO: Type inference using constraint handling rules
AUTORES: Alves, S ; Florido, M ;
PUBLICAÇÃO: 2002, FONTE: WFLP 2002, International Workshop on Functional and (Constraint) Logic Programming, Selected Papers in Electronic Notes in Theoretical Computer Science, VOLUME: 64, PÁGINAS: 59-75
INDEXADO EM: Scopus DBLP CrossRef: 3
3524
TÍTULO: Using BDI agents to improve driver modelling in a commuter scenario  Full Text
AUTORES: Rossetti, RJF ; Bordini, RH; Bazzan, ALC; Bampi, S; Liu, R; Vliet, DV;
PUBLICAÇÃO: 2002, FONTE: Transportation Research Part C: Emerging Technologies, VOLUME: 10, NÚMERO: 5-6, PÁGINAS: 373-398
INDEXADO EM: Scopus CrossRef: 53
3525
TÍTULO: XPP-VC: A C Compiler with temporal partitioning for the PACT-XPP architecture
AUTORES: Cardoso, JMP ; Weinhardt, M;
PUBLICAÇÃO: 2002, FONTE: 12th International Conference on Field-Programmable Logic and Applications in FIELD-PROGRAMMABLE LOGIC AND APPLICATIONS, PROCEEDINGS: RECONFIGURABLE COMPUTING IS GOING MAINSTREAM, VOLUME: 2438, PÁGINAS: 864-874
INDEXADO EM: Scopus WOS DBLP CrossRef: 15
3526
TÍTULO: 5dpo Team Description
AUTORES: Paulo G Costa ; Armando Sousa ; Paulo Marques; Pedro Costa ; Susana Gaio; António Paulo Moreira ;
PUBLICAÇÃO: 2001, FONTE: 5th Robot World Cup Soccer Games and Conferences, RoboCup 2001 in RoboCup 2001: Robot Soccer World Cup V, VOLUME: 2377, PÁGINAS: 563-566
INDEXADO EM: Scopus DBLP
3527
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
3528
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: 13
3529
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
3530
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
3531
TÍTULO: Agents Advanced Features for Negotiation in Electronic Commerce and Virtual Organisations Formation Processes
AUTORES: Eugenio Oliveira ; Ana Paula Rocha ;
PUBLICAÇÃO: 2001, FONTE: Agent Mediated Electronic Commerce, The European AgentLink Perspective., VOLUME: 1991, PÁGINAS: 78-97
INDEXADO EM: DBLP CrossRef: 29
3532
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
3533
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
3534
TÍTULO: Argumentation as distributed belief revision: Conflict resolution in decentralised co-operative multi-agent systems
AUTORES: Malheiro, B ; Oliveira, E ;
PUBLICAÇÃO: 2001, FONTE: 10th Portuguese Conference on Artificial Intelligence, EPIA 2001 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 2258 LNAI, PÁGINAS: 205-218
INDEXADO EM: Scopus DBLP CrossRef: 2
3535
TÍTULO: COACH UNILANG - A Standard Language for Coaching a (Robo)Soccer Team
AUTORES: Luís Paulo Reis ; Nuno Lau ;
PUBLICAÇÃO: 2001, FONTE: 5th Robot World Cup Soccer Games and Conferences, RoboCup 2001 in RoboCup 2001: Robot Soccer World Cup V, VOLUME: 2377, PÁGINAS: 183-192
INDEXADO EM: Scopus DBLP CrossRef: 15
3536
TÍTULO: Compilation increasing the scheduling scope for multi-memory-FPGA-based custom computing machines
AUTORES: Cardoso, JMP ; Neto, HC;
PUBLICAÇÃO: 2001, FONTE: 11th International Conference on Field-Programmable Logic and Applications, FPL 2001 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 2147, PÁGINAS: 523-533
INDEXADO EM: Scopus DBLP CrossRef
3537
TÍTULO: Electronic institutions as a framework for agents' negotiation and mutual commitment
AUTORES: Rocha, AP ; Oliveira, E ;
PUBLICAÇÃO: 2001, FONTE: 10th Portuguese Conference on Artificial Intelligence, EPIA 2001 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 2258 LNAI, PÁGINAS: 232-245
INDEXADO EM: Scopus DBLP CrossRef: 5
3538
TÍTULO: FC Portugal 2001 Team Description: Flexible Teamwork and Configurable Strategy
AUTORES: Nuno Lau ; Luís Paulo Reis ;
PUBLICAÇÃO: 2001, FONTE: 5th Robot World Cup Soccer Games and Conferences, RoboCup 2001 in RoboCup 2001: Robot Soccer World Cup V, VOLUME: 2377, PÁGINAS: 515-518
INDEXADO EM: Scopus DBLP CrossRef: 3
3539
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: Smart Card Programming and Security, International Conference on Research in Smart Cards, E-smart 2001, Cannes, France, September 19-21, 2001, Proceedings, VOLUME: 2140, PÁGINAS: 2-18
INDEXADO EM: Scopus DBLP
3540
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

Results per Page: 20.
Página 177 de 185. Total de resultados: 3689.