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
6621
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 WOS6622
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
DBLP6623
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
6624
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
DBLP6625
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
Scopus6626
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
Scopus6627
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
WOS6628
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
WOS6629
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
6630
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 DBLP6631
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
CrossRef6632
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
WOS6633
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
6634
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 WOS6635
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
WOS6636
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 WOS6637
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
Scopus6638
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 WOS6639
TITLE: Direct computation of reduced-order models for circuit simulation of 3-D interconnect structures
AUTHORS: Silveira, L. Miguel ; Mattan Kamon; Jacob White;
PUBLISHED: 1994, SOURCE: Proceedings of the 3rd Topical Meeting on Electrical Performance of Electronic Packaging in IEEE Topical Meeting on Electrical Performance of Electronic Packaging, PAGES: 245-251
AUTHORS: Silveira, L. Miguel ; Mattan Kamon; Jacob White;
PUBLISHED: 1994, SOURCE: Proceedings of the 3rd Topical Meeting on Electrical Performance of Electronic Packaging in IEEE Topical Meeting on Electrical Performance of Electronic Packaging, PAGES: 245-251
INDEXED IN: Scopus
Scopus6640
TITLE: Dynamic Search-Space Pruning Techniques in Path Sensitization
AUTHORS: João Marques Marques Silva ; Karem A. Sakallah;
PUBLISHED: 1994, SOURCE: Proceedings of the 31st Conference on Design Automation, San Diego, California, USA, June 6-10, 1994., PAGES: 705-711
AUTHORS: João Marques Marques Silva ; Karem A. Sakallah;
PUBLISHED: 1994, SOURCE: Proceedings of the 31st Conference on Design Automation, San Diego, California, USA, June 6-10, 1994., PAGES: 705-711
INDEXED IN: DBLP
DBLP