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: 6819
112 Team MembersFilters -> Year: 2024
6641
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
DBLP6642
TITLE: Dynamic search-space pruning techniques in path sensitization Full Text
AUTHORS: Marques Silva Joao, P ; Sakallah Karem, A;
PUBLISHED: 1994, SOURCE: Proceedings of the 31st Design Automation Conference in Proceedings - Design Automation Conference, PAGES: 705-711
AUTHORS: Marques Silva Joao, P ; Sakallah Karem, A;
PUBLISHED: 1994, SOURCE: Proceedings of the 31st Design Automation Conference in Proceedings - Design Automation Conference, PAGES: 705-711
INDEXED IN: 
Scopus
Scopus6643
TITLE: Efficient and robust test generation-based timing analysis
AUTHORS: Marques Silva Joao, P ; Sakallah Karem, A;
PUBLISHED: 1994, SOURCE: Proceedings of the 1994 IEEE International Symposium on Circuits and Systems. Part 3 (of 6) in Proceedings - IEEE International Symposium on Circuits and Systems, VOLUME: 1, PAGES: 303-306
AUTHORS: Marques Silva Joao, P ; Sakallah Karem, A;
PUBLISHED: 1994, SOURCE: Proceedings of the 1994 IEEE International Symposium on Circuits and Systems. Part 3 (of 6) in Proceedings - IEEE International Symposium on Circuits and Systems, VOLUME: 1, PAGES: 303-306
INDEXED IN: Scopus
Scopus6644
TITLE: Efficient and Robust Test Generation-Based Timing Analysis
AUTHORS: João Marques Marques Silva ; Karem A. Sakallah;
PUBLISHED: 1994, SOURCE: 1994 IEEE International Symposium on Circuits and Systems, ISCAS 1994, London, England, UK, May 30 - June 2, 1994, PAGES: 303-306
AUTHORS: João Marques Marques Silva ; Karem A. Sakallah;
PUBLISHED: 1994, SOURCE: 1994 IEEE International Symposium on Circuits and Systems, ISCAS 1994, London, England, UK, May 30 - June 2, 1994, PAGES: 303-306
INDEXED IN: DBLP
DBLP6645
TITLE: Efficient approach to transmission line simulation using measured or tabulated S-parameter data Full Text
AUTHORS: Silveira, L. Miguel ; Ibrahim M Elfadel; Jacob K White; Moni Chilukuri; Kenneth S Kundert;
PUBLISHED: 1994, SOURCE: Proceedings of the 31st Design Automation Conference in Proceedings - Design Automation Conference, PAGES: 634-639
AUTHORS: Silveira, L. Miguel ; Ibrahim M Elfadel; Jacob K White; Moni Chilukuri; Kenneth S Kundert;
PUBLISHED: 1994, SOURCE: Proceedings of the 31st Design Automation Conference in Proceedings - Design Automation Conference, PAGES: 634-639
6646
TITLE: Efficient frequency-domain modeling and circuit simulation of transmission lines
AUTHORS: Silveira, L. Miguel ; I.M Elfadel; J.K White; Chilukuri, M; K.S Kundert;
PUBLISHED: 1994, SOURCE: IEEE Trans. Comp., Packag., Manufact. Technol. B - IEEE Transactions on Components, Packaging, and Manufacturing Technology: Part B, VOLUME: 17, ISSUE: 4, PAGES: 505-513
AUTHORS: Silveira, L. Miguel ; I.M Elfadel; J.K White; Chilukuri, M; K.S Kundert;
PUBLISHED: 1994, SOURCE: IEEE Trans. Comp., Packag., Manufact. Technol. B - IEEE Transactions on Components, Packaging, and Manufacturing Technology: Part B, VOLUME: 17, ISSUE: 4, PAGES: 505-513
INDEXED IN: 
CrossRef
CrossRef6647
TITLE: EFFICIENT FREQUENCY-DOMAIN MODELING AND CIRCUIT SIMULATION OF TRANSMISSION-LINES
AUTHORS: Silveira, L. Miguel ; ELFADEL, IM; WHITE, JK; CHILUKURI, M; KUNDERT, KS;
PUBLISHED: 1994, SOURCE: IEEE 2nd Topical Meeting on the Electrical Performance of Electronic Packaging in IEEE TRANSACTIONS ON COMPONENTS PACKAGING AND MANUFACTURING TECHNOLOGY PART B-ADVANCED PACKAGING, VOLUME: 17, ISSUE: 4, PAGES: 505-513
AUTHORS: Silveira, L. Miguel ; ELFADEL, IM; WHITE, JK; CHILUKURI, M; KUNDERT, KS;
PUBLISHED: 1994, SOURCE: IEEE 2nd Topical Meeting on the Electrical Performance of Electronic Packaging in IEEE TRANSACTIONS ON COMPONENTS PACKAGING AND MANUFACTURING TECHNOLOGY PART B-ADVANCED PACKAGING, VOLUME: 17, ISSUE: 4, PAGES: 505-513
INDEXED IN: Scopus 
WOS
Scopus WOS6648
TITLE: ERROR ANALYSIS OF PARALLEL ANALOGUE TO DIGITAL CONVERTERS
AUTHORS: FERNANDES, JR ; SILVA, MM ;
PUBLISHED: 1994, SOURCE: 1994 IEEE International Symposium on Circuits and Systems in 1994 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS, VOL 5: LINEAR CIRCUITS AND SYSTEMS (LCS) - ANALOG SIGNAL PROCESSING (ASP)
AUTHORS: FERNANDES, JR ; SILVA, MM ;
PUBLISHED: 1994, SOURCE: 1994 IEEE International Symposium on Circuits and Systems in 1994 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS, VOL 5: LINEAR CIRCUITS AND SYSTEMS (LCS) - ANALOG SIGNAL PROCESSING (ASP)
INDEXED IN: WOS
WOS6649
TITLE: Fault modeling and defect level projections in digital ICs
AUTHORS: Sousa, JT; Goncalves, FM ; Teixeira, JP ; Williams, TW;
PUBLISHED: 1994, SOURCE: Proceedings of the European Design and Test Conference in Proceedings of the European Design and Test Conference, PAGES: 436-442
AUTHORS: Sousa, JT; Goncalves, FM ; Teixeira, JP ; Williams, TW;
PUBLISHED: 1994, SOURCE: Proceedings of the European Design and Test Conference in Proceedings of the European Design and Test Conference, PAGES: 436-442
INDEXED IN: Scopus
Scopus6650
TITLE: FUZZY MODEL BASED LONG-RANGE PREDICTIVE CONTROL
AUTHORS: DEOLIVEIRA, JV ; LEMOS, JM ;
PUBLISHED: 1994, SOURCE: 3rd IEEE Conference on Fuzzy Systems/IEEE World Congress on Computational Intelligence in PROCEEDINGS OF THE THIRD IEEE CONFERENCE ON FUZZY SYSTEMS - IEEE WORLD CONGRESS ON COMPUTATIONAL INTELLIGENCE, VOLS I-III, VOLUME: 1, PAGES: 378-381
AUTHORS: DEOLIVEIRA, JV ; LEMOS, JM ;
PUBLISHED: 1994, SOURCE: 3rd IEEE Conference on Fuzzy Systems/IEEE World Congress on Computational Intelligence in PROCEEDINGS OF THE THIRD IEEE CONFERENCE ON FUZZY SYSTEMS - IEEE WORLD CONGRESS ON COMPUTATIONAL INTELLIGENCE, VOLS I-III, VOLUME: 1, PAGES: 378-381
6651
TITLE: Garbage Collection and DSM Consistency
AUTHORS: Paulo Ferreira ; Marc Shapiro;
PUBLISHED: 1994, SOURCE: Proceedings of the First USENIX Symposium on Operating Systems Design and Implementation (OSDI), Monterey, California, USA, November 14-17, 1994, PAGES: 229-241
AUTHORS: Paulo Ferreira ; Marc Shapiro;
PUBLISHED: 1994, SOURCE: Proceedings of the First USENIX Symposium on Operating Systems Design and Implementation (OSDI), Monterey, California, USA, November 14-17, 1994, PAGES: 229-241
INDEXED IN: DBLP
DBLP6652
TITLE: Garbage Collection of Persistent Objects in Distributed Shared Memory
AUTHORS: Paulo Ferreira ; Marc Shapiro;
PUBLISHED: 1994, SOURCE: Persistent Object Systems, Proceedings of the Sixth International Workshop on Persistent Object Systems, Tarascon, Provence, France, 5-9 September 1994, PAGES: 184-199
AUTHORS: Paulo Ferreira ; Marc Shapiro;
PUBLISHED: 1994, SOURCE: Persistent Object Systems, Proceedings of the Sixth International Workshop on Persistent Object Systems, Tarascon, Provence, France, 5-9 September 1994, PAGES: 184-199
INDEXED IN: DBLP
DBLP6653
TITLE: How to avoid cost of causal communication in large-scale Systems
AUTHORS: Luís Rodrigues ; Paulo Veríssimo ;
PUBLISHED: 1994, SOURCE: ACM SIGOPS European Workshop, PAGES: 106-111
AUTHORS: Luís Rodrigues ; Paulo Veríssimo ;
PUBLISHED: 1994, SOURCE: ACM SIGOPS European Workshop, PAGES: 106-111
INDEXED IN: DBLP
DBLP6654
TITLE: LIQUID-LIQUID-EXTRACTION OF A RECOMBINANT PROTEIN, CYTOCHROME B(5) WITH AQUEOUS 2-PHASE SYSTEMS OF POLYETHYLENE-GLYCOL AND POTASSIUM PHOSPHATE SALTS Full Text
AUTHORS: SARMENTO, MJ; PIRES, MJ; CABRAL, JMS ; AIRESBARROS, MR;
PUBLISHED: 1994, SOURCE: JOURNAL OF CHROMATOGRAPHY A, VOLUME: 668, ISSUE: 1, PAGES: 117-120
AUTHORS: SARMENTO, MJ; PIRES, MJ; CABRAL, JMS ; AIRESBARROS, MR;
PUBLISHED: 1994, SOURCE: JOURNAL OF CHROMATOGRAPHY A, VOLUME: 668, ISSUE: 1, PAGES: 117-120
INDEXED IN: Scopus WOS
Scopus WOS6655
TITLE: MATHEMATICAL-MODELING OF INDUSTRIAL PILOT-PLANT PENICILLIN-G FED-BATCH FERMENTATIONS
AUTHORS: MENEZES, JC ; ALVES, SS; LEMOS, JM ; DEAZEVEDO, SF ;
PUBLISHED: 1994, SOURCE: JOURNAL OF CHEMICAL TECHNOLOGY AND BIOTECHNOLOGY, VOLUME: 61, ISSUE: 2, PAGES: 123-138
AUTHORS: MENEZES, JC ; ALVES, SS; LEMOS, JM ; DEAZEVEDO, SF ;
PUBLISHED: 1994, SOURCE: JOURNAL OF CHEMICAL TECHNOLOGY AND BIOTECHNOLOGY, VOLUME: 61, ISSUE: 2, PAGES: 123-138
INDEXED IN: Scopus WOS
Scopus WOS6656
TITLE: Measure of space charges by the thermal step method
AUTHORS: Toureille, A; Santana, J ; Joumha, A; Vella, N;
PUBLISHED: 1994, SOURCE: Proceedings of the 1994 IEEE 4th International Conference on Properties and Applications of Dielectric Materials. Part 2 (of 2) in Proceedings of the IEEE International Conference on Properties and Applications of Dielectric Materials, VOLUME: 2, PAGES: 721-724
AUTHORS: Toureille, A; Santana, J ; Joumha, A; Vella, N;
PUBLISHED: 1994, SOURCE: Proceedings of the 1994 IEEE 4th International Conference on Properties and Applications of Dielectric Materials. Part 2 (of 2) in Proceedings of the IEEE International Conference on Properties and Applications of Dielectric Materials, VOLUME: 2, PAGES: 721-724
INDEXED IN: Scopus
Scopus6657
TITLE: Methodology for efficient estimation of switching activity in sequential logic circuits Full Text
AUTHORS: Jose Monteiro ; Srinivas Devadas; Bill Lin;
PUBLISHED: 1994, SOURCE: Proceedings of the 31st Design Automation Conference in Proceedings - Design Automation Conference, PAGES: 12-17
AUTHORS: Jose Monteiro ; Srinivas Devadas; Bill Lin;
PUBLISHED: 1994, SOURCE: Proceedings of the 31st Design Automation Conference in Proceedings - Design Automation Conference, PAGES: 12-17
INDEXED IN: Scopus
Scopus6658
TITLE: On the analysis of routing, cells and adjacency faults in CMOS digital circuits Full Text
AUTHORS: Casimiro, AP; Santos, MB ; Goncalves, F ; Teixeira, JP ;
PUBLISHED: 1994, SOURCE: Proceedings of the 1994 IEEE International Workshop on Defect and Fault Tolerance in VLSI Systems in IEEE International Workshop on Defect and Fault Tolerance in VLSI Systems, PAGES: 263-270
AUTHORS: Casimiro, AP; Santos, MB ; Goncalves, F ; Teixeira, JP ;
PUBLISHED: 1994, SOURCE: Proceedings of the 1994 IEEE International Workshop on Defect and Fault Tolerance in VLSI Systems in IEEE International Workshop on Defect and Fault Tolerance in VLSI Systems, PAGES: 263-270
INDEXED IN: Scopus
Scopus6659
TITLE: ON THE CONVERGENCE OF THE CLASSIC HYDROTHERMAL COORDINATION ALGORITHM
AUTHORS: FERREIRA, LAFM ;
PUBLISHED: 1994, SOURCE: IEEE TRANSACTIONS ON POWER SYSTEMS, VOLUME: 9, ISSUE: 2, PAGES: 1002-1008
AUTHORS: FERREIRA, LAFM ;
PUBLISHED: 1994, SOURCE: IEEE TRANSACTIONS ON POWER SYSTEMS, VOLUME: 9, ISSUE: 2, PAGES: 1002-1008
INDEXED IN: Scopus WOS
Scopus WOS6660
TITLE: ON THE STABILITY OF SYMMETRIC ADAPTIVE DECORRELATION
AUTHORS: SILVA, FM ; ALMEIDA, LB ;
PUBLISHED: 1994, SOURCE: 1994 IEEE International Conference on Neural Networks (ICNN 94) - 1st IEEE World Congress on Computational Intelligence in 1994 IEEE INTERNATIONAL CONFERENCE ON NEURAL NETWORKS, VOL 1-7, VOLUME: 1, PAGES: 66-71
AUTHORS: SILVA, FM ; ALMEIDA, LB ;
PUBLISHED: 1994, SOURCE: 1994 IEEE International Conference on Neural Networks (ICNN 94) - 1st IEEE World Congress on Computational Intelligence in 1994 IEEE INTERNATIONAL CONFERENCE ON NEURAL NETWORKS, VOL 1-7, VOLUME: 1, PAGES: 66-71
INDEXED IN: Scopus WOS
Scopus WOS