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
2341
TITLE: NaS Battery Storage System Modeling and Sizing for Extending Wind Farms Performance in Crete
AUTHORS: Rodrigues, EMG; Fernandes, CAS; Godina, R; Bizuayehu, AW; João P. S. Catalão ;
PUBLISHED: 2014, SOURCE: Australasian Universities Power Engineering Conference (AUPEC) in 2014 Australasian Universities Power Engineering Conference (AUPEC)
AUTHORS: Rodrigues, EMG; Fernandes, CAS; Godina, R; Bizuayehu, AW; João P. S. Catalão ;
PUBLISHED: 2014, SOURCE: Australasian Universities Power Engineering Conference (AUPEC) in 2014 Australasian Universities Power Engineering Conference (AUPEC)
2342
TITLE: Neuroprotective effect of steroidal alkaloids on glutamate-induced toxicity by preserving mitochondrial membrane potential and reducing oxidative stress Full Text
AUTHORS: Marcos Taveira ; Carla Sousa; Patricia Valentao ; Federico Ferreres; Joao P Teixeira; Paula B Andrade ;
PUBLISHED: 2014, SOURCE: JOURNAL OF STEROID BIOCHEMISTRY AND MOLECULAR BIOLOGY, VOLUME: 140, PAGES: 106-115
AUTHORS: Marcos Taveira ; Carla Sousa; Patricia Valentao ; Federico Ferreres; Joao P Teixeira; Paula B Andrade ;
PUBLISHED: 2014, SOURCE: JOURNAL OF STEROID BIOCHEMISTRY AND MOLECULAR BIOLOGY, VOLUME: 140, PAGES: 106-115
2343
TITLE: Noise tolerance in a Neocognitron-like network Full Text
AUTHORS: Angelo Cardoso; Andreas Wichert ;
PUBLISHED: 2014, SOURCE: NEURAL NETWORKS, VOLUME: 49, PAGES: 32-38
AUTHORS: Angelo Cardoso; Andreas Wichert ;
PUBLISHED: 2014, SOURCE: NEURAL NETWORKS, VOLUME: 49, PAGES: 32-38
2344
TITLE: Non-Blocking Atomic Commitment with Byzantine Faults
AUTHORS: Aldelir Fernando Luiz; Lau Cheuk Lung; Miguel Correia ; Valdir Stumm Junior;
PUBLISHED: 2014, SOURCE: 32nd Brazilian Symposium on Computer Networks and Distributed Systems (SBRC) in 2014 BRAZILIAN SYMPOSIUM ON COMPUTER NETWORKS AND DISTRIBUTED SYSTEMS (SBRC), PAGES: 156-164
AUTHORS: Aldelir Fernando Luiz; Lau Cheuk Lung; Miguel Correia ; Valdir Stumm Junior;
PUBLISHED: 2014, SOURCE: 32nd Brazilian Symposium on Computer Networks and Distributed Systems (SBRC) in 2014 BRAZILIAN SYMPOSIUM ON COMPUTER NETWORKS AND DISTRIBUTED SYSTEMS (SBRC), PAGES: 156-164
2345
TITLE: Nonlinear system identification using constellation based multiple model adaptive estimators
AUTHORS: Martins, JC; Caeiro, JJ; Sousa, LA ;
PUBLISHED: 2014, SOURCE: 22nd European Signal Processing Conference, EUSIPCO 2014 in European Signal Processing Conference, PAGES: 1217-1221
AUTHORS: Martins, JC; Caeiro, JJ; Sousa, LA ;
PUBLISHED: 2014, SOURCE: 22nd European Signal Processing Conference, EUSIPCO 2014 in European Signal Processing Conference, PAGES: 1217-1221
INDEXED IN: 
Scopus 
DBLP
Scopus DBLP2346
TITLE: On Computing Preferred MUSes and MCSes
AUTHORS: João Marques Silva ; Alessandro Previti;
PUBLISHED: 2014, SOURCE: 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, PAGES: 58-74
AUTHORS: João Marques Silva ; Alessandro Previti;
PUBLISHED: 2014, SOURCE: 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, PAGES: 58-74
INDEXED IN: Scopus DBLP 
Unpaywall
Scopus DBLP Unpaywall2347
TITLE: On demand Resource Allocation Middleware for Massively Multiplayer Online Games
AUTHORS: Andre Pessoa Negrao; Miguel Adaixo; Luis Veiga ; Paulo Ferreira ;
PUBLISHED: 2014, SOURCE: 13th IEEE International Symposium on Network Computing and Applications (NCA) in 2014 IEEE 13TH INTERNATIONAL SYMPOSIUM ON NETWORK COMPUTING AND APPLICATIONS (NCA 2014), PAGES: 71-74
AUTHORS: Andre Pessoa Negrao; Miguel Adaixo; Luis Veiga ; Paulo Ferreira ;
PUBLISHED: 2014, SOURCE: 13th IEEE International Symposium on Network Computing and Applications (NCA) in 2014 IEEE 13TH INTERNATIONAL SYMPOSIUM ON NETWORK COMPUTING AND APPLICATIONS (NCA 2014), PAGES: 71-74
2348
TITLE: On lazy and eager interactive reconfiguration
AUTHORS: Mikolás Janota; Goetz Botterweck; João Marques Silva ;
PUBLISHED: 2014, SOURCE: The Eighth International Workshop on Variability Modelling of Software-intensive Systems, VaMoS '14, Sophia Antipolis, France, January 22-24, 2014, PAGES: 8:1-8:8
AUTHORS: Mikolás Janota; Goetz Botterweck; João Marques Silva ;
PUBLISHED: 2014, SOURCE: The Eighth International Workshop on Variability Modelling of Software-intensive Systems, VaMoS '14, Sophia Antipolis, France, January 22-24, 2014, PAGES: 8:1-8:8
2349
TITLE: On Reducing Maximum Independent Set to Minimum Satisfiability
AUTHORS: Ignatiev, A; Morgado, António ; Marques Silva, J ;
PUBLISHED: 2014, SOURCE: 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, PAGES: 103-120
AUTHORS: Ignatiev, A; Morgado, António ; Marques Silva, J ;
PUBLISHED: 2014, SOURCE: 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, PAGES: 103-120
2350
TITLE: On speculative replication of transactional systems Full Text
AUTHORS: Paolo Romano ; Roberto Palmieri; Francesco Quaglia; Nuno Carvalho; Luis Rodrigues ;
PUBLISHED: 2014, SOURCE: JOURNAL OF COMPUTER AND SYSTEM SCIENCES, VOLUME: 80, ISSUE: 1, PAGES: 257-276
AUTHORS: Paolo Romano ; Roberto Palmieri; Francesco Quaglia; Nuno Carvalho; Luis Rodrigues ;
PUBLISHED: 2014, SOURCE: JOURNAL OF COMPUTER AND SYSTEM SCIENCES, VOLUME: 80, ISSUE: 1, PAGES: 257-276
2351
TITLE: On the Design of Practical Fault-Tolerant SDN Controllers
AUTHORS: Fábio Andrade Botelho; Alysson Neves Bessani ; Fernando M V Ramos; Paulo Ferreira ;
PUBLISHED: 2014, SOURCE: Third European Workshop on Software Defined Networks, EWSDN 2014, Budapest, Hungary, September 1-3, 2014, PAGES: 73-78
AUTHORS: Fábio Andrade Botelho; Alysson Neves Bessani ; Fernando M V Ramos; Paulo Ferreira ;
PUBLISHED: 2014, SOURCE: Third European Workshop on Software Defined Networks, EWSDN 2014, Budapest, Hungary, September 1-3, 2014, PAGES: 73-78
INDEXED IN: DBLP 
CrossRef
DBLP CrossRef2352
TITLE: On the design of practical fault-tolerant SDN controllers PDF
AUTHORS: Botelho, F; Bessani, A ; Ramos, FMV; Ferreira, P ;
PUBLISHED: 2014, SOURCE: 3rd European Workshop on Software-Defined Networks, EWSDN 2014 in Proceedings - 2014 3rd European Workshop on Software-Defined Networks, EWSDN 2014, VOLUME: abs/1407.6062, PAGES: 73-78
AUTHORS: Botelho, F; Bessani, A ; Ramos, FMV; Ferreira, P ;
PUBLISHED: 2014, SOURCE: 3rd European Workshop on Software-Defined Networks, EWSDN 2014 in Proceedings - 2014 3rd European Workshop on Software-Defined Networks, EWSDN 2014, VOLUME: abs/1407.6062, PAGES: 73-78
INDEXED IN: Scopus DBLP 
arXiv
Scopus DBLP arXiv2353
TITLE: On the energy and performance of commodity hardware transactional memory
AUTHORS: Diegues, N; Romano, P ; Rodrigues, L ;
PUBLISHED: 2014, SOURCE: 2014 ACM SIGMETRICS International Conference on Measurement and Modeling of Computer Systems, SIGMETRICS 2014 in SIGMETRICS 2014 - Proceedings of the 2014 ACM SIGMETRICS International Conference on Measurement and Modeling of Computer Systems, PAGES: 547-548
AUTHORS: Diegues, N; Romano, P ; Rodrigues, L ;
PUBLISHED: 2014, SOURCE: 2014 ACM SIGMETRICS International Conference on Measurement and Modeling of Computer Systems, SIGMETRICS 2014 in SIGMETRICS 2014 - Proceedings of the 2014 ACM SIGMETRICS International Conference on Measurement and Modeling of Computer Systems, PAGES: 547-548
2354
TITLE: On the Evaluation of Multi-core Systems with SIMD Engines for Public-Key Cryptography Full Text
AUTHORS: Paulo Martins; Leonel Sousa ;
PUBLISHED: 2014, SOURCE: 26th IEEE International Symposium on Computer Architecture and High Performance Computing Workshops, SBAC-PADW 2014 in 26th IEEE International Symposium on Computer Architecture and High Performance Computing Workshop, SBAC-PAD Workshop 2014, Paris, France, October 22-24, 2014, VOLUME: 22-24-October-2014, PAGES: 48-53
AUTHORS: Paulo Martins; Leonel Sousa ;
PUBLISHED: 2014, SOURCE: 26th IEEE International Symposium on Computer Architecture and High Performance Computing Workshops, SBAC-PADW 2014 in 26th IEEE International Symposium on Computer Architecture and High Performance Computing Workshop, SBAC-PAD Workshop 2014, Paris, France, October 22-24, 2014, VOLUME: 22-24-October-2014, PAGES: 48-53
2355
TITLE: On the Expressive Power of Programming Languages for Generative Design The Case of Higher-Order Functions
AUTHORS: Antonio Leitao ; Sara Proenca;
PUBLISHED: 2014, SOURCE: 32nd International Conference on Education and Research in Computer Aided Architectural Design in Europe (eCAADe) in FUSION: DATA INTEGRATION AT ITS BEST, VOL 1, PAGES: 257-266
AUTHORS: Antonio Leitao ; Sara Proenca;
PUBLISHED: 2014, SOURCE: 32nd International Conference on Education and Research in Computer Aided Architectural Design in Europe (eCAADe) in FUSION: DATA INTEGRATION AT ITS BEST, VOL 1, PAGES: 257-266
INDEXED IN: 
WOS
WOS2356
TITLE: On the Query Complexity of Selecting Few Minimal Sets
AUTHORS: João Marques Silva ; Mikolás Janota;
PUBLISHED: 2014, SOURCE: Electronic Colloquium on Computational Complexity (ECCC), VOLUME: 21, PAGES: 31
AUTHORS: João Marques Silva ; Mikolás Janota;
PUBLISHED: 2014, SOURCE: Electronic Colloquium on Computational Complexity (ECCC), VOLUME: 21, PAGES: 31
INDEXED IN: DBLP
DBLP2357
TITLE: On Using Incremental Encodings in Unsatisfiability-based MaxSAT Solving
AUTHORS: Ruben Martins; Saurabh Joshi; Vasco Manquinho; Inês Lynce ;
PUBLISHED: 2014, SOURCE: J. Satisf. Boolean Model. Comput., VOLUME: 9, ISSUE: 1, PAGES: 59-81
AUTHORS: Ruben Martins; Saurabh Joshi; Vasco Manquinho; Inês Lynce ;
PUBLISHED: 2014, SOURCE: J. Satisf. Boolean Model. Comput., VOLUME: 9, ISSUE: 1, PAGES: 59-81
INDEXED IN: DBLP
DBLP2358
TITLE: Ontological Modeling Applied to Engineering and Governance Processes of Customer Complaints
AUTHORS: Orlando Agostinho; Carlos Mendes; Miguel Mira da Silva ; Jose Tribolet;
PUBLISHED: 2014, SOURCE: World Conference on Information Systems and Technologies (WorldCIST) in NEW PERSPECTIVES IN INFORMATION SYSTEMS AND TECHNOLOGIES, VOL 1, VOLUME: 275, ISSUE: VOLUME 1, PAGES: 337-346
AUTHORS: Orlando Agostinho; Carlos Mendes; Miguel Mira da Silva ; Jose Tribolet;
PUBLISHED: 2014, SOURCE: World Conference on Information Systems and Technologies (WorldCIST) in NEW PERSPECTIVES IN INFORMATION SYSTEMS AND TECHNOLOGIES, VOL 1, VOLUME: 275, ISSUE: VOLUME 1, PAGES: 337-346
2359
TITLE: Open-WBO: A modular MaxSAT solver
AUTHORS: Martins, R; Manquinho, V; Lynce, I ;
PUBLISHED: 2014, SOURCE: 17th International Conference on Theory and Applications of Satisfiability Testing, SAT 2014, Held as Part of the Vienna Summer of Logic, VSL 2014 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8561 LNCS, PAGES: 438-445
AUTHORS: Martins, R; Manquinho, V; Lynce, I ;
PUBLISHED: 2014, SOURCE: 17th International Conference on Theory and Applications of Satisfiability Testing, SAT 2014, Held as Part of the Vienna Summer of Logic, VSL 2014 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8561 LNCS, PAGES: 438-445
INDEXED IN: Scopus
Scopus2360
TITLE: Open-WBO: A Modular MaxSAT Solver
AUTHORS: Martins, R; Manquinho, V; Lynce, I ;
PUBLISHED: 2014, SOURCE: 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, PAGES: 438-445
AUTHORS: Martins, R; Manquinho, V; Lynce, I ;
PUBLISHED: 2014, SOURCE: 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, PAGES: 438-445
INDEXED IN: WOS
WOS