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

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

Results per Page: 20.
Página 115 de 341. Total de resultados: 6820.