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
2061
TITLE: Reducing the vulnerability window in distributed transactional protocols
AUTHORS: Bravo, M; Romano, P ; Rodrigues, L ; Van Roy, P;
PUBLISHED: 2015, SOURCE: 1st Workshop on the Principles and Practice of Consistency for Distributed Data, PaPoC 2015 in Proceedings of the 1st Workshop on the Principles and Practice of Consistency for Distributed Data, PaPoC 2015
AUTHORS: Bravo, M; Romano, P ; Rodrigues, L ; Van Roy, P;
PUBLISHED: 2015, SOURCE: 1st Workshop on the Principles and Practice of Consistency for Distributed Data, PaPoC 2015 in Proceedings of the 1st Workshop on the Principles and Practice of Consistency for Distributed Data, PaPoC 2015
INDEXED IN: 
Scopus 
CrossRef
Scopus CrossRef2062
TITLE: Reverse Converter Design via Parallel-Prefix Adders: Novel Components, Methodology, and Implementations Full Text
AUTHORS: Zarandi, AAE; Molahosseini, AS; Hosseinzadeh, M; Sorouri, S; Antao, S; Sousa, L ;
PUBLISHED: 2015, SOURCE: IEEE TRANSACTIONS ON VERY LARGE SCALE INTEGRATION (VLSI) SYSTEMS, VOLUME: 23, ISSUE: 2, PAGES: 374-378
AUTHORS: Zarandi, AAE; Molahosseini, AS; Hosseinzadeh, M; Sorouri, S; Antao, S; Sousa, L ;
PUBLISHED: 2015, SOURCE: IEEE TRANSACTIONS ON VERY LARGE SCALE INTEGRATION (VLSI) SYSTEMS, VOLUME: 23, ISSUE: 2, PAGES: 374-378
INDEXED IN: Scopus 
WOS 
DBLP
Scopus WOS DBLP2063
TITLE: RNS Reverse Converters based on the New Chinese Remainder Theorem I
AUTHORS: Hector Pettenghi; Leonel Sousa ;
PUBLISHED: 2015, SOURCE: IEEE International Symposium on Circuits and Systems (ISCAS) in 2015 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS (ISCAS), VOLUME: 2015-July, PAGES: 830-833
AUTHORS: Hector Pettenghi; Leonel Sousa ;
PUBLISHED: 2015, SOURCE: IEEE International Symposium on Circuits and Systems (ISCAS) in 2015 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS (ISCAS), VOLUME: 2015-July, PAGES: 830-833
2064
TITLE: Robust scheduling of variable wind generation by coordination of bulk energy storages and demand response Full Text
AUTHORS: Heydarian Forushani, E; Golshan, MEH; Moghaddam, MP; Shafie khah, M; João P. S. Catalão ;
PUBLISHED: 2015, SOURCE: ENERGY CONVERSION AND MANAGEMENT, VOLUME: 106, PAGES: 941-950
AUTHORS: Heydarian Forushani, E; Golshan, MEH; Moghaddam, MP; Shafie khah, M; João P. S. Catalão ;
PUBLISHED: 2015, SOURCE: ENERGY CONVERSION AND MANAGEMENT, VOLUME: 106, PAGES: 941-950
2065
TITLE: Run-time Machine Learning for HEVC/H.265 Fast Partitioning Decision
AUTHORS: Svetislav Momcilovic; Nuno Roma ; Leonel Sousa ; Ivan Milentijevic;
PUBLISHED: 2015, SOURCE: IEEE International Symposium on Multimedia (ISM) in 2015 IEEE INTERNATIONAL SYMPOSIUM ON MULTIMEDIA (ISM), PAGES: 347-350
AUTHORS: Svetislav Momcilovic; Nuno Roma ; Leonel Sousa ; Ivan Milentijevic;
PUBLISHED: 2015, SOURCE: IEEE International Symposium on Multimedia (ISM) in 2015 IEEE INTERNATIONAL SYMPOSIUM ON MULTIMEDIA (ISM), PAGES: 347-350
2066
TITLE: SAT-Based Formula Simplification
AUTHORS: Alexey Ignatiev; Alessandro Previti; Joao Marques Silva ;
PUBLISHED: 2015, SOURCE: Theory and Applications of Satisfiability Testing - SAT 2015 - 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings, VOLUME: 9340, PAGES: 287-298
AUTHORS: Alexey Ignatiev; Alessandro Previti; Joao Marques Silva ;
PUBLISHED: 2015, SOURCE: Theory and Applications of Satisfiability Testing - SAT 2015 - 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings, VOLUME: 9340, PAGES: 287-298
INDEXED IN: DBLP
DBLP2067
TITLE: SAT-Based Formula Simplification
AUTHORS: Alexey Ignatiev; Alessandro Previti; Joao Marques Silva ;
PUBLISHED: 2015, SOURCE: 18th International Conference on Theory and Applications of Satisfiability Testing (SAT) in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2015, VOLUME: 9340, PAGES: 287-298
AUTHORS: Alexey Ignatiev; Alessandro Previti; Joao Marques Silva ;
PUBLISHED: 2015, SOURCE: 18th International Conference on Theory and Applications of Satisfiability Testing (SAT) in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2015, VOLUME: 9340, PAGES: 287-298
INDEXED IN: WOS
WOS2068
TITLE: SAT-based formula simplification
AUTHORS: Ignatiev, A; Previti, A; Marques Silva, J ;
PUBLISHED: 2015, SOURCE: 18th International Conference on Theory and Applications of Satisfiability Testing, SAT 2015 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 9340, PAGES: 287-298
AUTHORS: Ignatiev, A; Previti, A; Marques Silva, J ;
PUBLISHED: 2015, SOURCE: 18th International Conference on Theory and Applications of Satisfiability Testing, SAT 2015 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 9340, PAGES: 287-298
INDEXED IN: Scopus
Scopus2069
TITLE: SAT-Based Horn Least Upper Bounds
AUTHORS: Carlos Mencia; Alessandro Previti; Joao Marques Silva ;
PUBLISHED: 2015, SOURCE: 18th International Conference on Theory and Applications of Satisfiability Testing (SAT) in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2015, VOLUME: 9340, PAGES: 423-433
AUTHORS: Carlos Mencia; Alessandro Previti; Joao Marques Silva ;
PUBLISHED: 2015, SOURCE: 18th International Conference on Theory and Applications of Satisfiability Testing (SAT) in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2015, VOLUME: 9340, PAGES: 423-433
INDEXED IN: Scopus WOS
Scopus WOS2070
TITLE: SAT-Based Horn Least Upper Bounds
AUTHORS: Carlos Mencía; Alessandro Previti; Joao Marques Silva ;
PUBLISHED: 2015, SOURCE: Theory and Applications of Satisfiability Testing - SAT 2015 - 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings, VOLUME: 9340, PAGES: 423-433
AUTHORS: Carlos Mencía; Alessandro Previti; Joao Marques Silva ;
PUBLISHED: 2015, SOURCE: Theory and Applications of Satisfiability Testing - SAT 2015 - 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings, VOLUME: 9340, PAGES: 423-433
2071
TITLE: SCOLARS-DV: scalable task validation over the internet. scalable task validation over the internet
AUTHORS: Fernando Costa; Paulo Ferreira ;
PUBLISHED: 2015, SOURCE: 5th International Workshop on Cloud Data and Platforms, CloudDP 2015 in Proceedings of the 5th International Workshop on Cloud Data and Platforms, CloudDP@EuroSys 2015, Bordeaux, France, April 21-24, 2015, PAGES: 4:1-4:6
AUTHORS: Fernando Costa; Paulo Ferreira ;
PUBLISHED: 2015, SOURCE: 5th International Workshop on Cloud Data and Platforms, CloudDP 2015 in Proceedings of the 5th International Workshop on Cloud Data and Platforms, CloudDP@EuroSys 2015, Bordeaux, France, April 21-24, 2015, PAGES: 4:1-4:6
2072
TITLE: Self-tuning in distributed transactional memory
AUTHORS: Couceiro, M; Didona, D; Rodrigues, L ; Romano, P;
PUBLISHED: 2015, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8913, PAGES: 418-448
AUTHORS: Couceiro, M; Didona, D; Rodrigues, L ; Romano, P;
PUBLISHED: 2015, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8913, PAGES: 418-448
2073
TITLE: Self-tuning Intel Restricted Transactional Memory Full Text
AUTHORS: Nuno Diegues; Paolo Romano ;
PUBLISHED: 2015, SOURCE: PARALLEL COMPUTING, VOLUME: 50, PAGES: 25-52
AUTHORS: Nuno Diegues; Paolo Romano ;
PUBLISHED: 2015, SOURCE: PARALLEL COMPUTING, VOLUME: 50, PAGES: 25-52
2074
TITLE: Semantic Learning Machine: A Feedforward Neural Network Construction Algorithm Inspired by Geometric Semantic Genetic Programming Full Text
AUTHORS: Ivo Gonçalves ; Sara Silva; Carlos M Fonseca;
PUBLISHED: 2015, SOURCE: 17th Portuguese Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE, VOLUME: 9273, PAGES: 280-285
AUTHORS: Ivo Gonçalves ; Sara Silva; Carlos M Fonseca;
PUBLISHED: 2015, SOURCE: 17th Portuguese Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE, VOLUME: 9273, PAGES: 280-285
2075
TITLE: SEMONTOQA. A Semantic Understanding-Based Ontological Framework for Factoid Question Answering
AUTHORS: Md Moinul Hoque; Paulo Quaresma ;
PUBLISHED: 2015, SOURCE: Proceedings of the Forum for Information Retrieval Evaluation on - FIRE '14
AUTHORS: Md Moinul Hoque; Paulo Quaresma ;
PUBLISHED: 2015, SOURCE: Proceedings of the Forum for Information Retrieval Evaluation on - FIRE '14
INDEXED IN: CrossRef
CrossRef2076
TITLE: Short-Term Trading for a Photovoltaic Power Producer in Electricity Markets
AUTHORS: Agustin A S Sanchez de la Nieta; Renata F M Martins; Tiago A M Tavares; Joao C O Matias; João P. S. Catalão ; Javier Contreras;
PUBLISHED: 2015, SOURCE: General Meeting of the IEEE-Power-and-Energy-Society in 2015 IEEE POWER & ENERGY SOCIETY GENERAL MEETING, VOLUME: 2015-September
AUTHORS: Agustin A S Sanchez de la Nieta; Renata F M Martins; Tiago A M Tavares; Joao C O Matias; João P. S. Catalão ; Javier Contreras;
PUBLISHED: 2015, SOURCE: General Meeting of the IEEE-Power-and-Energy-Society in 2015 IEEE POWER & ENERGY SOCIETY GENERAL MEETING, VOLUME: 2015-September
2077
TITLE: Short-term wind power forecasting using adaptive neuro-fuzzy inference system combined with evolutionary particle swarm optimization, wavelet transform and mutual information Full Text
AUTHORS: Osorio, GJ; Matias, JCO; João P. S. Catalão ;
PUBLISHED: 2015, SOURCE: RENEWABLE ENERGY, VOLUME: 75, PAGES: 301-307
AUTHORS: Osorio, GJ; Matias, JCO; João P. S. Catalão ;
PUBLISHED: 2015, SOURCE: RENEWABLE ENERGY, VOLUME: 75, PAGES: 301-307
2078
TITLE: Shuttle: Intrusion Recovery for PaaS
AUTHORS: Dario Nascimento; Miguel Correia ;
PUBLISHED: 2015, SOURCE: 2015 IEEE 35th International Conference on Distributed Computing Systems in 2015 IEEE 35th International Conference on Distributed Computing Systems, VOLUME: 2015-July, PAGES: 653-663
AUTHORS: Dario Nascimento; Miguel Correia ;
PUBLISHED: 2015, SOURCE: 2015 IEEE 35th International Conference on Distributed Computing Systems in 2015 IEEE 35th International Conference on Distributed Computing Systems, VOLUME: 2015-July, PAGES: 653-663
2079
TITLE: Six thinking hats: A novel metalearner for intelligent decision support in electricity markets Full Text
AUTHORS: Pinto, T ; Barreto, J ; Praca, I; Sousa, TM; Vale, Z; Pires, EJS ;
PUBLISHED: 2015, SOURCE: DECISION SUPPORT SYSTEMS, VOLUME: 79, PAGES: 1-11
AUTHORS: Pinto, T ; Barreto, J ; Praca, I; Sousa, TM; Vale, Z; Pires, EJS ;
PUBLISHED: 2015, SOURCE: DECISION SUPPORT SYSTEMS, VOLUME: 79, PAGES: 1-11
2080
TITLE: Smallest MUS Extraction with Minimal Hitting Set Dualization
AUTHORS: Ignatiev, A; Previti, A; Liffiton, M; Marques Silva, J ;
PUBLISHED: 2015, SOURCE: 21st International Conference on the Principles and Practice of Constraint Programming (CP) in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2015, VOLUME: 9255, PAGES: 173-182
AUTHORS: Ignatiev, A; Previti, A; Liffiton, M; Marques Silva, J ;
PUBLISHED: 2015, SOURCE: 21st International Conference on the Principles and Practice of Constraint Programming (CP) in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2015, VOLUME: 9255, PAGES: 173-182
