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
2281
TITLE: MODELING OF HUMAN EXPOSURE TO BENZENE IN URBAN ENVIRONMENTS Full Text
AUTHORS: Oxana Tchepel; Daniela Dias; Carla Costa ; Bruno F Santos; Joao Paulo Teixeira;
PUBLISHED: 2014, SOURCE: JOURNAL OF TOXICOLOGY AND ENVIRONMENTAL HEALTH-PART A-CURRENT ISSUES, VOLUME: 77, ISSUE: 14-16, PAGES: 777-795
AUTHORS: Oxana Tchepel; Daniela Dias; Carla Costa ; Bruno F Santos; Joao Paulo Teixeira;
PUBLISHED: 2014, SOURCE: JOURNAL OF TOXICOLOGY AND ENVIRONMENTAL HEALTH-PART A-CURRENT ISSUES, VOLUME: 77, ISSUE: 14-16, PAGES: 777-795
2282
TITLE: Modeling the Carrier Dependencies on Demand-Side in a Smart Multi-Energy Local Network
AUTHORS: Nilufar Neyestani ; Maziar Yazdani Damavandi; Miadreza Shafie Khah; João P. S. Catalão ; Gianfranco Chicco;
PUBLISHED: 2014, SOURCE: Smart Grid Conference in 2014 SMART GRID CONFERENCE (SGC)
AUTHORS: Nilufar Neyestani ; Maziar Yazdani Damavandi; Miadreza Shafie Khah; João P. S. Catalão ; Gianfranco Chicco;
PUBLISHED: 2014, SOURCE: Smart Grid Conference in 2014 SMART GRID CONFERENCE (SGC)
2283
TITLE: Modeling the Optimal Behavior of PEV Parking Lots in Energy and Reserve Market
AUTHORS: Nilufar Neyestani ; Maziar Yazdani Damavandi; Miadreza Shafie Khah; João P. S. Catalão ; Javier Contreras;
PUBLISHED: 2014, SOURCE: 5th IEEE PES Innovative Smart Grid Technologies Conference Europe (ISGT Europe) in 2014 IEEE PES INNOVATIVE SMART GRID TECHNOLOGIES CONFERENCE EUROPE (ISGT EUROPE), VOLUME: 2015-January, ISSUE: January
AUTHORS: Nilufar Neyestani ; Maziar Yazdani Damavandi; Miadreza Shafie Khah; João P. S. Catalão ; Javier Contreras;
PUBLISHED: 2014, SOURCE: 5th IEEE PES Innovative Smart Grid Technologies Conference Europe (ISGT Europe) in 2014 IEEE PES INNOVATIVE SMART GRID TECHNOLOGIES CONFERENCE EUROPE (ISGT EUROPE), VOLUME: 2015-January, ISSUE: January
2284
TITLE: Monitoring Performance and Power for Application Characterization with the Cache-Aware Roofline Model
AUTHORS: Diogo Antao; Luis Tanica; Aleksandar Ilic; Frederico Pratas; Pedro Tomas ; Leonel Sousa ;
PUBLISHED: 2014, SOURCE: 10th International Conference on Parallel Processing and Applied Mathematics (PPAM) in PARALLEL PROCESSING AND APPLIED MATHEMATICS (PPAM 2013), PT I, VOLUME: 8384, ISSUE: PART 1, PAGES: 747-760
AUTHORS: Diogo Antao; Luis Tanica; Aleksandar Ilic; Frederico Pratas; Pedro Tomas ; Leonel Sousa ;
PUBLISHED: 2014, SOURCE: 10th International Conference on Parallel Processing and Applied Mathematics (PPAM) in PARALLEL PROCESSING AND APPLIED MATHEMATICS (PPAM 2013), PT I, VOLUME: 8384, ISSUE: PART 1, PAGES: 747-760
INDEXED IN: 
Scopus 
WOS
Scopus WOS2285
TITLE: MSCG: Robust Core-Guided MaxSAT Solving
AUTHORS: Morgado, António ; Alexey Ignatiev; Joao Marques Silva ;
PUBLISHED: 2014, SOURCE: JSAT, VOLUME: 9, PAGES: 129-134
AUTHORS: Morgado, António ; Alexey Ignatiev; Joao Marques Silva ;
PUBLISHED: 2014, SOURCE: JSAT, VOLUME: 9, PAGES: 129-134
INDEXED IN: 
DBLP
DBLP2286
TITLE: Multi-agent simulation of bilateral contracting in competitive electricity markets Full Text
AUTHORS: Lopes, F; Algarvio, H; Sousa, JAM; Coelho, H; Pinto, T ; Santos, G; Vale, Z; Praca, I;
PUBLISHED: 2014, SOURCE: 25th International Workshop on Database and Expert Systems Applications, DEXA 2014 in Proceedings - International Workshop on Database and Expert Systems Applications, DEXA, PAGES: 131-135
AUTHORS: Lopes, F; Algarvio, H; Sousa, JAM; Coelho, H; Pinto, T ; Santos, G; Vale, Z; Praca, I;
PUBLISHED: 2014, SOURCE: 25th International Workshop on Database and Expert Systems Applications, DEXA 2014 in Proceedings - International Workshop on Database and Expert Systems Applications, DEXA, PAGES: 131-135
2287
TITLE: Multi-Objective Optimization of Radial Distribution Networks using an Effective Implementation of the epsilon-constraint Method
AUTHORS: Nikolaos G Paterakis; Sergio F Santos ; João P. S. Catalão ; Anastasios G Bakirtzis; Gianfranco Chicco;
PUBLISHED: 2014, SOURCE: Australasian Universities Power Engineering Conference (AUPEC) in 2014 Australasian Universities Power Engineering Conference (AUPEC)
AUTHORS: Nikolaos G Paterakis; Sergio F Santos ; João P. S. Catalão ; Anastasios G Bakirtzis; Gianfranco Chicco;
PUBLISHED: 2014, SOURCE: Australasian Universities Power Engineering Conference (AUPEC) in 2014 Australasian Universities Power Engineering Conference (AUPEC)
2288
TITLE: Multilevel High-Voltage Pulse Generation Based on a New Modular Solid-State Switch Full Text
AUTHORS: Luis Lamy Rocha; Jose Fernando Silva ; Luis M Redondo;
PUBLISHED: 2014, SOURCE: IEEE TRANSACTIONS ON PLASMA SCIENCE, VOLUME: 42, ISSUE: 10, PAGES: 2956-2961
AUTHORS: Luis Lamy Rocha; Jose Fernando Silva ; Luis M Redondo;
PUBLISHED: 2014, SOURCE: IEEE TRANSACTIONS ON PLASMA SCIENCE, VOLUME: 42, ISSUE: 10, PAGES: 2956-2961
INDEXED IN: Scopus WOS
Scopus WOS2289
TITLE: Multiplierless Design of Folded DSP Blocks Full Text
AUTHORS: Levent Aksoy; Paulo Flores; Jose Monteiro ;
PUBLISHED: 2014, SOURCE: ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS, VOLUME: 20, ISSUE: 1, PAGES: 1-24
AUTHORS: Levent Aksoy; Paulo Flores; Jose Monteiro ;
PUBLISHED: 2014, SOURCE: ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS, VOLUME: 20, ISSUE: 1, PAGES: 1-24
2290
TITLE: MUS Extraction Using Clausal Proofs
AUTHORS: Anton Belov; Marijn Heule; João Marques Silva ;
PUBLISHED: 2014, SOURCE: 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, PAGES: 48-57
AUTHORS: Anton Belov; Marijn Heule; João Marques Silva ;
PUBLISHED: 2014, SOURCE: 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, PAGES: 48-57
2291
TITLE: MUS Extraction Using Clausal Proofs
AUTHORS: Anton Belov; Marijn J H Heule; Joao Marques Silva ;
PUBLISHED: 2014, SOURCE: 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, PAGES: 48-57
AUTHORS: Anton Belov; Marijn J H Heule; Joao Marques Silva ;
PUBLISHED: 2014, SOURCE: 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, PAGES: 48-57
INDEXED IN: WOS
WOS2292
TITLE: NaS Battery Storage System Modeling and Sizing for Extending Wind Farms Performance in Crete
AUTHORS: Rodrigues, EMG; Fernandes, CAS; Godina, R; Bizuayehu, AW; João P. S. Catalão ;
PUBLISHED: 2014, SOURCE: Australasian Universities Power Engineering Conference (AUPEC) in 2014 Australasian Universities Power Engineering Conference (AUPEC)
AUTHORS: Rodrigues, EMG; Fernandes, CAS; Godina, R; Bizuayehu, AW; João P. S. Catalão ;
PUBLISHED: 2014, SOURCE: Australasian Universities Power Engineering Conference (AUPEC) in 2014 Australasian Universities Power Engineering Conference (AUPEC)
2293
TITLE: Neuroprotective effect of steroidal alkaloids on glutamate-induced toxicity by preserving mitochondrial membrane potential and reducing oxidative stress Full Text
AUTHORS: Marcos Taveira ; Carla Sousa; Patricia Valentao ; Federico Ferreres; Joao P Teixeira; Paula B Andrade ;
PUBLISHED: 2014, SOURCE: JOURNAL OF STEROID BIOCHEMISTRY AND MOLECULAR BIOLOGY, VOLUME: 140, PAGES: 106-115
AUTHORS: Marcos Taveira ; Carla Sousa; Patricia Valentao ; Federico Ferreres; Joao P Teixeira; Paula B Andrade ;
PUBLISHED: 2014, SOURCE: JOURNAL OF STEROID BIOCHEMISTRY AND MOLECULAR BIOLOGY, VOLUME: 140, PAGES: 106-115
2294
TITLE: Noise tolerance in a Neocognitron-like network Full Text
AUTHORS: Angelo Cardoso; Andreas Wichert ;
PUBLISHED: 2014, SOURCE: NEURAL NETWORKS, VOLUME: 49, PAGES: 32-38
AUTHORS: Angelo Cardoso; Andreas Wichert ;
PUBLISHED: 2014, SOURCE: NEURAL NETWORKS, VOLUME: 49, PAGES: 32-38
2295
TITLE: Non-Blocking Atomic Commitment with Byzantine Faults
AUTHORS: Aldelir Fernando Luiz; Lau Cheuk Lung; Miguel Correia ; Valdir Stumm Junior;
PUBLISHED: 2014, SOURCE: 32nd Brazilian Symposium on Computer Networks and Distributed Systems (SBRC) in 2014 BRAZILIAN SYMPOSIUM ON COMPUTER NETWORKS AND DISTRIBUTED SYSTEMS (SBRC), PAGES: 156-164
AUTHORS: Aldelir Fernando Luiz; Lau Cheuk Lung; Miguel Correia ; Valdir Stumm Junior;
PUBLISHED: 2014, SOURCE: 32nd Brazilian Symposium on Computer Networks and Distributed Systems (SBRC) in 2014 BRAZILIAN SYMPOSIUM ON COMPUTER NETWORKS AND DISTRIBUTED SYSTEMS (SBRC), PAGES: 156-164
2296
TITLE: Nonlinear system identification using constellation based multiple model adaptive estimators
AUTHORS: Martins, JC; Caeiro, JJ; Sousa, LA ;
PUBLISHED: 2014, SOURCE: 22nd European Signal Processing Conference, EUSIPCO 2014 in European Signal Processing Conference, PAGES: 1217-1221
AUTHORS: Martins, JC; Caeiro, JJ; Sousa, LA ;
PUBLISHED: 2014, SOURCE: 22nd European Signal Processing Conference, EUSIPCO 2014 in European Signal Processing Conference, PAGES: 1217-1221
INDEXED IN: Scopus DBLP
Scopus DBLP2297
TITLE: On Computing Preferred MUSes and MCSes
AUTHORS: João Marques Silva ; Alessandro Previti;
PUBLISHED: 2014, SOURCE: 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, PAGES: 58-74
AUTHORS: João Marques Silva ; Alessandro Previti;
PUBLISHED: 2014, SOURCE: 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, PAGES: 58-74
INDEXED IN: Scopus DBLP 
Unpaywall
Scopus DBLP Unpaywall2298
TITLE: On demand Resource Allocation Middleware for Massively Multiplayer Online Games
AUTHORS: Andre Pessoa Negrao; Miguel Adaixo; Luis Veiga ; Paulo Ferreira ;
PUBLISHED: 2014, SOURCE: 13th IEEE International Symposium on Network Computing and Applications (NCA) in 2014 IEEE 13TH INTERNATIONAL SYMPOSIUM ON NETWORK COMPUTING AND APPLICATIONS (NCA 2014), PAGES: 71-74
AUTHORS: Andre Pessoa Negrao; Miguel Adaixo; Luis Veiga ; Paulo Ferreira ;
PUBLISHED: 2014, SOURCE: 13th IEEE International Symposium on Network Computing and Applications (NCA) in 2014 IEEE 13TH INTERNATIONAL SYMPOSIUM ON NETWORK COMPUTING AND APPLICATIONS (NCA 2014), PAGES: 71-74
2299
TITLE: On lazy and eager interactive reconfiguration
AUTHORS: Mikolás Janota; Goetz Botterweck; João Marques Silva ;
PUBLISHED: 2014, SOURCE: The Eighth International Workshop on Variability Modelling of Software-intensive Systems, VaMoS '14, Sophia Antipolis, France, January 22-24, 2014, PAGES: 8:1-8:8
AUTHORS: Mikolás Janota; Goetz Botterweck; João Marques Silva ;
PUBLISHED: 2014, SOURCE: The Eighth International Workshop on Variability Modelling of Software-intensive Systems, VaMoS '14, Sophia Antipolis, France, January 22-24, 2014, PAGES: 8:1-8:8
2300
TITLE: On Reducing Maximum Independent Set to Minimum Satisfiability
AUTHORS: Ignatiev, A; Morgado, António ; Marques Silva, J ;
PUBLISHED: 2014, SOURCE: 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, PAGES: 103-120
AUTHORS: Ignatiev, A; Morgado, António ; Marques Silva, J ;
PUBLISHED: 2014, SOURCE: 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, PAGES: 103-120
