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

86 Team Members
Filters -> Year: 2026
2821
TÍTULO: Rigorous Software Development - An Introduction to Program Verification
AUTORES: José Bacelar Almeida ; Maria João Frade ; Jorge Sousa Pinto ; Simão Melo de Sousa ;
PUBLICAÇÃO: 2011, FONTE: Undergraduate Topics in Computer Science
INDEXADO EM: DBLP CrossRef: 18 Openlibrary
2822
TÍTULO: Robot team coordination using dynamic role and positioning assignment and role based setplays  Full Text
AUTORES: Nuno Lau ; Luis Seabra Lopes ; Gustavo Corrente; Nelson Filipe; Ricardo Sequeira;
PUBLICAÇÃO: 2011, FONTE: MECHATRONICS, VOLUME: 21, NÚMERO: 2, PÁGINAS: 445-454
INDEXADO EM: Scopus WOS CrossRef: 12
2823
TÍTULO: Selected Papers from the 17th Reconfigurable Architectures Workshop (RAW2010)
AUTORES: Aravind Dasu; João M P Cardoso ; Eli Bozorgzadeh; Jürgen Becker;
PUBLICAÇÃO: 2011, FONTE: Int. J. Reconfigurable Comput., VOLUME: 2011, PÁGINAS: 574972:1-574972:2
INDEXADO EM: Scopus DBLP CrossRef
2824
TÍTULO: Selection of algorithms to solve traveling salesman problems using meta-learning
AUTORES: Jorge Y Kanda; André Carlos Ponce de Leon Ferreira de Carvalho; Eduardo R Hruschka; Carlos Soares ;
PUBLICAÇÃO: 2011, FONTE: Int. J. Hybrid Intell. Syst., VOLUME: 8, NÚMERO: 3, PÁGINAS: 117-128
INDEXADO EM: DBLP CrossRef: 25
2825
TÍTULO: Semantic Verification in an Open Collaboration Scenario
AUTORES: Jorge Coelho ; Mario Florido ;
PUBLICAÇÃO: 2011, FONTE: 6th International Conference on future Information Technology (FutureTech 2011) in FUTURE INFORMATION TECHNOLOGY, PT II, VOLUME: 185, NÚMERO: PART 2, PÁGINAS: 44-53
INDEXADO EM: Scopus WOS CrossRef
2826
TÍTULO: Semi-Automatic Creation of a Reference News Corpus for Fine-Grained Multi-Label Scenarios
AUTORES: Teixeira, Jorge ; Luis Sarmento; Eugenio Oliveira ;
PUBLICAÇÃO: 2011, FONTE: 6th Iberian Information Systems and Technologies Conference in SISTEMAS E TECNOLOGIAS DE INFORMACAO, VOL I, PÁGINAS: 749-754
INDEXADO EM: Scopus WOS
2827
TÍTULO: Shortcut fusion rules for the derivation of circular and higher-order programs
AUTORES: Alberto Pardo; João Paulo Fernandes ; João Saraiva ;
PUBLICAÇÃO: 2011, FONTE: High. Order Symb. Comput., VOLUME: 24, NÚMERO: 1-2, PÁGINAS: 115-149
INDEXADO EM: Scopus DBLP CrossRef: 6
2828
TÍTULO: Simultaneous debugging of software faults  Full Text
AUTORES: Rui Abreu ; Peter Zoeteweij; Arjan J C van Gemund;
PUBLICAÇÃO: 2011, FONTE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 84, NÚMERO: 4, PÁGINAS: 573-586
INDEXADO EM: Scopus WOS DBLP CrossRef: 21
2829
TÍTULO: Social control in a normative framework: An adaptive deterrence approach
AUTORES: Henrique Lopes Cardoso ; Eugénio C Oliveira ;
PUBLICAÇÃO: 2011, FONTE: Web Intell. Agent Syst., VOLUME: 9, NÚMERO: 4, PÁGINAS: 363-375
INDEXADO EM: Scopus DBLP CrossRef: 10
2830
TÍTULO: Solving Heterogeneous Fleet Multiple Depot Vehicle Scheduling Problem as an Asymmetric Traveling Salesman Problem
AUTORES: Ramos, JA; Reis, LP ; Pedrosa, D;
PUBLICAÇÃO: 2011, FONTE: 15th Portuguese Conference on Artificial Intelligence (EPIA 2011) in PROGRESS IN ARTIFICIAL INTELLIGENCE-BOOK, VOLUME: 7026, PÁGINAS: 98-+
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
2831
TÍTULO: Special Issue on Artificial Transportation Systems and Simulation
AUTORES: Rossetti, RJF ; Liu, RH; Tang, SM;
PUBLICAÇÃO: 2011, FONTE: IEEE TRANSACTIONS ON INTELLIGENT TRANSPORTATION SYSTEMS, VOLUME: 12, NÚMERO: 2, PÁGINAS: 309-312
INDEXADO EM: Scopus WOS DBLP CrossRef: 11
2832
TÍTULO: Spectrum-based sequential diagnosis
AUTORES: Gonzalez Sanchez, A; Abreu, R ; Gross, HG; Van Gemund, AJC;
PUBLICAÇÃO: 2011, FONTE: 25th AAAI Conference on Artificial Intelligence and the 23rd Innovative Applications of Artificial Intelligence Conference, AAAI-11 / IAAI-11 in Proceedings of the National Conference on Artificial Intelligence, VOLUME: 1, PÁGINAS: 189-196
INDEXADO EM: Scopus DBLP
2833
TÍTULO: Spectrum-Based Sequential Diagnosis
AUTORES: Alberto Gonzalez Sanchez; Rui Abreu ; Hans Gerhard Gross; Arjan J C van Gemund;
PUBLICAÇÃO: 2011, FONTE: Proceedings of the 25th AAAI Conference on Artificial Intelligence, AAAI 2011, PÁGINAS: 189-196
INDEXADO EM: Scopus
2834
TÍTULO: Strictification of circular programs  Full Text
AUTORES: João Paulo Fernandes ; João Saraiva ; Daniel Seidel; Janis Voigtländer;
PUBLICAÇÃO: 2011, FONTE: PEPM, PÁGINAS: 131-140
INDEXADO EM: Scopus DBLP CrossRef: 4
2835
TÍTULO: Tackling the cognitive processes that underlie brands' assessments using artificial neural networks and whole brain fMRI acquisitions
AUTORES: Marques dos Santos, José Paulo ; Moutinho, L;
PUBLICAÇÃO: 2011, FONTE: International Workshop on Pattern Recognition in NeuroImaging, PRNI 2011 in Proceedings - International Workshop on Pattern Recognition in NeuroImaging, PRNI 2011, PÁGINAS: 9-12
INDEXADO EM: Scopus CrossRef: 3
2836
TÍTULO: Technical analysis and approaches for game development in second life
AUTORES: Cruz, A; Coelho, A ; Sousa, A ;
PUBLICAÇÃO: 2011, FONTE: 6th Iberian Conference on Information Systems and Technologies, CISTI 2011 in Proceedings of the 6th Iberian Conference on Information Systems and Technologies, CISTI 2011
INDEXADO EM: Scopus
2837
TÍTULO: Techniques for Dynamically Mapping Computations to Coprocessors
AUTORES: João Bispo ; João M P Cardoso ;
PUBLICAÇÃO: 2011, FONTE: ReConFig, PÁGINAS: 505-508
INDEXADO EM: Scopus DBLP CrossRef: 1
2838
TÍTULO: Towards automatic quantification of the epicardial fat in non-contrasted CT images  Full Text
AUTORES: Jorge G Barbosa ; Bruno Figueiredo; Nuno Bettencourt ; João Manuel R. S. Tavares ;
PUBLICAÇÃO: 2011, FONTE: COMPUTER METHODS IN BIOMECHANICS AND BIOMEDICAL ENGINEERING, VOLUME: 14, NÚMERO: 10, PÁGINAS: 905-914
INDEXADO EM: Scopus WOS CrossRef: 25
2839
TÍTULO: Towards Emotional Interaction: Using Movies to Automatically Learn Users' Emotional States
AUTORES: Eva Oliveira ; Mitchel Benovoy; Nuno Ribeiro ; Teresa Chambe ;
PUBLICAÇÃO: 2011, FONTE: 13th IFIP TC 13 International Conference on Human-Computer Interaction (INTERACT) in HUMAN-COMPUTER INTERACTION - INTERACT 2011, PT I, VOLUME: 6946, NÚMERO: PART 1, PÁGINAS: 152-161
INDEXADO EM: Scopus WOS CrossRef: 7
2840
TÍTULO: Towards the next-generation traffic simulation tools: A first appraisal
AUTORES: Passos, LS; Rossetti, RJF ; Kokkinogenis, Z ;
PUBLICAÇÃO: 2011, FONTE: 6th Iberian Conference on Information Systems and Technologies, CISTI 2011 in Proceedings of the 6th Iberian Conference on Information Systems and Technologies, CISTI 2011
INDEXADO EM: Scopus

Results per Page: 20.
Página 142 de 185. Total de resultados: 3694.