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
6621
TITLE: TEST PREPARATION METHODOLOGY FOR HIGH COVERAGE OF PHYSICAL DEFECTS IN CMOS DIGITAL ICS Full Text
AUTHORS: SANTOS, MB ; SIMOES, M; TEIXEIRA, I ; TEIXEIRA, JP ;
PUBLISHED: 1995, SOURCE: European Design and Test Conference (ED&TC 1995) in EUROPEAN DESIGN AND TEST CONFERENCE - ED&TC 1995, PROCEEDINGS, PAGES: 604-604
AUTHORS: SANTOS, MB ; SIMOES, M; TEIXEIRA, I ; TEIXEIRA, JP ;
PUBLISHED: 1995, SOURCE: European Design and Test Conference (ED&TC 1995) in EUROPEAN DESIGN AND TEST CONFERENCE - ED&TC 1995, PROCEEDINGS, PAGES: 604-604
INDEXED IN: 
WOS
WOS6622
TITLE: The case for design using the World Wide Web Full Text
AUTHORS: SILVA, MJ ; KATZ, RH;
PUBLISHED: 1995, SOURCE: 32nd Design Automation Conference in 32ND DESIGN AUTOMATION CONFERENCE, PROCEEDINGS 1995, PAGES: 579-585
AUTHORS: SILVA, MJ ; KATZ, RH;
PUBLISHED: 1995, SOURCE: 32nd Design Automation Conference in 32ND DESIGN AUTOMATION CONFERENCE, PROCEEDINGS 1995, PAGES: 579-585
INDEXED IN: WOS
WOS6623
TITLE: Tool management in an electronic CAD framework
AUTHORS: CAMARA, J; SARMENTO, H ;
PUBLISHED: 1995, SOURCE: 1995 IEEE International Symposium on Circuits and Systems (ISCAS-1995) in 1995 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS, VOLS 1-3, VOLUME: 2, PAGES: 928-932
AUTHORS: CAMARA, J; SARMENTO, H ;
PUBLISHED: 1995, SOURCE: 1995 IEEE International Symposium on Circuits and Systems (ISCAS-1995) in 1995 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS, VOLS 1-3, VOLUME: 2, PAGES: 928-932
INDEXED IN: 
Scopus WOS
Scopus WOS6624
TITLE: Unified Logic Programming Approach to the Abduction of Plans and Intentions in Information-Seeking Dialogues
AUTHORS: Paulo Quaresma ; José Gabriel Lopes;
PUBLISHED: 1995, SOURCE: J. Log. Program., VOLUME: 24, ISSUE: 1&2, PAGES: 103-119
AUTHORS: Paulo Quaresma ; José Gabriel Lopes;
PUBLISHED: 1995, SOURCE: J. Log. Program., VOLUME: 24, ISSUE: 1&2, PAGES: 103-119
INDEXED IN: 
DBLP
DBLP6625
TITLE: UNIFIED LOGIC PROGRAMMING APPROACH TO THE ABDUCTION OF PLANS AND INTENTIONS INFORMATION-SEEKING SEEKING DIALOGUES Full Text
AUTHORS: QUARESMA, P ; LOPES, JG;
PUBLISHED: 1995, SOURCE: JOURNAL OF LOGIC PROGRAMMING, VOLUME: 24, ISSUE: 1-2, PAGES: 103-119
AUTHORS: QUARESMA, P ; LOPES, JG;
PUBLISHED: 1995, SOURCE: JOURNAL OF LOGIC PROGRAMMING, VOLUME: 24, ISSUE: 1-2, PAGES: 103-119
6626
TITLE: Using Tailored Failure Suspectors to Support Distributed Cooperative Applications
AUTHORS: François J N Cosquer; Luís Rodrigues ; Paulo Veríssimo ;
PUBLISHED: 1995, SOURCE: Proceedings of the Seventh IASTED/ISMM International Conference on Parallel and Distributed Computing and Systems, Washington, D.C., USA, October 19-21, 1995, PAGES: 352-358
AUTHORS: François J N Cosquer; Luís Rodrigues ; Paulo Veríssimo ;
PUBLISHED: 1995, SOURCE: Proceedings of the Seventh IASTED/ISMM International Conference on Parallel and Distributed Computing and Systems, Washington, D.C., USA, October 19-21, 1995, PAGES: 352-358
INDEXED IN: DBLP
DBLP6627
TITLE: Wireless digital system based on the DECT standard
AUTHORS: Sousa, A; Muchaxo, A; Pereira, N; Sarmento, H ; Vidigal, L;
PUBLISHED: 1995, SOURCE: Proceedings of the 1995 IEEE 38th Midwest Symposium on Circuits and Systems. Part 1 (of 2) in Midwest Symposium on Circuits and Systems, VOLUME: 1, PAGES: 518-521
AUTHORS: Sousa, A; Muchaxo, A; Pereira, N; Sarmento, H ; Vidigal, L;
PUBLISHED: 1995, SOURCE: Proceedings of the 1995 IEEE 38th Midwest Symposium on Circuits and Systems. Part 1 (of 2) in Midwest Symposium on Circuits and Systems, VOLUME: 1, PAGES: 518-521
INDEXED IN: Scopus
Scopus6628
TITLE: 'Coupling thermal step method and thermo-stimulated currents in polymers'
AUTHORS: Santana, J ; Joumha, A; Toureille, A;
PUBLISHED: 1994, SOURCE: Proceedings of the 1994 IEEE Conference on Electrical Insulation & Dielectric Phenomena in Conference on Electrical Insulation and Dielectric Phenomena (CEIDP), Annual Report, PAGES: 183-188
AUTHORS: Santana, J ; Joumha, A; Toureille, A;
PUBLISHED: 1994, SOURCE: Proceedings of the 1994 IEEE Conference on Electrical Insulation & Dielectric Phenomena in Conference on Electrical Insulation and Dielectric Phenomena (CEIDP), Annual Report, PAGES: 183-188
INDEXED IN: Scopus
Scopus6629
TITLE: A BOOST-TYPE CONVERTER FOR DC-SUPPLY OF FLUORESCENT LAMPS Full Text
AUTHORS: SIMOES, AS; SILVA, MM ; ANUNCIADA, AV;
PUBLISHED: 1994, SOURCE: IEEE TRANSACTIONS ON INDUSTRIAL ELECTRONICS, VOLUME: 41, ISSUE: 2, PAGES: 251-255
AUTHORS: SIMOES, AS; SILVA, MM ; ANUNCIADA, AV;
PUBLISHED: 1994, SOURCE: IEEE TRANSACTIONS ON INDUSTRIAL ELECTRONICS, VOLUME: 41, ISSUE: 2, PAGES: 251-255
INDEXED IN: WOS
WOS6630
TITLE: A CONSTRUCTIVE TYPE SCHEMA FOR DISTRIBUTED MULTIMEDIA APPLICATIONS
AUTHORS: PINTO, P; BERNARDO, L ; PEREIRA, P;
PUBLISHED: 1994, SOURCE: 3rd International Conference on Broadband Islands - Connecting with the End-User in BROADBAND ISLANDS '94 - CONNECTING WITH THE END-USER, PAGES: 419-434
AUTHORS: PINTO, P; BERNARDO, L ; PEREIRA, P;
PUBLISHED: 1994, SOURCE: 3rd International Conference on Broadband Islands - Connecting with the End-User in BROADBAND ISLANDS '94 - CONNECTING WITH THE END-USER, PAGES: 419-434
INDEXED IN: WOS
WOS6631
TITLE: A Logic Programming Framework for the Abductive Inference of Intentions in Cooperative Dialogues
AUTHORS: Paulo Quaresma ; José Gabriel Lopes;
PUBLISHED: 1994, SOURCE: 5th International Conferenceon Logic Programming and Automated Reasoning, LPAR 1994 in Logic Programming and Automated Reasoning, 5th International Conference, LPAR'94, Kiev, Ukraine, July 16-22, 1994, Proceedings, VOLUME: 822, PAGES: 189-199
AUTHORS: Paulo Quaresma ; José Gabriel Lopes;
PUBLISHED: 1994, SOURCE: 5th International Conferenceon Logic Programming and Automated Reasoning, LPAR 1994 in Logic Programming and Automated Reasoning, 5th International Conference, LPAR'94, Kiev, Ukraine, July 16-22, 1994, Proceedings, VOLUME: 822, PAGES: 189-199
6632
TITLE: A REPLICATION-TRANSPARENT REMOTE INVOCATION PROTOCOL
AUTHORS: RODRIGUES, L ; SIEGEL, E; VERISSIMO, P ;
PUBLISHED: 1994, SOURCE: 13th Symposium on Reliable Distributed Systems in 13TH SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS, PROCEEDINGS, PAGES: 160-169
AUTHORS: RODRIGUES, L ; SIEGEL, E; VERISSIMO, P ;
PUBLISHED: 1994, SOURCE: 13th Symposium on Reliable Distributed Systems in 13TH SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS, PROCEEDINGS, PAGES: 160-169
INDEXED IN: WOS DBLP
WOS DBLP6633
TITLE: Abductive Inference of Plans and Intentions in Information-Seeking Dialogues
AUTHORS: Paulo Quaresma ; José Gabriel Lopes;
PUBLISHED: 1994, SOURCE: Computer Science 2, PAGES: 377-386
AUTHORS: Paulo Quaresma ; José Gabriel Lopes;
PUBLISHED: 1994, SOURCE: Computer Science 2, PAGES: 377-386
INDEXED IN: 
CrossRef
CrossRef6634
TITLE: ALGORITHMS FOR COUPLED TRANSIENT SIMULATION OF CIRCUITS AND COMPLICATED 3-D PACKAGING
AUTHORS: Silveira, L. Miguel ; KAMON, M; WHITE, J;
PUBLISHED: 1994, SOURCE: 44th Electronic Components and Technology Conference in 44TH ELECTRONIC COMPONENTS & TECHNOLOGY CONFERENCE - 1994 PROCEEDINGS, PAGES: 962-970
AUTHORS: Silveira, L. Miguel ; KAMON, M; WHITE, J;
PUBLISHED: 1994, SOURCE: 44th Electronic Components and Technology Conference in 44TH ELECTRONIC COMPONENTS & TECHNOLOGY CONFERENCE - 1994 PROCEEDINGS, PAGES: 962-970
INDEXED IN: WOS
WOS6635
TITLE: Algorithms for coupled transient simulation of circuits and complicated 3-D packaging
AUTHORS: Silveira, L. Miguel ; Mattan Kamon; Jacob White;
PUBLISHED: 1994, SOURCE: Proceedings of the 1994 IEEE 44th Electronic Components & Technology Conference in Proceedings - Electronic Components and Technology Conference, PAGES: 962-970
AUTHORS: Silveira, L. Miguel ; Mattan Kamon; Jacob White;
PUBLISHED: 1994, SOURCE: Proceedings of the 1994 IEEE 44th Electronic Components & Technology Conference in Proceedings - Electronic Components and Technology Conference, PAGES: 962-970
6636
TITLE: AN ARCHITECTURE FOR RAPID PROTOTYPING OF ELECTRONIC SYSTEMS
AUTHORS: CHICHKOV, AV; ALMEIDA, CB ; MOREIRA, FO; SOARES, S;
PUBLISHED: 1994, SOURCE: 37th Midwest Symposium on Circuits and Systems in PROCEEDINGS OF THE 37TH MIDWEST SYMPOSIUM ON CIRCUITS AND SYSTEMS, VOLS 1 AND 2, VOLUME: 1, PAGES: 347-350
AUTHORS: CHICHKOV, AV; ALMEIDA, CB ; MOREIRA, FO; SOARES, S;
PUBLISHED: 1994, SOURCE: 37th Midwest Symposium on Circuits and Systems in PROCEEDINGS OF THE 37TH MIDWEST SYMPOSIUM ON CIRCUITS AND SYSTEMS, VOLS 1 AND 2, VOLUME: 1, PAGES: 347-350
INDEXED IN: Scopus WOS
Scopus WOS6637
TITLE: AN EFFICIENT APPROACH TO TRANSMISSION LINE SIMULATION USING MEASURED OR TABULATED S-PARAMETER DATA Full Text
AUTHORS: Silveira, L. Miguel ; ELFADEL, IM; WHITE, JK; CHILUKURI, M; KUNDERT, KS;
PUBLISHED: 1994, SOURCE: 31st Design Automation Conference in 31ST DESIGN AUTOMATION CONFERENCE - PROCEEDINGS 1994, PAGES: 634-639
AUTHORS: Silveira, L. Miguel ; ELFADEL, IM; WHITE, JK; CHILUKURI, M; KUNDERT, KS;
PUBLISHED: 1994, SOURCE: 31st Design Automation Conference in 31ST DESIGN AUTOMATION CONFERENCE - PROCEEDINGS 1994, PAGES: 634-639
INDEXED IN: WOS
WOS6638
TITLE: ASYMMETRIC LATCHES AND NONIDEAL PERFORMANCE OF PARALLEL ADCS
AUTHORS: FERNANDES, JR ; SILVA, MM ;
PUBLISHED: 1994, SOURCE: 7th Mediterranean Electrotechnical Conference (MeleCON 94) in 7TH MEDITERRANEAN ELECTROTECHNICAL CONFERENCE, VOLS 1-3, VOLUME: 2, PAGES: 629-632
AUTHORS: FERNANDES, JR ; SILVA, MM ;
PUBLISHED: 1994, SOURCE: 7th Mediterranean Electrotechnical Conference (MeleCON 94) in 7TH MEDITERRANEAN ELECTROTECHNICAL CONFERENCE, VOLS 1-3, VOLUME: 2, PAGES: 629-632
INDEXED IN: Scopus WOS
Scopus WOS6639
TITLE: Bitwise encoding of finite state machines
AUTHORS: Jose Monteiro ; James Kukula; Srinivas Devadas; Horacio Neto;
PUBLISHED: 1994, SOURCE: Proceedings of the 7th International Conference on VLSI Design in Proceedings of the IEEE International Conference on VLSI Design, PAGES: 379-382
AUTHORS: Jose Monteiro ; James Kukula; Srinivas Devadas; Horacio Neto;
PUBLISHED: 1994, SOURCE: Proceedings of the 7th International Conference on VLSI Design in Proceedings of the IEEE International Conference on VLSI Design, PAGES: 379-382
INDEXED IN: Scopus
Scopus6640
TITLE: DESIGN AND PERFORMANCE OF AN ACTIVE POWER FILTER AND UNBALANCED CURRENT COMPENSATOR
AUTHORS: VERDELHO, P; MARQUES, GD ;
PUBLISHED: 1994, SOURCE: 20th International Conference on Industrial Electronics Control and Instrumentation in IECON '94 - 20TH INTERNATIONAL CONFERENCE ON INDUSTRIAL ELECTRONICS, CONTROL AND INSTRUMENTATION, VOL 1-3, VOLUME: 1, PAGES: 422-427
AUTHORS: VERDELHO, P; MARQUES, GD ;
PUBLISHED: 1994, SOURCE: 20th International Conference on Industrial Electronics Control and Instrumentation in IECON '94 - 20TH INTERNATIONAL CONFERENCE ON INDUSTRIAL ELECTRONICS, CONTROL AND INSTRUMENTATION, VOL 1-3, VOLUME: 1, PAGES: 422-427
INDEXED IN: Scopus WOS
Scopus WOS