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
3201
TÍTULO: On Efficient Computation of Variable MUSes
AUTORES: Anton Belov; Alexander Ivrii; Arie Matsliah; João Marques Silva ;
PUBLICAÇÃO: 2012, FONTE: 15th International Conference on Theory and Applications of Satisfiability Testing, SAT 2012 in Theory and Applications of Satisfiability Testing - SAT 2012 - 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings, VOLUME: 7317, PÁGINAS: 298-311
INDEXADO EM: Scopus DBLP CrossRef Unpaywall
3202
TÍTULO: On Partitioning for Maximum Satisfiability
AUTORES: Martins, R; Manquinho, V ; Lynce, I ;
PUBLICAÇÃO: 2012, FONTE: 20th European Conference on Artificial Intelligence (ECAI) in 20TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE (ECAI 2012), VOLUME: 242, PÁGINAS: 913-914
INDEXADO EM: Scopus WOS DBLP
3203
TÍTULO: On realistic divisible load scheduling in highly heterogeneous distributed systems
AUTORES: Ilic, A ; Sousa, L ;
PUBLICAÇÃO: 2012, FONTE: 20th Euromicro International Conference on Parallel, Distributed and Network-Based Processing, PDP 2012 in Proceedings - 20th Euromicro International Conference on Parallel, Distributed and Network-Based Processing, PDP 2012, PÁGINAS: 426-433
INDEXADO EM: Scopus DBLP CrossRef
3204
TÍTULO: On the analytical modeling of concurrency control algorithms for Software Transactional Memories: The case of Commit-Time-Locking  Full Text
AUTORES: Pierangelo Di Sanzo; Bruno Ciciani; Roberto Palmieri; Francesco Quaglia; Paolo Romano ;
PUBLICAÇÃO: 2012, FONTE: PERFORMANCE EVALUATION, VOLUME: 69, NÚMERO: 5, PÁGINAS: 187-205
INDEXADO EM: Scopus WOS CrossRef: 22
3205
TÍTULO: On the Feasibility of Byzantine Fault-Tolerant MapReduce in Clouds-of-Clouds  Full Text
AUTORES: Miguel Correia ; Pedro Costa; Marcelo Pasin; Alysson Bessani ; Fernando Ramos ; Paulo Verissimo ;
PUBLICAÇÃO: 2012, FONTE: 31st IEEE International Symposium on Reliable Distributed Systems (SRDS) in 2012 31ST INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS (SRDS 2012), PÁGINAS: 448-453
INDEXADO EM: Scopus WOS DBLP CrossRef: 8
3206
TÍTULO: On the Need of New Methods to Mine Electrodermal Activity in Emotion-Centered Studies
AUTORES: Rui Henriques; Ana Paiva ; Antunes, Claudia ;
PUBLICAÇÃO: 2012, FONTE: 8th International Workshop on Agents and Data Mining Interaction, ADMI 2012 in Agents and Data Mining Interaction - 8th International Workshop, ADMI 2012, Valencia, Spain, June 4-5, 2012, Revised Selected Papers, VOLUME: 7607, PÁGINAS: 203-215
INDEXADO EM: Scopus DBLP CrossRef
3207
TÍTULO: On Unit-Refutation Complete Formulae with Existentially Quantified Variables
AUTORES: Lucas Bordeaux; Mikolás Janota; João P Marques Silva ; Pierre Marquis;
PUBLICAÇÃO: 2012, FONTE: 13th International Conference on the Principles of Knowledge Representation and Reasoning, KR 2012 in Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, KR 2012, Rome, Italy, June 10-14, 2012, PÁGINAS: 75-84
INDEXADO EM: Scopus DBLP
3208
TÍTULO: On When and How to use SAT to Mine Frequent Itemsets PDF
AUTORES: Rui Henriques; Inês Lynce ; Vasco Manquinho;
PUBLICAÇÃO: 2012, FONTE: CoRR, VOLUME: abs/1207.6253
INDEXADO EM: DBLP arXiv
3209
TÍTULO: Online Bayesian time-varying parameter estimation of HIV-1 time-series
AUTORES: Hartmann, A; Vinga, S ; Lemos, JM ;
PUBLICAÇÃO: 2012, FONTE: Universite Libre de Bruxelles in IFAC Proceedings Volumes (IFAC-PapersOnline), VOLUME: 16, NÚMERO: PART 1, PÁGINAS: 1294-1299
INDEXADO EM: Scopus CrossRef: 2
3210
TÍTULO: Operations Planning of a Hydro Producer Acting as a Price-Maker in an Electricity Market
AUTORES: Pousinho, HMI ; Contreras, J; João P. S. Catalão ;
PUBLICAÇÃO: 2012, FONTE: General Meeting of the IEEE-Power-and-Energy-Society in 2012 IEEE POWER AND ENERGY SOCIETY GENERAL MEETING
INDEXADO EM: Scopus WOS CrossRef: 5
3211
TÍTULO: Operator equalisation for bloat free genetic programming and a survey of bloat control methods  Full Text
AUTORES: Sara Silva ; Stephen Dignum; Leonardo Vanneschi ;
PUBLICAÇÃO: 2012, FONTE: GENETIC PROGRAMMING AND EVOLVABLE MACHINES, VOLUME: 13, NÚMERO: 2, PÁGINAS: 197-238
INDEXADO EM: Scopus WOS CrossRef
3212
TÍTULO: Optical transport network design with collocated regeneration and differential delay compensation
AUTORES: Santos, J; Pedro, J; Eira, A; Monteiro, P ; Pires, J ;
PUBLICAÇÃO: 2012, FONTE: 2012 IEEE 13th International Conference on High Performance Switching and Routing, HPSR 2012 in 2012 IEEE 13th International Conference on High Performance Switching and Routing, HPSR 2012, PÁGINAS: 204-209
INDEXADO EM: Scopus DBLP CrossRef: 2
3213
TÍTULO: Optimal hydro scheduling and offering strategies considering price uncertainty and risk management  Full Text
AUTORES: João P. S. Catalão ; Pousinho, HMI ; Contreras, J;
PUBLICAÇÃO: 2012, FONTE: ENERGY, VOLUME: 37, NÚMERO: 1, PÁGINAS: 237-244
INDEXADO EM: Scopus WOS CrossRef: 69
3214
TÍTULO: Optimal Offering Strategies for Wind Power Producers Considering Uncertainty and Risk
AUTORES: João P. S. Catalão ; Pousinho, HMI ; Mendes, VMF ;
PUBLICAÇÃO: 2012, FONTE: IEEE SYSTEMS JOURNAL, VOLUME: 6, NÚMERO: 2, PÁGINAS: 270-277
INDEXADO EM: Scopus WOS CrossRef: 38
3215
TÍTULO: Optimal Offering Strategies for Wind Power Producers Considering Uncertainty and Risk
AUTORES: João P. S. Catalão ; Hugo M I Pousinho; Victor M F Mendes;
PUBLICAÇÃO: 2012, FONTE: IEEE Systems Journal, VOLUME: 6, NÚMERO: 2, PÁGINAS: 270-277
INDEXADO EM: DBLP
3216
TÍTULO: Optimization Algorithms for the Multiplierless Realization of Linear Transforms  Full Text
AUTORES: Levent Aksoy ; Eduardo Costa; Paulo Flores ; Jose Monteiro ;
PUBLICAÇÃO: 2012, FONTE: ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS, VOLUME: 17, NÚMERO: 1, PÁGINAS: 1-27
INDEXADO EM: Scopus WOS CrossRef
3217
TÍTULO: Optimizing stressor film deposition sequence in polish rate order for best planarization
AUTORES: Zhang, JH; Xiao, C; Strane, JW; Venigalla, R; Economikos, L; Hall, L; Chen, J; Stoll, DC; Wallner, J; Zhuang, H; Ferreira, P ; Kleemeier, W; Goldberg, C; Moon, Y; Truong, C; Sudijono, J; Chen, X; Sampson, R;
PUBLICAÇÃO: 2012, FONTE: 2011 MRS Spring Meeting in Materials Research Society Symposium Proceedings, VOLUME: 1335, PÁGINAS: 35-40
INDEXADO EM: Scopus CrossRef
3218
TÍTULO: Organizational configuration actor role modeling using DEMO
AUTORES: Pascoa, C; Aveiro, D ; Tribolet, J ;
PUBLICAÇÃO: 2012, FONTE: 4th Working Conference on Practice-Driven Research on Enterprise Transformation, PRET 2012 in Lecture Notes in Business Information Processing, VOLUME: 120 LNBIP, PÁGINAS: 18-47
INDEXADO EM: Scopus
3219
TÍTULO: Overview of Computer-assisted Language Learning for European Portuguese at L2f
AUTORES: Thomas Pellegrini; Wang Ling; André Silva; Rui Correia; Isabel Trancoso ; Jorge Baptista ; Nuno J Mamede ;
PUBLICAÇÃO: 2012, FONTE: 4th International Conference on Computer Supported Education, CSEDU 2012 in CSEDU 2012 - Proceedings of the 4th International Conference on Computer Supported Education, Volume 2, Porto, Portugal, 16-18 April, 2012, VOLUME: 2, PÁGINAS: 538-543
INDEXADO EM: Scopus DBLP
3220
TÍTULO: PackUp: Tools for Package Upgradability Solving PDF
AUTORES: Mikolás Janota; Inês Lynce ; Vasco M. Manquinho; João Marques Silva ;
PUBLICAÇÃO: 2012, FONTE: JSAT, VOLUME: 8, NÚMERO: 1/2, PÁGINAS: 89-94
INDEXADO EM: DBLP

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