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: 6820
112 Team MembersFilters -> Year: 2024
6561
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 WOS6562
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 DBLP6563
TITLE: Control of a slip power recovery system with a DC voltage intermediate circuit Full Text
AUTHORS: Marques, GD ; Verdelho, P;
PUBLISHED: 1996, SOURCE: 27th Annual IEEE Power Electronics Specialists Conference (PESC 96) in PESC 96 RECORD - 27TH ANNUAL IEEE POWER ELECTRONICS SPECIALISTS CONFERENCE, VOLS I AND II, VOLUME: 2, PAGES: 1787-1792
AUTHORS: Marques, GD ; Verdelho, P;
PUBLISHED: 1996, SOURCE: 27th Annual IEEE Power Electronics Specialists Conference (PESC 96) in PESC 96 RECORD - 27TH ANNUAL IEEE POWER ELECTRONICS SPECIALISTS CONFERENCE, VOLS I AND II, VOLUME: 2, PAGES: 1787-1792
6564
TITLE: DC voltage regulator stability of PWM voltage rectifiers
AUTHORS: Verdelho, P; Marques, GD ;
PUBLISHED: 1996, SOURCE: IEEE International Symposium on Industrial Electronics (ISIE 96) in ISIE'96 - PROCEEDINGS OF THE IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS, VOLS 1 AND 2, VOLUME: 2, PAGES: 796-801
AUTHORS: Verdelho, P; Marques, GD ;
PUBLISHED: 1996, SOURCE: IEEE International Symposium on Industrial Electronics (ISIE 96) in ISIE'96 - PROCEEDINGS OF THE IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS, VOLS 1 AND 2, VOLUME: 2, PAGES: 796-801
INDEXED IN: Scopus WOS
Scopus WOS6565
TITLE: Defect level evaluation in an IC design environment Full Text
AUTHORS: deSousa, JT; Goncalves, FM ; Teixeira, JP; Marzocca, C; Corsi, F; Williams, TW;
PUBLISHED: 1996, SOURCE: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, VOLUME: 15, ISSUE: 10, PAGES: 1286-1293
AUTHORS: deSousa, JT; Goncalves, FM ; Teixeira, JP; Marzocca, C; Corsi, F; Williams, TW;
PUBLISHED: 1996, SOURCE: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, VOLUME: 15, ISSUE: 10, PAGES: 1286-1293
INDEXED IN: Scopus WOS
Scopus WOS6566
TITLE: Defect-oriented IC test and diagnosis using VHDL fault simulation Full Text
AUTHORS: Celeiro, F; Dias, L; Ferreira, J; Santos, MB; Teixeira, JP ;
PUBLISHED: 1996, SOURCE: 1996 International Test Conference (ITC 1996) - Test and Design Validity in INTERNATIONAL TEST CONFERENCE 1996, PROCEEDINGS, PAGES: 620-628
AUTHORS: Celeiro, F; Dias, L; Ferreira, J; Santos, MB; Teixeira, JP ;
PUBLISHED: 1996, SOURCE: 1996 International Test Conference (ITC 1996) - Test and Design Validity in INTERNATIONAL TEST CONFERENCE 1996, PROCEEDINGS, PAGES: 620-628
INDEXED IN: Scopus WOS
Scopus WOS6567
TITLE: Designing Distributed Databases from an Organisational Perspective
AUTHORS: António Rito Silva; Helena Galhardas ; Paulo Sousa; Jorge G. Silva; Pedro Sousa;
PUBLISHED: 1996, SOURCE: Proceedings of the Fourth European Conference on Information Systems, ECIS 1996, Lisbon, Portugal, 1996, PAGES: 57-74
AUTHORS: António Rito Silva; Helena Galhardas ; Paulo Sousa; Jorge G. Silva; Pedro Sousa;
PUBLISHED: 1996, SOURCE: Proceedings of the Fourth European Conference on Information Systems, ECIS 1996, Lisbon, Portugal, 1996, PAGES: 57-74
INDEXED IN: DBLP
DBLP6568
TITLE: Distribution network expansion planning under uncertainty: A hedging algorithm in an evolutionary approach
AUTHORS: Carvalho, PMS ; Ferreira, LAFM ; Lobo, FG ; Barruncho, LMF;
PUBLISHED: 1996, SOURCE: 20th International Conference on Power Industry Computer Applications (PICA 97) in PROCEEDINGS OF THE 20TH INTERNATIONAL CONFERENCE ON POWER INDUSTRY COMPUTER APPLICATIONS, PAGES: 10-15
AUTHORS: Carvalho, PMS ; Ferreira, LAFM ; Lobo, FG ; Barruncho, LMF;
PUBLISHED: 1996, SOURCE: 20th International Conference on Power Industry Computer Applications (PICA 97) in PROCEEDINGS OF THE 20TH INTERNATIONAL CONFERENCE ON POWER INDUSTRY COMPUTER APPLICATIONS, PAGES: 10-15
INDEXED IN: Scopus WOS
Scopus WOS6569
TITLE: Efficient Communication in a Design Environment Full Text
AUTHORS: Idalina Videira; Paulo Veríssimo ; Helena Sarmento ;
PUBLISHED: 1996, SOURCE: DAC, PAGES: 169-174
AUTHORS: Idalina Videira; Paulo Veríssimo ; Helena Sarmento ;
PUBLISHED: 1996, SOURCE: DAC, PAGES: 169-174
INDEXED IN: DBLP 
CrossRef
DBLP CrossRef6570
TITLE: Efficient communication in a design environment Full Text
AUTHORS: Videira, I; Verissimo, P ; Sarmento, H ;
PUBLISHED: 1996, SOURCE: 33rd Design Automation Conference in 33RD DESIGN AUTOMATION CONFERENCE, PROCEEDINGS 1996, PAGES: 169-174
AUTHORS: Videira, I; Verissimo, P ; Sarmento, H ;
PUBLISHED: 1996, SOURCE: 33rd Design Automation Conference in 33RD DESIGN AUTOMATION CONFERENCE, PROCEEDINGS 1996, PAGES: 169-174
6571
TITLE: Efficient reduced-order modeling of frequency-dependent coupling inductances associated with 3-D interconnect structures
AUTHORS: Silveira, L. Miguel ; Kamon, M; White, J;
PUBLISHED: 1996, SOURCE: IEEE TRANSACTIONS ON COMPONENTS PACKAGING AND MANUFACTURING TECHNOLOGY PART B-ADVANCED PACKAGING, VOLUME: 19, ISSUE: 2, PAGES: 283-288
AUTHORS: Silveira, L. Miguel ; Kamon, M; White, J;
PUBLISHED: 1996, SOURCE: IEEE TRANSACTIONS ON COMPONENTS PACKAGING AND MANUFACTURING TECHNOLOGY PART B-ADVANCED PACKAGING, VOLUME: 19, ISSUE: 2, PAGES: 283-288
6572
TITLE: GRASP - A new search algorithm for satisfiability Full Text
AUTHORS: Silva, JPM ; Sakallah, KA;
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: 220-227
AUTHORS: Silva, JPM ; Sakallah, KA;
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: 220-227
INDEXED IN: Scopus WOS DBLP
Scopus WOS DBLP6573
TITLE: HW/SW specification using OOM techniques Full Text
AUTHORS: Calha, M; Teixeira, JP ; Teixeira, IC ;
PUBLISHED: 1996, SOURCE: 7th IEEE International Workshop on Rapid System Prototyping - Shortening the Path from Specification to Prototype in SEVENTH IEEE INTERNATIONAL WORKSHOP ON RAPID SYSTEM PROTOTYPING, PROCEEDINGS: SHORTENING THE PATH FROM SPECIFICATION TO PROTOTYPE, PAGES: 96-101
AUTHORS: Calha, M; Teixeira, JP ; Teixeira, IC ;
PUBLISHED: 1996, SOURCE: 7th IEEE International Workshop on Rapid System Prototyping - Shortening the Path from Specification to Prototype in SEVENTH IEEE INTERNATIONAL WORKSHOP ON RAPID SYSTEM PROTOTYPING, PROCEEDINGS: SHORTENING THE PATH FROM SPECIFICATION TO PROTOTYPE, PAGES: 96-101
6574
TITLE: Induction generator excited by current source inverter used as a DC power supply - Modelling and behaviour
AUTHORS: Margato, E ; Santana, J ;
PUBLISHED: 1996, SOURCE: IEEE International Symposium on Industrial Electronics (ISIE 96) in ISIE'96 - PROCEEDINGS OF THE IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS, VOLS 1 AND 2, VOLUME: 2, PAGES: 814-819
AUTHORS: Margato, E ; Santana, J ;
PUBLISHED: 1996, SOURCE: IEEE International Symposium on Industrial Electronics (ISIE 96) in ISIE'96 - PROCEEDINGS OF THE IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS, VOLS 1 AND 2, VOLUME: 2, PAGES: 814-819
INDEXED IN: Scopus WOS
Scopus WOS6575
TITLE: Integrated approach for circuit and fault extraction of VLSI circuits
AUTHORS: Goncalves, FM ; Teixeira, IC ; Teixeira, JP ;
PUBLISHED: 1996, SOURCE: 1996 IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems in 1996 IEEE INTERNATIONAL SYMPOSIUM ON DEFECT AND FAULT TOLERANCE IN VLSI SYSTEMS, PROCEEDINGS, PAGES: 96-104
AUTHORS: Goncalves, FM ; Teixeira, IC ; Teixeira, JP ;
PUBLISHED: 1996, SOURCE: 1996 IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems in 1996 IEEE INTERNATIONAL SYMPOSIUM ON DEFECT AND FAULT TOLERANCE IN VLSI SYSTEMS, PROCEEDINGS, PAGES: 96-104
INDEXED IN: Scopus WOS
Scopus WOS6576
TITLE: Larchant: Persistence by Reachability in Distributed Shared Memory Through Garbage Collection
AUTHORS: Paulo Ferreira ; Marc Shapiro;
PUBLISHED: 1996, SOURCE: Proceedings of the 1996 16th International Conference on Distributed Computing Systems in Proceedings of the 16th International Conference on Distributed Computing Systems, Hong Kong, May 27-30, 1996, PAGES: 394-401
AUTHORS: Paulo Ferreira ; Marc Shapiro;
PUBLISHED: 1996, SOURCE: Proceedings of the 1996 16th International Conference on Distributed Computing Systems in Proceedings of the 16th International Conference on Distributed Computing Systems, Hong Kong, May 27-30, 1996, PAGES: 394-401
6577
TITLE: Limits of Exact Algorithms For Inference of Minimum Size Finite State Machines
AUTHORS: Arlindo L Oliveira ; Stephen Edwards;
PUBLISHED: 1996, SOURCE: Algorithmic Learning Theory, 7th International Workshop, ALT '96, Sydney, Australia, October 23-25, 1996, Proceedings, VOLUME: 1160, PAGES: 59-66
AUTHORS: Arlindo L Oliveira ; Stephen Edwards;
PUBLISHED: 1996, SOURCE: Algorithmic Learning Theory, 7th International Workshop, ALT '96, Sydney, Australia, October 23-25, 1996, Proceedings, VOLUME: 1160, PAGES: 59-66
6578
TITLE: NMOS current-balanced logic
AUTHORS: Albuquerque, E; Fernandes, J ; Silva, M;
PUBLISHED: 1996, SOURCE: ELECTRONICS LETTERS, VOLUME: 32, ISSUE: 11, PAGES: 997-998
AUTHORS: Albuquerque, E; Fernandes, J ; Silva, M;
PUBLISHED: 1996, SOURCE: ELECTRONICS LETTERS, VOLUME: 32, ISSUE: 11, PAGES: 997-998
6579
TITLE: Object orientation applied in intelligent systems
AUTHORS: Paraiso, EC; Silveira, L. Miguel ; Ramos, MP; Kaestner, CAA;
PUBLISHED: 1996, SOURCE: 3rd World Congress on Expert Systems on Critical Technology in CRITICAL TECHNOLOGY: PROCEEDINGS OF THE THIRD WORLD CONGRESS ON EXPERT SYSTEMS, VOLS I AND II, PAGES: 561-568
AUTHORS: Paraiso, EC; Silveira, L. Miguel ; Ramos, MP; Kaestner, CAA;
PUBLISHED: 1996, SOURCE: 3rd World Congress on Expert Systems on Critical Technology in CRITICAL TECHNOLOGY: PROCEEDINGS OF THE THIRD WORLD CONGRESS ON EXPERT SYSTEMS, VOLS I AND II, PAGES: 561-568
INDEXED IN: WOS
WOS6580
TITLE: Organizational management system in an heterogeneous environment - A WWW case study
AUTHORS: Silva, A; Borbinha, J ; Delgado, J;
PUBLISHED: 1996, SOURCE: International Workshop on Hypermedia Design (IWHD 95) in HYPERMEDIA DESIGN, PAGES: 196-198
AUTHORS: Silva, A; Borbinha, J ; Delgado, J;
PUBLISHED: 1996, SOURCE: International Workshop on Hypermedia Design (IWHD 95) in HYPERMEDIA DESIGN, PAGES: 196-198
INDEXED IN: WOS
WOS