Instituto de Engenharia de Sistemas e Computadores (INESC ID)

Publications Actions
Publicações no Perfil Institucional do Authenticus

Uma Instituição (Grupo) no Authenticus é uma organização que engloba um conjunto de Investigadores (equipa da Instituição ou do Grupo). O conjunto de Investigadores depende da estrutura organizacional da instituição em cada ano e pode ser definido no perfil da Instituição, na secção “Investigadores”. Com base na equipa definida, o Authenticus produz listas de publicações, estatísticas e relatórios institucionais.

As publicações listadas no perfil da Instituição no Authenticus dependem de dois parâmetros:

  • Investigadores associados à equipa da Instituição em cada ano.
  • Origem das Publicações.

As publicações associadas à Instituição podem ter três origens:

  • Publicações validadas pelos membros da equipa - Inclui todas as publicações validadas pelos membros da equipa; é necessário que a equipa da Instituição esteja definida.
  • Todas as Publicadas pelos membros da equipa - Inclui todas as anteriores mais aquelas em que um dos autores foi identificado com um membro da equipa, ainda que não tenha sido validada; é necessário que a equipa da Instituição esteja definida.
  • Com Base na Afiliação - inclui todas as publicações que têm a Instituição ou o Grupo mencionado na afiliação; não é necessário que a equipa da Instituição esteja definida mas, por outro lado, não é garantido que todas as publicações da Instituição sejam listadas.
External   Internal

Update Citation

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!

Update PrePrints

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!

Publications Count: 6819

112 Team Members
Filters -> Year: 2024
6561
TÍTULO: Conflict analysis in search algorithms for satisfiability
AUTORES: Silva, JPM ; Sakallah, KA;
PUBLICAÇÃO: 1996, FONTE: 8th IEEE International Conference on Tools with Artificial Intelligence (TAI 96) in EIGHTH IEEE INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE, PROCEEDINGS, PÁGINAS: 467-469
INDEXADO EM: Scopus WOS DBLP
6562
TÍTULO: Control of a slip power recovery system with a DC voltage intermediate circuit  Full Text
AUTORES: Marques, GD ; Verdelho, P;
PUBLICAÇÃO: 1996, FONTE: 27th Annual IEEE Power Electronics Specialists Conference (PESC 96) in PESC 96 RECORD - 27TH ANNUAL IEEE POWER ELECTRONICS SPECIALISTS CONFERENCE, VOLS I AND II, VOLUME: 2, PÁGINAS: 1787-1792
INDEXADO EM: Scopus WOS CrossRef
6563
TÍTULO: DC voltage regulator stability of PWM voltage rectifiers
AUTORES: Verdelho, P; Marques, GD ;
PUBLICAÇÃO: 1996, FONTE: IEEE International Symposium on Industrial Electronics (ISIE 96) in ISIE'96 - PROCEEDINGS OF THE IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS, VOLS 1 AND 2, VOLUME: 2, PÁGINAS: 796-801
INDEXADO EM: Scopus WOS
6564
TÍTULO: Defect level evaluation in an IC design environment  Full Text
AUTORES: deSousa, JT; Goncalves, FM ; Teixeira, JP; Marzocca, C; Corsi, F; Williams, TW;
PUBLICAÇÃO: 1996, FONTE: IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, VOLUME: 15, NÚMERO: 10, PÁGINAS: 1286-1293
INDEXADO EM: Scopus WOS
6565
TÍTULO: Defect-oriented IC test and diagnosis using VHDL fault simulation  Full Text
AUTORES: Celeiro, F; Dias, L; Ferreira, J; Santos, MB; Teixeira, JP ;
PUBLICAÇÃO: 1996, FONTE: 1996 International Test Conference (ITC 1996) - Test and Design Validity in INTERNATIONAL TEST CONFERENCE 1996, PROCEEDINGS, PÁGINAS: 620-628
INDEXADO EM: Scopus WOS
6566
TÍTULO: Designing Distributed Databases from an Organisational Perspective
AUTORES: António Rito Silva; Helena Galhardas ; Paulo Sousa; Jorge G. Silva; Pedro Sousa;
PUBLICAÇÃO: 1996, FONTE: Proceedings of the Fourth European Conference on Information Systems, ECIS 1996, Lisbon, Portugal, 1996, PÁGINAS: 57-74
INDEXADO EM: DBLP
6567
TÍTULO: Distribution network expansion planning under uncertainty: A hedging algorithm in an evolutionary approach
AUTORES: Carvalho, PMS ; Ferreira, LAFM ; Lobo, FG ; Barruncho, LMF;
PUBLICAÇÃO: 1996, FONTE: 20th International Conference on Power Industry Computer Applications (PICA 97) in PROCEEDINGS OF THE 20TH INTERNATIONAL CONFERENCE ON POWER INDUSTRY COMPUTER APPLICATIONS, PÁGINAS: 10-15
INDEXADO EM: Scopus WOS
6568
TÍTULO: Efficient Communication in a Design Environment  Full Text
AUTORES: Idalina Videira; Paulo Veríssimo ; Helena Sarmento ;
PUBLICAÇÃO: 1996, FONTE: DAC, PÁGINAS: 169-174
INDEXADO EM: DBLP CrossRef
6569
TÍTULO: Efficient communication in a design environment  Full Text
AUTORES: Videira, I; Verissimo, P ; Sarmento, H ;
PUBLICAÇÃO: 1996, FONTE: 33rd Design Automation Conference in 33RD DESIGN AUTOMATION CONFERENCE, PROCEEDINGS 1996, PÁGINAS: 169-174
INDEXADO EM: Scopus WOS CrossRef
6570
TÍTULO: Efficient reduced-order modeling of frequency-dependent coupling inductances associated with 3-D interconnect structures
AUTORES: Silveira, L. Miguel ; Kamon, M; White, J;
PUBLICAÇÃO: 1996, FONTE: IEEE TRANSACTIONS ON COMPONENTS PACKAGING AND MANUFACTURING TECHNOLOGY PART B-ADVANCED PACKAGING, VOLUME: 19, NÚMERO: 2, PÁGINAS: 283-288
INDEXADO EM: Scopus WOS CrossRef
6571
TÍTULO: GRASP - A new search algorithm for satisfiability  Full Text
AUTORES: Silva, JPM ; Sakallah, KA;
PUBLICAÇÃO: 1996, FONTE: 1996 IEEE/ACM International Conference on Computer-Aided Design in 1996 IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN - DIGEST OF TECHNICAL PAPERS, PÁGINAS: 220-227
INDEXADO EM: Scopus WOS DBLP
6572
TÍTULO: HW/SW specification using OOM techniques  Full Text
AUTORES: Calha, M; Teixeira, JP ; Teixeira, IC ;
PUBLICAÇÃO: 1996, FONTE: 7th IEEE International Workshop on Rapid System Prototyping - Shortening the Path from Specification to Prototype in SEVENTH IEEE INTERNATIONAL WORKSHOP ON RAPID SYSTEM PROTOTYPING, PROCEEDINGS: SHORTENING THE PATH FROM SPECIFICATION TO PROTOTYPE, PÁGINAS: 96-101
INDEXADO EM: Scopus WOS CrossRef
6573
TÍTULO: Induction generator excited by current source inverter used as a DC power supply - Modelling and behaviour
AUTORES: Margato, E ; Santana, J ;
PUBLICAÇÃO: 1996, FONTE: IEEE International Symposium on Industrial Electronics (ISIE 96) in ISIE'96 - PROCEEDINGS OF THE IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS, VOLS 1 AND 2, VOLUME: 2, PÁGINAS: 814-819
INDEXADO EM: Scopus WOS
6574
TÍTULO: Integrated approach for circuit and fault extraction of VLSI circuits
AUTORES: Goncalves, FM ; Teixeira, IC ; Teixeira, JP ;
PUBLICAÇÃO: 1996, FONTE: 1996 IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems in 1996 IEEE INTERNATIONAL SYMPOSIUM ON DEFECT AND FAULT TOLERANCE IN VLSI SYSTEMS, PROCEEDINGS, PÁGINAS: 96-104
INDEXADO EM: Scopus WOS
6575
TÍTULO: Larchant: Persistence by Reachability in Distributed Shared Memory Through Garbage Collection
AUTORES: Paulo Ferreira ; Marc Shapiro;
PUBLICAÇÃO: 1996, FONTE: Proceedings of the 1996 16th International Conference on Distributed Computing Systems in Proceedings of the 16th International Conference on Distributed Computing Systems, Hong Kong, May 27-30, 1996, PÁGINAS: 394-401
INDEXADO EM: Scopus DBLP CrossRef
6576
TÍTULO: Limits of Exact Algorithms For Inference of Minimum Size Finite State Machines
AUTORES: Arlindo L Oliveira ; Stephen Edwards;
PUBLICAÇÃO: 1996, FONTE: Algorithmic Learning Theory, 7th International Workshop, ALT '96, Sydney, Australia, October 23-25, 1996, Proceedings, VOLUME: 1160, PÁGINAS: 59-66
INDEXADO EM: Scopus DBLP CrossRef
6577
TÍTULO: NMOS current-balanced logic
AUTORES: Albuquerque, E; Fernandes, J ; Silva, M;
PUBLICAÇÃO: 1996, FONTE: ELECTRONICS LETTERS, VOLUME: 32, NÚMERO: 11, PÁGINAS: 997-998
INDEXADO EM: Scopus WOS CrossRef
6578
TÍTULO: Object orientation applied in intelligent systems
AUTORES: Paraiso, EC; Silveira, L. Miguel ; Ramos, MP; Kaestner, CAA;
PUBLICAÇÃO: 1996, FONTE: 3rd World Congress on Expert Systems on Critical Technology in CRITICAL TECHNOLOGY: PROCEEDINGS OF THE THIRD WORLD CONGRESS ON EXPERT SYSTEMS, VOLS I AND II, PÁGINAS: 561-568
INDEXADO EM: WOS
6579
TÍTULO: Organizational management system in an heterogeneous environment - A WWW case study
AUTORES: Silva, A; Borbinha, J ; Delgado, J;
PUBLICAÇÃO: 1996, FONTE: International Workshop on Hypermedia Design (IWHD 95) in HYPERMEDIA DESIGN, PÁGINAS: 196-198
INDEXADO EM: WOS
6580
TÍTULO: Park's currents linear control stability analysis of the PWM voltage converter connected to the AC mains.
AUTORES: Verdelho, P; Marques, GD ;
PUBLICAÇÃO: 1996, FONTE: IEEE International Symposium on Industrial Electronics (ISIE 96) in ISIE'96 - PROCEEDINGS OF THE IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS, VOLS 1 AND 2, VOLUME: 2, PÁGINAS: 905-910
INDEXADO EM: Scopus WOS

Results per Page: 20.
Página 329 de 341. Total de resultados: 6819.