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

83 Team Members
Filters -> Year: 2024
1881
TÍTULO: Prioritizing tests for software fault diagnosis  Full Text
AUTORES: Alberto Gonzalez Sanchez; Eric Piel; Rui Abreu ; Hans Gerhard Gross; Arjan J C van Gemund;
PUBLICAÇÃO: 2011, FONTE: SOFTWARE-PRACTICE & EXPERIENCE, VOLUME: 41, NÚMERO: 10, PÁGINAS: 1105-1129
INDEXADO EM: Scopus WOS DBLP CrossRef: 6
1882
TÍTULO: Probabilistic error propagation modeling in logic circuits
AUTORES: Gupta, S; Van Gemund, AJ; Abreu, R ;
PUBLICAÇÃO: 2011, FONTE: 4th IEEE International Conference on Software Testing, Verification, and Validation Workshops, ICSTW 2011 in Proceedings - 4th IEEE International Conference on Software Testing, Verification, and Validation Workshops, ICSTW 2011, PÁGINAS: 617-623
INDEXADO EM: Scopus DBLP CrossRef: 5
1883
TÍTULO: Programming Safety Requirements in the REFLECT Design Flow
AUTORES: Zlatko Petrov; Kamil Kratky; Joao M P Cardoso ; Pedro C Diniz ;
PUBLICAÇÃO: 2011, FONTE: 9th IEEE International Conference on Industrial Informatics (INDIN) in 2011 9TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN), PÁGINAS: 841-847
INDEXADO EM: Scopus WOS CrossRef: 8
1884
TÍTULO: Quality of Health Web Sites: Dimensions for a Wide Evaluation
AUTORES: Alvaro Rocha ; Avelino Victor; Patricia Leite Brandao;
PUBLICAÇÃO: 2011, FONTE: 10th International Conference on Perspectives in Business Informatics Research in PERSPECTIVES IN BUSINESS INFORMATICS RESEARCH, VOLUME: 90, PÁGINAS: 254-266
INDEXADO EM: Scopus WOS CrossRef: 1
1885
TÍTULO: Real Time Colour Based Player Tracking in Indoor Sports
AUTORES: Catarina B Santiago; Armando Sousa ; Luis Paulo Reis ; Maria Luisa Estriga;
PUBLICAÇÃO: 2011, FONTE: 2nd ECCOMAS Thematic Conference on Computational Vision and Medical Image Processing (VIPimage 2009) in COMPUTATIONAL VISION AND MEDICAL IMAGE PROCESSING: RECENT TRENDS, VOLUME: 19, PÁGINAS: 17-35
INDEXADO EM: Scopus WOS CrossRef: 8
1886
TÍTULO: Reconfigurable Computing
AUTORES: João M P Cardoso ; Michael Hübner;
PUBLICAÇÃO: 2011
INDEXADO EM: CrossRef: 4
1887
TÍTULO: Reconfigurable computing. from FPGAs to hardware/software codesign
AUTORES: João M P Cardoso ; Michael Hübner;
PUBLICAÇÃO: 2011
INDEXADO EM: Openlibrary
1888
TÍTULO: Selected papers from the 17th reconfigurable architectures workshop (RAW2010)  Full Text
AUTORES: Dasu, A; Cardoso, JMP ; Bozorgzadeh, E; Becker, J;
PUBLICAÇÃO: 2011, FONTE: International Journal of Reconfigurable Computing, VOLUME: 2011, PÁGINAS: 1-2
INDEXADO EM: Scopus DBLP CrossRef
1889
TÍTULO: Selection of algorithms to solve traveling salesman problems using meta-learning
AUTORES: Jorge Kanda; André Carlos Ponce 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: 24
1890
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
1891
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
1892
TÍTULO: Shortcut fusion rules for the derivation of circular and higher-order programs
AUTORES: Pardo, A; Fernandes, JP ; Saraiva, J ;
PUBLICAÇÃO: 2011, FONTE: Higher-Order and Symbolic Computation, VOLUME: 24, NÚMERO: 1-2, PÁGINAS: 115-149
INDEXADO EM: Scopus DBLP CrossRef: 5
1893
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
1894
TÍTULO: Social control in a normative framework: An adaptive deterrence approach  Full Text
AUTORES: Henrique Lopes Cardoso ; Eugénio C Oliveira ;
PUBLICAÇÃO: 2011, FONTE: Web Intelligence and Agent Systems, VOLUME: 9, NÚMERO: 4, PÁGINAS: 363-375
INDEXADO EM: Scopus DBLP CrossRef: 10
1895
TÍTULO: Solving Heterogeneous Fleet Multiple Depot Vehicle Scheduling Problem as an Asymmetric Traveling Salesman Problem  Full Text
AUTORES: Jorge Alpedrinha Ramos; Luis Paulo Reis ; Dulce Pedrosa;
PUBLICAÇÃO: 2011, FONTE: 15th Portuguese Conference on Artificial Intelligence (EPIA 2011) in PROGRESS IN ARTIFICIAL INTELLIGENCE, VOLUME: 7026, PÁGINAS: 98-109
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
1896
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
1897
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
1898
TÍTULO: Strictification of circular programs
AUTORES: Fernandes, JP ; Saraiva, J ; Seidel, D; Voigtlander, J;
PUBLICAÇÃO: 2011, FONTE: 20th ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM'11 in PERM'11 - Proceedings of the 20th ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PÁGINAS: 131-140
INDEXADO EM: Scopus DBLP CrossRef: 3
1899
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
1900
TÍTULO: Techniques for Dynamically Mapping Computations to Coprocessors
AUTORES: João Bispo ; João M P Cardoso ;
PUBLICAÇÃO: 2011, FONTE: 2011 International Conference on Reconfigurable Computing and FPGAs, ReConFig 2011 in 2011 International Conference on Reconfigurable Computing and FPGAs, ReConFig 2011, Cancun, Mexico, November 30 - December 2, 2011, PÁGINAS: 505-508
INDEXADO EM: Scopus DBLP CrossRef: 1

Results per Page: 20.
Página 95 de 134. Total de resultados: 2664.