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

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