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: 6881
112 Team MembersFilters -> Year: 2024
1141
TITLE: Premise Set Caching for Enumerating Minimal Correction Subsets
AUTHORS: Previti, A; Mencia, C; Jarvisalo, M; Marques Silva, J ;
PUBLISHED: 2018, SOURCE: 32nd AAAI Conference on Artificial Intelligence / 30th Innovative Applications of Artificial Intelligence Conference / 8th AAAI Symposium on Educational Advances in Artificial Intelligence in THIRTY-SECOND AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE / THIRTIETH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE / EIGHTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, PAGES: 6633-6640
AUTHORS: Previti, A; Mencia, C; Jarvisalo, M; Marques Silva, J ;
PUBLISHED: 2018, SOURCE: 32nd AAAI Conference on Artificial Intelligence / 30th Innovative Applications of Artificial Intelligence Conference / 8th AAAI Symposium on Educational Advances in Artificial Intelligence in THIRTY-SECOND AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE / THIRTIETH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE / EIGHTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, PAGES: 6633-6640
INDEXED IN: 
WOS 
DBLP
WOS DBLP1142
TITLE: Probabilistic Load Forecasting Using an Improved Wavelet Neural Network Trained by Generalized Extreme Learning Machine
AUTHORS: Mehdi Rafiei; Taher Niknam; Jamshid Aghaei; Miadreza Shafie Khah; João P. S. Catalão ;
PUBLISHED: 2018, SOURCE: IEEE TRANSACTIONS ON SMART GRID, VOLUME: 9, ISSUE: 6, PAGES: 6961-6971
AUTHORS: Mehdi Rafiei; Taher Niknam; Jamshid Aghaei; Miadreza Shafie Khah; João P. S. Catalão ;
PUBLISHED: 2018, SOURCE: IEEE TRANSACTIONS ON SMART GRID, VOLUME: 9, ISSUE: 6, PAGES: 6961-6971
1143
TITLE: Probabilistic methodology for estimating the optimal photovoltaic capacity in distribution systems to avoid power flow reversals
AUTHORS: Juan M Lujano Rojas; Rodolfo Dufo Lopez; Jose L Bernal Agustin; Jose A Dominguez Navarro; João P. S. Catalão ;
PUBLISHED: 2018, SOURCE: IET RENEWABLE POWER GENERATION, VOLUME: 12, ISSUE: 9, PAGES: 1045-1064
AUTHORS: Juan M Lujano Rojas; Rodolfo Dufo Lopez; Jose L Bernal Agustin; Jose A Dominguez Navarro; João P. S. Catalão ;
PUBLISHED: 2018, SOURCE: IET RENEWABLE POWER GENERATION, VOLUME: 12, ISSUE: 9, PAGES: 1045-1064
1144
TITLE: Proceedings of the 19th International Middleware Conference, Middleware 2018, Rennes, France, December 10-14, 2018
AUTHORS: Paulo Ferreira ; Liuba Shrira;
PUBLISHED: 2018, SOURCE: Middleware
AUTHORS: Paulo Ferreira ; Liuba Shrira;
PUBLISHED: 2018, SOURCE: Middleware
INDEXED IN: DBLP
DBLP1145
TITLE: Proceedings of the 3rd Workshop on Middleware for Edge Clouds & Cloudlets, MECC@Middleware 2018, Rennes, France, December 11, 2018
AUTHORS: Rolando Martins ; Hervé Paulino ; Luís Veiga;
PUBLISHED: 2018, SOURCE: MECC@Middleware
AUTHORS: Rolando Martins ; Hervé Paulino ; Luís Veiga;
PUBLISHED: 2018, SOURCE: MECC@Middleware
INDEXED IN: DBLP
DBLP1146
TITLE: Propositional SAT Solving
AUTHORS: Joao Marques Silva ; Sharad Malik;
PUBLISHED: 2018, SOURCE: Handbook of Model Checking., PAGES: 247-275
AUTHORS: Joao Marques Silva ; Sharad Malik;
PUBLISHED: 2018, SOURCE: Handbook of Model Checking., PAGES: 247-275
INDEXED IN: 
Scopus DBLP 
Unpaywall
Scopus DBLP Unpaywall1147
TITLE: Prospects of a Meshed Electrical Distribution System Featuring Large-Scale Variable Renewable Power Full Text
AUTHORS: Marco R M Cruz; Desta Z Fitiwi; Sergio F Santos ; Silvio J P S Mariano; João P. S. Catalão ;
PUBLISHED: 2018, SOURCE: ENERGIES, VOLUME: 11, ISSUE: 12, PAGES: 3399
AUTHORS: Marco R M Cruz; Desta Z Fitiwi; Sergio F Santos ; Silvio J P S Mariano; João P. S. Catalão ;
PUBLISHED: 2018, SOURCE: ENERGIES, VOLUME: 11, ISSUE: 12, PAGES: 3399
1148
TITLE: Purchase' Portfolio Optimization of Power Supply Company with Distributed PV Considering EVs
AUTHORS: Hui Ren; Aiwei Zhang; Kangping Li; Fei Wang; Yahong Li; Miadreza Shafie khah; João P. S. Catalão ;
PUBLISHED: 2018, SOURCE: 2018 IEEE Industry Applications Society Annual Meeting, IAS 2018 in IEEE Industry Applications Society Annual Meeting, IAS 2018, Portland, OR, USA, September 23-27, 2018, PAGES: 1-9
AUTHORS: Hui Ren; Aiwei Zhang; Kangping Li; Fei Wang; Yahong Li; Miadreza Shafie khah; João P. S. Catalão ;
PUBLISHED: 2018, SOURCE: 2018 IEEE Industry Applications Society Annual Meeting, IAS 2018 in IEEE Industry Applications Society Annual Meeting, IAS 2018, Portland, OR, USA, September 23-27, 2018, PAGES: 1-9
1149
TITLE: PySAT: A Python Toolkit for Prototyping with SAT Oracles
AUTHORS: Alexey Ignatiev; Morgado, António ; João Marques Silva ;
PUBLISHED: 2018, SOURCE: Theory and Applications of Satisfiability Testing - SAT 2018 - 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings, VOLUME: 10929, PAGES: 428-437
AUTHORS: Alexey Ignatiev; Morgado, António ; João Marques Silva ;
PUBLISHED: 2018, SOURCE: Theory and Applications of Satisfiability Testing - SAT 2018 - 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings, VOLUME: 10929, PAGES: 428-437
INDEXED IN: DBLP
DBLP1150
TITLE: PySAT: A Python Toolkit for Prototyping with SAT Oracles
AUTHORS: Ignatiev, A; Morgado, António ; Marques Silva, J ;
PUBLISHED: 2018, SOURCE: 21st International Conference on Theory and Applications of Satisfiability Testing (SAT) Held as Part of the Federated Logic Conference (FloC) in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2018, VOLUME: 10929, PAGES: 428-437
AUTHORS: Ignatiev, A; Morgado, António ; Marques Silva, J ;
PUBLISHED: 2018, SOURCE: 21st International Conference on Theory and Applications of Satisfiability Testing (SAT) Held as Part of the Federated Logic Conference (FloC) in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2018, VOLUME: 10929, PAGES: 428-437
1151
TITLE: Radiocephalic Fistula Recovery Using the Brachial Vein and Forearm Basilic Vein: A Case Series and Literature Review. RC-AVF Recovery Using Different Veins Full Text
AUTHORS: Antonio Norton de Matos; Clemente N Sousa ; Paulo Almeida; Paulo Teles ; Duarte Rego; Gabriela Teixeira; Luis Loureiro; Sergio Teixeira; Ines Antunes;
PUBLISHED: 2018, SOURCE: THERAPEUTIC APHERESIS AND DIALYSIS, VOLUME: 22, ISSUE: 6, PAGES: 570-574
AUTHORS: Antonio Norton de Matos; Clemente N Sousa ; Paulo Almeida; Paulo Teles ; Duarte Rego; Gabriela Teixeira; Luis Loureiro; Sergio Teixeira; Ines Antunes;
PUBLISHED: 2018, SOURCE: THERAPEUTIC APHERESIS AND DIALYSIS, VOLUME: 22, ISSUE: 6, PAGES: 570-574
1152
TITLE: REPSYS: A ROBUST AND DISTRIBUTED INCENTIVE SCHEME FOR COLLABORATIVE CACHING AND DISSEMINATION IN CONTENT-CENTRIC CELLULAR-BASED VEHICULAR DELAY-TOLERANT NETWORKS
AUTHORS: Magaia, N; Sheng, ZG; Pereira, PR; Correia, M ;
PUBLISHED: 2018, SOURCE: IEEE WIRELESS COMMUNICATIONS, VOLUME: 25, ISSUE: 3, PAGES: 65-71
AUTHORS: Magaia, N; Sheng, ZG; Pereira, PR; Correia, M ;
PUBLISHED: 2018, SOURCE: IEEE WIRELESS COMMUNICATIONS, VOLUME: 25, ISSUE: 3, PAGES: 65-71
1153
TITLE: Residential Electricity Consumption Level Impact Factor Analysis Based on Wrapper Feature Selection and Multinomial Logistic Regression Full Text
AUTHORS: Fei Wang; Yili L Yu; Xinkang K Wang; Hui Ren; Miadreza Shafie Khah; João P. S. Catalão ;
PUBLISHED: 2018, SOURCE: ENERGIES, VOLUME: 11, ISSUE: 5, PAGES: 1180
AUTHORS: Fei Wang; Yili L Yu; Xinkang K Wang; Hui Ren; Miadreza Shafie Khah; João P. S. Catalão ;
PUBLISHED: 2018, SOURCE: ENERGIES, VOLUME: 11, ISSUE: 5, PAGES: 1180
1154
TITLE: Review of primary voltage and frequency control methods for inverter-based islanded microgrids with distributed generation Full Text
AUTHORS: Ebrahim Rokrok; Miadreza Shafie Khah; João P. S. Catalão ;
PUBLISHED: 2018, SOURCE: RENEWABLE & SUSTAINABLE ENERGY REVIEWS, VOLUME: 82, PAGES: 3225-3235
AUTHORS: Ebrahim Rokrok; Miadreza Shafie Khah; João P. S. Catalão ;
PUBLISHED: 2018, SOURCE: RENEWABLE & SUSTAINABLE ENERGY REVIEWS, VOLUME: 82, PAGES: 3225-3235
1155
TITLE: Risk-Based Two-Stage Stochastic Optimization Problem of Micro-Grid Operation with Renewables and Incentive-Based Demand Response Programs Full Text
AUTHORS: Pouria Sheikhahmadi; Ramyar Mafakheri; Salah Bahramara; Maziar Yazdani Damavandi; João P. S. Catalão ;
PUBLISHED: 2018, SOURCE: ENERGIES, VOLUME: 11, ISSUE: 3, PAGES: 610
AUTHORS: Pouria Sheikhahmadi; Ramyar Mafakheri; Salah Bahramara; Maziar Yazdani Damavandi; João P. S. Catalão ;
PUBLISHED: 2018, SOURCE: ENERGIES, VOLUME: 11, ISSUE: 3, PAGES: 610
1156
TITLE: Robots that Listen to People's Hearts: The Role of Emotions in the Communication between Humans and Social Robots
AUTHORS: Paiva, A ;
PUBLISHED: 2018, SOURCE: 26th ACM Conference on User Modeling, Adaptation and Personalization (UMAP) in PROCEEDINGS OF THE 26TH CONFERENCE ON USER MODELING, ADAPTATION AND PERSONALIZATION (UMAP'18), PAGES: 175-175
AUTHORS: Paiva, A ;
PUBLISHED: 2018, SOURCE: 26th ACM Conference on User Modeling, Adaptation and Personalization (UMAP) in PROCEEDINGS OF THE 26TH CONFERENCE ON USER MODELING, ADAPTATION AND PERSONALIZATION (UMAP'18), PAGES: 175-175
INDEXED IN: WOS
WOS1157
TITLE: Robust Probabilistic Load Flow in Microgrids considering Wind Generation, Photovoltaics and Plug-in Hybrid Electric Vehicles
AUTHORS: Hamid Reza Baghaee; Ali Parizad; Pierluigi Siano; Miadreza Shafie khah; Gerardo J Osorio; João P. S. Catalão ;
PUBLISHED: 2018, SOURCE: 16th IEEE International Conference on Industrial Informatics (INDIN) in 2018 IEEE 16TH INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN), PAGES: 978-983
AUTHORS: Hamid Reza Baghaee; Ali Parizad; Pierluigi Siano; Miadreza Shafie khah; Gerardo J Osorio; João P. S. Catalão ;
PUBLISHED: 2018, SOURCE: 16th IEEE International Conference on Industrial Informatics (INDIN) in 2018 IEEE 16TH INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN), PAGES: 978-983
1158
TITLE: RockFS: Cloud-backed File System Resilience to Client-Side Attacks
AUTHORS: David R Matos; Miguel L Pardal; Georg Carle; Miguel Correia ;
PUBLISHED: 2018, SOURCE: 19th ACM/IFIP/USENIX International Middleware Conference, Middleware 2018 in Proceedings of the 19th International Middleware Conference, Middleware 2018, Rennes, France, December 10-14, 2018, PAGES: 107-119
AUTHORS: David R Matos; Miguel L Pardal; Georg Carle; Miguel Correia ;
PUBLISHED: 2018, SOURCE: 19th ACM/IFIP/USENIX International Middleware Conference, Middleware 2018 in Proceedings of the 19th International Middleware Conference, Middleware 2018, Rennes, France, December 10-14, 2018, PAGES: 107-119
INDEXED IN: Scopus DBLP
Scopus DBLP1159
TITLE: Role of Distributed Energy Storage Systems in the Quest for Carbon-free Electric Distribution Systems
AUTHORS: Desta Z Fitiwi; Sergio F Santos ; João P. S. Catalão ;
PUBLISHED: 2018, SOURCE: IEEE International Conference on Environment and Electrical Engineering / IEEE Industrial and Commercial Power Systems Europe (EEEIC / I&CPS Europe) in 2018 IEEE INTERNATIONAL CONFERENCE ON ENVIRONMENT AND ELECTRICAL ENGINEERING AND 2018 IEEE INDUSTRIAL AND COMMERCIAL POWER SYSTEMS EUROPE (EEEIC / I&CPS EUROPE)
AUTHORS: Desta Z Fitiwi; Sergio F Santos ; João P. S. Catalão ;
PUBLISHED: 2018, SOURCE: IEEE International Conference on Environment and Electrical Engineering / IEEE Industrial and Commercial Power Systems Europe (EEEIC / I&CPS Europe) in 2018 IEEE INTERNATIONAL CONFERENCE ON ENVIRONMENT AND ELECTRICAL ENGINEERING AND 2018 IEEE INDUSTRIAL AND COMMERCIAL POWER SYSTEMS EUROPE (EEEIC / I&CPS EUROPE)
1160
TITLE: ROLP: Runtime Object Lifetime Profiling for Big Data Memory Management PDF
AUTHORS: Bruno, Rodrigo ; Duarte Patrício; José Simão; Luís Veiga ; Paulo Ferreira ;
PUBLISHED: 2018, SOURCE: CoRR, VOLUME: abs/1804.00702
AUTHORS: Bruno, Rodrigo ; Duarte Patrício; José Simão; Luís Veiga ; Paulo Ferreira ;
PUBLISHED: 2018, SOURCE: CoRR, VOLUME: abs/1804.00702
INDEXED IN: DBLP 
arXiv
DBLP arXiv