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
6381
TITLE: Combinational equivalence checking using satisfiability and recursive learning
AUTHORS: Marques Silva, J ; Glass, T;
PUBLISHED: 1999, SOURCE: Design, Automation and Test in Europe Conference and Exhibition in DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION 1999, PROCEEDINGS, PAGES: 145-149
AUTHORS: Marques Silva, J ; Glass, T;
PUBLISHED: 1999, SOURCE: Design, Automation and Test in Europe Conference and Exhibition in DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION 1999, PROCEEDINGS, PAGES: 145-149
6382
TITLE: Constant-frequency sliding-mode and PI linear controllers for power rectifiers: A comparison Full Text
AUTHORS: Pinto, SF ; Silva, JFA ;
PUBLISHED: 1999, SOURCE: IEEE TRANSACTIONS ON INDUSTRIAL ELECTRONICS, VOLUME: 46, ISSUE: 1, PAGES: 39-51
AUTHORS: Pinto, SF ; Silva, JFA ;
PUBLISHED: 1999, SOURCE: IEEE TRANSACTIONS ON INDUSTRIAL ELECTRONICS, VOLUME: 46, ISSUE: 1, PAGES: 39-51
6383
TITLE: Current-balanced logic for mixed-signal IC's
AUTHORS: Albuquerque, EFM; Silva, MM ;
PUBLISHED: 1999, SOURCE: 1999 IEEE International Symposium on Circuits and Systems (ISCAS 99) in ISCAS '99: PROCEEDINGS OF THE 1999 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS, VOL 1: VLSI, PAGES: 274-277
AUTHORS: Albuquerque, EFM; Silva, MM ;
PUBLISHED: 1999, SOURCE: 1999 IEEE International Symposium on Circuits and Systems (ISCAS 99) in ISCAS '99: PROCEEDINGS OF THE 1999 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS, VOL 1: VLSI, PAGES: 274-277
INDEXED IN: 
WOS
WOS6384
TITLE: Defect-oriented sampling of non-equally probable faults in VLSI systems Full Text
AUTHORS: Goncalves, FM ; Teixeira, JP ;
PUBLISHED: 1999, SOURCE: Proceedings of the 1998 16th IEEE VLSI Test Symposium, (VTS 98): Test Innovations for Highly Complex, High Speed, Deep Submicron IC's in JOURNAL OF ELECTRONIC TESTING-THEORY AND APPLICATIONS, VOLUME: 15, ISSUE: 1-2, PAGES: 41-52
AUTHORS: Goncalves, FM ; Teixeira, JP ;
PUBLISHED: 1999, SOURCE: Proceedings of the 1998 16th IEEE VLSI Test Symposium, (VTS 98): Test Innovations for Highly Complex, High Speed, Deep Submicron IC's in JOURNAL OF ELECTRONIC TESTING-THEORY AND APPLICATIONS, VOLUME: 15, ISSUE: 1-2, PAGES: 41-52
6385
TITLE: Defect-Oriented Verilog fault simulation of SoC macros using a stratified fault sampling technique Full Text
AUTHORS: Santos, MB ; Goncalves, FM ; Teixeira, IC ; Teixeira, JP ;
PUBLISHED: 1999, SOURCE: 17th IEEE Very Large Scale Intergration Test Symposium in 17TH IEEE VLSI TEST SYMPOSIUM, PROCEEDINGS, PAGES: 326-332
AUTHORS: Santos, MB ; Goncalves, FM ; Teixeira, IC ; Teixeira, JP ;
PUBLISHED: 1999, SOURCE: 17th IEEE Very Large Scale Intergration Test Symposium in 17TH IEEE VLSI TEST SYMPOSIUM, PROCEEDINGS, PAGES: 326-332
INDEXED IN: 
Scopus WOS
Scopus WOS6386
TITLE: Designing information appliances using a resource replication model
AUTHORS: Silva, MJ ; Afonso, AP ;
PUBLISHED: 1999, SOURCE: 1st International Symposium on Handheld and Ubiquitous Computing (HUC 99) in HANDHELD AND UBIQUITOUS COMPUTING, PROCEEDINGS, VOLUME: 1707, PAGES: 150-157
AUTHORS: Silva, MJ ; Afonso, AP ;
PUBLISHED: 1999, SOURCE: 1st International Symposium on Handheld and Ubiquitous Computing (HUC 99) in HANDHELD AND UBIQUITOUS COMPUTING, PROCEEDINGS, VOLUME: 1707, PAGES: 150-157
INDEXED IN: WOS
WOS6387
TITLE: Efficient techniques for accurate extraction and modeling of substrate coupling in mixed-signal IC's
AUTHORS: Costa, JP; Chou, M; Silveira, L. Miguel ;
PUBLISHED: 1999, SOURCE: Design, Automation and Test in Europe Conference and Exhibition in DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION 1999, PROCEEDINGS, PAGES: 396-400
AUTHORS: Costa, JP; Chou, M; Silveira, L. Miguel ;
PUBLISHED: 1999, SOURCE: Design, Automation and Test in Europe Conference and Exhibition in DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION 1999, PROCEEDINGS, PAGES: 396-400
6388
TITLE: Efficient techniques for accurate modeling and simulation of substrate coupling in mixed-signal IC's Full Text
AUTHORS: For, T; Costa, JP; Chou, M; Silveira, L. Miguel ;
PUBLISHED: 1999, SOURCE: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, VOLUME: 18, ISSUE: 5, PAGES: 597-607
AUTHORS: For, T; Costa, JP; Chou, M; Silveira, L. Miguel ;
PUBLISHED: 1999, SOURCE: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, VOLUME: 18, ISSUE: 5, PAGES: 597-607
6389
TITLE: Fast hardware compilation of behaviors into an FPGA-based dynamic reconfigurable computing system
AUTHORS: Joéo M P Cardoso ; Horácio C Neto;
PUBLISHED: 1999, SOURCE: Proceedings - 12th Symposium on Integrated Circuits and Systems Design, SBCCI 1999, PAGES: 150-153
AUTHORS: Joéo M P Cardoso ; Horácio C Neto;
PUBLISHED: 1999, SOURCE: Proceedings - 12th Symposium on Integrated Circuits and Systems Design, SBCCI 1999, PAGES: 150-153
6390
TITLE: Flexible Communication Support for CSCW Applications
AUTHORS: Hugo Miranda; Luís Rodrigues ;
PUBLISHED: 1999, SOURCE: SPIRE/CRIWG, PAGES: 338-342
AUTHORS: Hugo Miranda; Luís Rodrigues ;
PUBLISHED: 1999, SOURCE: SPIRE/CRIWG, PAGES: 338-342
6391
TITLE: GRASP: A search algorithm for propositional satisfiability
AUTHORS: Marques Silva, JP ; Sakallah, KA;
PUBLISHED: 1999, SOURCE: IEEE TRANSACTIONS ON COMPUTERS, VOLUME: 48, ISSUE: 5, PAGES: 506-521
AUTHORS: Marques Silva, JP ; Sakallah, KA;
PUBLISHED: 1999, SOURCE: IEEE TRANSACTIONS ON COMPUTERS, VOLUME: 48, ISSUE: 5, PAGES: 506-521
6392
TITLE: H.323 videoconference over native ATM
AUTHORS: Grilo, A ; Nunes, M;
PUBLISHED: 1999, SOURCE: 4th European Conference on Multimedia Applications, Services and Techniques (ECMAST 99) in MULTIMEDIA APPLICATIONS, SERVICES AND TECHNIQUES - ECMAST'99, VOLUME: 1629, PAGES: 406-422
AUTHORS: Grilo, A ; Nunes, M;
PUBLISHED: 1999, SOURCE: 4th European Conference on Multimedia Applications, Services and Techniques (ECMAST 99) in MULTIMEDIA APPLICATIONS, SERVICES AND TECHNIQUES - ECMAST'99, VOLUME: 1629, PAGES: 406-422
6393
TITLE: Hedging large-scale distribution system investments against uncertainty
AUTHORS: Carvalho, PMS ; Ferreira, LAFM ; Barruncho, LMF;
PUBLISHED: 1999, SOURCE: 1999 IEEE Power-Engineering-Society Winter Meeting in IEEE POWER ENGINEERING SOCIETY - 1999 WINTER MEETING, VOLS 1 AND 2, VOLUME: 2, PAGES: 901-906
AUTHORS: Carvalho, PMS ; Ferreira, LAFM ; Barruncho, LMF;
PUBLISHED: 1999, SOURCE: 1999 IEEE Power-Engineering-Society Winter Meeting in IEEE POWER ENGINEERING SOCIETY - 1999 WINTER MEETING, VOLS 1 AND 2, VOLUME: 2, PAGES: 901-906
6394
TITLE: High performance analog and digital PLL design
AUTHORS: Almeida, TM ; Piedade, MS ;
PUBLISHED: 1999, SOURCE: 1999 IEEE International Symposium on Circuits and Systems (ISCAS 99) in ISCAS '99: PROCEEDINGS OF THE 1999 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS, VOL 4: IMAGE AND VIDEO PROCESSING, MULTIMEDIA, AND COMMUNICATIONS, PAGES: 394-397
AUTHORS: Almeida, TM ; Piedade, MS ;
PUBLISHED: 1999, SOURCE: 1999 IEEE International Symposium on Circuits and Systems (ISCAS 99) in ISCAS '99: PROCEEDINGS OF THE 1999 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS, VOL 4: IMAGE AND VIDEO PROCESSING, MULTIMEDIA, AND COMMUNICATIONS, PAGES: 394-397
INDEXED IN: WOS
WOS6395
TITLE: Implementing garbage collection in the PerDiS system
AUTHORS: Blondel, X; Ferreira, P ; Shapiro, M;
PUBLISHED: 1999, SOURCE: 8th International Workshop on Persistent Object Systems(POS8)/3rd International Workshop on Persistence and Java (PJAVA3) in ADVANCES IN PERSISTENT OBJECT SYSTEMS, PAGES: 64-77
AUTHORS: Blondel, X; Ferreira, P ; Shapiro, M;
PUBLISHED: 1999, SOURCE: 8th International Workshop on Persistent Object Systems(POS8)/3rd International Workshop on Persistence and Java (PJAVA3) in ADVANCES IN PERSISTENT OBJECT SYSTEMS, PAGES: 64-77
INDEXED IN: WOS 
DBLP
WOS DBLP6396
TITLE: Improved feedforward ML timing estimation for PSK signaling
AUTHORS: Tavares, GN ; Tavares, LM; Piedade, MS ;
PUBLISHED: 1999, SOURCE: 1999 IEEE International Symposium on Circuits and Systems (ISCAS 99) in ISCAS '99: PROCEEDINGS OF THE 1999 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS, VOL 3: ANALOG AND DIGITAL SIGNAL PROCESSING, VOLUME: 3, PAGES: 98-101
AUTHORS: Tavares, GN ; Tavares, LM; Piedade, MS ;
PUBLISHED: 1999, SOURCE: 1999 IEEE International Symposium on Circuits and Systems (ISCAS 99) in ISCAS '99: PROCEEDINGS OF THE 1999 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS, VOL 3: ANALOG AND DIGITAL SIGNAL PROCESSING, VOLUME: 3, PAGES: 98-101
INDEXED IN: Scopus WOS
Scopus WOS6397
TITLE: Improving the efficiency of parasitic extraction and simulation of 3D interconnect models
AUTHORS: Silveira, L. Miguel ; Marques, N; Kamon, M; White, J;
PUBLISHED: 1999, SOURCE: 6th IEEE International Conference on Electronics, Circuits and Systems, ICECS 1999 in Proceedings of the IEEE International Conference on Electronics, Circuits, and Systems, VOLUME: 3, PAGES: 1729-1732
AUTHORS: Silveira, L. Miguel ; Marques, N; Kamon, M; White, J;
PUBLISHED: 1999, SOURCE: 6th IEEE International Conference on Electronics, Circuits and Systems, ICECS 1999 in Proceedings of the IEEE International Conference on Electronics, Circuits, and Systems, VOLUME: 3, PAGES: 1729-1732
INDEXED IN: Scopus 
CrossRef
Scopus CrossRef6398
TITLE: Interconnect analysis: From 3-D structures to circuit models Full Text
AUTHORS: Kamon, M; Marques, N; Massoud, Y; Silveira, L. Miguel ; White, J;
PUBLISHED: 1999, SOURCE: Proceedings of the 1999 36th Annual Design Automation Conference (DAC) in Proceedings - Design Automation Conference, PAGES: 910-914
AUTHORS: Kamon, M; Marques, N; Massoud, Y; Silveira, L. Miguel ; White, J;
PUBLISHED: 1999, SOURCE: Proceedings of the 1999 36th Annual Design Automation Conference (DAC) in Proceedings - Design Automation Conference, PAGES: 910-914
INDEXED IN: Scopus
Scopus6399
TITLE: Low-energy BIST design: impact of the LFSR TPG parameters on the weighted switching activity
AUTHORS: Girard, P; Guiller, L; Landrault, C; Pravossoudovitch, S; Figueras, J; Manich, S; Teixeira, P; Santos, M ;
PUBLISHED: 1999, SOURCE: Proceedings of the 1999 IEEE International Symposium on Circuits and Systems, ISCAS '99 in Proceedings - IEEE International Symposium on Circuits and Systems, VOLUME: 1
AUTHORS: Girard, P; Guiller, L; Landrault, C; Pravossoudovitch, S; Figueras, J; Manich, S; Teixeira, P; Santos, M ;
PUBLISHED: 1999, SOURCE: Proceedings of the 1999 IEEE International Symposium on Circuits and Systems, ISCAS '99 in Proceedings - IEEE International Symposium on Circuits and Systems, VOLUME: 1
INDEXED IN: Scopus
Scopus6400
TITLE: Low-power array architectures for motion estimation
AUTHORS: Leonel Sousa ; Nuno Roma ;
PUBLISHED: 1999, SOURCE: Third IEEE Workshop on Multimedia Signal Processing, MMSP 1999, Copenhagen, Denmark, September 13-15, 1999, PAGES: 679-684
AUTHORS: Leonel Sousa ; Nuno Roma ;
PUBLISHED: 1999, SOURCE: Third IEEE Workshop on Multimedia Signal Processing, MMSP 1999, Copenhagen, Denmark, September 13-15, 1999, PAGES: 679-684
INDEXED IN: DBLP CrossRef
DBLP CrossRef