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
2061
TÍTULO: Reducing the vulnerability window in distributed transactional protocols
AUTORES: Bravo, M; Romano, P ; Rodrigues, L ; Van Roy, P;
PUBLICAÇÃO: 2015, FONTE: 1st Workshop on the Principles and Practice of Consistency for Distributed Data, PaPoC 2015 in Proceedings of the 1st Workshop on the Principles and Practice of Consistency for Distributed Data, PaPoC 2015
INDEXADO EM: Scopus CrossRef
2062
TÍTULO: Reverse Converter Design via Parallel-Prefix Adders: Novel Components, Methodology, and Implementations  Full Text
AUTORES: Zarandi, AAE; Molahosseini, AS; Hosseinzadeh, M; Sorouri, S; Antao, S; Sousa, L ;
PUBLICAÇÃO: 2015, FONTE: IEEE TRANSACTIONS ON VERY LARGE SCALE INTEGRATION (VLSI) SYSTEMS, VOLUME: 23, NÚMERO: 2, PÁGINAS: 374-378
INDEXADO EM: Scopus WOS DBLP
2063
TÍTULO: RNS Reverse Converters based on the New Chinese Remainder Theorem I
AUTORES: Hector Pettenghi; Leonel Sousa ;
PUBLICAÇÃO: 2015, FONTE: IEEE International Symposium on Circuits and Systems (ISCAS) in 2015 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS (ISCAS), VOLUME: 2015-July, PÁGINAS: 830-833
INDEXADO EM: Scopus WOS DBLP CrossRef
2064
TÍTULO: Robust scheduling of variable wind generation by coordination of bulk energy storages and demand response  Full Text
AUTORES: Heydarian Forushani, E; Golshan, MEH; Moghaddam, MP; Shafie khah, M; João P. S. Catalão ;
PUBLICAÇÃO: 2015, FONTE: ENERGY CONVERSION AND MANAGEMENT, VOLUME: 106, PÁGINAS: 941-950
INDEXADO EM: Scopus WOS CrossRef: 59
2065
TÍTULO: Run-time Machine Learning for HEVC/H.265 Fast Partitioning Decision
AUTORES: Svetislav Momcilovic; Nuno Roma ; Leonel Sousa ; Ivan Milentijevic;
PUBLICAÇÃO: 2015, FONTE: IEEE International Symposium on Multimedia (ISM) in 2015 IEEE INTERNATIONAL SYMPOSIUM ON MULTIMEDIA (ISM), PÁGINAS: 347-350
INDEXADO EM: Scopus WOS DBLP CrossRef
2066
TÍTULO: SAT-Based Formula Simplification
AUTORES: Alexey Ignatiev; Alessandro Previti; Joao Marques Silva ;
PUBLICAÇÃO: 2015, FONTE: Theory and Applications of Satisfiability Testing - SAT 2015 - 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings, VOLUME: 9340, PÁGINAS: 287-298
INDEXADO EM: DBLP
2067
TÍTULO: SAT-Based Formula Simplification
AUTORES: Alexey Ignatiev; Alessandro Previti; Joao Marques Silva ;
PUBLICAÇÃO: 2015, FONTE: 18th International Conference on Theory and Applications of Satisfiability Testing (SAT) in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2015, VOLUME: 9340, PÁGINAS: 287-298
INDEXADO EM: WOS
2068
TÍTULO: SAT-based formula simplification
AUTORES: Ignatiev, A; Previti, A; Marques Silva, J ;
PUBLICAÇÃO: 2015, FONTE: 18th International Conference on Theory and Applications of Satisfiability Testing, SAT 2015 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 9340, PÁGINAS: 287-298
INDEXADO EM: Scopus
2069
TÍTULO: SAT-Based Horn Least Upper Bounds
AUTORES: Carlos Mencia; Alessandro Previti; Joao Marques Silva ;
PUBLICAÇÃO: 2015, FONTE: 18th International Conference on Theory and Applications of Satisfiability Testing (SAT) in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2015, VOLUME: 9340, PÁGINAS: 423-433
INDEXADO EM: Scopus WOS
2070
TÍTULO: SAT-Based Horn Least Upper Bounds
AUTORES: Carlos Mencía; Alessandro Previti; Joao Marques Silva ;
PUBLICAÇÃO: 2015, FONTE: Theory and Applications of Satisfiability Testing - SAT 2015 - 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings, VOLUME: 9340, PÁGINAS: 423-433
INDEXADO EM: DBLP CrossRef Unpaywall
2071
TÍTULO: SCOLARS-DV: scalable task validation over the internet. scalable task validation over the internet
AUTORES: Fernando Costa; Paulo Ferreira ;
PUBLICAÇÃO: 2015, FONTE: 5th International Workshop on Cloud Data and Platforms, CloudDP 2015 in Proceedings of the 5th International Workshop on Cloud Data and Platforms, CloudDP@EuroSys 2015, Bordeaux, France, April 21-24, 2015, PÁGINAS: 4:1-4:6
INDEXADO EM: Scopus DBLP CrossRef
2072
TÍTULO: Self-tuning in distributed transactional memory
AUTORES: Couceiro, M; Didona, D; Rodrigues, L ; Romano, P;
PUBLICAÇÃO: 2015, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8913, PÁGINAS: 418-448
INDEXADO EM: Scopus CrossRef: 1
2073
TÍTULO: Self-tuning Intel Restricted Transactional Memory  Full Text
AUTORES: Nuno Diegues; Paolo Romano ;
PUBLICAÇÃO: 2015, FONTE: PARALLEL COMPUTING, VOLUME: 50, PÁGINAS: 25-52
INDEXADO EM: Scopus WOS CrossRef: 3
2074
TÍTULO: Semantic Learning Machine: A Feedforward Neural Network Construction Algorithm Inspired by Geometric Semantic Genetic Programming  Full Text
AUTORES: Ivo Gonçalves ; Sara Silva; Carlos M Fonseca;
PUBLICAÇÃO: 2015, FONTE: 17th Portuguese Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE, VOLUME: 9273, PÁGINAS: 280-285
INDEXADO EM: Scopus WOS CrossRef: 1
2075
TÍTULO: SEMONTOQA. A Semantic Understanding-Based Ontological Framework for Factoid Question Answering
AUTORES: Md Moinul Hoque; Paulo Quaresma ;
PUBLICAÇÃO: 2015, FONTE: Proceedings of the Forum for Information Retrieval Evaluation on - FIRE '14
INDEXADO EM: CrossRef
2076
TÍTULO: Short-Term Trading for a Photovoltaic Power Producer in Electricity Markets
AUTORES: Agustin A S Sanchez de la Nieta; Renata F M Martins; Tiago A M Tavares; Joao C O Matias; João P. S. Catalão ; Javier Contreras;
PUBLICAÇÃO: 2015, FONTE: General Meeting of the IEEE-Power-and-Energy-Society in 2015 IEEE POWER & ENERGY SOCIETY GENERAL MEETING, VOLUME: 2015-September
INDEXADO EM: Scopus WOS CrossRef: 4
2078
TÍTULO: Shuttle: Intrusion Recovery for PaaS
AUTORES: Dario Nascimento; Miguel Correia ;
PUBLICAÇÃO: 2015, FONTE: 2015 IEEE 35th International Conference on Distributed Computing Systems in 2015 IEEE 35th International Conference on Distributed Computing Systems, VOLUME: 2015-July, PÁGINAS: 653-663
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
2079
TÍTULO: Six thinking hats: A novel metalearner for intelligent decision support in electricity markets  Full Text
AUTORES: Pinto, T ; Barreto, J ; Praca, I; Sousa, TM; Vale, Z; Pires, EJS ;
PUBLICAÇÃO: 2015, FONTE: DECISION SUPPORT SYSTEMS, VOLUME: 79, PÁGINAS: 1-11
INDEXADO EM: Scopus WOS DBLP CrossRef Handle
2080
TÍTULO: Smallest MUS Extraction with Minimal Hitting Set Dualization
AUTORES: Ignatiev, A; Previti, A; Liffiton, M; Marques Silva, J ;
PUBLICAÇÃO: 2015, FONTE: 21st International Conference on the Principles and Practice of Constraint Programming (CP) in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2015, VOLUME: 9255, PÁGINAS: 173-182
INDEXADO EM: Scopus WOS DBLP CrossRef Unpaywall

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