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

85 Team Members
Filters -> Year: 2024
2321
TÍTULO: Reconfigurable production control systems: Beyond ADACOR
AUTORES: Leitao, P ; Mendes, J; Colombo, AW; Restivo, F ;
PUBLICAÇÃO: 2007, FONTE: IFAC International Workshop on Intelligent Manufacturing Systems, IMS'07 in IFAC Proceedings Volumes (IFAC-PapersOnline), VOLUME: 8, NÚMERO: PART 1, PÁGINAS: 129-134
INDEXADO EM: Scopus
2322
TÍTULO: Rejoinder to letter to the editor from C. Genest and J-F. Plante concerning 'Pinto da Costa, J. & Soares, C. (2005) A weighted rank measure of correlation.'  Full Text
AUTORES: Joaquim Pinto da Costa ; Carlos Soares ;
PUBLICAÇÃO: 2007, FONTE: AUSTRALIAN & NEW ZEALAND JOURNAL OF STATISTICS, VOLUME: 49, NÚMERO: 2, PÁGINAS: 205-207
INDEXADO EM: Scopus WOS CrossRef: 3
2323
TÍTULO: Robust vision algorithms for quadruped soccer robots
AUTORES: Luis Paulo Reis ;
PUBLICAÇÃO: 2007, FONTE: International Symposium on Computational Modelling of Objects Represented in Images (CompIMAGE 2006) in COMPUTATIONAL MODELLING OF OBJECTS REPRESENTED IN IMAGES: FUNDAMENTALS, METHODS AND APPLICATIONS, PÁGINAS: 367-372
INDEXADO EM: Scopus WOS DBLP
2324
TÍTULO: Semantic image retrieval using region-based relevance feedback  Full Text
AUTORES: Jose M Torres ; David Hutchison; Luis Paulo Reis ;
PUBLICAÇÃO: 2007, FONTE: 4th International Workshop on Adaptive Multimedia Retrieval - User, Context, and Feedback in Adaptive Multimedia Retrieval: User, Context, and Feedback, VOLUME: 4398, PÁGINAS: 192-206
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
2325
TÍTULO: Sequence disunification and its application in Collaborative Schema Construction
AUTORES: Coelho, J ; Florido, M ; Kutsia, T;
PUBLICAÇÃO: 2007, FONTE: 8th International Conference on Web Information Systems Engineering (WISE 2007) in WEB INFORMATION SYSTEMS ENGINEERING - WISE 2007 WORKSHOPS, VOLUME: 4832, PÁGINAS: 91-102
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
2326
TÍTULO: Setplays: achieving coordination by the appropriate use of arbitrary pre-defined flexible plans and inter-robot communication
AUTORES: Luís Mota; Luís Paulo Reis ;
PUBLICAÇÃO: 2007, FONTE: Proceedings of the 1st International Conference on Robot Communication and Coordination, ROBOCOMM 2007, Athens, Greece, October 15-17, 2007, VOLUME: 318, PÁGINAS: 13
INDEXADO EM: DBLP
2327
TÍTULO: Sistema de resgate e salvamento coordenado utilizando o simulador ciber-rato
AUTORES: Lemos, L; Cruz, F; Reis, LP ;
PUBLICAÇÃO: 2007, FONTE: 2a Conferencia Iberica de Sistemas e Tecnologias de Informacao: Novas Perspectivas em Sistemas e Tecnologias de Informacao, CISTI 2007 - 2nd Iberian Conference on Information Systems and Technologies: New Perspectives on Information Systems and Technologies, CISTI 2007 in Novas Perspectivas em Sistemas e Tecnologias de Informacao - Actas da 2a Conferencia Iberica de Sistemas e Tecnologias de Informacao, CISTI 2007
INDEXADO EM: Scopus
2328
TÍTULO: Synthesis of regular expressions targeting FPGAs: Current status and open issues  Full Text
AUTORES: Joao Bispo ; Ioannis Sourdis; Joao M P Cardoso ; Stamatis Vassiliadis;
PUBLICAÇÃO: 2007, FONTE: 3rd International Workshop on Applied Reconfigurable Computing in RECONFIGURABLE COMPUTING: ARCHITECTURES, TOOLS AND APPLICATIONS, VOLUME: 4419, PÁGINAS: 179-190
INDEXADO EM: Scopus WOS DBLP CrossRef: 13
2329
TÍTULO: The micro-welding ability of 100W high brightness fibre laser on 316L stainless steel
AUTORES: Kong, CJ; Williams, S; Colegrove, P; Lopes, G ;
PUBLICAÇÃO: 2007, FONTE: International Congress on Applications of Lasers & Electro-Optics
INDEXADO EM: CrossRef
2330
TÍTULO: The Power of Closed Reduction Strategies
AUTORES: Alves, S ; Fernandez, M; Florido, M ; Mackie, I;
PUBLICAÇÃO: 2007, FONTE: Electronic Notes in Theoretical Computer Science, VOLUME: 174, NÚMERO: 10 SPEC. ISS., PÁGINAS: 57-74
INDEXADO EM: Scopus DBLP CrossRef: 3
2331
TÍTULO: Tools and libraries to model and manipulate circular programs  Full Text
AUTORES: Fernandes, JP ; Saraiva, J ;
PUBLICAÇÃO: 2007, FONTE: 2007 ACM SIGPLAN Workshop Partial Evaluation and Semantics-Based Program Manipulation in Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PÁGINAS: 102-111
INDEXADO EM: Scopus DBLP CrossRef: 9
2332
TÍTULO: Towards detecting and solving aspect conflicts and interferences using unit tests
AUTORES: André Restivo ; Ademar Aguiar ;
PUBLICAÇÃO: 2007, FONTE: 5th Workshop on Software Engineering Properties of Languages and Aspect Technologies, SPLAT 2007, Held at the 6th International Conference on Aspect-Oriented Software Development in Proceedings of the 5th Workshop on Software Engineering Properties of Languages and Aspect Technologies, SPLAT 2007, Vancouver, British Columbia, Canada, March 12-16, 2007, VOLUME: 217, PÁGINAS: 7
INDEXADO EM: Scopus DBLP CrossRef Handle
2333
TÍTULO: Towards Ubiquitous Production Systems and Enterprises
AUTORES: Putnik, G ; Cardeira, C ; Leltao, P ; Restivo, F ; Santos, J; Sluga, A; Butala, P;
PUBLICAÇÃO: 2007, FONTE: IEEE International Symposium on Industrial Electronics in 2007 IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS, PROCEEDINGS, VOLS 1-8, PÁGINAS: 3203-3208
INDEXADO EM: Scopus WOS CrossRef Handle
2334
TÍTULO: Type-Based Static and Dynamic Website Verification
AUTORES: Jorge Coelho ; Mário Florido ;
PUBLICAÇÃO: 2007, FONTE: 2nd International Conference on Internet and Web Applications and Services, ICIW'07 in International Conference on Internet and Web Applications and Services (ICIW 2007), May 13-19, 2007, Le Morne, Mauritius, PÁGINAS: 32
INDEXADO EM: Scopus DBLP CrossRef: 5
2335
TÍTULO: Understanding dynamic agent's reasoning
AUTORES: Nuno Lau ; Luis Paulo Reis ; Joao Certo;
PUBLICAÇÃO: 2007, FONTE: 13th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 4874, PÁGINAS: 542-551
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
2336
TÍTULO: Using intersection types for cost-analysis of higher-order polymorphic functional programs
AUTORES: Hugo R Simoes; Hammond, Kevin ; Mario Florido ; Pedro Vasconcelos ;
PUBLICAÇÃO: 2007, FONTE: International Workshop on Types for Proofs and Programs in TYPES FOR PROOFS AND PROGRAMS, VOLUME: 4502, PÁGINAS: 221-236
INDEXADO EM: Scopus WOS
2337
TÍTULO: Using Rewriting Logic to Match Patterns of Instructions from a Compiler Intermediate Form to Coarse-Grained Processing Elements
AUTORES: Carlos Morra; João M P Cardoso ; Jürgen Becker;
PUBLICAÇÃO: 2007, FONTE: 21st International Parallel and Distributed Processing Symposium, IPDPS 2007 in 21th International Parallel and Distributed Processing Symposium (IPDPS 2007), Proceedings, 26-30 March 2007, Long Beach, California, USA, PÁGINAS: 1-8
INDEXADO EM: Scopus DBLP CrossRef: 3
2338
TÍTULO: Using specialized agents in a distributed MAS to solve airline operations problems: a case study
AUTORES: Antonio J M Castro ; Eugenio Oliveira ;
PUBLICAÇÃO: 2007, FONTE: IEEE/WIC/ACM International Conference on Intelligent Agent Technology and Web Intelligence in PROCEEDINGS OF THE IEEE/WIC/ACM INTERNATIONAL CONFERENCE ON INTELLIGENT AGENT TECHNOLOGY (IAT 2007), PÁGINAS: 473-476
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
2339
TÍTULO: Why Facilitate Patient Access to Medical Records
AUTORES: Ferreira, A ; Correia, A; Silva, A; Corte, A; Pinto, A; Saavedra, A; Pereira, AL; Pereira, AF; Cruz Correia, R ; Antunes, LF ;
PUBLICAÇÃO: 2007, FONTE: 4th Conference of the International-Council-on-Medical-and-Care-Compunetics in MEDICAL AND CARE COMPUNETICS 4, VOLUME: 127, PÁGINAS: 77-+
INDEXADO EM: Scopus WOS
2340
TÍTULO: XCentric: A Logic-Programming Language for XML Processing PDF
AUTORES: Jorge Coelho ; Mário Florido ;
PUBLICAÇÃO: 2007, FONTE: PLAN-X 2007, Programming Language Technologies for XML, An ACM SIGPLAN Workshop colocated with POPL 2007, Nice, France, January 20, 2007, PÁGINAS: 93-94
INDEXADO EM: DBLP

Results per Page: 20.
Página 117 de 135. Total de resultados: 2687.