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
6261
TITLE: Test resource partitioning: a design & test issue
AUTHORS: Teixeira, JP; Teixeira, IM; Pereira, CE; Dias, OP; Jorge Semião ;
PUBLISHED: 2001, SOURCE: Design, Automation and Test in Europe Conference and Exhibition (DATE 2001) in DESIGN, AUTOMATION AND TEST IN EUROPE, CONFERENCE AND EXHIBITION 2001, PROCEEDINGS, PAGES: 34-35
AUTHORS: Teixeira, JP; Teixeira, IM; Pereira, CE; Dias, OP; Jorge Semião ;
PUBLISHED: 2001, SOURCE: Design, Automation and Test in Europe Conference and Exhibition (DATE 2001) in DESIGN, AUTOMATION AND TEST IN EUROPE, CONFERENCE AND EXHIBITION 2001, PROCEEDINGS, PAGES: 34-35
6262
TITLE: The architecture of a secure group communication system based on intrusion tolerance
AUTHORS: Correia, M ; Verissimo, P ; Neves, NF ;
PUBLISHED: 2001, SOURCE: 21st IEEE International Conference on Distributed Computing Systems in 21ST INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS WORKSHOPS, PROCEEDINGS, PAGES: 17-22
AUTHORS: Correia, M ; Verissimo, P ; Neves, NF ;
PUBLISHED: 2001, SOURCE: 21st IEEE International Conference on Distributed Computing Systems in 21ST INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS WORKSHOPS, PROCEEDINGS, PAGES: 17-22
6263
TITLE: The child behind the character Full Text
AUTHORS: Paiva, A ; Machado, I; Prada, R ;
PUBLISHED: 2001, SOURCE: IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, VOLUME: 31, ISSUE: 5, PAGES: 361-368
AUTHORS: Paiva, A ; Machado, I; Prada, R ;
PUBLISHED: 2001, SOURCE: IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, VOLUME: 31, ISSUE: 5, PAGES: 361-368
6264
TITLE: The design of RT-Appia
AUTHORS: Rodrigues, J; Miranda, H ; Ventura, J; Rodrigues, L ;
PUBLISHED: 2001, SOURCE: 6th International Workshop on Object-Oriented Real-Time Dependable Systems in SIXTH INTERNATIONAL WORKSHOP ON OBJECT-ORIENTED REAL-TIME DEPENDABLE SYSTEMS, PROCEEDINGS, PAGES: 261-268
AUTHORS: Rodrigues, J; Miranda, H ; Ventura, J; Rodrigues, L ;
PUBLISHED: 2001, SOURCE: 6th International Workshop on Object-Oriented Real-Time Dependable Systems in SIXTH INTERNATIONAL WORKSHOP ON OBJECT-ORIENTED REAL-TIME DEPENDABLE SYSTEMS, PROCEEDINGS, PAGES: 261-268
6265
TITLE: The effect of mismatch and disturbances on the quadrature relation of a cross-coupled relaxation oscillator
AUTHORS: Fernandes, JR ; Kouwenhoven, MHL; Van den Bos, C;
PUBLISHED: 2001, SOURCE: IEEE International Symposium on Circuits and Systems (ISCAS 2001) in Proceedings - IEEE International Symposium on Circuits and Systems, VOLUME: 1, PAGES: 476-479
AUTHORS: Fernandes, JR ; Kouwenhoven, MHL; Van den Bos, C;
PUBLISHED: 2001, SOURCE: IEEE International Symposium on Circuits and Systems (ISCAS 2001) in Proceedings - IEEE International Symposium on Circuits and Systems, VOLUME: 1, PAGES: 476-479
6266
TITLE: Three-phase single-stage step-up/down current rectifiers with sliding mode PWM current controller and low sensitivity voltage regulator
AUTHORS: Pires, VF ; Silva, JF ;
PUBLISHED: 2001, SOURCE: 36th Annual Meeting of the Industry-Application-Society (IAS) in CONFERENCE RECORD OF THE 2001 IEEE INDUSTRY APPLICATIONS CONFERENCE, VOLS 1-4, VOLUME: 1, PAGES: 342-349
AUTHORS: Pires, VF ; Silva, JF ;
PUBLISHED: 2001, SOURCE: 36th Annual Meeting of the Industry-Application-Society (IAS) in CONFERENCE RECORD OF THE 2001 IEEE INDUSTRY APPLICATIONS CONFERENCE, VOLS 1-4, VOLUME: 1, PAGES: 342-349
INDEXED IN: 
Scopus 
WOS
Scopus WOS6267
TITLE: Towards a reference model for surveying mobile agent systems Full Text
AUTHORS: Silva, AR ; Romao, A; Deugo, D; Miguel Mira da Silva ;
PUBLISHED: 2001, SOURCE: AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS, VOLUME: 4, ISSUE: 3, PAGES: 187-231
AUTHORS: Silva, AR ; Romao, A; Deugo, D; Miguel Mira da Silva ;
PUBLISHED: 2001, SOURCE: AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS, VOLUME: 4, ISSUE: 3, PAGES: 187-231
6268
TITLE: Towards Provably Complete Stochastic Search Algorithms for Satisfiability
AUTHORS: Inês Lynce ; Luís Baptista; João P Marques Silva ;
PUBLISHED: 2001, SOURCE: Progress in Artificial Intelligence, Knowledge Extraction, Multi-agent Systems, Logic Programming and Constraint Solving, 10th Portuguese Conference on Artificial Intelligence, EPIA 2001, Porto, Portugal, December 17-20, 2001, Proceedings, VOLUME: 2258, PAGES: 363-370
AUTHORS: Inês Lynce ; Luís Baptista; João P Marques Silva ;
PUBLISHED: 2001, SOURCE: Progress in Artificial Intelligence, Knowledge Extraction, Multi-agent Systems, Logic Programming and Constraint Solving, 10th Portuguese Conference on Artificial Intelligence, EPIA 2001, Porto, Portugal, December 17-20, 2001, Proceedings, VOLUME: 2258, PAGES: 363-370
INDEXED IN: Scopus 
DBLP
Scopus DBLP6269
TITLE: Transition metal complexes as catalysts for the homo- and copolymerisation of olefins and non-conjugated dienes Full Text
AUTHORS: Santos, JM; Ribeiro, MR ; Portela, MF; Cramail, H; Deffieux, A;
PUBLISHED: 2001, SOURCE: MACROMOLECULAR CHEMISTRY AND PHYSICS, VOLUME: 202, ISSUE: 15, PAGES: 3043-3048
AUTHORS: Santos, JM; Ribeiro, MR ; Portela, MF; Cramail, H; Deffieux, A;
PUBLISHED: 2001, SOURCE: MACROMOLECULAR CHEMISTRY AND PHYSICS, VOLUME: 202, ISSUE: 15, PAGES: 3043-3048
6270
TITLE: Tutorial 2: Boolean satisfiability solving and its application in equivalence and model checking
AUTHORS: Marques Silva, J ; Bjesse, P; Kunz, W;
PUBLISHED: 2001, SOURCE: International Conference on Computer-Aided Design 2001 in IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers
AUTHORS: Marques Silva, J ; Bjesse, P; Kunz, W;
PUBLISHED: 2001, SOURCE: International Conference on Computer-Aided Design 2001 in IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers
INDEXED IN: Scopus
Scopus6271
TITLE: Using logic programming to model Multi-Agent web legal systems - An application report Full Text
AUTHORS: Quaresma, P ; Rodrigues, I ;
PUBLISHED: 2001, SOURCE: 8th International Conference on Artificial Intelligence and Law, ICAIL '01 in Proceedings of the International Conference on Artificial Intelligence and Law, PAGES: 196-205
AUTHORS: Quaresma, P ; Rodrigues, I ;
PUBLISHED: 2001, SOURCE: 8th International Conference on Artificial Intelligence and Law, ICAIL '01 in Proceedings of the International Conference on Artificial Intelligence and Law, PAGES: 196-205
6272
TITLE: Vectorial multipath channel estimation for the UTRA-TDD mode
AUTHORS: Marques, P; Gameiro, A ; Fernandes, J;
PUBLISHED: 2001, SOURCE: 54th IEEE Vehicular Technology Conference (VTC 2001) in IEEE 54TH VEHICULAR TECHNOLOGY CONFERENCE, VTC FALL 2001, VOLS 1-4, PROCEEDINGS, VOLUME: 3, ISSUE: 54ND, PAGES: 1775-1779
AUTHORS: Marques, P; Gameiro, A ; Fernandes, J;
PUBLISHED: 2001, SOURCE: 54th IEEE Vehicular Technology Conference (VTC 2001) in IEEE 54TH VEHICULAR TECHNOLOGY CONFERENCE, VTC FALL 2001, VOLS 1-4, PROCEEDINGS, VOLUME: 3, ISSUE: 54ND, PAGES: 1775-1779
INDEXED IN: Scopus WOS
Scopus WOS6273
TITLE: Virtual-flux-based direct power control of three-phase PWM rectifiers
AUTHORS: Malinowski, M; Kazmierkowski, MP; Hansen, S; Blaabjerg, F; Marques, GD ;
PUBLISHED: 2001, SOURCE: Annual Meeting of the Industry-Applications-Society in IEEE TRANSACTIONS ON INDUSTRY APPLICATIONS, VOLUME: 37, ISSUE: 4, PAGES: 1019-1027
AUTHORS: Malinowski, M; Kazmierkowski, MP; Hansen, S; Blaabjerg, F; Marques, GD ;
PUBLISHED: 2001, SOURCE: Annual Meeting of the Industry-Applications-Society in IEEE TRANSACTIONS ON INDUSTRY APPLICATIONS, VOLUME: 37, ISSUE: 4, PAGES: 1019-1027
6274
TITLE: Visual motion detection with hand-eye manipulator using statistic moments classifiers and fuzzy logic approach - Study, application and comparation
AUTHORS: Amaral, TG; Crisostomo, M ; Pires, VF ; Almeida, AT ;
PUBLISHED: 2001, SOURCE: 27th Annual Conference of the IEEE Industrial-Electronics-Society in IECON'01: 27TH ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY, VOLS 1-3, VOLUME: 1, PAGES: 1926-1931
AUTHORS: Amaral, TG; Crisostomo, M ; Pires, VF ; Almeida, AT ;
PUBLISHED: 2001, SOURCE: 27th Annual Conference of the IEEE Industrial-Electronics-Society in IECON'01: 27TH ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY, VOLS 1-3, VOLUME: 1, PAGES: 1926-1931
6275
TITLE: A benchmark suite for substrate analysis
AUTHORS: Charbon, E; Silveira, L. Miguel ; Miliozzi, P;
PUBLISHED: 2000, SOURCE: 2000 Asia and South Pacific Design Automation Conference, ASP-DAC 2000 in Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC, PAGES: 617-621
AUTHORS: Charbon, E; Silveira, L. Miguel ; Miliozzi, P;
PUBLISHED: 2000, SOURCE: 2000 Asia and South Pacific Design Automation Conference, ASP-DAC 2000 in Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC, PAGES: 617-621
INDEXED IN: Scopus 
CrossRef
Scopus CrossRef6276
TITLE: A comparative study of low-noise logic cells for mixed mode integrated circuits
AUTHORS: Albuquerque, E; Silva, M ;
PUBLISHED: 2000, SOURCE: IEEE International Symposium on Circuits and Systems (ISCAS 2000) in ISCAS 2000: IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS - PROCEEDINGS, VOL V: EMERGING TECHNOLOGIES FOR THE 21ST CENTURY, VOLUME: 5, PAGES: 73-76
AUTHORS: Albuquerque, E; Silva, M ;
PUBLISHED: 2000, SOURCE: IEEE International Symposium on Circuits and Systems (ISCAS 2000) in ISCAS 2000: IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS - PROCEEDINGS, VOL V: EMERGING TECHNOLOGIES FOR THE 21ST CENTURY, VOLUME: 5, PAGES: 73-76
INDEXED IN: Scopus WOS
Scopus WOS6277
TITLE: A comparison of some adaptive-predictive fuzzy-control strategies Full Text
AUTHORS: de Oliveira, JV ; Lemos, JM ;
PUBLISHED: 2000, SOURCE: IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART C-APPLICATIONS AND REVIEWS, VOLUME: 30, ISSUE: 1, PAGES: 138-145
AUTHORS: de Oliveira, JV ; Lemos, JM ;
PUBLISHED: 2000, SOURCE: IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART C-APPLICATIONS AND REVIEWS, VOLUME: 30, ISSUE: 1, PAGES: 138-145
6278
TITLE: A dynamic light-weight group service Full Text
AUTHORS: Rodrigues, L ; Guo, K; Verissimo, P ; Birman, KP;
PUBLISHED: 2000, SOURCE: JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, VOLUME: 60, ISSUE: 12, PAGES: 1449-1479
AUTHORS: Rodrigues, L ; Guo, K; Verissimo, P ; Birman, KP;
PUBLISHED: 2000, SOURCE: JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, VOLUME: 60, ISSUE: 12, PAGES: 1449-1479
6279
TITLE: A negotiation model for intentional agents
AUTHORS: Lopes, F; Mamede, N ; Coelho, H; Novais, AQ;
PUBLISHED: 2000, SOURCE: IFAC Workshop on Multi-Agent-Systems in Production (MAS 99) in MULTI-AGENT-SYSTEMS IN PRODUCTION, PAGES: 161-166
AUTHORS: Lopes, F; Mamede, N ; Coelho, H; Novais, AQ;
PUBLISHED: 2000, SOURCE: IFAC Workshop on Multi-Agent-Systems in Production (MAS 99) in MULTI-AGENT-SYSTEMS IN PRODUCTION, PAGES: 161-166
INDEXED IN: WOS
WOS6280
TITLE: A new ML-based data-aided feedforward symbol synchronizer for burst-mode transmission
AUTHORS: Tavares, GN ; Tavares, LM; Piedade, MS ;
PUBLISHED: 2000, SOURCE: IEEE International Symposium on Circuits and Systems (ISCAS 2000) in ISCAS 2000: IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS - PROCEEDINGS, VOL II: EMERGING TECHNOLOGIES FOR THE 21ST CENTURY, PAGES: 357-360
AUTHORS: Tavares, GN ; Tavares, LM; Piedade, MS ;
PUBLISHED: 2000, SOURCE: IEEE International Symposium on Circuits and Systems (ISCAS 2000) in ISCAS 2000: IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS - PROCEEDINGS, VOL II: EMERGING TECHNOLOGIES FOR THE 21ST CENTURY, PAGES: 357-360
INDEXED IN: WOS
WOS