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

112 Team Members
Filters -> Year: 2024
2501
TÍTULO: Atomic and Molecular Intelligent Tutoring Systems A new architecture for intelligent and interoperable open educational esources
AUTORES: Gustavo Santos; Joaquim Jorge ;
PUBLICAÇÃO: 2013, FONTE: 13th IEEE Annual International Conference on Advanced Learning Technologies (ICALT) in 2013 IEEE 13TH INTERNATIONAL CONFERENCE ON ADVANCED LEARNING TECHNOLOGIES (ICALT 2013), PÁGINAS: 138-140
INDEXADO EM: Scopus WOS
2502
TÍTULO: Automatic Equivalence Checking of UF+IA Programs
AUTORES: Nuno P Lopes ; José Monteiro ;
PUBLICAÇÃO: 2013, FONTE: 20th International Symposium on Model Checking Software, SPIN 2013 in Model Checking Software - 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings, VOLUME: 7976, PÁGINAS: 282-300
INDEXADO EM: Scopus DBLP
2503
TÍTULO: Automatic word naming recognition for an on-line aphasia treatment system  Full Text
AUTORES: Abad, A ; Pompili, A; Costa, A; Trancoso, I; Fonseca, J; Leal, G; Farrajota, L; Martins, IP ;
PUBLICAÇÃO: 2013, FONTE: COMPUTER SPEECH AND LANGUAGE, VOLUME: 27, NÚMERO: 6, PÁGINAS: 1235-1248
INDEXADO EM: Scopus WOS CrossRef: 34
2504
TÍTULO: Automatic word naming recognition for an on-line aphasia treatment system
AUTORES: Alberto Abad ; Anna Pompili; Ângela Costa; Isabel Trancoso; José G Fonseca; Gabriela Leal; Luisa Farrajota; Isabel P Martins;
PUBLICAÇÃO: 2013, FONTE: Comput. Speech Lang., VOLUME: 27, NÚMERO: 6, PÁGINAS: 1235-1248
INDEXADO EM: DBLP
2505
TÍTULO: Balancing learning and overfitting in genetic programming with interleaved sampling of training data
AUTORES: Ivo Gonçalves ; Silva, S ;
PUBLICAÇÃO: 2013, FONTE: 16th European Conference on Genetic Programming, EuroGP 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7831 LNCS, PÁGINAS: 73-84
INDEXADO EM: Scopus CrossRef: 16
2506
TÍTULO: Behavioral dynamics under climate change dilemmas
AUTORES: Santos, FC ; Pacheco, JM;
PUBLICAÇÃO: 2013, FONTE: New Challenges to Philosophy of Science, PÁGINAS: 113-124
INDEXADO EM: Scopus CrossRef
2507
TÍTULO: BFT-TO: Intrusion Tolerance with Less Replicas
AUTORES: Miguel Correia ; Nuno Ferreira Neves ; Paulo Verissimo ;
PUBLICAÇÃO: 2013, FONTE: COMPUTER JOURNAL, VOLUME: 56, NÚMERO: 6, PÁGINAS: 693-715
INDEXADO EM: Scopus WOS DBLP CrossRef: 11
2508
TÍTULO: BioBlaze: Multi-Core SIMD ASIP for DNA Sequence Alignment  Full Text
AUTORES: Nuno Neves ; Nuno Sebastiao; Andre Patricio; David Martins de Matos ; Pedro Tomas ; Paulo Flores ; Nuno Roma ;
PUBLICAÇÃO: 2013, FONTE: IEEE 24th International Conference on Application-Specific Systems, Architectures and Processors (ASAP) in PROCEEDINGS OF THE 2013 IEEE 24TH INTERNATIONAL CONFERENCE ON APPLICATION-SPECIFIC SYSTEMS, ARCHITECTURES AND PROCESSORS (ASAP 13), PÁGINAS: 241-244
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
2509
TÍTULO: Book recommender prototype based on author's writing style
AUTORES: Paula Cristina Vaz ; Ricardo Ribeiro ; David Martins de Matos ;
PUBLICAÇÃO: 2013, FONTE: Open research Areas in Information Retrieval, OAIR '13, Lisbon, Portugal, May 15-17, 2013, PÁGINAS: 227-228
INDEXADO EM: DBLP
2510
TÍTULO: Bootstrapping back the climate with self-organization
AUTORES: Vítor V Vasconcelos; Flávio L Pinheiro; Francisco C Santos ; Jorge M Pacheco;
PUBLICAÇÃO: 2013, FONTE: 12th European Conference on the Synthesis and Simulation of Living Systems: Advances in Artificial Life, ECAL 2013 in Proceedings of the Twelfth European Conference on the Synthesis and Simulation of Living Systems: Advances in Artificial Life, ECAL 2013, Sicily, Italy, September 2-6, 2013, PÁGINAS: 182-183
INDEXADO EM: Scopus DBLP CrossRef
2511
TÍTULO: Bounded Gossip: A gossip protocol for large-scale datacenters  Full Text
AUTORES: Branco, M; Leitao, J ; Rodrigues, L ;
PUBLICAÇÃO: 2013, FONTE: 28th Annual ACM Symposium on Applied Computing, SAC 2013 in Proceedings of the ACM Symposium on Applied Computing, PÁGINAS: 591-596
INDEXADO EM: Scopus DBLP
2512
TÍTULO: Brief Announcement: Enhancing Permissiveness in Transactional Memory via Time-Warping
AUTORES: Diegues, N; Romano, P ;
PUBLICAÇÃO: 2013, FONTE: 27th International Symposium on Distributed Computing (DISC) in DISTRIBUTED COMPUTING, VOLUME: 8205, PÁGINAS: 553-554
INDEXADO EM: Scopus WOS
2513
TÍTULO: Bumper: Sheltering transactions from conflicts  Full Text
AUTORES: Diegues, NL; Romano, P ;
PUBLICAÇÃO: 2013, FONTE: 2013 IEEE 32nd International Symposium on Reliable Distributed Systems, SRDS 2013 in Proceedings of the IEEE Symposium on Reliable Distributed Systems, PÁGINAS: 185-194
INDEXADO EM: Scopus CrossRef: 7
2514
TÍTULO: Byzantine Fault-Tolerant Consensus in Wireless Ad Hoc Networks  Full Text
AUTORES: Henrique Moniz ; Nuno F Neves ; Miguel Correia ;
PUBLICAÇÃO: 2013, FONTE: IEEE TRANSACTIONS ON MOBILE COMPUTING, VOLUME: 12, NÚMERO: 12, PÁGINAS: 2441-2454
INDEXADO EM: Scopus WOS DBLP CrossRef: 25
2515
TÍTULO: Byzantine fault-tolerant state machine replication with twin virtual machines
AUTORES: Fernando Dettoni; Lau Cheuk Lung; Miguel Correia ; Aldelir Fernando Luiz;
PUBLICAÇÃO: 2013, FONTE: 18th IEEE Symposium on Computers and Communications, ISCC 2013 in 2013 IEEE Symposium on Computers and Communications, ISCC 2013, Split, Croatia, 7-10 July, 2013, PÁGINAS: 398-403
INDEXADO EM: Scopus DBLP CrossRef: 2
2516
TÍTULO: Byzantine Fault-Tolerant State Machine Replication with Twin Virtual Machines
AUTORES: Fernando Dettoni; Lau Cheuk Lung; Miguel Correia ; Aldelir Fernando Luiz;
PUBLICAÇÃO: 2013, FONTE: 18th IEEE Symposium on Computers and Communications (ISCC) in 2013 IEEE SYMPOSIUM ON COMPUTERS AND COMMUNICATIONS (ISCC)
INDEXADO EM: WOS
2517
TÍTULO: Byzantine renaming in synchronous systems with t < N  Full Text
AUTORES: Denysyuk, O; Rodrigues, L ;
PUBLICAÇÃO: 2013, FONTE: 2013 ACM Symposium on Principles of Distributed Computing, PODC 2013 in Proceedings of the Annual ACM Symposium on Principles of Distributed Computing, PÁGINAS: 210-219
INDEXADO EM: Scopus DBLP CrossRef
2518
TÍTULO: Capabilities in Systems Engineering: An Overview
AUTORES: Goncalo Antunes; Jose Borbinha ;
PUBLICAÇÃO: 2013, FONTE: 4th International Conferences on Exploring Service Science in EXPLORING SERVICES SCIENCE, IESS 2013, VOLUME: 143, PÁGINAS: 29-42
INDEXADO EM: Scopus WOS CrossRef
2519
TÍTULO: Censys: A model for distributed embodied cognition
AUTORES: Ribeiro, T; Vala, M; Paiva, A ;
PUBLICAÇÃO: 2013, FONTE: 13th International Conference on Intelligent Virtual Agents, IVA 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8108 LNAI, PÁGINAS: 58-67
INDEXADO EM: Scopus CrossRef
2520
TÍTULO: ChainReaction: A causal+ consistent datastore based on chain replication
AUTORES: Almeida, S; Leitao, J ; Rodrigues, L ;
PUBLICAÇÃO: 2013, FONTE: 8th ACM European Conference on Computer Systems, EuroSys 2013 in Proceedings of the 8th ACM European Conference on Computer Systems, EuroSys 2013, PÁGINAS: 85-98
INDEXADO EM: Scopus DBLP

Results per Page: 20.
Página 126 de 341. Total de resultados: 6820.