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: 6881

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

Results per Page: 20.
Página 95 de 345. Total de resultados: 6881.