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: 6819
112 Team MembersFilters -> Year: 2024
5641
TITLE: Heuristic-based backtracking relaxation for propositional satisfiability Full Text
AUTHORS: Bhalla, A; Lynce, I ; De Sousa, JT; Marques Silva, J ;
PUBLISHED: 2005, SOURCE: JOURNAL OF AUTOMATED REASONING, VOLUME: 35, ISSUE: 1-3, PAGES: 3-24
AUTHORS: Bhalla, A; Lynce, I ; De Sousa, JT; Marques Silva, J ;
PUBLISHED: 2005, SOURCE: JOURNAL OF AUTOMATED REASONING, VOLUME: 35, ISSUE: 1-3, PAGES: 3-24
5642
TITLE: High-voltage high-frequency Marx-bank type pulse generator using integrated power semiconductor half-bridges
AUTHORS: Redondo, LM ; Silva, JF ; Tavares, P; Margato, E ;
PUBLISHED: 2005, SOURCE: 2005 European Conference on Power Electronics and Applications in 2005 European Conference on Power Electronics and Applications, VOLUME: 2005
AUTHORS: Redondo, LM ; Silva, JF ; Tavares, P; Margato, E ;
PUBLISHED: 2005, SOURCE: 2005 European Conference on Power Electronics and Applications in 2005 European Conference on Power Electronics and Applications, VOLUME: 2005
INDEXED IN: 
Scopus
Scopus5643
TITLE: IEEE Transactions on Speech and Audio Processing: Editorial
AUTHORS: Trancoso, I ;
PUBLISHED: 2005, SOURCE: IEEE Transactions on Speech and Audio Processing, VOLUME: 13, ISSUE: 4, PAGES: 457
AUTHORS: Trancoso, I ;
PUBLISHED: 2005, SOURCE: IEEE Transactions on Speech and Audio Processing, VOLUME: 13, ISSUE: 4, PAGES: 457
INDEXED IN: Scopus
Scopus5644
TITLE: Implementation of genetic programming toward the improvement of acoustic classification performance for different seafloor habitats Full Text
AUTHORS: Tseng, YT; Gavrilov, AN; Duncan, AJ; Harwerth, M; Silva, S ;
PUBLISHED: 2005, SOURCE: Oceans 2005 - Europe in Oceans 2005 - Europe, VOLUME: 1, PAGES: 634-639
AUTHORS: Tseng, YT; Gavrilov, AN; Duncan, AJ; Harwerth, M; Silva, S ;
PUBLISHED: 2005, SOURCE: Oceans 2005 - Europe in Oceans 2005 - Europe, VOLUME: 1, PAGES: 634-639
INDEXED IN: Scopus 
CrossRef
Scopus CrossRef5645
TITLE: Improved Jacobian adaptation for robust speaker verification
AUTHORS: Anguita, J; Hernando, J; Abad, A ;
PUBLISHED: 2005, SOURCE: IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, VOLUME: E88D, ISSUE: 7, PAGES: 1767-1770
AUTHORS: Anguita, J; Hernando, J; Abad, A ;
PUBLISHED: 2005, SOURCE: IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, VOLUME: E88D, ISSUE: 7, PAGES: 1767-1770
5646
TITLE: Improved Jacobian Adaptation for Robust Speaker Verification
AUTHORS: Jan Anguita; Javier Hernando; Alberto Abad ;
PUBLISHED: 2005, SOURCE: IEICE Trans. Inf. Syst., VOLUME: 88-D, ISSUE: 7, PAGES: 1767-1770
AUTHORS: Jan Anguita; Javier Hernando; Alberto Abad ;
PUBLISHED: 2005, SOURCE: IEICE Trans. Inf. Syst., VOLUME: 88-D, ISSUE: 7, PAGES: 1767-1770
INDEXED IN: Scopus 
DBLP
Scopus DBLP5647
TITLE: Improvements to the implementation of interpolant-based model checking
AUTHORS: Marques Silva, J ;
PUBLISHED: 2005, SOURCE: 13th Advanced Research Working Conference on Correct Hardware Design and Verification Methods in CORRECT HARDWARE DESIGN AND VERIFICATION METHODS, PROCEEDINGS, VOLUME: 3725, PAGES: 367-370
AUTHORS: Marques Silva, J ;
PUBLISHED: 2005, SOURCE: 13th Advanced Research Working Conference on Correct Hardware Design and Verification Methods in CORRECT HARDWARE DESIGN AND VERIFICATION METHODS, PROCEEDINGS, VOLUME: 3725, PAGES: 367-370
5648
TITLE: Improving interoperability between microbial information and sequence databases Full Text
AUTHORS: Romano, P ; Dawyndt, P; Piersigilli, F; Swings, J;
PUBLISHED: 2005, SOURCE: BMC Bioinformatics, VOLUME: 6, ISSUE: SUPPL.4
AUTHORS: Romano, P ; Dawyndt, P; Piersigilli, F; Swings, J;
PUBLISHED: 2005, SOURCE: BMC Bioinformatics, VOLUME: 6, ISSUE: SUPPL.4
INDEXED IN: Scopus
Scopus5649
TITLE: Improving the tolerance of pipeline based circuits to power supply or temperature variations
AUTHORS: Jorge Semião ; Rodriguez Andina, JJ; Vargas, F; Santos, MB; Teixeira, IC; Teixeira, JP;
PUBLISHED: 2005, SOURCE: 22nd IEEE International Symposium on Defect and Fault-Tolerance in VLSI Systems in DFT 2007: 22ND IEEE INTERNATIONAL SYMPOSIUM ON DEFECT AND FAULT-TOLERANCE IN VLSI SYSTEMS, PROCEEDINGS, PAGES: 303-311
AUTHORS: Jorge Semião ; Rodriguez Andina, JJ; Vargas, F; Santos, MB; Teixeira, IC; Teixeira, JP;
PUBLISHED: 2005, SOURCE: 22nd IEEE International Symposium on Defect and Fault-Tolerance in VLSI Systems in DFT 2007: 22ND IEEE INTERNATIONAL SYMPOSIUM ON DEFECT AND FAULT-TOLERANCE IN VLSI SYSTEMS, PROCEEDINGS, PAGES: 303-311
INDEXED IN: 
WOS
WOS5650
TITLE: Indexing and ranking in Geo-IR systems
AUTHORS: Martins, B ; Silva, MJ ; Andrade, L;
PUBLISHED: 2005, SOURCE: 2nd Workshop on Geographic Information Retrieval, GIR'05, Co-located with the ACM Conference on Information and Knowledge Management, CIKM 2005 in International Conference on Information and Knowledge Management, Proceedings, PAGES: 31-34
AUTHORS: Martins, B ; Silva, MJ ; Andrade, L;
PUBLISHED: 2005, SOURCE: 2nd Workshop on Geographic Information Retrieval, GIR'05, Co-located with the ACM Conference on Information and Knowledge Management, CIKM 2005 in International Conference on Information and Knowledge Management, Proceedings, PAGES: 31-34
INDEXED IN: Scopus CrossRef
Scopus CrossRef5651
TITLE: Inference of regular languages using state merging algorithms with search Full Text
AUTHORS: Bugalho, M; Oliveira, AL ;
PUBLISHED: 2005, SOURCE: PATTERN RECOGNITION, VOLUME: 38, ISSUE: 9, PAGES: 1457-1467
AUTHORS: Bugalho, M; Oliveira, AL ;
PUBLISHED: 2005, SOURCE: PATTERN RECOGNITION, VOLUME: 38, ISSUE: 9, PAGES: 1457-1467
5652
TITLE: InStory. a system for mobile information access, storytelling and gaming activities in physical spaces
AUTHORS: Nuno Correia; Joaquim A Jorge; Luís Alves; Helder Correia; Luis Romero; Carmen Morgado; Luís Soares; José C Cunha ; Teresa Romão; Eduardo E Dias;
PUBLISHED: 2005, SOURCE: Proceedings of the 2005 ACM SIGCHI International Conference on Advances in computer entertainment technology - ACE '05
AUTHORS: Nuno Correia; Joaquim A Jorge; Luís Alves; Helder Correia; Luis Romero; Carmen Morgado; Luís Soares; José C Cunha ; Teresa Romão; Eduardo E Dias;
PUBLISHED: 2005, SOURCE: Proceedings of the 2005 ACM SIGCHI International Conference on Advances in computer entertainment technology - ACE '05
INDEXED IN: CrossRef
CrossRef5653
TITLE: InStory: A system for mobile information access, storytelling and gaming activities in physical spaces
AUTHORS: Correia, N ; Alves, L; Correia, H; Romero, L; Morgado, C; Soares, L; Cunha, JC ; Romao, T ; Dias, AE; Jorge, JA ;
PUBLISHED: 2005, SOURCE: 2005 ACM SIGCHI International Conference on Advances in Computer Entertainment Technology, ACE '05 in ACM International Conference Proceeding Series, VOLUME: 265, PAGES: 102-109
AUTHORS: Correia, N ; Alves, L; Correia, H; Romero, L; Morgado, C; Soares, L; Cunha, JC ; Romao, T ; Dias, AE; Jorge, JA ;
PUBLISHED: 2005, SOURCE: 2005 ACM SIGCHI International Conference on Advances in Computer Entertainment Technology, ACE '05 in ACM International Conference Proceeding Series, VOLUME: 265, PAGES: 102-109
INDEXED IN: Scopus
Scopus5654
TITLE: Intelligent virtual agents in collaborative scenarios
AUTHORS: Prada, R ; Paiva, A ;
PUBLISHED: 2005, SOURCE: 5th International Working Conference on Intelligent Virtual Agents in INTELLIGENT VIRTUAL AGENTS, PROCEEDINGS, VOLUME: 3661, PAGES: 317-328
AUTHORS: Prada, R ; Paiva, A ;
PUBLISHED: 2005, SOURCE: 5th International Working Conference on Intelligent Virtual Agents in INTELLIGENT VIRTUAL AGENTS, PROCEEDINGS, VOLUME: 3661, PAGES: 317-328
5655
TITLE: Introduction
AUTHORS: Ana Paiva; Carlos Martinho ; Eugénio de Oliveira ;
PUBLISHED: 2005, SOURCE: Progress in Artificial Intelligence - Lecture Notes in Computer Science, PAGES: 101-101
AUTHORS: Ana Paiva; Carlos Martinho ; Eugénio de Oliveira ;
PUBLISHED: 2005, SOURCE: Progress in Artificial Intelligence - Lecture Notes in Computer Science, PAGES: 101-101
INDEXED IN: CrossRef
CrossRef5656
TITLE: Introduction
AUTHORS: Gabriel Pereira Lopes; Joaquim Ferreira da Silva; Victor Rocio ; Paulo Quaresma ;
PUBLISHED: 2005, SOURCE: Progress in Artificial Intelligence - Lecture Notes in Computer Science, PAGES: 599-599
AUTHORS: Gabriel Pereira Lopes; Joaquim Ferreira da Silva; Victor Rocio ; Paulo Quaresma ;
PUBLISHED: 2005, SOURCE: Progress in Artificial Intelligence - Lecture Notes in Computer Science, PAGES: 599-599
INDEXED IN: CrossRef
CrossRef5657
TITLE: Introduction
AUTHORS: Ana Paiva; Carlos Martinho; Eugénio C Oliveira ;
PUBLISHED: 2005, SOURCE: Progress in Artificial Intelligence, 12th Portuguese Conference on Artificial Intelligence, EPIA 2005, Covilhã, Portugal, December 5-8, 2005, Proceedings, VOLUME: 3808, PAGES: 101-101
AUTHORS: Ana Paiva; Carlos Martinho; Eugénio C Oliveira ;
PUBLISHED: 2005, SOURCE: Progress in Artificial Intelligence, 12th Portuguese Conference on Artificial Intelligence, EPIA 2005, Covilhã, Portugal, December 5-8, 2005, Proceedings, VOLUME: 3808, PAGES: 101-101
INDEXED IN: DBLP
DBLP5658
TITLE: Introduction
AUTHORS: Gabriel Pereira Lopes; Joaquim Ferreira da Silva; Vitor Rocio; Paulo Quaresma ;
PUBLISHED: 2005, SOURCE: Progress in Artificial Intelligence, 12th Portuguese Conference on Artificial Intelligence, EPIA 2005, Covilhã, Portugal, December 5-8, 2005, Proceedings, VOLUME: 3808, PAGES: 599-599
AUTHORS: Gabriel Pereira Lopes; Joaquim Ferreira da Silva; Vitor Rocio; Paulo Quaresma ;
PUBLISHED: 2005, SOURCE: Progress in Artificial Intelligence, 12th Portuguese Conference on Artificial Intelligence, EPIA 2005, Covilhã, Portugal, December 5-8, 2005, Proceedings, VOLUME: 3808, PAGES: 599-599
INDEXED IN: DBLP
DBLP5659
TITLE: Is linguistic information relevant for the classification of legal texts? Full Text
AUTHORS: Goncalves, T ; Quaresma, P ;
PUBLISHED: 2005, SOURCE: 10th International Conference on Artificial Intelligence and Law, ICAIL 2005 in Proceedings of the International Conference on Artificial Intelligence and Law, PAGES: 168-176
AUTHORS: Goncalves, T ; Quaresma, P ;
PUBLISHED: 2005, SOURCE: 10th International Conference on Artificial Intelligence and Law, ICAIL 2005 in Proceedings of the International Conference on Artificial Intelligence and Law, PAGES: 168-176
5660
TITLE: Is linguistic information relevant for the text legal classification problem?
AUTHORS: Teresa Gonçalves ; Paulo Quaresma ;
PUBLISHED: 2005, SOURCE: The Tenth International Conference on Artificial Intelligence and Law, Proceedings of the Conference, June 6-11, 2005, Bologna, Italy, PAGES: 168-176
AUTHORS: Teresa Gonçalves ; Paulo Quaresma ;
PUBLISHED: 2005, SOURCE: The Tenth International Conference on Artificial Intelligence and Law, Proceedings of the Conference, June 6-11, 2005, Bologna, Italy, PAGES: 168-176
INDEXED IN: DBLP
DBLP