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
3201
TITLE: On Efficient Computation of Variable MUSes
AUTHORS: Anton Belov; Alexander Ivrii; Arie Matsliah; João Marques Silva ;
PUBLISHED: 2012, SOURCE: 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, PAGES: 298-311
AUTHORS: Anton Belov; Alexander Ivrii; Arie Matsliah; João Marques Silva ;
PUBLISHED: 2012, SOURCE: 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, PAGES: 298-311
3202
TITLE: On Partitioning for Maximum Satisfiability
AUTHORS: Martins, R; Manquinho, V ; Lynce, I ;
PUBLISHED: 2012, SOURCE: 20th European Conference on Artificial Intelligence (ECAI) in 20TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE (ECAI 2012), VOLUME: 242, PAGES: 913-914
AUTHORS: Martins, R; Manquinho, V ; Lynce, I ;
PUBLISHED: 2012, SOURCE: 20th European Conference on Artificial Intelligence (ECAI) in 20TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE (ECAI 2012), VOLUME: 242, PAGES: 913-914
INDEXED IN: 
Scopus 
WOS 
DBLP
Scopus WOS DBLP3203
TITLE: On realistic divisible load scheduling in highly heterogeneous distributed systems
AUTHORS: Ilic, A ; Sousa, L ;
PUBLISHED: 2012, SOURCE: 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, PAGES: 426-433
AUTHORS: Ilic, A ; Sousa, L ;
PUBLISHED: 2012, SOURCE: 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, PAGES: 426-433
3204
TITLE: On the analytical modeling of concurrency control algorithms for Software Transactional Memories: The case of Commit-Time-Locking Full Text
AUTHORS: Pierangelo Di Sanzo; Bruno Ciciani; Roberto Palmieri; Francesco Quaglia; Paolo Romano ;
PUBLISHED: 2012, SOURCE: PERFORMANCE EVALUATION, VOLUME: 69, ISSUE: 5, PAGES: 187-205
AUTHORS: Pierangelo Di Sanzo; Bruno Ciciani; Roberto Palmieri; Francesco Quaglia; Paolo Romano ;
PUBLISHED: 2012, SOURCE: PERFORMANCE EVALUATION, VOLUME: 69, ISSUE: 5, PAGES: 187-205
3205
TITLE: On the Feasibility of Byzantine Fault-Tolerant MapReduce in Clouds-of-Clouds Full Text
AUTHORS: Miguel Correia ; Pedro Costa; Marcelo Pasin; Alysson Bessani ; Fernando Ramos ; Paulo Verissimo ;
PUBLISHED: 2012, SOURCE: 31st IEEE International Symposium on Reliable Distributed Systems (SRDS) in 2012 31ST INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS (SRDS 2012), PAGES: 448-453
AUTHORS: Miguel Correia ; Pedro Costa; Marcelo Pasin; Alysson Bessani ; Fernando Ramos ; Paulo Verissimo ;
PUBLISHED: 2012, SOURCE: 31st IEEE International Symposium on Reliable Distributed Systems (SRDS) in 2012 31ST INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS (SRDS 2012), PAGES: 448-453
3206
TITLE: On the Need of New Methods to Mine Electrodermal Activity in Emotion-Centered Studies
AUTHORS: Rui Henriques; Ana Paiva ; Antunes, Claudia ;
PUBLISHED: 2012, SOURCE: 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, PAGES: 203-215
AUTHORS: Rui Henriques; Ana Paiva ; Antunes, Claudia ;
PUBLISHED: 2012, SOURCE: 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, PAGES: 203-215
3207
TITLE: On Unit-Refutation Complete Formulae with Existentially Quantified Variables
AUTHORS: Lucas Bordeaux; Mikolás Janota; João P Marques Silva ; Pierre Marquis;
PUBLISHED: 2012, SOURCE: 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, PAGES: 75-84
AUTHORS: Lucas Bordeaux; Mikolás Janota; João P Marques Silva ; Pierre Marquis;
PUBLISHED: 2012, SOURCE: 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, PAGES: 75-84
INDEXED IN: Scopus DBLP
Scopus DBLP3208
TITLE: On When and How to use SAT to Mine Frequent Itemsets PDF
AUTHORS: Rui Henriques; Inês Lynce ; Vasco Manquinho;
PUBLISHED: 2012, SOURCE: CoRR, VOLUME: abs/1207.6253
AUTHORS: Rui Henriques; Inês Lynce ; Vasco Manquinho;
PUBLISHED: 2012, SOURCE: CoRR, VOLUME: abs/1207.6253
INDEXED IN: DBLP 
arXiv
DBLP arXiv3209
TITLE: Online Bayesian time-varying parameter estimation of HIV-1 time-series
AUTHORS: Hartmann, A; Vinga, S ; Lemos, JM ;
PUBLISHED: 2012, SOURCE: Universite Libre de Bruxelles in IFAC Proceedings Volumes (IFAC-PapersOnline), VOLUME: 16, ISSUE: PART 1, PAGES: 1294-1299
AUTHORS: Hartmann, A; Vinga, S ; Lemos, JM ;
PUBLISHED: 2012, SOURCE: Universite Libre de Bruxelles in IFAC Proceedings Volumes (IFAC-PapersOnline), VOLUME: 16, ISSUE: PART 1, PAGES: 1294-1299
3210
TITLE: Operations Planning of a Hydro Producer Acting as a Price-Maker in an Electricity Market
AUTHORS: Pousinho, HMI ; Contreras, J; João P. S. Catalão ;
PUBLISHED: 2012, SOURCE: General Meeting of the IEEE-Power-and-Energy-Society in 2012 IEEE POWER AND ENERGY SOCIETY GENERAL MEETING
AUTHORS: Pousinho, HMI ; Contreras, J; João P. S. Catalão ;
PUBLISHED: 2012, SOURCE: General Meeting of the IEEE-Power-and-Energy-Society in 2012 IEEE POWER AND ENERGY SOCIETY GENERAL MEETING
3211
TITLE: Operator equalisation for bloat free genetic programming and a survey of bloat control methods Full Text
AUTHORS: Sara Silva ; Stephen Dignum; Leonardo Vanneschi ;
PUBLISHED: 2012, SOURCE: GENETIC PROGRAMMING AND EVOLVABLE MACHINES, VOLUME: 13, ISSUE: 2, PAGES: 197-238
AUTHORS: Sara Silva ; Stephen Dignum; Leonardo Vanneschi ;
PUBLISHED: 2012, SOURCE: GENETIC PROGRAMMING AND EVOLVABLE MACHINES, VOLUME: 13, ISSUE: 2, PAGES: 197-238
3212
TITLE: Optical transport network design with collocated regeneration and differential delay compensation
AUTHORS: Santos, J; Pedro, J; Eira, A; Monteiro, P ; Pires, J ;
PUBLISHED: 2012, SOURCE: 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, PAGES: 204-209
AUTHORS: Santos, J; Pedro, J; Eira, A; Monteiro, P ; Pires, J ;
PUBLISHED: 2012, SOURCE: 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, PAGES: 204-209
3213
TITLE: Optimal hydro scheduling and offering strategies considering price uncertainty and risk management Full Text
AUTHORS: João P. S. Catalão ; Pousinho, HMI ; Contreras, J;
PUBLISHED: 2012, SOURCE: ENERGY, VOLUME: 37, ISSUE: 1, PAGES: 237-244
AUTHORS: João P. S. Catalão ; Pousinho, HMI ; Contreras, J;
PUBLISHED: 2012, SOURCE: ENERGY, VOLUME: 37, ISSUE: 1, PAGES: 237-244
3214
TITLE: Optimal Offering Strategies for Wind Power Producers Considering Uncertainty and Risk
AUTHORS: João P. S. Catalão ; Pousinho, HMI ; Mendes, VMF ;
PUBLISHED: 2012, SOURCE: IEEE SYSTEMS JOURNAL, VOLUME: 6, ISSUE: 2, PAGES: 270-277
AUTHORS: João P. S. Catalão ; Pousinho, HMI ; Mendes, VMF ;
PUBLISHED: 2012, SOURCE: IEEE SYSTEMS JOURNAL, VOLUME: 6, ISSUE: 2, PAGES: 270-277
3215
TITLE: Optimal Offering Strategies for Wind Power Producers Considering Uncertainty and Risk
AUTHORS: João P. S. Catalão ; Hugo M I Pousinho; Victor M F Mendes;
PUBLISHED: 2012, SOURCE: IEEE Systems Journal, VOLUME: 6, ISSUE: 2, PAGES: 270-277
AUTHORS: João P. S. Catalão ; Hugo M I Pousinho; Victor M F Mendes;
PUBLISHED: 2012, SOURCE: IEEE Systems Journal, VOLUME: 6, ISSUE: 2, PAGES: 270-277
INDEXED IN: DBLP
DBLP3216
TITLE: Optimization Algorithms for the Multiplierless Realization of Linear Transforms Full Text
AUTHORS: Levent Aksoy ; Eduardo Costa; Paulo Flores ; Jose Monteiro ;
PUBLISHED: 2012, SOURCE: ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS, VOLUME: 17, ISSUE: 1, PAGES: 1-27
AUTHORS: Levent Aksoy ; Eduardo Costa; Paulo Flores ; Jose Monteiro ;
PUBLISHED: 2012, SOURCE: ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS, VOLUME: 17, ISSUE: 1, PAGES: 1-27
3217
TITLE: Optimizing stressor film deposition sequence in polish rate order for best planarization
AUTHORS: 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;
PUBLISHED: 2012, SOURCE: 2011 MRS Spring Meeting in Materials Research Society Symposium Proceedings, VOLUME: 1335, PAGES: 35-40
AUTHORS: 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;
PUBLISHED: 2012, SOURCE: 2011 MRS Spring Meeting in Materials Research Society Symposium Proceedings, VOLUME: 1335, PAGES: 35-40
INDEXED IN: Scopus 
CrossRef
Scopus CrossRef3218
TITLE: Organizational configuration actor role modeling using DEMO
AUTHORS: Pascoa, C; Aveiro, D ; Tribolet, J ;
PUBLISHED: 2012, SOURCE: 4th Working Conference on Practice-Driven Research on Enterprise Transformation, PRET 2012 in Lecture Notes in Business Information Processing, VOLUME: 120 LNBIP, PAGES: 18-47
AUTHORS: Pascoa, C; Aveiro, D ; Tribolet, J ;
PUBLISHED: 2012, SOURCE: 4th Working Conference on Practice-Driven Research on Enterprise Transformation, PRET 2012 in Lecture Notes in Business Information Processing, VOLUME: 120 LNBIP, PAGES: 18-47
INDEXED IN: Scopus
Scopus3219
TITLE: Overview of Computer-assisted Language Learning for European Portuguese at L2f
AUTHORS: Thomas Pellegrini; Wang Ling; André Silva; Rui Correia; Isabel Trancoso ; Jorge Baptista ; Nuno J Mamede ;
PUBLISHED: 2012, SOURCE: 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, PAGES: 538-543
AUTHORS: Thomas Pellegrini; Wang Ling; André Silva; Rui Correia; Isabel Trancoso ; Jorge Baptista ; Nuno J Mamede ;
PUBLISHED: 2012, SOURCE: 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, PAGES: 538-543
INDEXED IN: Scopus DBLP
Scopus DBLP3220
TITLE: PackUp: Tools for Package Upgradability Solving PDF
AUTHORS: Mikolás Janota; Inês Lynce ; Vasco M. Manquinho; João Marques Silva ;
PUBLISHED: 2012, SOURCE: JSAT, VOLUME: 8, ISSUE: 1/2, PAGES: 89-94
AUTHORS: Mikolás Janota; Inês Lynce ; Vasco M. Manquinho; João Marques Silva ;
PUBLISHED: 2012, SOURCE: JSAT, VOLUME: 8, ISSUE: 1/2, PAGES: 89-94
INDEXED IN: DBLP
DBLP