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
1881
TITLE: Deterministic Parallel MaxSAT Solving Full Text
AUTHORS: Martins, R; Manquinho, V; Lynce, I ;
PUBLISHED: 2015, SOURCE: INTERNATIONAL JOURNAL ON ARTIFICIAL INTELLIGENCE TOOLS, VOLUME: 24, ISSUE: 3, PAGES: 1550005:1-1550005:25
AUTHORS: Martins, R; Manquinho, V; Lynce, I ;
PUBLISHED: 2015, SOURCE: INTERNATIONAL JOURNAL ON ARTIFICIAL INTELLIGENCE TOOLS, VOLUME: 24, ISSUE: 3, PAGES: 1550005:1-1550005:25
1882
TITLE: DG investment planning analysis with renewable integration and considering emission costs
AUTHORS: Desta Zahlay Fitiwi; Sérgio F Santos ; Abebe W Bizuayehu; Miadreza Shafie khah; João P. S. Catalão ; Miguel Asensio; Javier Contreras;
PUBLISHED: 2015, SOURCE: International Conference on Computer as a Tool, IEEE EUROCON 2015 in IEEE EUROCON 2015 - International Conference on Computer as a Tool, Salamanca, Spain, September 8-11, 2015, PAGES: 1-6
AUTHORS: Desta Zahlay Fitiwi; Sérgio F Santos ; Abebe W Bizuayehu; Miadreza Shafie khah; João P. S. Catalão ; Miguel Asensio; Javier Contreras;
PUBLISHED: 2015, SOURCE: International Conference on Computer as a Tool, IEEE EUROCON 2015 in IEEE EUROCON 2015 - International Conference on Computer as a Tool, Salamanca, Spain, September 8-11, 2015, PAGES: 1-6
1883
TITLE: DG Investment Planning Analysis with Renewable Integration and Considering Emission Costs
AUTHORS: Desta Zahlay; Fitiwi Sergio F Santos ; Abebe W Bizuayehu; Miadreza Shafie khah; João P. S. Catalão ; Miguel Asensio; Javier Contreras;
PUBLISHED: 2015, SOURCE: International Conference on Computer as a Tool (EUROCON), IEEE in IEEE EUROCON 2015 - INTERNATIONAL CONFERENCE ON COMPUTER AS A TOOL (EUROCON), PAGES: 618-623
AUTHORS: Desta Zahlay; Fitiwi Sergio F Santos ; Abebe W Bizuayehu; Miadreza Shafie khah; João P. S. Catalão ; Miguel Asensio; Javier Contreras;
PUBLISHED: 2015, SOURCE: International Conference on Computer as a Tool (EUROCON), IEEE in IEEE EUROCON 2015 - INTERNATIONAL CONFERENCE ON COMPUTER AS A TOOL (EUROCON), PAGES: 618-623
INDEXED IN: 
WOS
WOS1884
TITLE: Disjoint-Access Parallelism. Impossibility, Possibility, and Cost of Transactional Memory Implementations
AUTHORS: Sebastiano Peluso; Roberto Palmieri; Paolo Romano ; Binoy Ravindran; Francesco Quaglia;
PUBLISHED: 2015, SOURCE: Proceedings of the 2015 ACM Symposium on Principles of Distributed Computing - PODC '15
AUTHORS: Sebastiano Peluso; Roberto Palmieri; Paolo Romano ; Binoy Ravindran; Francesco Quaglia;
PUBLISHED: 2015, SOURCE: Proceedings of the 2015 ACM Symposium on Principles of Distributed Computing - PODC '15
1885
TITLE: Disjoint-access parallelism: Impossibility, possibility, and cost of transactional memory implementations
AUTHORS: Peluso, S; Palmieri, R; Romano, P ; Ravindran, B; Quaglia, F;
PUBLISHED: 2015, SOURCE: ACM Symposium on Principles of Distributed Computing, PODC 2015 in Proceedings of the Annual ACM Symposium on Principles of Distributed Computing, VOLUME: 2015-July, PAGES: 217-226
AUTHORS: Peluso, S; Palmieri, R; Romano, P ; Ravindran, B; Quaglia, F;
PUBLISHED: 2015, SOURCE: ACM Symposium on Principles of Distributed Computing, PODC 2015 in Proceedings of the Annual ACM Symposium on Principles of Distributed Computing, VOLUME: 2015-July, PAGES: 217-226
INDEXED IN: 
Scopus
Scopus1886
TITLE: Distance to parks and non-residential destinations influences physical activity of older people, but crime doesn't: a cross-sectional study in a southern European city Full Text
AUTHORS: Ribeiro, AI ; Pires, A; Flora Correia; Pina, MF;
PUBLISHED: 2015, SOURCE: BMC PUBLIC HEALTH, VOLUME: 15, ISSUE: 1
AUTHORS: Ribeiro, AI ; Pires, A; Flora Correia; Pina, MF;
PUBLISHED: 2015, SOURCE: BMC PUBLIC HEALTH, VOLUME: 15, ISSUE: 1
1887
TITLE: DistMS: A Non-Portfolio Distributed Solver for Maximum Satisfiability PDF
AUTHORS: Miguel Neves; Inês Lynce ; Vasco Manquinho;
PUBLISHED: 2015, SOURCE: CoRR, VOLUME: abs/1505.02408
AUTHORS: Miguel Neves; Inês Lynce ; Vasco Manquinho;
PUBLISHED: 2015, SOURCE: CoRR, VOLUME: abs/1505.02408
INDEXED IN: 
DBLP 
arXiv
DBLP arXiv1888
TITLE: Distribution System Operation Enhancement through Household Consumption Coordination in a Dynamic Pricing Environment
AUTHORS: Nikolaos G Paterakis; Miguel F Medeiros; João P. S. Catalão ; Ozan Erdinc;
PUBLISHED: 2015, SOURCE: PowerTech, 2015 IEEE Eindhoven in 2015 IEEE EINDHOVEN POWERTECH
AUTHORS: Nikolaos G Paterakis; Miguel F Medeiros; João P. S. Catalão ; Ozan Erdinc;
PUBLISHED: 2015, SOURCE: PowerTech, 2015 IEEE Eindhoven in 2015 IEEE EINDHOVEN POWERTECH
1889
TITLE: Distribution System Reconfiguration in Economic Dispatch with High Wind Penetration
AUTHORS: Abebe W Bizuayehu; Agustin A S Sanchez de la Nieta; João P. S. Catalão ; Pilar M Meneses de Quevedo; 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: Abebe W Bizuayehu; Agustin A S Sanchez de la Nieta; João P. S. Catalão ; Pilar M Meneses de Quevedo; 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
1890
TITLE: Distribution System Short-term Operation Loss Analysis with Stochastic Wind Integration
AUTHORS: Abebe W Bizuayehu; Agustin A S Sanchez de la Nieta; João P. S. Catalão ; Pilar M Meneses de Quevedo; Javier Contreras;
PUBLISHED: 2015, SOURCE: PowerTech, 2015 IEEE Eindhoven in 2015 IEEE EINDHOVEN POWERTECH
AUTHORS: Abebe W Bizuayehu; Agustin A S Sanchez de la Nieta; João P. S. Catalão ; Pilar M Meneses de Quevedo; Javier Contreras;
PUBLISHED: 2015, SOURCE: PowerTech, 2015 IEEE Eindhoven in 2015 IEEE EINDHOVEN POWERTECH
1891
TITLE: Echoes from Sepharad: signatures on the maternal gene pool of crypto-Jewish descendants
AUTHORS: Ines Nogueiro; Joao Teixeira; Amorim, Antonio ; Leonor Gusmao; Luis Alvarez;
PUBLISHED: 2015, SOURCE: EUROPEAN JOURNAL OF HUMAN GENETICS, VOLUME: 23, ISSUE: 5, PAGES: 693-699
AUTHORS: Ines Nogueiro; Joao Teixeira; Amorim, Antonio ; Leonor Gusmao; Luis Alvarez;
PUBLISHED: 2015, SOURCE: EUROPEAN JOURNAL OF HUMAN GENETICS, VOLUME: 23, ISSUE: 5, PAGES: 693-699
1892
TITLE: Eery Space: Facilitating Virtual Meetings Through Remote Proxemics
AUTHORS: Sousa, M; Mendes, D ; Ferreira, A ; Pereira, JM ; Jorge, J;
PUBLISHED: 2015, SOURCE: 15th IFIP TC.13 International Conference on Human-Computer Interaction (INTERACT) in HUMAN-COMPUTER INTERACTION - INTERACT 2015, PT III, VOLUME: 9298, PAGES: 622-629
AUTHORS: Sousa, M; Mendes, D ; Ferreira, A ; Pereira, JM ; Jorge, J;
PUBLISHED: 2015, SOURCE: 15th IFIP TC.13 International Conference on Human-Computer Interaction (INTERACT) in HUMAN-COMPUTER INTERACTION - INTERACT 2015, PT III, VOLUME: 9298, PAGES: 622-629
1893
TITLE: Effect of Loads and Other Key Factors on Oil-Transformer Ageing: Sustainability Benefits and Challenges Full Text
AUTHORS: Radu Godina; Eduardo M G Rodrigues; Joao C O Matias; João P. S. Catalão ;
PUBLISHED: 2015, SOURCE: Energies, VOLUME: 8, ISSUE: 10, PAGES: 12147-12186
AUTHORS: Radu Godina; Eduardo M G Rodrigues; Joao C O Matias; João P. S. Catalão ;
PUBLISHED: 2015, SOURCE: Energies, VOLUME: 8, ISSUE: 10, PAGES: 12147-12186
1894
TITLE: Effects of Iron Oxide Nanoparticles: Cytotoxicity, Genotoxicity, Developmental Toxicity, and Neurotoxicity. Effects of Iron Oxide Nanoparticles Full Text
AUTHORS: Vanessa Valdiglesias; Goezde Kilic; Carla Costa ; Natalia Fernandez Bertolez; Eduardo Pasaro; Joao Paulo Teixeira; Blanca Laffon;
PUBLISHED: 2015, SOURCE: ENVIRONMENTAL AND MOLECULAR MUTAGENESIS, VOLUME: 56, ISSUE: 2, PAGES: 125-148
AUTHORS: Vanessa Valdiglesias; Goezde Kilic; Carla Costa ; Natalia Fernandez Bertolez; Eduardo Pasaro; Joao Paulo Teixeira; Blanca Laffon;
PUBLISHED: 2015, SOURCE: ENVIRONMENTAL AND MOLECULAR MUTAGENESIS, VOLUME: 56, ISSUE: 2, PAGES: 125-148
1895
TITLE: Efficient Axiom Pinpointing with EL2MCS
AUTHORS: Arif, MF; Mencia, C; Marques Silva, J ;
PUBLISHED: 2015, SOURCE: 38th German Conference on Artificial Intelligence (AI) in KI 2015: ADVANCES IN ARTIFICIAL INTELLIGENCE, VOLUME: 9324, PAGES: 225-233
AUTHORS: Arif, MF; Mencia, C; Marques Silva, J ;
PUBLISHED: 2015, SOURCE: 38th German Conference on Artificial Intelligence (AI) in KI 2015: ADVANCES IN ARTIFICIAL INTELLIGENCE, VOLUME: 9324, PAGES: 225-233
1896
TITLE: Efficient data-stream management for shared-memory many-core systems
AUTHORS: Neves, N ; Tomás, P ; Roma, N ;
PUBLISHED: 2015, SOURCE: 25th International Conference on Field Programmable Logic and Applications, FPL 2015 in 25th International Conference on Field Programmable Logic and Applications, FPL 2015
AUTHORS: Neves, N ; Tomás, P ; Roma, N ;
PUBLISHED: 2015, SOURCE: 25th International Conference on Field Programmable Logic and Applications, FPL 2015 in 25th International Conference on Field Programmable Logic and Applications, FPL 2015
1897
TITLE: Efficient Data-Stream Management for Shared-Memory Many-Core Systems
AUTHORS: Nuno Neves; Pedro Tomas ; Nuno Roma ;
PUBLISHED: 2015, SOURCE: 25th International Conference on Field Programmable Logic and Applications in 2015 25TH INTERNATIONAL CONFERENCE ON FIELD PROGRAMMABLE LOGIC AND APPLICATIONS
AUTHORS: Nuno Neves; Pedro Tomas ; Nuno Roma ;
PUBLISHED: 2015, SOURCE: 25th International Conference on Field Programmable Logic and Applications in 2015 25TH INTERNATIONAL CONFERENCE ON FIELD PROGRAMMABLE LOGIC AND APPLICATIONS
INDEXED IN: WOS
WOS1898
TITLE: Efficient Free-rider Detection using Symmetric Overlays
AUTHORS: Joao Silva; Xavier Vilaca; Hugo Miranda; Luis Rodrigues ;
PUBLISHED: 2015, SOURCE: IEEE 14th International Symposium on Network Computing and Applications NCA in 2015 IEEE 14th International Symposium on Network Computing and Applications (NCA), PAGES: 263-266
AUTHORS: Joao Silva; Xavier Vilaca; Hugo Miranda; Luis Rodrigues ;
PUBLISHED: 2015, SOURCE: IEEE 14th International Symposium on Network Computing and Applications NCA in 2015 IEEE 14th International Symposium on Network Computing and Applications (NCA), PAGES: 263-266
1899
TITLE: Efficient Model Based Diagnosis with Maximum Satisfiability
AUTHORS: João Marques Silva ; Mikolás Janota; Alexey Ignatiev; Morgado, António ;
PUBLISHED: 2015, SOURCE: 24th International Joint Conference on Artificial Intelligence, IJCAI 2015 in Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015, VOLUME: 2015-January, PAGES: 1966-1972
AUTHORS: João Marques Silva ; Mikolás Janota; Alexey Ignatiev; Morgado, António ;
PUBLISHED: 2015, SOURCE: 24th International Joint Conference on Artificial Intelligence, IJCAI 2015 in Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015, VOLUME: 2015-January, PAGES: 1966-1972
INDEXED IN: Scopus DBLP
Scopus DBLP1900
TITLE: Efficient MUS Enumeration of Horn Formulae with Applications to Axiom Pinpointing
AUTHORS: Arif, MF; Mencia, C; Marques Silva, J ;
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: 324-342
AUTHORS: Arif, MF; Mencia, C; Marques Silva, J ;
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: 324-342
