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
3781
TITLE: Quantitative modeling the Saccharomyces cerevisiae FLR1 regulatory network using an S-system formalism
AUTHORS: Calcada, D; Vinga, S ; Freitas, AT ; Oliveira, AL ;
PUBLISHED: 2011, SOURCE: 2011 1st IEEE International Conference on Healthcare Informatics, Imaging and Systems Biology, HISB 2011 in Proceedings - 2011 1st IEEE International Conference on Healthcare Informatics, Imaging and Systems Biology, HISB 2011, PAGES: 69-75
AUTHORS: Calcada, D; Vinga, S ; Freitas, AT ; Oliveira, AL ;
PUBLISHED: 2011, SOURCE: 2011 1st IEEE International Conference on Healthcare Informatics, Imaging and Systems Biology, HISB 2011 in Proceedings - 2011 1st IEEE International Conference on Healthcare Informatics, Imaging and Systems Biology, HISB 2011, PAGES: 69-75
3782
TITLE: Randomization can be a healer: consensus with dynamic omission failures Full Text
AUTHORS: Henrique Moniz ; Nuno Ferreira Neves ; Miguel Correia ; Paulo Verissimo ;
PUBLISHED: 2011, SOURCE: 23rd International Symposium on Distributed Computing (DISC) in DISTRIBUTED COMPUTING, VOLUME: 24, ISSUE: 3-4, PAGES: 165-175
AUTHORS: Henrique Moniz ; Nuno Ferreira Neves ; Miguel Correia ; Paulo Verissimo ;
PUBLISHED: 2011, SOURCE: 23rd International Symposium on Distributed Computing (DISC) in DISTRIBUTED COMPUTING, VOLUME: 24, ISSUE: 3-4, PAGES: 165-175
3783
TITLE: Read-Once Resolution for Unsatisfiability-Based Max-SAT Algorithms
AUTHORS: Federico Heras; João Marques Silva ;
PUBLISHED: 2011, SOURCE: IJCAI 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22, 2011, PAGES: 572-577
AUTHORS: Federico Heras; João Marques Silva ;
PUBLISHED: 2011, SOURCE: IJCAI 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22, 2011, PAGES: 572-577
INDEXED IN: 
Scopus 
DBLP
Scopus DBLP3784
TITLE: REAL-TIME DVB-S2 LDPC DECODING ON MANY-CORE GPU ACCELERATORS
AUTHORS: Gabriel Falcao ; Joao Andrade; Vitor Silva ; Leonel Sousa ;
PUBLISHED: 2011, SOURCE: IEEE International Conference on Acoustics, Speech, and Signal Processing (ICASSP) in 2011 IEEE INTERNATIONAL CONFERENCE ON ACOUSTICS, SPEECH, AND SIGNAL PROCESSING, PAGES: 1685-1688
AUTHORS: Gabriel Falcao ; Joao Andrade; Vitor Silva ; Leonel Sousa ;
PUBLISHED: 2011, SOURCE: IEEE International Conference on Acoustics, Speech, and Signal Processing (ICASSP) in 2011 IEEE INTERNATIONAL CONFERENCE ON ACOUSTICS, SPEECH, AND SIGNAL PROCESSING, PAGES: 1685-1688
3785
TITLE: Reassembling Operator Equalisation - A Secret Revealed
AUTHORS: Sara Silva ;
PUBLISHED: 2011, SOURCE: 13th Annual Genetic and Evolutionary Computation Conference (GECCO) in GECCO-2011: PROCEEDINGS OF THE 13TH ANNUAL GENETIC AND EVOLUTIONARY COMPUTATION CONFERENCE, PAGES: 1395-1402
AUTHORS: Sara Silva ;
PUBLISHED: 2011, SOURCE: 13th Annual Genetic and Evolutionary Computation Conference (GECCO) in GECCO-2011: PROCEEDINGS OF THE 13TH ANNUAL GENETIC AND EVOLUTIONARY COMPUTATION CONFERENCE, PAGES: 1395-1402
INDEXED IN: Scopus 
WOS
Scopus WOS3786
TITLE: ReConMUC: adaptable consistency requirements for efficient large-scale multi-user chat. adaptable consistency requirements for efficient large-scale multi-user chat
AUTHORS: Pedro Alves; Paulo Ferreira ;
PUBLISHED: 2011, SOURCE: ACM 2011 Conference on Computer Supported Cooperative Work, CSCW 2011 in Proceedings of the 2011 ACM Conference on Computer Supported Cooperative Work, CSCW 2011, Hangzhou, China, March 19-23, 2011, PAGES: 553-562
AUTHORS: Pedro Alves; Paulo Ferreira ;
PUBLISHED: 2011, SOURCE: ACM 2011 Conference on Computer Supported Cooperative Work, CSCW 2011 in Proceedings of the 2011 ACM Conference on Computer Supported Cooperative Work, CSCW 2011, Hangzhou, China, March 19-23, 2011, PAGES: 553-562
3787
TITLE: Reordering Modeling using Weighted Alignment Matrices
AUTHORS: Wang Ling; Tiago Luís ; João Graça; Isabel Trancoso ; Luísa Coheur ;
PUBLISHED: 2011, SOURCE: 49th Annual Meeting of the Association for Computational Linguistics: Human Language Technologies, ACL-HLT 2011 in The 49th Annual Meeting of the Association for Computational Linguistics: Human Language Technologies, Proceedings of the Conference, 19-24 June, 2011, Portland, Oregon, USA - Short Papers, VOLUME: 2, PAGES: 450-454
AUTHORS: Wang Ling; Tiago Luís ; João Graça; Isabel Trancoso ; Luísa Coheur ;
PUBLISHED: 2011, SOURCE: 49th Annual Meeting of the Association for Computational Linguistics: Human Language Technologies, ACL-HLT 2011 in The 49th Annual Meeting of the Association for Computational Linguistics: Human Language Technologies, Proceedings of the Conference, 19-24 June, 2011, Portland, Oregon, USA - Short Papers, VOLUME: 2, PAGES: 450-454
INDEXED IN: Scopus DBLP
Scopus DBLP3788
TITLE: Representing a bilingual lexicon with suffix trees
AUTHORS: Jorge Costa; Gabriel Pereira Lopes ; Luís Gomes ; Luís M S Russo ;
PUBLISHED: 2011, SOURCE: 26th Annual ACM Symposium on Applied Computing, SAC 2011 in Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21 - 24, 2011, PAGES: 1164-1165
AUTHORS: Jorge Costa; Gabriel Pereira Lopes ; Luís Gomes ; Luís M S Russo ;
PUBLISHED: 2011, SOURCE: 26th Annual ACM Symposium on Applied Computing, SAC 2011 in Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21 - 24, 2011, PAGES: 1164-1165
3789
TITLE: Restoring CSP Satisfiability with MaxSAT Full Text
AUTHORS: Inês Lynce ; Joao Marques Silva;
PUBLISHED: 2011, SOURCE: Fundamenta Informaticae, VOLUME: 107, ISSUE: 2-3, PAGES: 249-266
AUTHORS: Inês Lynce ; Joao Marques Silva;
PUBLISHED: 2011, SOURCE: Fundamenta Informaticae, VOLUME: 107, ISSUE: 2-3, PAGES: 249-266
3790
TITLE: Restoring CSP Satisfiability with MaxSAT Full Text
AUTHORS: Lynce, I ; Marques Silva, J ;
PUBLISHED: 2011, SOURCE: FUNDAMENTA INFORMATICAE, VOLUME: 107, ISSUE: 2-3, PAGES: 249-266
AUTHORS: Lynce, I ; Marques Silva, J ;
PUBLISHED: 2011, SOURCE: FUNDAMENTA INFORMATICAE, VOLUME: 107, ISSUE: 2-3, PAGES: 249-266
INDEXED IN: Scopus WOS DBLP
Scopus WOS DBLP3791
TITLE: Revisiting Centrality-as-Relevance: Support Sets and Similarity as Geometric Proximity
AUTHORS: Ribeiro, R ; David Martins de Matos ;
PUBLISHED: 2011, SOURCE: JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, VOLUME: 42, PAGES: 275-308
AUTHORS: Ribeiro, R ; David Martins de Matos ;
PUBLISHED: 2011, SOURCE: JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, VOLUME: 42, PAGES: 275-308
INDEXED IN: Scopus WOS DBLP 
Handle
Scopus WOS DBLP Handle3792
TITLE: Revisiting the Newton-Raphson iterative method for decimal division
AUTHORS: Vestias, MP ; Neto, HC ;
PUBLISHED: 2011, SOURCE: 21st International Conference on Field Programmable Logic and Applications, FPL 2011 in Proceedings - 21st International Conference on Field Programmable Logic and Applications, FPL 2011, PAGES: 138-143
AUTHORS: Vestias, MP ; Neto, HC ;
PUBLISHED: 2011, SOURCE: 21st International Conference on Field Programmable Logic and Applications, FPL 2011 in Proceedings - 21st International Conference on Field Programmable Logic and Applications, FPL 2011, PAGES: 138-143
INDEXED IN: Scopus 
CrossRef
Scopus CrossRef3793
TITLE: Risk of collective failure provides an escape from the tragedy of the commons
AUTHORS: Francisco C Santos ; Jorge M Pacheco ;
PUBLISHED: 2011, SOURCE: PROCEEDINGS OF THE NATIONAL ACADEMY OF SCIENCES OF THE UNITED STATES OF AMERICA, VOLUME: 108, ISSUE: 26, PAGES: 10421-10425
AUTHORS: Francisco C Santos ; Jorge M Pacheco ;
PUBLISHED: 2011, SOURCE: PROCEEDINGS OF THE NATIONAL ACADEMY OF SCIENCES OF THE UNITED STATES OF AMERICA, VOLUME: 108, ISSUE: 26, PAGES: 10421-10425
3794
TITLE: RITAS: Services for Randomized Intrusion Tolerance Full Text
AUTHORS: Henrique Moniz ; Nuno Ferreira Neves ; Miguel Correia ; Paulo Verissimo ;
PUBLISHED: 2011, SOURCE: IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, VOLUME: 8, ISSUE: 1, PAGES: 122-136
AUTHORS: Henrique Moniz ; Nuno Ferreira Neves ; Miguel Correia ; Paulo Verissimo ;
PUBLISHED: 2011, SOURCE: IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, VOLUME: 8, ISSUE: 1, PAGES: 122-136
3795
TITLE: Robots meet IVAs: A mind-body interface for migrating artificial intelligent agents
AUTHORS: Kriegel, M; Aylett, R; Cuba, P; Vala, M; Paiva, A ;
PUBLISHED: 2011, SOURCE: 11th International Conference on Intelligent Virtual Agents, IVA 2011 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6895 LNAI, PAGES: 282-295
AUTHORS: Kriegel, M; Aylett, R; Cuba, P; Vala, M; Paiva, A ;
PUBLISHED: 2011, SOURCE: 11th International Conference on Intelligent Virtual Agents, IVA 2011 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6895 LNAI, PAGES: 282-295
INDEXED IN: Scopus CrossRef
Scopus CrossRef3796
TITLE: Robust Pointwise Min-Norm Control of Distributed Systems with Fluid Flow
AUTHORS: Jose M Igreja; Joao M Lemos ; Sergio J Costa;
PUBLISHED: 2011, SOURCE: 50th IEEE Conference of Decision and Control (CDC)/European Control Conference (ECC) in 2011 50TH IEEE CONFERENCE ON DECISION AND CONTROL AND EUROPEAN CONTROL CONFERENCE (CDC-ECC), PAGES: 2662-2667
AUTHORS: Jose M Igreja; Joao M Lemos ; Sergio J Costa;
PUBLISHED: 2011, SOURCE: 50th IEEE Conference of Decision and Control (CDC)/European Control Conference (ECC) in 2011 50TH IEEE CONFERENCE ON DECISION AND CONTROL AND EUROPEAN CONTROL CONFERENCE (CDC-ECC), PAGES: 2662-2667
INDEXED IN: WOS
WOS3797
TITLE: Robust Pointwise Min-Norm Control of distributed systems with fluid flow Full Text
AUTHORS: Igreja, JM; Lemos, JM ; Costa, SJ;
PUBLISHED: 2011, SOURCE: 2011 50th IEEE Conference on Decision and Control and European Control Conference, CDC-ECC 2011 in Proceedings of the IEEE Conference on Decision and Control, PAGES: 2662-2667
AUTHORS: Igreja, JM; Lemos, JM ; Costa, SJ;
PUBLISHED: 2011, SOURCE: 2011 50th IEEE Conference on Decision and Control and European Control Conference, CDC-ECC 2011 in Proceedings of the IEEE Conference on Decision and Control, PAGES: 2662-2667
INDEXED IN: Scopus CrossRef
Scopus CrossRef3798
TITLE: Rollerchain: A DHTfor high availability
AUTHORS: Paiva, J; Leitao, J ; Rodrigues, L ;
PUBLISHED: 2011, SOURCE: Workshop on Posters and Demos Track, PDT'11 - 12th International Middleware Conference, Middleware'11 in Proceedings of the Workshop on Posters and Demos Track, PDT'11 - 12th International Middleware Conference, Middleware'11
AUTHORS: Paiva, J; Leitao, J ; Rodrigues, L ;
PUBLISHED: 2011, SOURCE: Workshop on Posters and Demos Track, PDT'11 - 12th International Middleware Conference, Middleware'11 in Proceedings of the Workshop on Posters and Demos Track, PDT'11 - 12th International Middleware Conference, Middleware'11
INDEXED IN: Scopus
Scopus3799
TITLE: SARA: Social Affective Relational Agent: A Study on the Role of Empathy in Artificial Social Agents
AUTHORS: Sandra Gama; Gabriel Barata; Daniel Goncalves ; Rui Prada ; Ana Paiva ;
PUBLISHED: 2011, SOURCE: 4th Bi-Annual International Conference of the Humaine Association on Affective Computing and Intelligent Interaction (ACII 2011) in AFFECTIVE COMPUTING AND INTELLIGENT INTERACTION, PT I, VOLUME: 6974, ISSUE: PART 1, PAGES: 507-516
AUTHORS: Sandra Gama; Gabriel Barata; Daniel Goncalves ; Rui Prada ; Ana Paiva ;
PUBLISHED: 2011, SOURCE: 4th Bi-Annual International Conference of the Humaine Association on Affective Computing and Intelligent Interaction (ACII 2011) in AFFECTIVE COMPUTING AND INTELLIGENT INTERACTION, PT I, VOLUME: 6974, ISSUE: PART 1, PAGES: 507-516
3800
TITLE: SAT solvers
AUTHORS: Joao Marques Silva ; Ines Lynce ;
PUBLISHED: 2011, SOURCE: Tractability, VOLUME: 9781107025196, PAGES: 331-349
AUTHORS: Joao Marques Silva ; Ines Lynce ;
PUBLISHED: 2011, SOURCE: Tractability, VOLUME: 9781107025196, PAGES: 331-349
