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