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: 6818
112 Team MembersFilters -> Year: 2024
6541
TITLE: Prime implicant computation using satisfiability algorithms
AUTHORS: Manquinho, VM ; Flores, PF ; Silva, JPM ; Oliveira, AL ;
PUBLISHED: 1997, SOURCE: 9th IEEE International Conference on Tools with Artificial Intelligence in NINTH IEEE INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE, PROCEEDINGS, PAGES: 232-239
AUTHORS: Manquinho, VM ; Flores, PF ; Silva, JPM ; Oliveira, AL ;
PUBLISHED: 1997, SOURCE: 9th IEEE International Conference on Tools with Artificial Intelligence in NINTH IEEE INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE, PROCEEDINGS, PAGES: 232-239
6542
TITLE: PSPCLink: A Cooperation Between General Symbolic and Poisson Series Processors
AUTHORS: Alberto Abad ; Juan Félix San Juan;
PUBLISHED: 1997, SOURCE: J. Symb. Comput., VOLUME: 24, ISSUE: 1, PAGES: 113-122
AUTHORS: Alberto Abad ; Juan Félix San Juan;
PUBLISHED: 1997, SOURCE: J. Symb. Comput., VOLUME: 24, ISSUE: 1, PAGES: 113-122
INDEXED IN: 
DBLP
DBLP6543
TITLE: Question/Answer Dialogues for Interfacing a Database with Supreme Court Decisions (Abstract) Full Text
AUTHORS: José Gabriel Lopes; Paulo Quaresma ; Irene Pimenta Rodrigues ;
PUBLISHED: 1997, SOURCE: Proceedings of the 1997 6th International Conference on Artificial Intelligence and Law in ICAIL, PAGES: 255
AUTHORS: José Gabriel Lopes; Paulo Quaresma ; Irene Pimenta Rodrigues ;
PUBLISHED: 1997, SOURCE: Proceedings of the 1997 6th International Conference on Artificial Intelligence and Law in ICAIL, PAGES: 255
6544
TITLE: Realistic fault extraction for high-quality design and test of VLSI systems
AUTHORS: Goncalves, FM ; Teixeira, IC ; Teixeira, JP ;
PUBLISHED: 1997, SOURCE: 1997 IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems in 1997 IEEE INTERNATIONAL SYMPOSIUM ON DEFECT AND FAULT TOLERANCE IN VLSI SYSTEMS, PROCEEDINGS, PAGES: 29-37
AUTHORS: Goncalves, FM ; Teixeira, IC ; Teixeira, JP ;
PUBLISHED: 1997, SOURCE: 1997 IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems in 1997 IEEE INTERNATIONAL SYMPOSIUM ON DEFECT AND FAULT TOLERANCE IN VLSI SYSTEMS, PROCEEDINGS, PAGES: 29-37
6545
TITLE: Robust search algorithms for test pattern generation Full Text
AUTHORS: Silva, JPM ; Sakallah, KA;
PUBLISHED: 1997, SOURCE: 27th Annual International Symposium on Fault-Tolerant Computing (FTCS-27) in TWENTY-SEVENTH ANNUAL INTERNATIONAL SYMPOSIUM ON FAULT-TOLERANT COMPUTING, DIGEST OF PAPERS, PAGES: 152-161
AUTHORS: Silva, JPM ; Sakallah, KA;
PUBLISHED: 1997, SOURCE: 27th Annual International Symposium on Fault-Tolerant Computing (FTCS-27) in TWENTY-SEVENTH ANNUAL INTERNATIONAL SYMPOSIUM ON FAULT-TOLERANT COMPUTING, DIGEST OF PAPERS, PAGES: 152-161
INDEXED IN: 
WOS DBLP
WOS DBLP6546
TITLE: Sliding mode control of voltage sourced boost-type reversible rectifiers
AUTHORS: Silva, JF ;
PUBLISHED: 1997, SOURCE: IEEE International Symposium on Industrial Electronics in ISIE '97 - PROCEEDINGS OF THE IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS, VOLS 1-3, VOLUME: 2, PAGES: 329-334
AUTHORS: Silva, JF ;
PUBLISHED: 1997, SOURCE: IEEE International Symposium on Industrial Electronics in ISIE '97 - PROCEEDINGS OF THE IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS, VOLS 1-3, VOLUME: 2, PAGES: 329-334
INDEXED IN: 
Scopus WOS
Scopus WOS6547
TITLE: Switching activity estimation using limited depth reconvergent path analysis
AUTHORS: Costa, JC; Monteiro, JC ; Devadas, S;
PUBLISHED: 1997, SOURCE: 1997 International Symposium on Low Power Electronics and Design in 1997 INTERNATIONAL SYMPOSIUM ON LOW POWER ELECTRONICS AND DESIGN, PROCEEDINGS, PAGES: 184-189
AUTHORS: Costa, JC; Monteiro, JC ; Devadas, S;
PUBLISHED: 1997, SOURCE: 1997 International Symposium on Low Power Electronics and Design in 1997 INTERNATIONAL SYMPOSIUM ON LOW POWER ELECTRONICS AND DESIGN, PROCEEDINGS, PAGES: 184-189
INDEXED IN: Scopus WOS
Scopus WOS6548
TITLE: Variable block sized motion segmentation for video coding
AUTHORS: Silveira, M ; Piedade, M ;
PUBLISHED: 1997, SOURCE: 1997 IEEE International Symposium on Circuits and Systems (ISCAS 97) - Circuits and Systems in the Information Age in ISCAS '97 - PROCEEDINGS OF 1997 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS, VOLS I - IV: CIRCUITS AND SYSTEMS IN THE INFORMATION AGE, VOLUME: 2, PAGES: 1293-1296
AUTHORS: Silveira, M ; Piedade, M ;
PUBLISHED: 1997, SOURCE: 1997 IEEE International Symposium on Circuits and Systems (ISCAS 97) - Circuits and Systems in the Information Age in ISCAS '97 - PROCEEDINGS OF 1997 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS, VOLS I - IV: CIRCUITS AND SYSTEMS IN THE INFORMATION AGE, VOLUME: 2, PAGES: 1293-1296
INDEXED IN: Scopus WOS
Scopus WOS6549
TITLE: Voltage control of twelve pulse rectifiers fitted with double LC filters
AUTHORS: Pinto, SF ; Silva, JF ;
PUBLISHED: 1997, SOURCE: IEEE International Symposium on Industrial Electronics in ISIE '97 - PROCEEDINGS OF THE IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS, VOLS 1-3, VOLUME: 2, PAGES: 323-328
AUTHORS: Pinto, SF ; Silva, JF ;
PUBLISHED: 1997, SOURCE: IEEE International Symposium on Industrial Electronics in ISIE '97 - PROCEEDINGS OF THE IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS, VOLS 1-3, VOLUME: 2, PAGES: 323-328
6550
TITLE: A coordinate-transformed Arnoldi algorithm for generating guaranteed stable reduced-order models of RLC circuits Full Text
AUTHORS: Silveira, L. Miguel ; Kamon, M; Elfadel, I; White, J;
PUBLISHED: 1996, SOURCE: 1996 IEEE/ACM International Conference on Computer-Aided Design in 1996 IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN - DIGEST OF TECHNICAL PAPERS, PAGES: 288-294
AUTHORS: Silveira, L. Miguel ; Kamon, M; Elfadel, I; White, J;
PUBLISHED: 1996, SOURCE: 1996 IEEE/ACM International Conference on Computer-Aided Design in 1996 IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN - DIGEST OF TECHNICAL PAPERS, PAGES: 288-294
INDEXED IN: Scopus WOS
Scopus WOS6551
TITLE: A new configuration of low cost rotative diesel UPS system
AUTHORS: Anunciada, V; Santana, J ;
PUBLISHED: 1996, SOURCE: 18th Telecommunications Energy Conference (INTELEC 96) in INTELEC - EIGHTEENTH INTERNATIONAL TELECOMMUNICATIONS ENERGY CONFERENCE, PAGES: 420-427
AUTHORS: Anunciada, V; Santana, J ;
PUBLISHED: 1996, SOURCE: 18th Telecommunications Energy Conference (INTELEC 96) in INTELEC - EIGHTEENTH INTERNATIONAL TELECOMMUNICATIONS ENERGY CONFERENCE, PAGES: 420-427
INDEXED IN: Scopus WOS
Scopus WOS6552
TITLE: A transparent light-weight group service Full Text
AUTHORS: Rodrigues, L ; Guo, K; Sargento, A; vanRenesse, R; Glade, B; Verissimo, P ; Birman, K;
PUBLISHED: 1996, SOURCE: 15th Symposium on Reliable Distributed Systems (SRDS-15) in 15TH SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS, PROCEEDINGS, PAGES: 130-139
AUTHORS: Rodrigues, L ; Guo, K; Sargento, A; vanRenesse, R; Glade, B; Verissimo, P ; Birman, K;
PUBLISHED: 1996, SOURCE: 15th Symposium on Reliable Distributed Systems (SRDS-15) in 15TH SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS, PROCEEDINGS, PAGES: 130-139
INDEXED IN: Scopus WOS DBLP
Scopus WOS DBLP6553
TITLE: A wind park reduced-order model using singular perturbations theory
AUTHORS: Castro, RMG ; deJesus, JMF;
PUBLISHED: 1996, SOURCE: 1996 IEEE / PES Winter Meeting in IEEE TRANSACTIONS ON ENERGY CONVERSION, VOLUME: 11, ISSUE: 4, PAGES: 735-741
AUTHORS: Castro, RMG ; deJesus, JMF;
PUBLISHED: 1996, SOURCE: 1996 IEEE / PES Winter Meeting in IEEE TRANSACTIONS ON ENERGY CONVERSION, VOLUME: 11, ISSUE: 4, PAGES: 735-741
6554
TITLE: Accent identification
AUTHORS: Teixeira, C; Trancoso, I ; Serralheiro, A ;
PUBLISHED: 1996, SOURCE: 4th International Congress on Spoken Language Processing in ICSLP 96 - FOURTH INTERNATIONAL CONFERENCE ON SPOKEN LANGUAGE PROCESSING, PROCEEDINGS, VOLS 1-4, VOLUME: 3, PAGES: 1784-1787
AUTHORS: Teixeira, C; Trancoso, I ; Serralheiro, A ;
PUBLISHED: 1996, SOURCE: 4th International Congress on Spoken Language Processing in ICSLP 96 - FOURTH INTERNATIONAL CONFERENCE ON SPOKEN LANGUAGE PROCESSING, PROCEEDINGS, VOLS 1-4, VOLUME: 3, PAGES: 1784-1787
INDEXED IN: Scopus WOS
Scopus WOS6555
TITLE: Accurate modelling of rod driven tower footing
AUTHORS: Almeida, ME ; deBarros, MTC;
PUBLISHED: 1996, SOURCE: IEEE TRANSACTIONS ON POWER DELIVERY, VOLUME: 11, ISSUE: 3, PAGES: 1606-1609
AUTHORS: Almeida, ME ; deBarros, MTC;
PUBLISHED: 1996, SOURCE: IEEE TRANSACTIONS ON POWER DELIVERY, VOLUME: 11, ISSUE: 3, PAGES: 1606-1609
6556
TITLE: An incremental speaker-adaptation technique for hybrid HMM-MLP recognizer
AUTHORS: Neto, JP ; Martins, C; Almeida, LB ;
PUBLISHED: 1996, SOURCE: 4th International Congress on Spoken Language Processing in ICSLP 96 - FOURTH INTERNATIONAL CONFERENCE ON SPOKEN LANGUAGE PROCESSING, PROCEEDINGS, VOLS 1-4, VOLUME: 3, PAGES: 1293-1296
AUTHORS: Neto, JP ; Martins, C; Almeida, LB ;
PUBLISHED: 1996, SOURCE: 4th International Congress on Spoken Language Processing in ICSLP 96 - FOURTH INTERNATIONAL CONFERENCE ON SPOKEN LANGUAGE PROCESSING, PROCEEDINGS, VOLS 1-4, VOLUME: 3, PAGES: 1293-1296
INDEXED IN: Scopus WOS
Scopus WOS6557
TITLE: Application of speaker modification techniques to phonetic vocoding
AUTHORS: Ribeiro, CM; Trancosa, IM ;
PUBLISHED: 1996, SOURCE: 4th International Congress on Spoken Language Processing in ICSLP 96 - FOURTH INTERNATIONAL CONFERENCE ON SPOKEN LANGUAGE PROCESSING, PROCEEDINGS, VOLS 1-4, VOLUME: 1, PAGES: 306-309
AUTHORS: Ribeiro, CM; Trancosa, IM ;
PUBLISHED: 1996, SOURCE: 4th International Congress on Spoken Language Processing in ICSLP 96 - FOURTH INTERNATIONAL CONFERENCE ON SPOKEN LANGUAGE PROCESSING, PROCEEDINGS, VOLS 1-4, VOLUME: 1, PAGES: 306-309
INDEXED IN: Scopus WOS
Scopus WOS6558
TITLE: Chapter 15 Feedback in computer supported cooperation systems: User interface design for a talk-like tool
AUTHORS: Penz, F; Antunes, P; Fonseca, M ;
PUBLISHED: 1996, SOURCE: Human Factors in Information Technology, VOLUME: 12, ISSUE: C, PAGES: 241-257
AUTHORS: Penz, F; Antunes, P; Fonseca, M ;
PUBLISHED: 1996, SOURCE: Human Factors in Information Technology, VOLUME: 12, ISSUE: C, PAGES: 241-257
INDEXED IN: Scopus 
CrossRef
Scopus CrossRef6559
TITLE: Computation of electromagnetic transients on nonuniform transmission lines
AUTHORS: deBarros, MTC; Almeida, ME ;
PUBLISHED: 1996, SOURCE: 1995 IEEE/PES Summer Meeting in IEEE TRANSACTIONS ON POWER DELIVERY, VOLUME: 11, ISSUE: 2, PAGES: 1082-1091
AUTHORS: deBarros, MTC; Almeida, ME ;
PUBLISHED: 1996, SOURCE: 1995 IEEE/PES Summer Meeting in IEEE TRANSACTIONS ON POWER DELIVERY, VOLUME: 11, ISSUE: 2, PAGES: 1082-1091
INDEXED IN: Scopus WOS
Scopus WOS6560
TITLE: Conflict analysis in search algorithms for satisfiability
AUTHORS: Silva, JPM ; Sakallah, KA;
PUBLISHED: 1996, SOURCE: 8th IEEE International Conference on Tools with Artificial Intelligence (TAI 96) in EIGHTH IEEE INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE, PROCEEDINGS, PAGES: 467-469
AUTHORS: Silva, JPM ; Sakallah, KA;
PUBLISHED: 1996, SOURCE: 8th IEEE International Conference on Tools with Artificial Intelligence (TAI 96) in EIGHTH IEEE INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE, PROCEEDINGS, PAGES: 467-469
INDEXED IN: Scopus WOS DBLP
Scopus WOS DBLP