Instituto de Engenharia de Sistemas e Computadores (INESC ID)

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

112 Team Members
Filters -> Year: 2024
3781
TÍTULO: Quantitative modeling the Saccharomyces cerevisiae FLR1 regulatory network using an S-system formalism
AUTORES: Calcada, D; Vinga, S ; Freitas, AT ; Oliveira, AL ;
PUBLICAÇÃO: 2011, FONTE: 2011 1st IEEE International Conference on Healthcare Informatics, Imaging and Systems Biology, HISB 2011 in Proceedings - 2011 1st IEEE International Conference on Healthcare Informatics, Imaging and Systems Biology, HISB 2011, PÁGINAS: 69-75
INDEXADO EM: Scopus DBLP CrossRef
3782
TÍTULO: Randomization can be a healer: consensus with dynamic omission failures  Full Text
AUTORES: Henrique Moniz ; Nuno Ferreira Neves ; Miguel Correia ; Paulo Verissimo ;
PUBLICAÇÃO: 2011, FONTE: 23rd International Symposium on Distributed Computing (DISC) in DISTRIBUTED COMPUTING, VOLUME: 24, NÚMERO: 3-4, PÁGINAS: 165-175
INDEXADO EM: Scopus WOS DBLP CrossRef
3783
TÍTULO: Read-Once Resolution for Unsatisfiability-Based Max-SAT Algorithms
AUTORES: Federico Heras; João Marques Silva ;
PUBLICAÇÃO: 2011, FONTE: IJCAI 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22, 2011, PÁGINAS: 572-577
INDEXADO EM: Scopus DBLP
3784
TÍTULO: REAL-TIME DVB-S2 LDPC DECODING ON MANY-CORE GPU ACCELERATORS
AUTORES: Gabriel Falcao ; Joao Andrade; Vitor Silva ; Leonel Sousa ;
PUBLICAÇÃO: 2011, FONTE: IEEE International Conference on Acoustics, Speech, and Signal Processing (ICASSP) in 2011 IEEE INTERNATIONAL CONFERENCE ON ACOUSTICS, SPEECH, AND SIGNAL PROCESSING, PÁGINAS: 1685-1688
INDEXADO EM: Scopus WOS DBLP CrossRef: 5
3785
TÍTULO: Reassembling Operator Equalisation - A Secret Revealed
AUTORES: Sara Silva ;
PUBLICAÇÃO: 2011, FONTE: 13th Annual Genetic and Evolutionary Computation Conference (GECCO) in GECCO-2011: PROCEEDINGS OF THE 13TH ANNUAL GENETIC AND EVOLUTIONARY COMPUTATION CONFERENCE, PÁGINAS: 1395-1402
INDEXADO EM: Scopus WOS
3786
TÍTULO: ReConMUC: adaptable consistency requirements for efficient large-scale multi-user chat. adaptable consistency requirements for efficient large-scale multi-user chat
AUTORES: Pedro Alves; Paulo Ferreira ;
PUBLICAÇÃO: 2011, FONTE: ACM 2011 Conference on Computer Supported Cooperative Work, CSCW 2011 in Proceedings of the 2011 ACM Conference on Computer Supported Cooperative Work, CSCW 2011, Hangzhou, China, March 19-23, 2011, PÁGINAS: 553-562
INDEXADO EM: Scopus DBLP CrossRef
3787
TÍTULO: Reordering Modeling using Weighted Alignment Matrices
AUTORES: Wang Ling; Tiago Luís ; João Graça; Isabel Trancoso ; Luísa Coheur ;
PUBLICAÇÃO: 2011, FONTE: 49th Annual Meeting of the Association for Computational Linguistics: Human Language Technologies, ACL-HLT 2011 in The 49th Annual Meeting of the Association for Computational Linguistics: Human Language Technologies, Proceedings of the Conference, 19-24 June, 2011, Portland, Oregon, USA - Short Papers, VOLUME: 2, PÁGINAS: 450-454
INDEXADO EM: Scopus DBLP
3788
TÍTULO: Representing a bilingual lexicon with suffix trees
AUTORES: Jorge Costa; Gabriel Pereira Lopes ; Luís Gomes ; Luís M S Russo ;
PUBLICAÇÃO: 2011, FONTE: 26th Annual ACM Symposium on Applied Computing, SAC 2011 in Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21 - 24, 2011, PÁGINAS: 1164-1165
INDEXADO EM: Scopus DBLP CrossRef
3789
TÍTULO: Restoring CSP Satisfiability with MaxSAT  Full Text
AUTORES: Inês Lynce ; Joao Marques Silva;
PUBLICAÇÃO: 2011, FONTE: Fundamenta Informaticae, VOLUME: 107, NÚMERO: 2-3, PÁGINAS: 249-266
INDEXADO EM: CrossRef: 1 Unpaywall
3790
TÍTULO: Restoring CSP Satisfiability with MaxSAT  Full Text
AUTORES: Lynce, I ; Marques Silva, J ;
PUBLICAÇÃO: 2011, FONTE: FUNDAMENTA INFORMATICAE, VOLUME: 107, NÚMERO: 2-3, PÁGINAS: 249-266
INDEXADO EM: Scopus WOS DBLP
3791
TÍTULO: Revisiting Centrality-as-Relevance: Support Sets and Similarity as Geometric Proximity
AUTORES: Ribeiro, R ; David Martins de Matos ;
PUBLICAÇÃO: 2011, FONTE: JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, VOLUME: 42, PÁGINAS: 275-308
INDEXADO EM: Scopus WOS DBLP Handle
3792
TÍTULO: Revisiting the Newton-Raphson iterative method for decimal division
AUTORES: Vestias, MP ; Neto, HC ;
PUBLICAÇÃO: 2011, FONTE: 21st International Conference on Field Programmable Logic and Applications, FPL 2011 in Proceedings - 21st International Conference on Field Programmable Logic and Applications, FPL 2011, PÁGINAS: 138-143
INDEXADO EM: Scopus CrossRef
3793
TÍTULO: Risk of collective failure provides an escape from the tragedy of the commons
AUTORES: Francisco C Santos ; Jorge M Pacheco ;
PUBLICAÇÃO: 2011, FONTE: PROCEEDINGS OF THE NATIONAL ACADEMY OF SCIENCES OF THE UNITED STATES OF AMERICA, VOLUME: 108, NÚMERO: 26, PÁGINAS: 10421-10425
INDEXADO EM: Scopus WOS CrossRef: 120
3794
TÍTULO: RITAS: Services for Randomized Intrusion Tolerance  Full Text
AUTORES: Henrique Moniz ; Nuno Ferreira Neves ; Miguel Correia ; Paulo Verissimo ;
PUBLICAÇÃO: 2011, FONTE: IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, VOLUME: 8, NÚMERO: 1, PÁGINAS: 122-136
INDEXADO EM: Scopus WOS DBLP CrossRef: 24
3795
TÍTULO: Robots meet IVAs: A mind-body interface for migrating artificial intelligent agents
AUTORES: Kriegel, M; Aylett, R; Cuba, P; Vala, M; Paiva, A ;
PUBLICAÇÃO: 2011, FONTE: 11th International Conference on Intelligent Virtual Agents, IVA 2011 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6895 LNAI, PÁGINAS: 282-295
INDEXADO EM: Scopus CrossRef
3796
TÍTULO: Robust Pointwise Min-Norm Control of Distributed Systems with Fluid Flow
AUTORES: Jose M Igreja; Joao M Lemos ; Sergio J Costa;
PUBLICAÇÃO: 2011, FONTE: 50th IEEE Conference of Decision and Control (CDC)/European Control Conference (ECC) in 2011 50TH IEEE CONFERENCE ON DECISION AND CONTROL AND EUROPEAN CONTROL CONFERENCE (CDC-ECC), PÁGINAS: 2662-2667
INDEXADO EM: WOS
3797
TÍTULO: Robust Pointwise Min-Norm Control of distributed systems with fluid flow  Full Text
AUTORES: Igreja, JM; Lemos, JM ; Costa, SJ;
PUBLICAÇÃO: 2011, FONTE: 2011 50th IEEE Conference on Decision and Control and European Control Conference, CDC-ECC 2011 in Proceedings of the IEEE Conference on Decision and Control, PÁGINAS: 2662-2667
INDEXADO EM: Scopus CrossRef
3798
TÍTULO: Rollerchain: A DHTfor high availability
AUTORES: Paiva, J; Leitao, J ; Rodrigues, L ;
PUBLICAÇÃO: 2011, FONTE: Workshop on Posters and Demos Track, PDT'11 - 12th International Middleware Conference, Middleware'11 in Proceedings of the Workshop on Posters and Demos Track, PDT'11 - 12th International Middleware Conference, Middleware'11
INDEXADO EM: Scopus
3799
TÍTULO: SARA: Social Affective Relational Agent: A Study on the Role of Empathy in Artificial Social Agents
AUTORES: Sandra Gama; Gabriel Barata; Daniel Goncalves ; Rui Prada ; Ana Paiva ;
PUBLICAÇÃO: 2011, FONTE: 4th Bi-Annual International Conference of the Humaine Association on Affective Computing and Intelligent Interaction (ACII 2011) in AFFECTIVE COMPUTING AND INTELLIGENT INTERACTION, PT I, VOLUME: 6974, NÚMERO: PART 1, PÁGINAS: 507-516
INDEXADO EM: Scopus WOS CrossRef
3800
TÍTULO: SAT solvers
AUTORES: Joao Marques Silva ; Ines Lynce ;
PUBLICAÇÃO: 2011, FONTE: Tractability, VOLUME: 9781107025196, PÁGINAS: 331-349
INDEXADO EM: Scopus CrossRef: 1

Results per Page: 20.
Página 190 de 345. Total de resultados: 6881.