Ana Clara Lopes Marques
AuthID: R-000-0MR
101
TITLE: Automatic generation of accurate circuit models of 3-D interconnect
AUTHORS: Kamon, M; Marques, A; Silveira, L. Miguel ; White, J;
PUBLISHED: 1998, SOURCE: IEEE TRANSACTIONS ON COMPONENTS PACKAGING AND MANUFACTURING TECHNOLOGY PART B-ADVANCED PACKAGING, VOLUME: 21, ISSUE: 3
AUTHORS: Kamon, M; Marques, A; Silveira, L. Miguel ; White, J;
PUBLISHED: 1998, SOURCE: IEEE TRANSACTIONS ON COMPONENTS PACKAGING AND MANUFACTURING TECHNOLOGY PART B-ADVANCED PACKAGING, VOLUME: 21, ISSUE: 3
102
TITLE: Extracting algorithms from intuitionistic proofs Full Text
AUTHORS: Ferreira, F ; Marques, A;
PUBLISHED: 1998, SOURCE: MATHEMATICAL LOGIC QUARTERLY, VOLUME: 44, ISSUE: 2
AUTHORS: Ferreira, F ; Marques, A;
PUBLISHED: 1998, SOURCE: MATHEMATICAL LOGIC QUARTERLY, VOLUME: 44, ISSUE: 2
