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: 6819

112 Team Members
Filters -> Year: 2024
6321
TÍTULO: Half-bridge single-phase buck-boost type AC-DC converter with sliding-mode control of the input source current
AUTORES: Pires, VF ; Silva, JF ;
PUBLICAÇÃO: 2000, FONTE: IEE PROCEEDINGS-ELECTRIC POWER APPLICATIONS, VOLUME: 147, NÚMERO: 1, PÁGINAS: 61-67
INDEXADO EM: Scopus WOS CrossRef
6322
TÍTULO: High-efficiency ripple-free power converter for nuclear magnetic resonance
AUTORES: Silva, JF ; Galhardo, A; Palma, J;
PUBLICAÇÃO: 2000, FONTE: 31st Annual IEEE Power Electronics Specialists Conference (PESC 2000) in PESC 2000: 31ST ANNUAL IEEE POWER ELECTRONICS SPECIALISTS CONFERENCE, VOLS 1-3, VOLUME: 1, PÁGINAS: 384-389
INDEXADO EM: Scopus WOS CrossRef: 4
6323
TÍTULO: In the development and evaluation of specialized processors for computing high-order 2-D image moments in real-time
AUTORES: Roma, N ; Sousa, L ;
PUBLICAÇÃO: 2000, FONTE: 5th IEEE International Workshop on Computer Architectures for Machine Perception (CAMP 2000) in 5TH INTERNATIONAL WORKSHOP ON COMPUTER ARCHITECTURES FOR MACHINE PERCEPTION, PROCEEDINGS, PÁGINAS: 170-179
INDEXADO EM: Scopus WOS DBLP CrossRef
6324
TÍTULO: Integrated giant magnetoresistance bridge sensors with transverse permanent magnet biasing  Full Text
AUTORES: Ku, WJ; Silva, F; Bernardo, J; Freitas, PP ;
PUBLICAÇÃO: 2000, FONTE: 44th Annual Conference on Magnetism and Magnetic Materials in JOURNAL OF APPLIED PHYSICS, VOLUME: 87, NÚMERO: 9, PÁGINAS: 5353-5355
INDEXADO EM: Scopus WOS CrossRef
6325
TÍTULO: Integrating dynamic power management in the design flow
AUTORES: Mota, A; Ferreira, N; Oliveira, A ; Monteiro, J ;
PUBLICAÇÃO: 2000, FONTE: IFIP 10th International Conference on Very Large Scale Integration (VLSI 99) in VLSI: SYSTEMS ON A CHIP, VOLUME: 34, PÁGINAS: 233-244
INDEXADO EM: WOS DBLP
6326
TÍTULO: Integrating predictive and switching control: Basic concepts and an experimental case study
AUTORES: Lemos, JM; Rato, LM ; Mosca, E;
PUBLICAÇÃO: 2000, FONTE: Workshop on Nonlinear Model Predictive Control in NONLINEAR MODEL PREDICTIVE CONTROL, VOLUME: 26, PÁGINAS: 181-190
INDEXADO EM: WOS
6327
TÍTULO: Invited Tutorial: Boolean Satisfiability Algorithms and Applications in Electronic Design Automation
AUTORES: João Marques Marques Silva ; Karem A. Sakallah;
PUBLICAÇÃO: 2000, FONTE: Computer Aided Verification, 12th International Conference, CAV 2000, Chicago, IL, USA, July 15-19, 2000, Proceedings, VOLUME: 1855, PÁGINAS: 3
INDEXADO EM: DBLP
6328
TÍTULO: Low power BIST by filtering non-detecting vectors  Full Text
AUTORES: Manich, S; Gabarro, A; Lopez, M; Figueras, J; Girard, P; Guiller, L; Landrault, C; Pravossoudovitch, S; Teixeira, P ; Santos, M ;
PUBLICAÇÃO: 2000, FONTE: 6th IEEE International O-Line Testing Workshop in JOURNAL OF ELECTRONIC TESTING-THEORY AND APPLICATIONS, VOLUME: 16, NÚMERO: 3, PÁGINAS: 193-202
INDEXADO EM: Scopus WOS CrossRef: 19
6329
TÍTULO: Low-voltage semiconductor topology for kV pulse generation using a leakage flux corrected step-up transformer  Full Text
AUTORES: Redondo, LM ; Margato, E ; Silva, JF ;
PUBLICAÇÃO: 2000, FONTE: 31st Annual IEEE Power Electronics Specialists Conference (PESC 2000) in PESC 2000: 31ST ANNUAL IEEE POWER ELECTRONICS SPECIALISTS CONFERENCE, VOLS 1-3, VOLUME: 1, PÁGINAS: 326-331
INDEXADO EM: Scopus WOS CrossRef
6330
TÍTULO: Molecular typing and exopolysaccharide biosynthesis of Burkholderia cepacia isolates from a Portuguese Cystic Fibrosis Center
AUTORES: Richau, JA; Leitao, JH ; Correia, M ; Lito, L; Salgado, MJ; Barreto, C; Cescutti, P; Sa Correia, I;
PUBLICAÇÃO: 2000, FONTE: JOURNAL OF CLINICAL MICROBIOLOGY, VOLUME: 38, NÚMERO: 4, PÁGINAS: 1651-1655
INDEXADO EM: Scopus WOS
6331
TÍTULO: Multipredictive adaptive control of arc welding trailing centerline temperature
AUTORES: Santos, TO; Caetano, RB; Lemos, JM ; Coito, FJ ;
PUBLICAÇÃO: 2000, FONTE: IEEE TRANSACTIONS ON CONTROL SYSTEMS TECHNOLOGY, VOLUME: 8, NÚMERO: 1, PÁGINAS: 159-169
INDEXADO EM: Scopus WOS CrossRef
6332
TÍTULO: New results on the invertibility of the finite interval convolution operator  Full Text
AUTORES: Lopes, PA; dos Santos, AF ;
PUBLICAÇÃO: 2000, FONTE: INTEGRAL EQUATIONS AND OPERATOR THEORY, VOLUME: 38, NÚMERO: 3, PÁGINAS: 317-333
INDEXADO EM: Scopus WOS CrossRef
6333
TÍTULO: Observability analysis of embedded software for coverage-directed validation
AUTORES: Costa, JC; Devadas, S; Monteiro, JC ;
PUBLICAÇÃO: 2000, FONTE: IEEE/ACM International Conference on Computer Aided Design (ICCAD-2000) in ICCAD - 2000 : IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER AIDED DESIGN, PÁGINAS: 27-32
INDEXADO EM: Scopus WOS CrossRef
6334
TÍTULO: On Applying Incremental Satisfiability to Delay Fault Testing
AUTORES: Joonyoung Kim; Jesse Whittemore; Karem A Sakallah; João P Marques Silva ;
PUBLICAÇÃO: 2000, FONTE: 2000 Design, Automation and Test in Europe (DATE 2000), 27-30 March 2000, Paris, France, PÁGINAS: 380-384
INDEXADO EM: Scopus DBLP CrossRef: 1
6335
TÍTULO: On Solving Boolean Optimization with Satisfiability-Based Algorithms
AUTORES: Vasco M. Manquinho; João Marques Marques Silva ;
PUBLICAÇÃO: 2000, FONTE: International Symposium on Artificial Intelligence and Mathematics, AI&M 2000, Fort Lauderdale, Florida, USA, January 5-7, 2000
INDEXADO EM: DBLP
6336
TÍTULO: On Using Satisfiability-Based Pruning Techniques in Covering Algorithms
AUTORES: Vasco M Manquinho; João P Marques Silva ;
PUBLICAÇÃO: 2000, FONTE: 2000 Design, Automation and Test in Europe (DATE 2000), 27-30 March 2000, Paris, France, PÁGINAS: 356-363
INDEXADO EM: Scopus DBLP CrossRef: 3
6337
TÍTULO: Partitionable Light-Weight Groups
AUTORES: Luís Rodrigues ; Katherine Guo;
PUBLICAÇÃO: 2000, FONTE: 20th International Conference on Distributed Computing Systems (ICDCS 2000) in Proceedings of the 20th International Conference on Distributed Computing Systems, Taipei, Taiwan, April 10-13, 2000, PÁGINAS: 38-45
INDEXADO EM: Scopus DBLP CrossRef
6338
TÍTULO: PerDiS: Design, implementation, and use of a PERsistent DIstributed store
AUTORES: Ferreira, P ; Shapiro, M; Blondel, X; Fambon, O; Garcia, J; Kloosterman, S; Richer, N; Robert, M; Sandakly, F; Coulouris, G; Dollimore, J; Guedes, P; Hagimont, D; Krakowiak, S;
PUBLICAÇÃO: 2000, FONTE: ADVANCES IN DISTRIBUTED SYSTEMS: ADVANCED DISTRIBUTED COMPUTING: FROM ALGORITHMS TO SYSTEMS, VOLUME: 1752, PÁGINAS: 427-452
INDEXADO EM: Scopus WOS
6339
TÍTULO: Planning large-scale distribution networks for robust expansion under deregulation
AUTORES: Carvalho, PMS ; Ferreira, LAFM ;
PUBLICAÇÃO: 2000, FONTE: IEEE Power-Engineering-Society Summer Meeting in 2000 IEEE POWER ENGINEERING SOCIETY SUMMER MEETING, CONFERENCE PROCEEDINGS, VOLS 1-4, VOLUME: 3, PÁGINAS: 1305-1310
INDEXADO EM: Scopus WOS
6340
TÍTULO: Quorum-based replication in asynchronous crash-recovery distributed systems
AUTORES: Rodrigues, L ; Raynal, M;
PUBLICAÇÃO: 2000, FONTE: 6th International Euro-Par 2000 Conference in EURO-PAR 2000 PARALLEL PROCESSING, PROCEEDINGS, VOLUME: 1900, PÁGINAS: 605-608
INDEXADO EM: Scopus WOS DBLP CrossRef

Results per Page: 20.
Página 317 de 341. Total de resultados: 6819.