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: 6818
112 Team MembersFilters -> Year: 2024
6281
TITLE: A new single stage three-phase step-up/down rectifier with low effects on the mains
AUTHORS: Pires, VF ; Silva, JF ;
PUBLISHED: 2000, SOURCE: 35th IAS Annual Meeting and World Conference on Industrial Applications of Electrical Energy in IAS 2000 - CONFERENCE RECORD OF THE 2000 IEEE INDUSTRY APPLICATIONS CONFERENCE, VOLS 1-5, VOLUME: 4, PAGES: 2389-2396
AUTHORS: Pires, VF ; Silva, JF ;
PUBLISHED: 2000, SOURCE: 35th IAS Annual Meeting and World Conference on Industrial Applications of Electrical Energy in IAS 2000 - CONFERENCE RECORD OF THE 2000 IEEE INDUSTRY APPLICATIONS CONFERENCE, VOLS 1-5, VOLUME: 4, PAGES: 2389-2396
INDEXED IN: Scopus WOS
6282
TITLE: A Platform Independent Parallelising Tool Based on Graph Theoretic Models
AUTHORS: Oliver Sinnen; Leonel Sousa ;
PUBLISHED: 2000, SOURCE: Vector and Parallel Processing - VECPAR 2000, 4th International Conference, Porto, Portugal, June 21-23, 2000, Selected Papers and Invited Talks, VOLUME: 1981, PAGES: 154-167
AUTHORS: Oliver Sinnen; Leonel Sousa ;
PUBLISHED: 2000, SOURCE: Vector and Parallel Processing - VECPAR 2000, 4th International Conference, Porto, Portugal, June 21-23, 2000, Selected Papers and Invited Talks, VOLUME: 1981, PAGES: 154-167
6283
TITLE: A simple slip-power recovery system with a DC voltage intermediate circuit and reduced harmonics on the mains Full Text
AUTHORS: Marques, GD ; Verdelho, P;
PUBLISHED: 2000, SOURCE: IEEE TRANSACTIONS ON INDUSTRIAL ELECTRONICS, VOLUME: 47, ISSUE: 1, PAGES: 123-132
AUTHORS: Marques, GD ; Verdelho, P;
PUBLISHED: 2000, SOURCE: IEEE TRANSACTIONS ON INDUSTRIAL ELECTRONICS, VOLUME: 47, ISSUE: 1, PAGES: 123-132
6284
TITLE: A simplified stator flux vector control method in dq co-ordinates for induction machines
AUTHORS: Monteiro, J; Marques, GD ; Palma, J;
PUBLISHED: 2000, SOURCE: IEEE International Symposium on Industrial Electronics (ISIE 2000) in PROCEEDINGS OF THE 2000 IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS, VOL 1 AND 2, VOLUME: 1, PAGES: 271-276
AUTHORS: Monteiro, J; Marques, GD ; Palma, J;
PUBLISHED: 2000, SOURCE: IEEE International Symposium on Industrial Electronics (ISIE 2000) in PROCEEDINGS OF THE 2000 IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS, VOL 1 AND 2, VOLUME: 1, PAGES: 271-276
INDEXED IN: Scopus WOS
6285
TITLE: ActiveXML: Compound documents for integration of heterogeneous data sources
AUTHORS: Campos, JP; Silva, MJ ;
PUBLISHED: 2000, SOURCE: 4th European Conference on Research and Advanced Technology for Digital Libraries (ECDL 2000) in RESEARCH AND ADVANCED TECHNOLOGY FOR DIGITAL LIBRARIES, PROCEEDINGS, VOLUME: 1923, PAGES: 380-384
AUTHORS: Campos, JP; Silva, MJ ;
PUBLISHED: 2000, SOURCE: 4th European Conference on Research and Advanced Technology for Digital Libraries (ECDL 2000) in RESEARCH AND ADVANCED TECHNOLOGY FOR DIGITAL LIBRARIES, PROCEEDINGS, VOLUME: 1923, PAGES: 380-384
INDEXED IN: Scopus WOS
6286
TITLE: Adaptive fuzzy control of a single-phase sinusoidal rectifier with step-up/down characteristics
AUTHORS: Amaral, TG; Pires, VF ; Crisostomo, M ; Silva, JF ;
PUBLISHED: 2000, SOURCE: International Conference on Industrial Technology (IEEE ICIT 2000) in PROCEEDINGS OF IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL TECHNOLOGY 2000, VOLS 1 AND 2, VOLUME: 2, PAGES: 147-152
AUTHORS: Amaral, TG; Pires, VF ; Crisostomo, M ; Silva, JF ;
PUBLISHED: 2000, SOURCE: International Conference on Industrial Technology (IEEE ICIT 2000) in PROCEEDINGS OF IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL TECHNOLOGY 2000, VOLS 1 AND 2, VOLUME: 2, PAGES: 147-152
INDEXED IN: Scopus WOS
6287
TITLE: Adaptive regulation of super-heated steam temperature: a case study in an industrial boiler Full Text
AUTHORS: Silva, RN; Shirley, PO; Lemos, JM ; Goncalves, AC;
PUBLISHED: 2000, SOURCE: CONTROL ENGINEERING PRACTICE, VOLUME: 8, ISSUE: 12, PAGES: 1405-1415
AUTHORS: Silva, RN; Shirley, PO; Lemos, JM ; Goncalves, AC;
PUBLISHED: 2000, SOURCE: CONTROL ENGINEERING PRACTICE, VOLUME: 8, ISSUE: 12, PAGES: 1405-1415
6288
TITLE: AJAX: An extensible data cleaning tool Full Text
AUTHORS: Galhardas, H ; Florescu, D; Shasha, D; Simon, E;
PUBLISHED: 2000, SOURCE: International Conference on Management of Data in SIGMOD RECORD, VOLUME: 29, ISSUE: 2, PAGES: 590-590
AUTHORS: Galhardas, H ; Florescu, D; Shasha, D; Simon, E;
PUBLISHED: 2000, SOURCE: International Conference on Management of Data in SIGMOD RECORD, VOLUME: 29, ISSUE: 2, PAGES: 590-590
INDEXED IN: WOS DBLP
6289
TITLE: Algebraic Simplification Techniques for Propositional Satisfiability
AUTHORS: João Marques Marques Silva ;
PUBLISHED: 2000, SOURCE: Principles and Practice of Constraint Programming - CP 2000, 6th International Conference, Singapore, September 18-21, 2000, Proceedings, VOLUME: 1894, PAGES: 537-542
AUTHORS: João Marques Marques Silva ;
PUBLISHED: 2000, SOURCE: Principles and Practice of Constraint Programming - CP 2000, 6th International Conference, Singapore, September 18-21, 2000, Proceedings, VOLUME: 1894, PAGES: 537-542
INDEXED IN: DBLP
6290
TITLE: An Authentication Protocol for Mobilde Devices
AUTHORS: Paulo Simões; Pedro Alves; José Rogado; Paulo Ferreira ;
PUBLISHED: 2000, SOURCE: Proceedings of the 2000 ICDCS Workshops, April 10, 2000, Taipei, Taiwan, ROC
AUTHORS: Paulo Simões; Pedro Alves; José Rogado; Paulo Ferreira ;
PUBLISHED: 2000, SOURCE: Proceedings of the 2000 ICDCS Workshops, April 10, 2000, Taipei, Taiwan, ROC
INDEXED IN: DBLP
6291
TITLE: An enhanced static-list scheduling algorithm for temporal partitioning onto RPUs
AUTHORS: Cardoso, JMP ; Neto, HC;
PUBLISHED: 2000, SOURCE: IFIP 10th International Conference on Very Large Scale Integration (VLSI 99) in VLSI: SYSTEMS ON A CHIP, VOLUME: 34, PAGES: 485-496
AUTHORS: Cardoso, JMP ; Neto, HC;
PUBLISHED: 2000, SOURCE: IFIP 10th International Conference on Very Large Scale Integration (VLSI 99) in VLSI: SYSTEMS ON A CHIP, VOLUME: 34, PAGES: 485-496
6292
TITLE: An exact gate assignment algorithm for tree circuits under rise and fall delays
AUTHORS: Oliveira, AL ; Murgai, R;
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: 451-457
AUTHORS: Oliveira, AL ; Murgai, R;
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: 451-457
6293
TITLE: An Experimental Study of Satisfiability Search Heuristics
AUTHORS: Karem A. Sakallah; Fadi A. Aloul; João Marques Marques Silva ;
PUBLISHED: 2000, SOURCE: 2000 Design, Automation and Test in Europe (DATE 2000), 27-30 March 2000, Paris, France, PAGES: 745
AUTHORS: Karem A. Sakallah; Fadi A. Aloul; João Marques Marques Silva ;
PUBLISHED: 2000, SOURCE: 2000 Design, Automation and Test in Europe (DATE 2000), 27-30 March 2000, Paris, France, PAGES: 745
INDEXED IN: DBLP
6294
TITLE: An Extensible Framework for Data Cleaning
AUTHORS: Helena Galhardas ; Daniela Florescu; Dennis E. Shasha; Eric Simon;
PUBLISHED: 2000, SOURCE: 2000 IEEE 16th International Conference on Data Engineering (ICDE'00) in Proceedings of the 16th International Conference on Data Engineering, San Diego, California, USA, February 28 - March 3, 2000, PAGES: 312
AUTHORS: Helena Galhardas ; Daniela Florescu; Dennis E. Shasha; Eric Simon;
PUBLISHED: 2000, SOURCE: 2000 IEEE 16th International Conference on Data Engineering (ICDE'00) in Proceedings of the 16th International Conference on Data Engineering, San Diego, California, USA, February 28 - March 3, 2000, PAGES: 312
INDEXED IN: Scopus DBLP
6295
TITLE: An instantaneous active and reactive current component method for active filters
AUTHORS: Soares, V; Verdelho, P; Marques, GD ;
PUBLISHED: 2000, SOURCE: IEEE TRANSACTIONS ON POWER ELECTRONICS, VOLUME: 15, ISSUE: 4, PAGES: 660-669
AUTHORS: Soares, V; Verdelho, P; Marques, GD ;
PUBLISHED: 2000, SOURCE: IEEE TRANSACTIONS ON POWER ELECTRONICS, VOLUME: 15, ISSUE: 4, PAGES: 660-669
6296
TITLE: Analog fault diagnosis in nonlinear DC circuits with an evolutionary algorithm
AUTHORS: Augusto, JAS; Almeida, CFB ;
PUBLISHED: 2000, SOURCE: 2000 Congress on Evolutionary Computation (CEC2000) in PROCEEDINGS OF THE 2000 CONGRESS ON EVOLUTIONARY COMPUTATION, VOLS 1 AND 2, VOLUME: 1, PAGES: 609-616
AUTHORS: Augusto, JAS; Almeida, CFB ;
PUBLISHED: 2000, SOURCE: 2000 Congress on Evolutionary Computation (CEC2000) in PROCEEDINGS OF THE 2000 CONGRESS ON EVOLUTIONARY COMPUTATION, VOLS 1 AND 2, VOLUME: 1, PAGES: 609-616
INDEXED IN: Scopus WOS
6297
TITLE: Atomic Broadcast in Asynchronous Crash-Recovery Distributed Systems
AUTHORS: Luís Rodrigues ; Michel Raynal;
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: 288-295
AUTHORS: Luís Rodrigues ; Michel Raynal;
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: 288-295
6298
TITLE: Automatic Classification and Intelligent Clustering for WWWeb Information Retrieval Systems Full Text
AUTHORS: Paulo Quaresma ; Irene Pimenta Rodrigues ;
PUBLISHED: 2000, SOURCE: Journal of Information, Law and Technology, VOLUME: 2000, ISSUE: 2
AUTHORS: Paulo Quaresma ; Irene Pimenta Rodrigues ;
PUBLISHED: 2000, SOURCE: Journal of Information, Law and Technology, VOLUME: 2000, ISSUE: 2
INDEXED IN: DBLP
6299
TITLE: Balancing configurability and efficiency in network support tools
AUTHORS: Hugo Miranda; Luís Rodrigues ;
PUBLISHED: 2000, SOURCE: 9th Workshop on ACM SIGOPS European Workshop: Beyond the PC: New Challenges for the Operating System, EW 2000 in Proceedings of the ACM SIGOPS European Workshop, Kolding, Denmark, September 17-20, 2000, PAGES: 223-228
AUTHORS: Hugo Miranda; Luís Rodrigues ;
PUBLISHED: 2000, SOURCE: 9th Workshop on ACM SIGOPS European Workshop: Beyond the PC: New Challenges for the Operating System, EW 2000 in Proceedings of the ACM SIGOPS European Workshop, Kolding, Denmark, September 17-20, 2000, PAGES: 223-228
6300
TITLE: Boolean satisfiability in Electronic Design Automation Full Text
AUTHORS: Marques Silva, JP ; Sakallah, KA;
PUBLISHED: 2000, SOURCE: 37th Annual Design Automation Conference (DAC) in 37TH DESIGN AUTOMATION CONFERENCE, PROCEEDINGS 2000, PAGES: 675-680
AUTHORS: Marques Silva, JP ; Sakallah, KA;
PUBLISHED: 2000, SOURCE: 37th Annual Design Automation Conference (DAC) in 37TH DESIGN AUTOMATION CONFERENCE, PROCEEDINGS 2000, PAGES: 675-680
INDEXED IN: Scopus WOS DBLP