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
2021
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
2022
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
2023
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
2024
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
2025
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
2026
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
2027
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
2028
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
2029
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
2030
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
2031
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
2033
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
2034
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
2035
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
2036
TÍTULO: Smart and Energy-Efficient Home Implementation: Wireless Communication Technologies Role
AUTORES: Mendes, TDP; Godina, R; Rodrigues, EMG; Matias, JCO; João P. S. Catalão ;
PUBLICAÇÃO: 2015, FONTE: IEEE 5th International Conference on Power Engineering, Energy and Electrical Drives in 2015 IEEE 5TH INTERNATIONAL CONFERENCE ON POWER ENGINEERING, ENERGY AND ELECTRICAL DRIVES (POWERENG), VOLUME: 2015-September, PÁGINAS: 377-382
INDEXADO EM: Scopus WOS CrossRef: 6
2037
TÍTULO: Smart Home Communication Technologies and Applications: Wireless Protocol Assessment for Home Area Network Resources  Full Text
AUTORES: Tiago D P Mendes; Radu Godina; Eduardo M G Rodrigues; Joao C O Matias; João P. S. Catalão ;
PUBLICAÇÃO: 2015, FONTE: ENERGIES, VOLUME: 8, NÚMERO: 7, PÁGINAS: 7279-7311
INDEXADO EM: Scopus WOS CrossRef: 107
2038
TÍTULO: Smart Household Operation Considering Bi-Directional EV and ESS Utilization by Real-Time Pricing-Based DR
AUTORES: Ozan Erdinc; Nikolaos G Paterakis; Tiago D P Mendes; Anastasios G Bakirtzis; João P. S. Catalão ;
PUBLICAÇÃO: 2015, FONTE: IEEE TRANSACTIONS ON SMART GRID, VOLUME: 6, NÚMERO: 3, PÁGINAS: 1281-1291
INDEXADO EM: Scopus WOS DBLP CrossRef: 374
2039
TÍTULO: Smart Households and Home Energy Management Systems with Innovative Sizing of Distributed Generation and Storage for Customers
AUTORES: Erdinc, O; Paterakis, NG; João P. S. Catalão ; Pappi, IN; Bakirtzis, AG;
PUBLICAÇÃO: 2015, FONTE: 48th Annual Hawaii International Conference on System Sciences (HICSS) in 2015 48TH HAWAII INTERNATIONAL CONFERENCE ON SYSTEM SCIENCES (HICSS), VOLUME: 2015-March, PÁGINAS: 1462-1471
INDEXADO EM: Scopus WOS DBLP CrossRef: 9
2040
TÍTULO: SmartFetch: Efficient Support for Selective Queries
AUTORES: Manuel Ferreira; Joao Paiva; Manuel Bravo; Luis Rodrigues ;
PUBLICAÇÃO: 2015, FONTE: IEEE 7th International Conference on Cloud in 2015 IEEE 7TH INTERNATIONAL CONFERENCE ON CLOUD COMPUTING TECHNOLOGY AND SCIENCE (CLOUDCOM), PÁGINAS: 1-8
INDEXADO EM: Scopus WOS CrossRef: 1

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