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
2341
TÍTULO: NaS Battery Storage System Modeling and Sizing for Extending Wind Farms Performance in Crete
AUTORES: Rodrigues, EMG; Fernandes, CAS; Godina, R; Bizuayehu, AW; João P. S. Catalão ;
PUBLICAÇÃO: 2014, FONTE: Australasian Universities Power Engineering Conference (AUPEC) in 2014 Australasian Universities Power Engineering Conference (AUPEC)
INDEXADO EM: Scopus WOS CrossRef: 4
2343
TÍTULO: Noise tolerance in a Neocognitron-like network  Full Text
AUTORES: Angelo Cardoso; Andreas Wichert ;
PUBLICAÇÃO: 2014, FONTE: NEURAL NETWORKS, VOLUME: 49, PÁGINAS: 32-38
INDEXADO EM: Scopus WOS CrossRef
2344
TÍTULO: Non-Blocking Atomic Commitment with Byzantine Faults
AUTORES: Aldelir Fernando Luiz; Lau Cheuk Lung; Miguel Correia ; Valdir Stumm Junior;
PUBLICAÇÃO: 2014, FONTE: 32nd Brazilian Symposium on Computer Networks and Distributed Systems (SBRC) in 2014 BRAZILIAN SYMPOSIUM ON COMPUTER NETWORKS AND DISTRIBUTED SYSTEMS (SBRC), PÁGINAS: 156-164
INDEXADO EM: WOS DBLP CrossRef
2345
TÍTULO: Nonlinear system identification using constellation based multiple model adaptive estimators
AUTORES: Martins, JC; Caeiro, JJ; Sousa, LA ;
PUBLICAÇÃO: 2014, FONTE: 22nd European Signal Processing Conference, EUSIPCO 2014 in European Signal Processing Conference, PÁGINAS: 1217-1221
INDEXADO EM: Scopus DBLP
2346
TÍTULO: On Computing Preferred MUSes and MCSes
AUTORES: João Marques Silva ; Alessandro Previti;
PUBLICAÇÃO: 2014, FONTE: 17th International Conference on Theory and Applications of Satisfiability Testing, SAT 2014, Held as Part of the Vienna Summer of Logic, VSL 2014 in Theory and Applications of Satisfiability Testing - SAT 2014 - 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings, VOLUME: 8561, PÁGINAS: 58-74
INDEXADO EM: Scopus DBLP Unpaywall
2347
TÍTULO: On demand Resource Allocation Middleware for Massively Multiplayer Online Games
AUTORES: Andre Pessoa Negrao; Miguel Adaixo; Luis Veiga ; Paulo Ferreira ;
PUBLICAÇÃO: 2014, FONTE: 13th IEEE International Symposium on Network Computing and Applications (NCA) in 2014 IEEE 13TH INTERNATIONAL SYMPOSIUM ON NETWORK COMPUTING AND APPLICATIONS (NCA 2014), PÁGINAS: 71-74
INDEXADO EM: Scopus WOS DBLP CrossRef
2348
TÍTULO: On lazy and eager interactive reconfiguration
AUTORES: Mikolás Janota; Goetz Botterweck; João Marques Silva ;
PUBLICAÇÃO: 2014, FONTE: The Eighth International Workshop on Variability Modelling of Software-intensive Systems, VaMoS '14, Sophia Antipolis, France, January 22-24, 2014, PÁGINAS: 8:1-8:8
INDEXADO EM: Scopus DBLP CrossRef: 5 Unpaywall
2349
TÍTULO: On Reducing Maximum Independent Set to Minimum Satisfiability
AUTORES: Ignatiev, A; Morgado, António ; Marques Silva, J ;
PUBLICAÇÃO: 2014, FONTE: 17th International Conference on Theory and Applications of Satisfiability Testing (SAT) Held as Part of the Federated Logic Conference (FLoC) / Vienna Summer of Logic (VSL) Conference in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2014, VOLUME: 8561, PÁGINAS: 103-120
INDEXADO EM: Scopus WOS DBLP CrossRef: 4 Unpaywall
2350
TÍTULO: On speculative replication of transactional systems  Full Text
AUTORES: Paolo Romano ; Roberto Palmieri; Francesco Quaglia; Nuno Carvalho; Luis Rodrigues ;
PUBLICAÇÃO: 2014, FONTE: JOURNAL OF COMPUTER AND SYSTEM SCIENCES, VOLUME: 80, NÚMERO: 1, PÁGINAS: 257-276
INDEXADO EM: Scopus WOS DBLP CrossRef: 15
2351
TÍTULO: On the Design of Practical Fault-Tolerant SDN Controllers
AUTORES: Fábio Andrade Botelho; Alysson Neves Bessani ; Fernando M V Ramos; Paulo Ferreira ;
PUBLICAÇÃO: 2014, FONTE: Third European Workshop on Software Defined Networks, EWSDN 2014, Budapest, Hungary, September 1-3, 2014, PÁGINAS: 73-78
INDEXADO EM: DBLP CrossRef
2352
TÍTULO: On the design of practical fault-tolerant SDN controllers PDF
AUTORES: Botelho, F; Bessani, A ; Ramos, FMV; Ferreira, P ;
PUBLICAÇÃO: 2014, FONTE: 3rd European Workshop on Software-Defined Networks, EWSDN 2014 in Proceedings - 2014 3rd European Workshop on Software-Defined Networks, EWSDN 2014, VOLUME: abs/1407.6062, PÁGINAS: 73-78
INDEXADO EM: Scopus DBLP arXiv
2353
TÍTULO: On the energy and performance of commodity hardware transactional memory
AUTORES: Diegues, N; Romano, P ; Rodrigues, L ;
PUBLICAÇÃO: 2014, FONTE: 2014 ACM SIGMETRICS International Conference on Measurement and Modeling of Computer Systems, SIGMETRICS 2014 in SIGMETRICS 2014 - Proceedings of the 2014 ACM SIGMETRICS International Conference on Measurement and Modeling of Computer Systems, PÁGINAS: 547-548
INDEXADO EM: Scopus CrossRef: 1
2354
TÍTULO: On the Evaluation of Multi-core Systems with SIMD Engines for Public-Key Cryptography  Full Text
AUTORES: Paulo Martins; Leonel Sousa ;
PUBLICAÇÃO: 2014, FONTE: 26th IEEE International Symposium on Computer Architecture and High Performance Computing Workshops, SBAC-PADW 2014 in 26th IEEE International Symposium on Computer Architecture and High Performance Computing Workshop, SBAC-PAD Workshop 2014, Paris, France, October 22-24, 2014, VOLUME: 22-24-October-2014, PÁGINAS: 48-53
INDEXADO EM: Scopus DBLP CrossRef
2355
TÍTULO: On the Expressive Power of Programming Languages for Generative Design The Case of Higher-Order Functions
AUTORES: Antonio Leitao ; Sara Proenca;
PUBLICAÇÃO: 2014, FONTE: 32nd International Conference on Education and Research in Computer Aided Architectural Design in Europe (eCAADe) in FUSION: DATA INTEGRATION AT ITS BEST, VOL 1, PÁGINAS: 257-266
INDEXADO EM: WOS
2356
TÍTULO: On the Query Complexity of Selecting Few Minimal Sets
AUTORES: João Marques Silva ; Mikolás Janota;
PUBLICAÇÃO: 2014, FONTE: Electronic Colloquium on Computational Complexity (ECCC), VOLUME: 21, PÁGINAS: 31
INDEXADO EM: DBLP
2357
TÍTULO: On Using Incremental Encodings in Unsatisfiability-based MaxSAT Solving
AUTORES: Ruben Martins; Saurabh Joshi; Vasco Manquinho; Inês Lynce ;
PUBLICAÇÃO: 2014, FONTE: J. Satisf. Boolean Model. Comput., VOLUME: 9, NÚMERO: 1, PÁGINAS: 59-81
INDEXADO EM: DBLP
2358
TÍTULO: Ontological Modeling Applied to Engineering and Governance Processes of Customer Complaints
AUTORES: Orlando Agostinho; Carlos Mendes; Miguel Mira da Silva ; Jose Tribolet;
PUBLICAÇÃO: 2014, FONTE: World Conference on Information Systems and Technologies (WorldCIST) in NEW PERSPECTIVES IN INFORMATION SYSTEMS AND TECHNOLOGIES, VOL 1, VOLUME: 275, NÚMERO: VOLUME 1, PÁGINAS: 337-346
INDEXADO EM: Scopus WOS CrossRef
2359
TÍTULO: Open-WBO: A modular MaxSAT solver
AUTORES: Martins, R; Manquinho, V; Lynce, I ;
PUBLICAÇÃO: 2014, FONTE: 17th International Conference on Theory and Applications of Satisfiability Testing, SAT 2014, Held as Part of the Vienna Summer of Logic, VSL 2014 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8561 LNCS, PÁGINAS: 438-445
INDEXADO EM: Scopus
2360
TÍTULO: Open-WBO: A Modular MaxSAT Solver
AUTORES: Martins, R; Manquinho, V; Lynce, I ;
PUBLICAÇÃO: 2014, FONTE: 17th International Conference on Theory and Applications of Satisfiability Testing (SAT) Held as Part of the Federated Logic Conference (FLoC) / Vienna Summer of Logic (VSL) Conference in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2014, VOLUME: 8561, PÁGINAS: 438-445
INDEXADO EM: WOS

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