Instituto de Engenharia de Sistemas e Computadores (INESC ID)
Publications Actions
Publications at Authenticus Institutional Profile
An Authenticus institution (group) is an organization which consists of a set of researchers (institutional/group team). The set of researchers depends on the organizational structure of the institution per year and can be set at the institution profile, under ‘Researchers’ interface. Based on the institutional team we produce listings of publications, statistics and institutional reports.
Publications displayed at an Authenticus institutional profile depend on two parameters:
- Researchers team associated with the institution per year.
- Publications source type.
We define 3 types of publication sources:
- Validated by team members - includes all publications validated by team members. Requires the definition of the institutional team.
- All published by team members - includes all publications validated by the institution team members plus all not-validated (only identified) publications. Requires the definition of the institutional team.
- Affiliation Based - includes publications that have the institution/group in the publication affiliation. Does not require institutional team, but at the same time does not guarantee that all publications will be listed.
External
Internal
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!
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!
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!
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 MembersFilters -> Year: 2024
2021
TITLE: SAT-Based Formula Simplification
AUTHORS: Alexey Ignatiev; Alessandro Previti; Joao Marques Silva ;
PUBLISHED: 2015, SOURCE: 18th International Conference on Theory and Applications of Satisfiability Testing (SAT) in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2015, VOLUME: 9340, PAGES: 287-298
AUTHORS: Alexey Ignatiev; Alessandro Previti; Joao Marques Silva ;
PUBLISHED: 2015, SOURCE: 18th International Conference on Theory and Applications of Satisfiability Testing (SAT) in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2015, VOLUME: 9340, PAGES: 287-298
INDEXED IN: 
WOS
WOS2022
TITLE: SAT-based formula simplification
AUTHORS: Ignatiev, A; Previti, A; Marques Silva, J ;
PUBLISHED: 2015, SOURCE: 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, PAGES: 287-298
AUTHORS: Ignatiev, A; Previti, A; Marques Silva, J ;
PUBLISHED: 2015, SOURCE: 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, PAGES: 287-298
INDEXED IN: 
Scopus
Scopus2023
TITLE: SAT-Based Formula Simplification
AUTHORS: Alexey Ignatiev; Alessandro Previti; Joao Marques Silva ;
PUBLISHED: 2015, SOURCE: Theory and Applications of Satisfiability Testing - SAT 2015 - 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings, VOLUME: 9340, PAGES: 287-298
AUTHORS: Alexey Ignatiev; Alessandro Previti; Joao Marques Silva ;
PUBLISHED: 2015, SOURCE: Theory and Applications of Satisfiability Testing - SAT 2015 - 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings, VOLUME: 9340, PAGES: 287-298
INDEXED IN: 
DBLP
DBLP2024
TITLE: SAT-Based Horn Least Upper Bounds
AUTHORS: Carlos Mencía; Alessandro Previti; Joao Marques Silva ;
PUBLISHED: 2015, SOURCE: Theory and Applications of Satisfiability Testing - SAT 2015 - 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings, VOLUME: 9340, PAGES: 423-433
AUTHORS: Carlos Mencía; Alessandro Previti; Joao Marques Silva ;
PUBLISHED: 2015, SOURCE: Theory and Applications of Satisfiability Testing - SAT 2015 - 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings, VOLUME: 9340, PAGES: 423-433
2025
TITLE: SAT-Based Horn Least Upper Bounds
AUTHORS: Carlos Mencia; Alessandro Previti; Joao Marques Silva ;
PUBLISHED: 2015, SOURCE: 18th International Conference on Theory and Applications of Satisfiability Testing (SAT) in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2015, VOLUME: 9340, PAGES: 423-433
AUTHORS: Carlos Mencia; Alessandro Previti; Joao Marques Silva ;
PUBLISHED: 2015, SOURCE: 18th International Conference on Theory and Applications of Satisfiability Testing (SAT) in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2015, VOLUME: 9340, PAGES: 423-433
INDEXED IN: Scopus WOS
Scopus WOS2026
TITLE: SCOLARS-DV: scalable task validation over the internet. scalable task validation over the internet
AUTHORS: Fernando Costa; Paulo Ferreira ;
PUBLISHED: 2015, SOURCE: 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, PAGES: 4:1-4:6
AUTHORS: Fernando Costa; Paulo Ferreira ;
PUBLISHED: 2015, SOURCE: 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, PAGES: 4:1-4:6
2027
TITLE: Self-tuning in distributed transactional memory
AUTHORS: Couceiro, M; Didona, D; Rodrigues, L ; Romano, P;
PUBLISHED: 2015, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8913, PAGES: 418-448
AUTHORS: Couceiro, M; Didona, D; Rodrigues, L ; Romano, P;
PUBLISHED: 2015, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8913, PAGES: 418-448
2028
TITLE: Self-tuning Intel Restricted Transactional Memory Full Text
AUTHORS: Nuno Diegues; Paolo Romano ;
PUBLISHED: 2015, SOURCE: PARALLEL COMPUTING, VOLUME: 50, PAGES: 25-52
AUTHORS: Nuno Diegues; Paolo Romano ;
PUBLISHED: 2015, SOURCE: PARALLEL COMPUTING, VOLUME: 50, PAGES: 25-52
2029
TITLE: Semantic Learning Machine: A Feedforward Neural Network Construction Algorithm Inspired by Geometric Semantic Genetic Programming Full Text
AUTHORS: Ivo Gonçalves ; Sara Silva; Carlos M Fonseca;
PUBLISHED: 2015, SOURCE: 17th Portuguese Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE, VOLUME: 9273, PAGES: 280-285
AUTHORS: Ivo Gonçalves ; Sara Silva; Carlos M Fonseca;
PUBLISHED: 2015, SOURCE: 17th Portuguese Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE, VOLUME: 9273, PAGES: 280-285
2030
TITLE: SEMONTOQA. A Semantic Understanding-Based Ontological Framework for Factoid Question Answering
AUTHORS: Md Moinul Hoque; Paulo Quaresma ;
PUBLISHED: 2015, SOURCE: Proceedings of the Forum for Information Retrieval Evaluation on - FIRE '14
AUTHORS: Md Moinul Hoque; Paulo Quaresma ;
PUBLISHED: 2015, SOURCE: Proceedings of the Forum for Information Retrieval Evaluation on - FIRE '14
INDEXED IN: 
CrossRef
CrossRef2031
TITLE: Short-Term Trading for a Photovoltaic Power Producer in Electricity Markets
AUTHORS: 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;
PUBLISHED: 2015, SOURCE: General Meeting of the IEEE-Power-and-Energy-Society in 2015 IEEE POWER & ENERGY SOCIETY GENERAL MEETING, VOLUME: 2015-September
AUTHORS: 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;
PUBLISHED: 2015, SOURCE: General Meeting of the IEEE-Power-and-Energy-Society in 2015 IEEE POWER & ENERGY SOCIETY GENERAL MEETING, VOLUME: 2015-September
2032
TITLE: Short-term wind power forecasting using adaptive neuro-fuzzy inference system combined with evolutionary particle swarm optimization, wavelet transform and mutual information Full Text
AUTHORS: Osorio, GJ; Matias, JCO; João P. S. Catalão ;
PUBLISHED: 2015, SOURCE: RENEWABLE ENERGY, VOLUME: 75, PAGES: 301-307
AUTHORS: Osorio, GJ; Matias, JCO; João P. S. Catalão ;
PUBLISHED: 2015, SOURCE: RENEWABLE ENERGY, VOLUME: 75, PAGES: 301-307
2033
TITLE: Shuttle: Intrusion Recovery for PaaS
AUTHORS: Dario Nascimento; Miguel Correia ;
PUBLISHED: 2015, SOURCE: 2015 IEEE 35th International Conference on Distributed Computing Systems in 2015 IEEE 35th International Conference on Distributed Computing Systems, VOLUME: 2015-July, PAGES: 653-663
AUTHORS: Dario Nascimento; Miguel Correia ;
PUBLISHED: 2015, SOURCE: 2015 IEEE 35th International Conference on Distributed Computing Systems in 2015 IEEE 35th International Conference on Distributed Computing Systems, VOLUME: 2015-July, PAGES: 653-663
2034
TITLE: Six thinking hats: A novel metalearner for intelligent decision support in electricity markets Full Text
AUTHORS: Pinto, T ; Barreto, J ; Praca, I; Sousa, TM; Vale, Z; Pires, EJS ;
PUBLISHED: 2015, SOURCE: DECISION SUPPORT SYSTEMS, VOLUME: 79, PAGES: 1-11
AUTHORS: Pinto, T ; Barreto, J ; Praca, I; Sousa, TM; Vale, Z; Pires, EJS ;
PUBLISHED: 2015, SOURCE: DECISION SUPPORT SYSTEMS, VOLUME: 79, PAGES: 1-11
2035
TITLE: Smallest MUS Extraction with Minimal Hitting Set Dualization
AUTHORS: Ignatiev, A; Previti, A; Liffiton, M; Marques Silva, J ;
PUBLISHED: 2015, SOURCE: 21st International Conference on the Principles and Practice of Constraint Programming (CP) in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2015, VOLUME: 9255, PAGES: 173-182
AUTHORS: Ignatiev, A; Previti, A; Liffiton, M; Marques Silva, J ;
PUBLISHED: 2015, SOURCE: 21st International Conference on the Principles and Practice of Constraint Programming (CP) in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2015, VOLUME: 9255, PAGES: 173-182
2036
TITLE: Smart and Energy-Efficient Home Implementation: Wireless Communication Technologies Role
AUTHORS: Mendes, TDP; Godina, R; Rodrigues, EMG; Matias, JCO; João P. S. Catalão ;
PUBLISHED: 2015, SOURCE: 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, PAGES: 377-382
AUTHORS: Mendes, TDP; Godina, R; Rodrigues, EMG; Matias, JCO; João P. S. Catalão ;
PUBLISHED: 2015, SOURCE: 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, PAGES: 377-382
2037
TITLE: Smart Home Communication Technologies and Applications: Wireless Protocol Assessment for Home Area Network Resources Full Text
AUTHORS: Tiago D P Mendes; Radu Godina; Eduardo M G Rodrigues; Joao C O Matias; João P. S. Catalão ;
PUBLISHED: 2015, SOURCE: ENERGIES, VOLUME: 8, ISSUE: 7, PAGES: 7279-7311
AUTHORS: Tiago D P Mendes; Radu Godina; Eduardo M G Rodrigues; Joao C O Matias; João P. S. Catalão ;
PUBLISHED: 2015, SOURCE: ENERGIES, VOLUME: 8, ISSUE: 7, PAGES: 7279-7311
2038
TITLE: Smart Household Operation Considering Bi-Directional EV and ESS Utilization by Real-Time Pricing-Based DR
AUTHORS: Ozan Erdinc; Nikolaos G Paterakis; Tiago D P Mendes; Anastasios G Bakirtzis; João P. S. Catalão ;
PUBLISHED: 2015, SOURCE: IEEE TRANSACTIONS ON SMART GRID, VOLUME: 6, ISSUE: 3, PAGES: 1281-1291
AUTHORS: Ozan Erdinc; Nikolaos G Paterakis; Tiago D P Mendes; Anastasios G Bakirtzis; João P. S. Catalão ;
PUBLISHED: 2015, SOURCE: IEEE TRANSACTIONS ON SMART GRID, VOLUME: 6, ISSUE: 3, PAGES: 1281-1291
2039
TITLE: Smart Households and Home Energy Management Systems with Innovative Sizing of Distributed Generation and Storage for Customers
AUTHORS: Erdinc, O; Paterakis, NG; João P. S. Catalão ; Pappi, IN; Bakirtzis, AG;
PUBLISHED: 2015, SOURCE: 48th Annual Hawaii International Conference on System Sciences (HICSS) in 2015 48TH HAWAII INTERNATIONAL CONFERENCE ON SYSTEM SCIENCES (HICSS), VOLUME: 2015-March, PAGES: 1462-1471
AUTHORS: Erdinc, O; Paterakis, NG; João P. S. Catalão ; Pappi, IN; Bakirtzis, AG;
PUBLISHED: 2015, SOURCE: 48th Annual Hawaii International Conference on System Sciences (HICSS) in 2015 48TH HAWAII INTERNATIONAL CONFERENCE ON SYSTEM SCIENCES (HICSS), VOLUME: 2015-March, PAGES: 1462-1471
2040
TITLE: SmartFetch: Efficient Support for Selective Queries
AUTHORS: Manuel Ferreira; Joao Paiva; Manuel Bravo; Luis Rodrigues ;
PUBLISHED: 2015, SOURCE: IEEE 7th International Conference on Cloud in 2015 IEEE 7TH INTERNATIONAL CONFERENCE ON CLOUD COMPUTING TECHNOLOGY AND SCIENCE (CLOUDCOM), PAGES: 1-8
AUTHORS: Manuel Ferreira; Joao Paiva; Manuel Bravo; Luis Rodrigues ;
PUBLISHED: 2015, SOURCE: IEEE 7th International Conference on Cloud in 2015 IEEE 7TH INTERNATIONAL CONFERENCE ON CLOUD COMPUTING TECHNOLOGY AND SCIENCE (CLOUDCOM), PAGES: 1-8
