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
2721
TITLE: On QBF Proofs and Preprocessing
AUTHORS: Mikolás Janota; Radu Grigore; João Marques Silva ;
PUBLISHED: 2013, SOURCE: 19th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2013 in Logic for Programming, Artificial Intelligence, and Reasoning - 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings, VOLUME: 8312, PAGES: 473-489
AUTHORS: Mikolás Janota; Radu Grigore; João Marques Silva ;
PUBLISHED: 2013, SOURCE: 19th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2013 in Logic for Programming, Artificial Intelligence, and Reasoning - 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings, VOLUME: 8312, PAGES: 473-489
2722
TITLE: On the Calibration and Fusion of Heterogeneous Spoken Term Detection Systems
AUTHORS: Abad, A ; Rodriguez Fuentes, LJ; Penagarikano, M; Varona, A; Bordel, G;
PUBLISHED: 2013, SOURCE: 14th Annual Conference of the International-Speech-Communication-Association (INTERSPEECH 2013) in 14TH ANNUAL CONFERENCE OF THE INTERNATIONAL SPEECH COMMUNICATION ASSOCIATION (INTERSPEECH 2013), VOLS 1-5, PAGES: 20-24
AUTHORS: Abad, A ; Rodriguez Fuentes, LJ; Penagarikano, M; Varona, A; Bordel, G;
PUBLISHED: 2013, SOURCE: 14th Annual Conference of the International-Speech-Communication-Association (INTERSPEECH 2013) in 14TH ANNUAL CONFERENCE OF THE INTERNATIONAL SPEECH COMMUNICATION ASSOCIATION (INTERSPEECH 2013), VOLS 1-5, PAGES: 20-24
INDEXED IN: 
Scopus 
WOS 
DBLP
Scopus WOS DBLP2723
TITLE: On the Design of RNS Reverse Converters for the Four-Moduli Set {2(n)+1, 2(n)-1, 2(n), 2(n+1)+1} Full Text
AUTHORS: Leonel Sousa ; Samuel Antao; Ricardo Chaves ;
PUBLISHED: 2013, SOURCE: IEEE TRANSACTIONS ON VERY LARGE SCALE INTEGRATION (VLSI) SYSTEMS, VOLUME: 21, ISSUE: 10, PAGES: 1945-1949
AUTHORS: Leonel Sousa ; Samuel Antao; Ricardo Chaves ;
PUBLISHED: 2013, SOURCE: IEEE TRANSACTIONS ON VERY LARGE SCALE INTEGRATION (VLSI) SYSTEMS, VOLUME: 21, ISSUE: 10, PAGES: 1945-1949
2724
TITLE: On the Effectiveness of Punishments in a Repeated Epidemic Dissemination Game
AUTHORS: Xavier Vilaca; Luis Rodrigues ;
PUBLISHED: 2013, SOURCE: 15th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS) in STABILIZATION, SAFETY, AND SECURITY OF DISTRIBUTED SYSTEMS, SSS 2013, VOLUME: 8255, PAGES: 206-220
AUTHORS: Xavier Vilaca; Luis Rodrigues ;
PUBLISHED: 2013, SOURCE: 15th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS) in STABILIZATION, SAFETY, AND SECURITY OF DISTRIBUTED SYSTEMS, SSS 2013, VOLUME: 8255, PAGES: 206-220
2725
TITLE: On the Efficiency of Durable State Machine Replication
AUTHORS: Alysson Neves Bessani ; Marcel Santos; João Felix; Nuno Ferreira Neves ; Miguel Correia ;
PUBLISHED: 2013, SOURCE: 2013 USENIX Annual Technical Conference, USENIX ATC 2013 in 2013 USENIX Annual Technical Conference, San Jose, CA, USA, June 26-28, 2013, PAGES: 169-180
AUTHORS: Alysson Neves Bessani ; Marcel Santos; João Felix; Nuno Ferreira Neves ; Miguel Correia ;
PUBLISHED: 2013, SOURCE: 2013 USENIX Annual Technical Conference, USENIX ATC 2013 in 2013 USENIX Annual Technical Conference, San Jose, CA, USA, June 26-28, 2013, PAGES: 169-180
INDEXED IN: Scopus DBLP
Scopus DBLP2726
TITLE: On the optimization and comparative evaluation of a reliable and efficient caching-based WSN transport protocol
AUTHORS: Tiglao, NMC; Grilo, AM ;
PUBLISHED: 2013, SOURCE: 2013 9th International Conference on the Design of Reliable Communication Networks, DRCN 2013 in 2013 9th International Conference on the Design of Reliable Communication Networks, DRCN 2013, PAGES: 226-233
AUTHORS: Tiglao, NMC; Grilo, AM ;
PUBLISHED: 2013, SOURCE: 2013 9th International Conference on the Design of Reliable Communication Networks, DRCN 2013 in 2013 9th International Conference on the Design of Reliable Communication Networks, DRCN 2013, PAGES: 226-233
INDEXED IN: Scopus
Scopus2727
TITLE: On the Performance of Byzantine Fault-Tolerant MapReduce Full Text
AUTHORS: Pedro Costa; Marcelo Pasin; Alysson Neves Bessani ; Miguel P Correia ;
PUBLISHED: 2013, SOURCE: IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, VOLUME: 10, ISSUE: 5, PAGES: 301-313
AUTHORS: Pedro Costa; Marcelo Pasin; Alysson Neves Bessani ; Miguel P Correia ;
PUBLISHED: 2013, SOURCE: IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, VOLUME: 10, ISSUE: 5, PAGES: 301-313
2728
TITLE: On the semantics and the use of fuzzy cognitive maps and dynamic cognitive maps in social sciences Full Text
AUTHORS: Joao Paulo Carvalho ;
PUBLISHED: 2013, SOURCE: FUZZY SETS AND SYSTEMS, VOLUME: 214, PAGES: 6-19
AUTHORS: Joao Paulo Carvalho ;
PUBLISHED: 2013, SOURCE: FUZZY SETS AND SYSTEMS, VOLUME: 214, PAGES: 6-19
2729
TITLE: On the use of audio events for improving video scene segmentation
AUTHORS: Sidiropoulos, P; Mezaris, V; Kompatsiaris, I; Meinedo, H ; Bugalho, M; Trancoso, I ;
PUBLISHED: 2013, SOURCE: 11th International Workshop on Image Analysis for Multimedia Interactive Services in Lecture Notes in Electrical Engineering, VOLUME: 158 LNEE, PAGES: 3-19
AUTHORS: Sidiropoulos, P; Mezaris, V; Kompatsiaris, I; Meinedo, H ; Bugalho, M; Trancoso, I ;
PUBLISHED: 2013, SOURCE: 11th International Workshop on Image Analysis for Multimedia Interactive Services in Lecture Notes in Electrical Engineering, VOLUME: 158 LNEE, PAGES: 3-19
INDEXED IN: Scopus 
CrossRef
Scopus CrossRef2730
TITLE: Open the Gates: Using High-level Synthesis Towards Programmable LDPC Decoders on FPGAs
AUTHORS: Pratas, F; Andrade, J; Falcao, G ; Silva, V; Sousa, L ;
PUBLISHED: 2013, SOURCE: IEEE Global Conference on Signal and Information Processing (GlobalSIP) in 2013 IEEE GLOBAL CONFERENCE ON SIGNAL AND INFORMATION PROCESSING (GLOBALSIP), PAGES: 1274-1277
AUTHORS: Pratas, F; Andrade, J; Falcao, G ; Silva, V; Sousa, L ;
PUBLISHED: 2013, SOURCE: IEEE Global Conference on Signal and Information Processing (GlobalSIP) in 2013 IEEE GLOBAL CONFERENCE ON SIGNAL AND INFORMATION PROCESSING (GLOBALSIP), PAGES: 1274-1277
2731
TITLE: Optimal analytic LCL filter design for grid-connected voltage-source converter
AUTHORS: Verveckken, J; Silva, JF ; Driesen, J;
PUBLISHED: 2013, SOURCE: IEEE EuroCon 2013 in IEEE EuroCon 2013, PAGES: 823-830
AUTHORS: Verveckken, J; Silva, JF ; Driesen, J;
PUBLISHED: 2013, SOURCE: IEEE EuroCon 2013 in IEEE EuroCon 2013, PAGES: 823-830
INDEXED IN: Scopus CrossRef
Scopus CrossRef2732
TITLE: Optimizing Mixtures of Dependency Trees with Application to Distributed Probabilistic Control
AUTHORS: Miguel Barao ;
PUBLISHED: 2013, SOURCE: 21st Mediterranean Conference on Control and Automation (MED) in 2013 21ST MEDITERRANEAN CONFERENCE ON CONTROL AND AUTOMATION (MED), PAGES: 1490-1494
AUTHORS: Miguel Barao ;
PUBLISHED: 2013, SOURCE: 21st Mediterranean Conference on Control and Automation (MED) in 2013 21ST MEDITERRANEAN CONFERENCE ON CONTROL AND AUTOMATION (MED), PAGES: 1490-1494
2733
TITLE: Order-Preserving Renaming in Synchronous Systems with Byzantine Faults
AUTHORS: Oksana Denysyuk; Luis Rodrigues ;
PUBLISHED: 2013, SOURCE: 33rd IEEE International Conference on Distributed Computing Systems (ICDCS) in 2013 IEEE 33RD INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS (ICDCS), PAGES: 276-285
AUTHORS: Oksana Denysyuk; Luis Rodrigues ;
PUBLISHED: 2013, SOURCE: 33rd IEEE International Conference on Distributed Computing Systems (ICDCS) in 2013 IEEE 33RD INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS (ICDCS), PAGES: 276-285
2734
TITLE: Parallel efficient aligner of pyrosequencing reads
AUTHORS: Miguel E Coimbra; Francisco Fernandes; Luís M S Russo ; Ana T Freitas ;
PUBLISHED: 2013, SOURCE: 20th European MPI Users' Group Meeting, EuroMPI 2013 in 20th European MPI Users's Group Meeting, EuroMPI '13, Madrid, Spain - September 15 - 18, 2013, PAGES: 241-246
AUTHORS: Miguel E Coimbra; Francisco Fernandes; Luís M S Russo ; Ana T Freitas ;
PUBLISHED: 2013, SOURCE: 20th European MPI Users' Group Meeting, EuroMPI 2013 in 20th European MPI Users's Group Meeting, EuroMPI '13, Madrid, Spain - September 15 - 18, 2013, PAGES: 241-246
2735
TITLE: Parallel MUS Extraction
AUTHORS: Anton Belov; Norbert Manthey; João Marques Silva ;
PUBLISHED: 2013, SOURCE: 16th International Conference on Theory and Applications of Satisfiability Testing, SAT 2013 in Theory and Applications of Satisfiability Testing - SAT 2013 - 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings, VOLUME: 7962, PAGES: 133-149
AUTHORS: Anton Belov; Norbert Manthey; João Marques Silva ;
PUBLISHED: 2013, SOURCE: 16th International Conference on Theory and Applications of Satisfiability Testing, SAT 2013 in Theory and Applications of Satisfiability Testing - SAT 2013 - 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings, VOLUME: 7962, PAGES: 133-149
2736
TITLE: Parameter Estimation and Identifiability of a HIV-1 Model
AUTHORS: Portelo, A; Lemos, JM ; Vinga, S ; Ruy M Ribeiro; Cruz, JP; Valadas, E ;
PUBLISHED: 2013, SOURCE: 21st Mediterranean Conference on Control and Automation (MED) in 2013 21ST MEDITERRANEAN CONFERENCE ON CONTROL AND AUTOMATION (MED), PAGES: 691-696
AUTHORS: Portelo, A; Lemos, JM ; Vinga, S ; Ruy M Ribeiro; Cruz, JP; Valadas, E ;
PUBLISHED: 2013, SOURCE: 21st Mediterranean Conference on Control and Automation (MED) in 2013 21ST MEDITERRANEAN CONFERENCE ON CONTROL AND AUTOMATION (MED), PAGES: 691-696
2737
TITLE: Part-based Construction of digitized 3D objects
AUTHORS: Daniela Borges; Alfredo Ferreira ;
PUBLISHED: 2013, SOURCE: 21st International Conference in Central Europe on Computer Graphics, Visualization and Computer Vision in WSCG 2013, COMMUNICATION PAPERS PROCEEDINGS, PAGES: 210-219
AUTHORS: Daniela Borges; Alfredo Ferreira ;
PUBLISHED: 2013, SOURCE: 21st International Conference in Central Europe on Computer Graphics, Visualization and Computer Vision in WSCG 2013, COMMUNICATION PAPERS PROCEEDINGS, PAGES: 210-219
INDEXED IN: Scopus WOS
Scopus WOS2738
TITLE: Partial MUS Enumeration
AUTHORS: Alessandro Previti; João Marques Silva ;
PUBLISHED: 2013, SOURCE: 27th AAAI Conference on Artificial Intelligence, AAAI 2013 in Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence, July 14-18, 2013, Bellevue, Washington, USA., PAGES: 818-825
AUTHORS: Alessandro Previti; João Marques Silva ;
PUBLISHED: 2013, SOURCE: 27th AAAI Conference on Artificial Intelligence, AAAI 2013 in Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence, July 14-18, 2013, Bellevue, Washington, USA., PAGES: 818-825
INDEXED IN: Scopus DBLP
Scopus DBLP2739
TITLE: Photovoltaic and wind energy systems monitoring and building/home energy management using ZigBee devices within a smart grid Full Text
AUTHORS: Batista, NC; Melicio, R ; Matias, JCO ; João P. S. Catalão ;
PUBLISHED: 2013, SOURCE: ENERGY, VOLUME: 49, ISSUE: 1, PAGES: 306-315
AUTHORS: Batista, NC; Melicio, R ; Matias, JCO ; João P. S. Catalão ;
PUBLISHED: 2013, SOURCE: ENERGY, VOLUME: 49, ISSUE: 1, PAGES: 306-315
2740
TITLE: Physics-based water interaction and shading: The SiViFlow algorithm
AUTHORS: Sena, D; Pereira, J; Costa, V ;
PUBLISHED: 2013, SOURCE: 21st International Conference in Central Europe on Computer Graphics, Visualization and Computer Vision, WSCG 2013 in 21st International Conference in Central Europe on Computer Graphics, Visualization and Computer Vision, WSCG 2013 - Communication Papers Proceedings, PAGES: 49-59
AUTHORS: Sena, D; Pereira, J; Costa, V ;
PUBLISHED: 2013, SOURCE: 21st International Conference in Central Europe on Computer Graphics, Visualization and Computer Vision, WSCG 2013 in 21st International Conference in Central Europe on Computer Graphics, Visualization and Computer Vision, WSCG 2013 - Communication Papers Proceedings, PAGES: 49-59
INDEXED IN: Scopus
Scopus