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
4101
TITLE: Haplotype Inference by Pure Parsimony: A Survey
AUTHORS: Graca, A; Lynce, I ; Marques Silva, J ; Oliveira, AL ;
PUBLISHED: 2010, SOURCE: JOURNAL OF COMPUTATIONAL BIOLOGY, VOLUME: 17, ISSUE: 8, PAGES: 969-992
AUTHORS: Graca, A; Lynce, I ; Marques Silva, J ; Oliveira, AL ;
PUBLISHED: 2010, SOURCE: JOURNAL OF COMPUTATIONAL BIOLOGY, VOLUME: 17, ISSUE: 8, PAGES: 969-992
4102
TITLE: Hardware/software co-design of H.264/AVC encoders for multi-core embedded systems
AUTHORS: Dias, T; Roma, N ; Sousa, L ;
PUBLISHED: 2010, SOURCE: 2010 Conference on Design and Architectures for Signal and Image Processing, DASIP2010 in 2010 Conference on Design and Architectures for Signal and Image Processing, DASIP2010, PAGES: 242-249
AUTHORS: Dias, T; Roma, N ; Sousa, L ;
PUBLISHED: 2010, SOURCE: 2010 Conference on Design and Architectures for Signal and Image Processing, DASIP2010 in 2010 Conference on Design and Architectures for Signal and Image Processing, DASIP2010, PAGES: 242-249
4103
TITLE: Harmonic assessment of variable-speed wind turbines considering a converter control malfunction
AUTHORS: Melicio, R ; Mendes, VMF; João P. S. Catalão ;
PUBLISHED: 2010, SOURCE: IET RENEWABLE POWER GENERATION, VOLUME: 4, ISSUE: 2, PAGES: 139-152
AUTHORS: Melicio, R ; Mendes, VMF; João P. S. Catalão ;
PUBLISHED: 2010, SOURCE: IET RENEWABLE POWER GENERATION, VOLUME: 4, ISSUE: 2, PAGES: 139-152
4104
TITLE: Highly Available Intrusion-Tolerant Services with Proactive-Reactive Recovery Full Text
AUTHORS: Paulo Sousa; Alysson Neves Bessani ; Miguel Correia ; Nuno Ferreira Neves ; Paulo Verissimo ;
PUBLISHED: 2010, SOURCE: IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, VOLUME: 21, ISSUE: 4, PAGES: 452-465
AUTHORS: Paulo Sousa; Alysson Neves Bessani ; Miguel Correia ; Nuno Ferreira Neves ; Paulo Verissimo ;
PUBLISHED: 2010, SOURCE: IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, VOLUME: 21, ISSUE: 4, PAGES: 452-465
4105
TITLE: HORUS - High-dimensional model order reduction via low moment-matching upgraded sampling Full Text
AUTHORS: Villena, JF; Silveira, L. Miguel ;
PUBLISHED: 2010, SOURCE: Design, Automation and Test in Europe Conference and Exhibition, DATE 2010 in Proceedings -Design, Automation and Test in Europe, DATE, PAGES: 465-470
AUTHORS: Villena, JF; Silveira, L. Miguel ;
PUBLISHED: 2010, SOURCE: Design, Automation and Test in Europe Conference and Exhibition, DATE 2010 in Proceedings -Design, Automation and Test in Europe, DATE, PAGES: 465-470
4106
TITLE: How to Complete an Interactive Configuration Process?
AUTHORS: Mikolás Janota; Goetz Botterweck; Radu Grigore; João P Marques Silva ;
PUBLISHED: 2010, SOURCE: 36th Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2010 in SOFSEM 2010: Theory and Practice of Computer Science, 36th Conference on Current Trends in Theory and Practice of Computer Science, Spindleruv Mlýn, Czech Republic, January 23-29, 2010. Proceedings, VOLUME: 5901, PAGES: 528-539
AUTHORS: Mikolás Janota; Goetz Botterweck; Radu Grigore; João P Marques Silva ;
PUBLISHED: 2010, SOURCE: 36th Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2010 in SOFSEM 2010: Theory and Practice of Computer Science, 36th Conference on Current Trends in Theory and Practice of Computer Science, Spindleruv Mlýn, Czech Republic, January 23-29, 2010. Proceedings, VOLUME: 5901, PAGES: 528-539
4107
TITLE: Hybrid dynamic modeling of Escherichia coli central metabolic network combining Michaelis-Menten and approximate kinetic equations Full Text
AUTHORS: Rafael S Costa ; Daniel Machado; Isabel Rocha ; Eugenio C Ferreira ;
PUBLISHED: 2010, SOURCE: BIOSYSTEMS, VOLUME: 100, ISSUE: 2, PAGES: 150-157
AUTHORS: Rafael S Costa ; Daniel Machado; Isabel Rocha ; Eugenio C Ferreira ;
PUBLISHED: 2010, SOURCE: BIOSYSTEMS, VOLUME: 100, ISSUE: 2, PAGES: 150-157
4108
TITLE: Identification of Regulatory Modules in Time Series Gene Expression Data Using a Linear Time Biclustering Algorithm Full Text
AUTHORS: Sara C Madeira ; Miguel C Teixeira ; Isabel Sa Correia ; Arlindo L Oliveira ;
PUBLISHED: 2010, SOURCE: IEEE-ACM TRANSACTIONS ON COMPUTATIONAL BIOLOGY AND BIOINFORMATICS, VOLUME: 7, ISSUE: 1, PAGES: 153-165
AUTHORS: Sara C Madeira ; Miguel C Teixeira ; Isabel Sa Correia ; Arlindo L Oliveira ;
PUBLISHED: 2010, SOURCE: IEEE-ACM TRANSACTIONS ON COMPUTATIONAL BIOLOGY AND BIOINFORMATICS, VOLUME: 7, ISSUE: 1, PAGES: 153-165
4109
TITLE: Identification of Regulatory Modules in Time Series Gene Expression Data Using a Linear Time Biclustering Algorithm
AUTHORS: Sara C Madeira ; Miguel C Teixeira ; Isabel Sá Correia ; Arlindo L Oliveira ;
PUBLISHED: 2010, SOURCE: IEEE/ACM Trans. Comput. Biology Bioinform., VOLUME: 7, ISSUE: 1, PAGES: 153-165
AUTHORS: Sara C Madeira ; Miguel C Teixeira ; Isabel Sá Correia ; Arlindo L Oliveira ;
PUBLISHED: 2010, SOURCE: IEEE/ACM Trans. Comput. Biology Bioinform., VOLUME: 7, ISSUE: 1, PAGES: 153-165
INDEXED IN: 
DBLP
DBLP4110
TITLE: Identification of Services through Functional Decomposition of Business Processes
AUTHORS: Artur Caetano ; Antonio Rito Silva ; Jose Tribolet ;
PUBLISHED: 2010, SOURCE: 13th International Conference on Business Information Systems in BUSINESS INFORMATION SYSTEMS, PROCEEDINGS, VOLUME: 47, PAGES: 144-157
AUTHORS: Artur Caetano ; Antonio Rito Silva ; Jose Tribolet ;
PUBLISHED: 2010, SOURCE: 13th International Conference on Business Information Systems in BUSINESS INFORMATION SYSTEMS, PROCEEDINGS, VOLUME: 47, PAGES: 144-157
4111
TITLE: Identifying the relevant individual attributes for a successful non-visual mobile experience
AUTHORS: Guerreiro, T ; Jorge, J ; Goncalves, D ;
PUBLISHED: 2010, SOURCE: 28th European Conference on Cognitive Ergonomics 2010, ECCE 2010 in ECCE 2010 - European Conference on Cognitive Ergonomics 2010: The 28th Annual Conference of the European Association of Cognitive Ergonomics, PAGES: 27-30
AUTHORS: Guerreiro, T ; Jorge, J ; Goncalves, D ;
PUBLISHED: 2010, SOURCE: 28th European Conference on Cognitive Ergonomics 2010, ECCE 2010 in ECCE 2010 - European Conference on Cognitive Ergonomics 2010: The 28th Annual Conference of the European Association of Cognitive Ergonomics, PAGES: 27-30
INDEXED IN: 
Scopus 
CrossRef
Scopus CrossRef4112
TITLE: IFIP World Computer Congress 2010 (WCC 2010)
AUTHORS: Casaca, A ; Nyssen, P; Tate, N; Hinchey, M; Brunnstein, K;
PUBLISHED: 2010, SOURCE: 3rd IFIP TC 12 International Conference on Artificial Intelligence, IFIP AI 2010 in IFIP Advances in Information and Communication Technology, VOLUME: 331 AICT
AUTHORS: Casaca, A ; Nyssen, P; Tate, N; Hinchey, M; Brunnstein, K;
PUBLISHED: 2010, SOURCE: 3rd IFIP TC 12 International Conference on Artificial Intelligence, IFIP AI 2010 in IFIP Advances in Information and Communication Technology, VOLUME: 331 AICT
INDEXED IN: Scopus
Scopus4113
TITLE: IMMIView: a multi-user solution for design review in real-time Full Text
AUTHORS: Ricardo Jota; Bruno R de Araujo; Luis C Bruno; Joao M Pereira ; Joaquim A Jorge ;
PUBLISHED: 2010, SOURCE: JOURNAL OF REAL-TIME IMAGE PROCESSING, VOLUME: 5, ISSUE: 2, PAGES: 91-107
AUTHORS: Ricardo Jota; Bruno R de Araujo; Luis C Bruno; Joao M Pereira ; Joaquim A Jorge ;
PUBLISHED: 2010, SOURCE: JOURNAL OF REAL-TIME IMAGE PROCESSING, VOLUME: 5, ISSUE: 2, PAGES: 91-107
4114
TITLE: Impact of power supply voltage variations on FPGA-based digital systems performance
AUTHORS: Freijedo, J; Costas, L; Jorge Semião ; Rodriguez Andina, JJ; Moure, MJ; Vargas, F; Teixeira, IC ; Teixeira, JP ;
PUBLISHED: 2010, SOURCE: Journal of Low Power Electronics, VOLUME: 6, ISSUE: 2, PAGES: 339-349
AUTHORS: Freijedo, J; Costas, L; Jorge Semião ; Rodriguez Andina, JJ; Moure, MJ; Vargas, F; Teixeira, IC ; Teixeira, JP ;
PUBLISHED: 2010, SOURCE: Journal of Low Power Electronics, VOLUME: 6, ISSUE: 2, PAGES: 339-349
INDEXED IN: Scopus CrossRef
Scopus CrossRef4115
TITLE: Implementation of an electrical theory mobile learning course
AUTHORS: Rui Neves Madeira; Martins, JF ; Fernao Pires, V; Dias, OP; Dias, OP;
PUBLISHED: 2010, SOURCE: 4th IEEE International Conference on E-Learning in Industrial Electronics, ICELIE 2010 in Proceedings - ICELIE 2010, 4th IEEE International Conference on E-Learning in Industrial Electronics, PAGES: 41-46
AUTHORS: Rui Neves Madeira; Martins, JF ; Fernao Pires, V; Dias, OP; Dias, OP;
PUBLISHED: 2010, SOURCE: 4th IEEE International Conference on E-Learning in Industrial Electronics, ICELIE 2010 in Proceedings - ICELIE 2010, 4th IEEE International Conference on E-Learning in Industrial Electronics, PAGES: 41-46
INDEXED IN: Scopus CrossRef
Scopus CrossRef4116
TITLE: Improving ASR error detection with non-decoder based features
AUTHORS: Thomas Pellegrini; Isabel Trancoso ;
PUBLISHED: 2010, SOURCE: 11th Annual Conference of the International-Speech-Communication-Association 2010 in 11TH ANNUAL CONFERENCE OF THE INTERNATIONAL SPEECH COMMUNICATION ASSOCIATION 2010 (INTERSPEECH 2010), VOLS 3 AND 4, PAGES: 1950-1953
AUTHORS: Thomas Pellegrini; Isabel Trancoso ;
PUBLISHED: 2010, SOURCE: 11th Annual Conference of the International-Speech-Communication-Association 2010 in 11TH ANNUAL CONFERENCE OF THE INTERNATIONAL SPEECH COMMUNICATION ASSOCIATION 2010 (INTERSPEECH 2010), VOLS 3 AND 4, PAGES: 1950-1953
INDEXED IN: Scopus 
WOS
Scopus WOS4117
TITLE: Improving IdSay: A Characterization of Strengths and Weaknesses in Question Answering Systems for Portuguese
AUTHORS: Gracinda Carvalho ; David Martins de Matos ; Vitor Rocio ;
PUBLISHED: 2010, SOURCE: 9th International Conference on Computational Processing of the Portuguese Language in COMPUTATIONAL PROCESSING OF THE PORTUGUESE LANGUAGE, PROCEEDINGS, VOLUME: 6001, PAGES: 1-10
AUTHORS: Gracinda Carvalho ; David Martins de Matos ; Vitor Rocio ;
PUBLISHED: 2010, SOURCE: 9th International Conference on Computational Processing of the Portuguese Language in COMPUTATIONAL PROCESSING OF THE PORTUGUESE LANGUAGE, PROCEEDINGS, VOLUME: 6001, PAGES: 1-10
4118
TITLE: Improving Remote Voting Security with Code Voting
AUTHORS: Rui Joaquim; Carlos Ribeiro ; Paulo Ferreira ;
PUBLISHED: 2010, SOURCE: Workshop on Trustworthy Elections in TOWARDS TRUSTWORTHY ELECTIONS: NEW DIRECTIONS IN ELECTRONIC VOTING, VOLUME: 6000, PAGES: 310-329
AUTHORS: Rui Joaquim; Carlos Ribeiro ; Paulo Ferreira ;
PUBLISHED: 2010, SOURCE: Workshop on Trustworthy Elections in TOWARDS TRUSTWORTHY ELECTIONS: NEW DIRECTIONS IN ELECTRONIC VOTING, VOLUME: 6000, PAGES: 310-329
4119
TITLE: Improving Search Space Splitting for Parallel SAT Solving
AUTHORS: Martins, R; Manquinho, V ; Lynce, I ;
PUBLISHED: 2010, SOURCE: 22nd International Conference on Tools with Artificial Intelligence in 22ND INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI 2010), PROCEEDINGS, VOL 1, VOLUME: 1, PAGES: 336-343
AUTHORS: Martins, R; Manquinho, V ; Lynce, I ;
PUBLISHED: 2010, SOURCE: 22nd International Conference on Tools with Artificial Intelligence in 22ND INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI 2010), PROCEEDINGS, VOL 1, VOLUME: 1, PAGES: 336-343
4120
TITLE: Improving Unsatisfiability-Based Algorithms for Boolean Optimization
AUTHORS: Manquinho, V ; Martins, R; Lynce, I ;
PUBLISHED: 2010, SOURCE: 13th International Conference on Theory and Applications of Satisfiability Testing in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2010, PROCEEDINGS, VOLUME: 6175, PAGES: 181-193
AUTHORS: Manquinho, V ; Martins, R; Lynce, I ;
PUBLISHED: 2010, SOURCE: 13th International Conference on Theory and Applications of Satisfiability Testing in THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2010, PROCEEDINGS, VOLUME: 6175, PAGES: 181-193
