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
5921
TITLE: Using Lower-Bound Estimates in SAT-Based Pseudo-Boolean Optimization PDF
AUTHORS: Vasco M. Manquinho; João Marques Marques Silva ;
PUBLISHED: 2004, SOURCE: SAT 2004 - The Seventh International Conference on Theory and Applications of Satisfiability Testing, 10-13 May 2004, Vancouver, BC, Canada, Online Proceedings
AUTHORS: Vasco M. Manquinho; João Marques Marques Silva ;
PUBLISHED: 2004, SOURCE: SAT 2004 - The Seventh International Conference on Theory and Applications of Satisfiability Testing, 10-13 May 2004, Vancouver, BC, Canada, Online Proceedings
INDEXED IN: 
DBLP
DBLP5922
TITLE: Using ontologies to build a knowledge base of cardiology problems and algorithms
AUTHORS: Ch Bratsas; Quaresma, P ; Pangalos, G; Maglaveras, N;
PUBLISHED: 2004, SOURCE: Computers in Cardiology 2004 in Computers in Cardiology, VOLUME: 31, PAGES: 609-612
AUTHORS: Ch Bratsas; Quaresma, P ; Pangalos, G; Maglaveras, N;
PUBLISHED: 2004, SOURCE: Computers in Cardiology 2004 in Computers in Cardiology, VOLUME: 31, PAGES: 609-612
INDEXED IN: 
Scopus
Scopus5923
TITLE: Using organizational modeling to evaluate health care IS/IT projects
AUTHORS: Vasconcelos, A; Mendes, R; Tribolet, J ;
PUBLISHED: 2004, SOURCE: Proceedings of the Hawaii International Conference on System Sciences in Proceedings of the Hawaii International Conference on System Sciences, VOLUME: 37, PAGES: 2385-2394
AUTHORS: Vasconcelos, A; Mendes, R; Tribolet, J ;
PUBLISHED: 2004, SOURCE: Proceedings of the Hawaii International Conference on System Sciences in Proceedings of the Hawaii International Conference on System Sciences, VOLUME: 37, PAGES: 2385-2394
INDEXED IN: Scopus
Scopus5924
TITLE: Using Rewarding Mechanisms for Improving Branching Heuristics PDF
AUTHORS: Elsa Carvalho; João Marques Marques Silva ;
PUBLISHED: 2004, SOURCE: SAT 2004 - The Seventh International Conference on Theory and Applications of Satisfiability Testing, 10-13 May 2004, Vancouver, BC, Canada, Online Proceedings
AUTHORS: Elsa Carvalho; João Marques Marques Silva ;
PUBLISHED: 2004, SOURCE: SAT 2004 - The Seventh International Conference on Theory and Applications of Satisfiability Testing, 10-13 May 2004, Vancouver, BC, Canada, Online Proceedings
INDEXED IN: DBLP
DBLP5925
TITLE: Workflow access control from A business perspective
AUTHORS: Domingos, D ; Rito Silva, A ; Veiga, P ;
PUBLISHED: 2004, SOURCE: ICEIS 2004 - Proceedings of the Sixth International Conference on Enterprise Information Systems in ICEIS 2004 - Proceedings of the Sixth International Conference on Enterprise Information Systems, PAGES: 18-25
AUTHORS: Domingos, D ; Rito Silva, A ; Veiga, P ;
PUBLISHED: 2004, SOURCE: ICEIS 2004 - Proceedings of the Sixth International Conference on Enterprise Information Systems in ICEIS 2004 - Proceedings of the Sixth International Conference on Enterprise Information Systems, PAGES: 18-25
INDEXED IN: Scopus
Scopus5926
TITLE: {2(n)+1, 2(,)(n+k) 2(n)-1} : A new RNS moduli set extension
AUTHORS: Chaves, R ; Sousa, L ;
PUBLISHED: 2004, SOURCE: EUROMICRO Systems on Digital System Design in PROCEEDINGS OF THE EUROMICRO SYSTEMS ON DIGITAL SYSTEM DESIGN, PAGES: 210-217
AUTHORS: Chaves, R ; Sousa, L ;
PUBLISHED: 2004, SOURCE: EUROMICRO Systems on Digital System Design in PROCEEDINGS OF THE EUROMICRO SYSTEMS ON DIGITAL SYSTEM DESIGN, PAGES: 210-217
5927
TITLE: A 5.8-GHz quadrature cross-coupled oscillator Full Text
AUTHORS: Fernandes, JR ; Kouwenhoven, MHL; van den Bos, C; van Hartingsveldt, K; Verhoeven, C;
PUBLISHED: 2003, SOURCE: International Symposium on Circuits and Systems (ISCAS 2002) in ANALOG INTEGRATED CIRCUITS AND SIGNAL PROCESSING, VOLUME: 35, ISSUE: 1, PAGES: 59-64
AUTHORS: Fernandes, JR ; Kouwenhoven, MHL; van den Bos, C; van Hartingsveldt, K; Verhoeven, C;
PUBLISHED: 2003, SOURCE: International Symposium on Circuits and Systems (ISCAS 2002) in ANALOG INTEGRATED CIRCUITS AND SIGNAL PROCESSING, VOLUME: 35, ISSUE: 1, PAGES: 59-64
5928
TITLE: A data mining approach to credit risk evaluation and behaviour scoring Full Text
AUTHORS: Madeira, SC ; Oliveira, AL ; Conceicao, CS;
PUBLISHED: 2003, SOURCE: 11th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, VOLUME: 2902, PAGES: 184-188
AUTHORS: Madeira, SC ; Oliveira, AL ; Conceicao, CS;
PUBLISHED: 2003, SOURCE: 11th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, VOLUME: 2902, PAGES: 184-188
5929
TITLE: A Decision Support System for IST Academic Information
AUTHORS: Cardoso, E; Galhardas, H ; Silva, R; Trigueiros, MJ;
PUBLISHED: 2003, SOURCE: Informatica (Slovenia), VOLUME: 27, ISSUE: 3, PAGES: 313-323
AUTHORS: Cardoso, E; Galhardas, H ; Silva, R; Trigueiros, MJ;
PUBLISHED: 2003, SOURCE: Informatica (Slovenia), VOLUME: 27, ISSUE: 3, PAGES: 313-323
INDEXED IN: Scopus DBLP
Scopus DBLP5930
TITLE: A FPL bioinspired visual encoding system to stimulate cortical neurons in real-time
AUTHORS: Sousa, L ; Tomas, P ; Pelayo, F; Martinez, A; Morillas, CA; Romero, S;
PUBLISHED: 2003, SOURCE: 13th International Conference on Field-Programmable Logic and Applications (FPL 2003) in FIELD-PROGRAMMABLE LOGIC AND APPLICATIONS, PROCEEDINGS, VOLUME: 2778, PAGES: 691-700
AUTHORS: Sousa, L ; Tomas, P ; Pelayo, F; Martinez, A; Morillas, CA; Romero, S;
PUBLISHED: 2003, SOURCE: 13th International Conference on Field-Programmable Logic and Applications (FPL 2003) in FIELD-PROGRAMMABLE LOGIC AND APPLICATIONS, PROCEEDINGS, VOLUME: 2778, PAGES: 691-700
5931
TITLE: A genetic algorithm for multicast mapping in publish-subscribe systems
AUTHORS: Guimaraes, M; Rodrigues, L ;
PUBLISHED: 2003, SOURCE: 2nd IEEE International Symposium on Network Computing and Applications in SECOND IEEE INTERNATIONAL SYMPOSIUM ON NETWORK COMPUTING AND APPLICATIONS, PROCEEDINGS, PAGES: 67-74
AUTHORS: Guimaraes, M; Rodrigues, L ;
PUBLISHED: 2003, SOURCE: 2nd IEEE International Symposium on Network Computing and Applications in SECOND IEEE INTERNATIONAL SYMPOSIUM ON NETWORK COMPUTING AND APPLICATIONS, PROCEEDINGS, PAGES: 67-74
5932
TITLE: A low-power CMOS folding and interpolation A/D converter with error correction
AUTHORS: Silva, RT; Fernandes, JR ;
PUBLISHED: 2003, SOURCE: IEEE International Symposium on Circuits and Systems in PROCEEDINGS OF THE 2003 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS, VOL I: ANALOG CIRCUITS AND SIGNAL PROCESSING, VOLUME: 1, PAGES: 949-952
AUTHORS: Silva, RT; Fernandes, JR ;
PUBLISHED: 2003, SOURCE: IEEE International Symposium on Circuits and Systems in PROCEEDINGS OF THE 2003 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS, VOL I: ANALOG CIRCUITS AND SIGNAL PROCESSING, VOLUME: 1, PAGES: 949-952
INDEXED IN: Scopus 
WOS
Scopus WOS5933
TITLE: A methodology to create ontology-based information retrieval systems Full Text
AUTHORS: Saias, J ; Quaresma, P ;
PUBLISHED: 2003, SOURCE: 11th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, VOLUME: 2902, PAGES: 424-434
AUTHORS: Saias, J ; Quaresma, P ;
PUBLISHED: 2003, SOURCE: 11th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, VOLUME: 2902, PAGES: 424-434
INDEXED IN: Scopus WOS DBLP
Scopus WOS DBLP5934
TITLE: A natural language interface for information retrieval on semantic web documents Full Text
AUTHORS: Quaresma, P ; Rodrigues, IP ;
PUBLISHED: 2003, SOURCE: 1st International Atlantic Web Intelligence Conference (AWIC 2003) in ADVANCES IN WEB INTELLIGENCE, VOLUME: 2663, PAGES: 142-154
AUTHORS: Quaresma, P ; Rodrigues, IP ;
PUBLISHED: 2003, SOURCE: 1st International Atlantic Web Intelligence Conference (AWIC 2003) in ADVANCES IN WEB INTELLIGENCE, VOLUME: 2663, PAGES: 142-154
5935
TITLE: A network distribution power system fault location based on neural Eigenvalue algorithm
AUTHORS: Sousa Martins, L; Martins, JF; Alegria, CM; Fernao Pires, V ;
PUBLISHED: 2003, SOURCE: 2003 IEEE Bologna PowerTech Conference in 2003 IEEE Bologna PowerTech - Conference Proceedings, VOLUME: 2, PAGES: 452-457
AUTHORS: Sousa Martins, L; Martins, JF; Alegria, CM; Fernao Pires, V ;
PUBLISHED: 2003, SOURCE: 2003 IEEE Bologna PowerTech Conference in 2003 IEEE Bologna PowerTech - Conference Proceedings, VOLUME: 2, PAGES: 452-457
INDEXED IN: Scopus 
CrossRef
Scopus CrossRef5936
TITLE: A preliminary approach to the multilabel classification problem of Portuguese juridical documents
AUTHORS: Goncalves, T ; Quaresma, P ;
PUBLISHED: 2003, SOURCE: 11th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, VOLUME: 2902, PAGES: 435-444
AUTHORS: Goncalves, T ; Quaresma, P ;
PUBLISHED: 2003, SOURCE: 11th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, VOLUME: 2902, PAGES: 435-444
INDEXED IN: Scopus WOS
Scopus WOS5937
TITLE: A Preliminary Approach to the Multilabel Classification Problem of Portuguese Juridical Documents
AUTHORS: Teresa Gonçalves; Paulo Quaresma ;
PUBLISHED: 2003, SOURCE: Progress in Artificial Intelligence, 11th Protuguese Conference on Artificial Intelligence, EPIA 2003, Beja, Portugal, December 4-7, 2003, Proceedings, VOLUME: 2902, PAGES: 435-444
AUTHORS: Teresa Gonçalves; Paulo Quaresma ;
PUBLISHED: 2003, SOURCE: Progress in Artificial Intelligence, 11th Protuguese Conference on Artificial Intelligence, EPIA 2003, Beja, Portugal, December 4-7, 2003, Proceedings, VOLUME: 2902, PAGES: 435-444
INDEXED IN: DBLP
DBLP5938
TITLE: A quadrature relaxation oscillator-mixer in CMOS
AUTHORS: Oliveira, LB ; Fernandes, JR ; Kouwenhoven, MHL; van den Bos, C; Verhoeven, CJM;
PUBLISHED: 2003, SOURCE: IEEE International Symposium on Circuits and Systems in PROCEEDINGS OF THE 2003 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS, VOL I: ANALOG CIRCUITS AND SIGNAL PROCESSING, VOLUME: 1, PAGES: 689-692
AUTHORS: Oliveira, LB ; Fernandes, JR ; Kouwenhoven, MHL; van den Bos, C; Verhoeven, CJM;
PUBLISHED: 2003, SOURCE: IEEE International Symposium on Circuits and Systems in PROCEEDINGS OF THE 2003 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS, VOL I: ANALOG CIRCUITS AND SIGNAL PROCESSING, VOLUME: 1, PAGES: 689-692
INDEXED IN: Scopus WOS
Scopus WOS5939
TITLE: A scheduling algorithm for QoS support in IEEE802.11E networks Full Text
AUTHORS: Grilo, A ; Macedo, M; Nunes, M ;
PUBLISHED: 2003, SOURCE: IEEE WIRELESS COMMUNICATIONS, VOLUME: 10, ISSUE: 3, PAGES: 36-43
AUTHORS: Grilo, A ; Macedo, M; Nunes, M ;
PUBLISHED: 2003, SOURCE: IEEE WIRELESS COMMUNICATIONS, VOLUME: 10, ISSUE: 3, PAGES: 36-43
5940
TITLE: A tail-sharing WFST composition algorithm for large vocabulary speech recognition
AUTHORS: Caseiro, D; Trancoso, I ;
PUBLISHED: 2003, SOURCE: IEEE International Conference on Acoustics, Speech, and Signal Processing in 2003 IEEE INTERNATIONAL CONFERENCE ON ACOUSTICS, SPEECH, AND SIGNAL PROCESSING, VOL I, PROCEEDINGS: SPEECH PROCESSING I, VOLUME: 1, PAGES: 356-359
AUTHORS: Caseiro, D; Trancoso, I ;
PUBLISHED: 2003, SOURCE: IEEE International Conference on Acoustics, Speech, and Signal Processing in 2003 IEEE INTERNATIONAL CONFERENCE ON ACOUSTICS, SPEECH, AND SIGNAL PROCESSING, VOL I, PROCEEDINGS: SPEECH PROCESSING I, VOLUME: 1, PAGES: 356-359
INDEXED IN: Scopus WOS
Scopus WOS