Instituto de Engenharia de Sistemas e Computadores (INESC ID)

Publications Actions
Publicações no Perfil Institucional do Authenticus

Uma Instituição (Grupo) no Authenticus é uma organização que engloba um conjunto de Investigadores (equipa da Instituição ou do Grupo). O conjunto de Investigadores depende da estrutura organizacional da instituição em cada ano e pode ser definido no perfil da Instituição, na secção “Investigadores”. Com base na equipa definida, o Authenticus produz listas de publicações, estatísticas e relatórios institucionais.

As publicações listadas no perfil da Instituição no Authenticus dependem de dois parâmetros:

  • Investigadores associados à equipa da Instituição em cada ano.
  • Origem das Publicações.

As publicações associadas à Instituição podem ter três origens:

  • Publicações validadas pelos membros da equipa - Inclui todas as publicações validadas pelos membros da equipa; é necessário que a equipa da Instituição esteja definida.
  • Todas as Publicadas pelos membros da equipa - Inclui todas as anteriores mais aquelas em que um dos autores foi identificado com um membro da equipa, ainda que não tenha sido validada; é necessário que a equipa da Instituição esteja definida.
  • Com Base na Afiliação - inclui todas as publicações que têm a Instituição ou o Grupo mencionado na afiliação; não é necessário que a equipa da Instituição esteja definida mas, por outro lado, não é garantido que todas as publicações da Instituição sejam listadas.
External   Internal

Update Citation

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!

Update PrePrints

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!

Publications Count: 6820

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

Results per Page: 20.
Página 320 de 341. Total de resultados: 6820.