Anexo F

Relação de Doutoramentos e Equivalências aDoutoramento por Universidades Portuguesas entre1980 e 1998

Domínio: Engenharia Electrotécnica e Informática

Adaptado de: http://www.oct.mct.pt/htmldout/bdintro.htm

Ordenação alfabética por Apelido de Autor (449 registos)

Cada registo é composto por 5 campos, nomeadamente e por ordem de aparição: Nome do autor, Tipo de

doutoramento (nacional ou equivalência), Universidade que conferiu o grau, Ano de obtenção do grau e

Título do doutoramento. Para alguns dos registos, certos campos não se encontram disponíveis.

f.2

Abrantes, Arnaldo Joaquim de CastroNacionalUniversidade Técnica de Lisboa1998Extracção e Seguimento de Contornos de Objectos: Uma Perspectiva Unificadora

Abrantes, Maria da Graça Côrte-Real Mira da SilvaNacionalUniversidade Técnica de Lisboa1998Contribuições para uma Metodologia de Desenvolvimento de Sistemas de Informação Geográfica

Abreu, Salvador Luís de Bethencourt Pinto deNacionalUniversidade Nova de Lisboa1994Improving the Parallel Execution of Logic Programs

Albuquerque, Augusto AfonsoEquivalênciaUniversidade Técnica de Lisboa1982Partial Response and Bandwidth Efficient Systems

Alegria, Carlos Manuel do AmaralEquivalênciaUniversidade Técnica de Lisboa1980Microprocessor Control of Converters for Direct Current Transmission

Alferes, José Júlio AlvesNacionalUniversidade Nova de Lisboa1993Semantics of Logic Programs With Explicit Negation

Almeida, António Manuel de Brito Ferrari deEquivalênciaUniversidade de Aveiro1983A Unified Approach to the Selection of Parallel Multiplier Algorithms and Structures in a LSI/VLSIEnvironment

Almeida, Carlos Francisco Beltran Tavares deNacionalUniversidade Técnica de Lisboa1985Simulação Lógica por Oito Valores para Verificação do Projecto de Circuitos Digitais Incluindo ElementosBidireccionais

f.3

Almeida, Luís António Tadeu dos SantosNacionalUniversidade Técnica de Lisboa1984Desenvolvimento de Modelos de Controle de Stocks em Sistemas Industriais

Almeida, Luís Henrique Martins Borges deNacionalUniversidade Técnica de Lisboa1983Modelamento Espectral Não Estacionário da Fala Vozeada

Almeida, Pedro Henrique e Figueiredo Quaresma deNacionalUniversidade do Minho1998nd

Alves, Artur PimentaEquivalênciaUniversidade do Porto1982Slant Path Microwave Propagation Studies Using the Orbital Test Satellite

Amaral, Luís Alfredo Martins doNacionalUniversidade do Minho1995Praxis - Um Referencial para o Planeamento de Sistemas de Informação

Amaral, Paulo Fernando Vieira de Carvalho Cardoso doEquivalênciaUniversidade Técnica de Lisboa1996nd

Antunes, Carlos Alberto Henggeler CarvalhoNacionalUniversidade de Coimbra1992Apoio em Decisão em Programação Linear Multiobjecto: Um Modelo para O Planeamento Estratégico deRedes de Telecomunicações

Antunes, Carlos Fernando Ramos LemosEquivalênciaUniversidade de Coimbra1982Finite Element Solution of Electromagnetic Field Problems

f.4

Antunes, Pedro Alexandre de RomãoNacionalUniversidade Técnica de Lisboa1997Organizações, Grupos e Tecnologia: Suporte Computacional a Processos de Interacção e Decisão em Grupo

Anunciada, António Victor AragãoNacionalUniversidade Técnica de Lisboa1993Controlo de Conversores Comutados em Modo de Corrente Duplo

Aparício, Joaquim António Marques NunesNacionalUniversidade Nova de Lisboa1994Logic Programming: A Tool for Reasoning

Araújo, Armando Luís de SousaNacionalUniversidade do Porto1998Optimização das Características de Funcionamento de Interruptores Estáticos, Totalmente Controlados,Aplicados em Conversores de Média Potência

Araújo, Hélder JesusNacionalUniversidade de Coimbra1989Metodologias para a Análise de Texturas Baseadas no Conceito de Memória Associativa

Arroz, Guilherme Diniz Moreno da SilvaNacionalUniversidade Técnica de Lisboa1986Rede Local de Computadores para Ambientes de Tempo Real

Assunção, José Manuel VenturaEquivalênciaUniversidade da Beira Interior1996The Design of a Fuzzy Logic System for Control of an Unmanned Aircraft

Assunção, Pedro António AmadoEquivalênciaUniversidade de Coimbra1998Video Transcoding for Matching Network Bandwidth Constraints

f.5

Azevedo, José Luís Costa PintoNacionalUniversidade de Aveiro1998Programação e Simulação de Controladores Lógicos Programáveis - Uma Metodologia, Um Sistema

Azevedo, Paulo Jorge de SousaEquivalênciaUniversidade do Minho1996Techniques for Preventing Recomputation in Logic Programs

Baptista, José Carlos TrigoEquivalênciaUniversidade de Trás-Os-Montes e Alto Douro1992Equivalence of The Arbiter, The Synchoronizer, The Lactch and The Inertial Delay

Baptista, Rui Miguel Loureiro NobreEquivalênciaUniversidade Técnica de Lisboa1998An Empirical Study of Innovation, Entry and Diffusion in Industrial Clusters

Barahona, Pedro Manuel Correa Calvente deEquivalênciaUniversidade Técnica de Lisboa1987Specification and Control of Execution of Nondeterministic Dataflow Program

Barata, Manuel MartinsNacionalUniversidade Nova de Lisboa1997Monitorização e Prognóstico de Anomalias em Processos de Fabricação com Máquinas Industriais. UmSistema de Supervisão Baseado em Aprendizagem Artificial.

Barbosa, Afonso Manuel SantosNacionalUniversidade Técnica de Lisboa1984Radiação Electromagnética Associada a Estruturas de Planos Reactivos

Barbosa, Fernando Pires MacielEquivalênciaUniversidade do Porto1980Bulk Power Systems Reability Evaluation.

f.6

Barroca, Leonor Maria Melo TorcatoEquivalênciaUniversidade do Minho1990University of Southampton - Formal Models for Systems Prototyping

Barros, José Bernardo dos Santos Monteiro Vieira deEquivalênciaUniversidade do Minho1995Semantics of Non-Terminating Systems Through Term Rewriting

Barros, Maria Teresa Nunes Padilha Castro Correia deNacionalUniversidade Técnica de Lisboa1985Efeito Carga em Linhas de Transporte de Energia

Barroso, Victor Alberto NevesNacionalUniversidade Técnica de Lisboa1990Configuradores Óptimos de Feixe L2 e L1 na Presença de Fontes Coerentes ou de Falhas de Sensores

Barruncho, Luís Manuel FigueiredoNacionalUniversidade Técnica de Lisboa1993Advanced Applications and Architectures in Energy Managemen T Systems

Belo, Carlos Alberto de CarvalhoNacionalUniversidade Técnica de Lisboa1990Desenho Qualitativo de Filtros Estocásticos Não-Lineares

Belo, Orlando Manuel de OliveiraNacionalUniversidade do Minho1998Um Ambiente Computacional Distribuído para a Implementação de Sistemas Multiagente

Bento, Carlos Manuel Robalo LisboaNacionalUniversidade de Coimbra1996Raciocínio Baseado em Casos Descritos e Explicados de Modo Imperfeito

f.7

Bernardo, João Carlos MartinsNacionalUniversidade Técnica de Lisboa1996Automatização Industrial de Corte de Modelos Bidimensionais e Irregulares - Uma Aproximação Baseada emObjectos

Borges, António Rui de Oliveira e SilvaNacionalUniversidade de Aveiro1995Estruturas Computacionais para Construção de Imagem em Tomografia

Borges, Maria Beatriz Mendes Batalha Vieira VNacionalUniversidade Técnica de Lisboa1990Conversor de Corrente Contínua - Corrente Alternada com Andar Ressonante de Alta Frequência

Branco, Paulo José da CostaNacionalUniversidade Técnica de Lisboa1998Aprendizagem por Exemplos Utilizando Lógica “Fuzzy” na Modelização e Controlo de um AccionamentoElectro-Hidráulico

Branco, Vasco Afonso da SilvaNacionalUniversidade do Porto1997IDS (Intuitive Design System): Interacção Intuitiva com Sistemas CAD 3D

Braz, Maria Helena Lima BatistaEquivalênciaUniversidade Técnica de Lisboa19914 MMAD-Um Modelo para Modelagem em Sistemas de Apoio à Decisão

Brazdil, Pavel BernardEquivalênciaUniversidade Nova de Lisboa1983A Model for Error Detection and Correction

Brazio, José Manuel Rego LourençoEquivalênciaUniversidade Técnica de Lisboa1988Capacity Analysis of Multihop Packer Radio Networks Under a General Class of Channel Access Protocols andCapture Modes

f.8

Buf, Johannes Martinus Hubertina DuEquivalênciaUniversidade do Algarve1997Spatial Characteristics of Brightness and Apparent-Contrast Perception

Cabrita, Carlos Manuel PereiraNacionalUniversidade Técnica de Lisboa1988Motor Linear de Indução Análise Teórica, Projecto e Ensaio

Calejo, Miguel Cruz CostaNacionalUniversidade Nova de Lisboa1992A Framework for Declarative Prolog Debugging

Campilho, Aurélio Joaquim de CastroNacionalUniversidade do Porto1985O Reconhecimento de Imagem na Classificação Automática de Produtos Naturais

Cao, Si-QiNacionalUniversidade de Aveiro1997Topics in Multiresolution and Filter Banks

Carapuça, Rogério dos SantosNacionalUniversidade Técnica de Lisboa1988Representação em Base de Dados de Conhecimento. Produção de Representações e Instrumentos deInteracção

Cardeira, Carlos BatistaEquivalênciaUniversidade Técnica de Lisboa1995Ordannancement Temps Reel par Reseaux de Neurones

Cardoso, António João MarquesNacionalUniversidade de Coimbra1995Diagnóstico e Análise da Ocorrência de Excentridade Estática em Motores de Indução Trifásicos, Através daAplicação da Transformada Complexa Espacial (Vector de Park)

f.9

Cardoso, Artur Agostinho dos Santos CapeloEquivalênciaUniversidade do Porto1988

Cardoso, Fernando Amílcar BandeiraNacionalUniversidade de Coimbra1993Diagnóstico de Anomalias em Sistemas Dinâmicos, com Base em Modelos Qualitativos

Cardoso, Francisco José AlmeidaEquivalênciaUniversidade de Coimbra1989A Distributed System for Laboratory Process Automation

Carpentier, Michel Pierre JeanNacionalUniversidade Técnica de Lisboa1982Representação de Campo Electromagnético em Estruturas Abertas

Carrapatoso, Eurico Manuel Elias de MoraisEquivalênciaUniversidade do Porto1988Design and Simulation of Metropolitan Area Networks

Carravilla, Maria Antónia da Silva LopesNacionalUniversidade do Porto1996Modelos e Algoritmos para o Planeamento Hierárquico da Produção: Aplicações a um Caso de Estudo

Cartaxo,Adolfo da Visitação TregeiraNacionalUniversidade Técnica de Lisboa1992Optimização de Circuito de Sincronismo em Receptores Ópticos com Detecção Directa

Carvalho, Adriano da SilvaNacionalUniversidade do Porto1989Optimização de Conteúdo Harmónico em Sistemas de Controle de Velocidade de Motores AssíncronosTrifásicos

f.10

Carvalho, Francisco Manuel Madureira e Castro Vasques deEquivalênciaUniversidade do Porto1996Sur L'integration de Mechanisme D'ordoncement et de Communication dans Le Sons-Couche Mac de ReseauxLocaux Temps-Reel

Carvalho, João Álvaro Brandão Soares deEquivalênciaUniversidade do Minho1992MBKB (Business Meta Knowledge Base): A Repository of Models for Assisting The Management andDevelopment of Organizational Information Systems

Carvalho, Joaquim André M. Nunes deEquivalênciaUniversidade Técnica de Lisboa1989The Electromechanical Filter and its Performance in the D.C.Transmission Systems

Carvalho, Maria Inês Barbosa deEquivalênciaUniversidade do Porto1996

Carvalho, Paulo Manuel Martins deEquivalênciaUniversidade do Minho1997Interaction of Periodic Bursty Traffic Flows in Atm Networks

Casaca, Augusto Júlio DominguesEquivalênciaUniversidade Técnica de Lisboa1980A Simulation System for Computer Science Education Based on a Microprocessor Controlled Terminal

Casimiro, António Manuel Esteves dos SantosNacionalUniversidade do Porto1991A Relação Básica da Radiação

Castro, Rui Manuel Gameiro deNacionalUniversidade Técnica de Lisboa1994Equivalentes Dinâmicos de Parques Eólicos

f.11

Cercas, Francisco António BuchoNacionalUniversidade Técnica de Lisboa1996A New Familiy of Codes for Simple Receiver Implementation

Chichkov, Anton VelinovNacionalUniversidade Técnica de Lisboa1998Metodologia de Co-Projecto Hardware/Software para Arquitecturas Computacionais ReconfiguráveisUtilizando uma Partição Baseada no Paralelismo Implícito

Chousal, Maria de Fátima de CastroEquivalênciaUniversidade do Porto1996Étude et Réalisation D’outils de Cao en Vue du Test et de L’implantation de Commandes NumériquesD’ensembles Convertisseurs Statisques/Machines Électriques

Clímaco, João Carlos NamoradoNacionalUniversidade de Coimbra1982Programação Matemática com Objectivos Múltiplos(Alguns Problemas e Uma Aplicação Ao Planeamento deCentrais Produtoras de Energia Eléctrica)

Coelho, Hélder Manuel FerreiraEquivalênciaUniversidade Nova de Lisboa1980A Program Conversing in Portuguese Providing a Library Service

Coelho, José Luís BentoEquivalênciaUniversidade Técnica de Lisboa1983Acoustic Characteristics of Perforate Liners in Expansion Chambers

Coimbra, António Paulo Mendes Breda DiasNacionalUniversidade de Coimbra1996Desenvolvimento de um Sistema Integrado Electro-Magneto-Térmico a 2D e 3D para Análise e Optimizaçãode Dispositivos Eléctricos

f.12

Coito, Fernando José Almeida Vieira deNacionalUniversidade Técnica de Lisboa1996Controlo Adaptativo Preditivo: Propriedades de Seguimento e Robustez

Conde, João Pedro Estrela RodriguesEquivalênciaUniversidade Técnica de Lisboa1991Bandgap Engeneering of Amorphous Silicon-Germanium Alloys

Cordeiro, Manuel da RessureiçãoNacionalUniversidade de Trás-Os-Montes e Alto Douro1995Métodos Computacionais para o Tratamento Eficiente dos Parâmetros Fundamentais, no Projecto, Execuçãoe Exploração das Redes de Terra em Instalações Eléctricas

Correia, Américo Manuel CarapetoNacionalUniversidade Técnica de Lisboa1994Sistema de Espalhamento de Espectro em Rádio Móvel Digital

Correia, António Dourado PereiraEquivalênciaUniversidade de Coimbra1984Production D’ethanol dans une Cascade de Fermenteurs: Contribution A la Modelisation, L’identification etOptimisation

Correia, António Manuel Assis GusmãoNacionalUniversidade Técnica de Lisboa1987Técnicas de Modulação e Detecção para Comunicação Digital Via Rádio

Correia, Carlos Manuel Bolota AlexandreNacionalUniversidade de Coimbra1985Métodos de Aquisição e Processamento de Sinais em Electrónica Nuclear

Correia, Luís Manuel de Jesus SousaNacionalUniversidade Técnica de Lisboa1991Rerradiação por Corpos Condutores de Geometria Arbitrária na Região de Ressonância

f.13

Correia, Luís Miguel ParreiraNacionalUniversidade Nova de Lisboa1995Veículos Autónomos Baseados em Comportamentos - Um Modelo de Controlo de Decisão

Correia, Nuno Manuel RobaloNacionalUniversidade Técnica de Lisboa1998Processamento Semântico de Informação Multimédia

Côrte-Real, Luís António Pereira de MenesesNacionalUniversidade do Porto1994Quantificação Vectorial Aplicada a Vidro Digital de Baixa Cadência

Cosquer, Francois Jean NicolasNacionalUniversidade Técnica de Lisboa1996Large Scale Distribution Support for Cooperative Applications

Costa, Artur Manuel Figueiredo FernandesNacionalUniversidade do Porto1991Análise de Funcionamento Térmico de Transformadores Secos de Enrolamentos Moldados

Costa, Bertinho Manuel D'andrade daNacionalUniversidade Técnica de Lisboa1996Controlo Preditivo de Horizonte Estendido em Tempo Contínuo: Os Algoritmos Adaptativos "Ctmusmar" e"Emusmar"

Costa, Carlos Manuel Gutierrez Sá daEquivalênciaUniversidade Técnica de Lisboa1995Architecture to Support ACTM and SDH Interconnections

Costa, Ernesto Jorge FernandesNacionalUniversidade de Coimbra1985Estudo e Implementação de um Sistema Automático de Transformação de Programas Recursivos

f.14

Costa, Joaquim Fernando Pinto daEquivalênciaUniversidade do Porto1996Coefficients D’association Binarisation par la Classification Hiérarchique dans les Arbres de Décision.Application À L’identification de la Structure Secondaire des Protéines

Costa, Joaquim José de Amaral Vieira eEquivalênciaUniversidade do Porto1995

Costa, José Manuel Ferreira das DoresNacionalUniversidade Técnica de Lisboa1996Controlo e Modelos Incrementais de Conversores de Potência com Interruptores Ressonantes

Costa, Maria Eduarda Nunes Tavares Vieira daNacionalUniversidade do Porto1987Análise Teórica e Experimental de Diversos Parâmetros Eléctricos e Químicos, Intervenientes no Processode Passivação Anódica de Alumio

Costa, Vitor Manuel de Morais SantosEquivalênciaUniversidade do Porto1994

Costeira, João Paulo Salgado ArriscadoNacionalUniversidade Técnica de Lisboa1995A Multi-Body Factorization Method for Motion Analysis

Couto, Carlos Alberto Caridade MonteiroEquivalênciaUniversidade do Minho1982Induction Motor Control by a Pube Width Modulated Inverter

Craveirinha, José Manuel FernandesEquivalênciaUniversidade de Coimbra1984Simulation and Traffic Analysis of Product Graph Networks with Multicircuit Links

f.15

Cravo, Maria dos Remédios Vaz Pereira LopesNacionalUniversidade Técnica de Lisboa1992Raciocínio com Omissão e Previsão de Crenças: Dois Aspectos de Senso Comum

Crespo, Rui Gustavo Nunes PereiraNacionalUniversidade Técnica de Lisboa1993Atributos de Projectos de Desenvolvimento de Aplicações Informáticas

Crisóstomo, Manuel MarquesEquivalênciaUniversidade de Coimbra1992

Cruz, António Manuel Nunes daNacionalUniversidade de Aveiro1990Multiprocessador e Processador Paralelo em Tempo Real

Cruz, José Afonso Moreno BulasEquivalênciaUniversidade de Trás-Os-Montes e Alto Douro1996Image Processing Using a Transputer-Based System.

Cunha, Alberto Manuel Ramos daNacionalUniversidade Técnica de Lisboa1993Arquitectura da Memória para Espaços de Endereçamento com Semântica Baseada em Objectos

Cunha, António Carlos Gonçalves Duarte daEquivalênciaUniversidade Nova de Lisboa1982Micro Processor-Based Design of Biomedical Instrumentation: A Study of its Application in ClinicalCystometry

Cunha, João Bernardo de Sena Esteves Falcão eEquivalênciaUniversidade do Porto1990Denotation Semantics in the Definition of Natural Language Uses

f.16

Cunha, João Paulo Trigueiros da SilvaNacionalUniversidade de Aveiro1996Actividade de Base no EEG de Doentes Epilépticos: Procura de Relações entre Diferentes DerivaçõesBaseada em Medidas não Lineares

Cunha, José Alberto Cardoso eNacionalUniversidade Nova de Lisboa1989Execução Concorrente de Uma Linguagem de Programação em Lógica

Custódio, Luís Manuel MarquesNacionalUniversidade Técnica de Lisboa1997A Lógica de Acordo e o Problema da Certeza Vaga

Damásio, Carlos Augusto Isaac Pilo ViegasNacionalUniversidade Nova de Lisboa1996Paraconsistent Extended Logic Programming with Constraints

David, Gabriel de Sousa TorcatoNacionalUniversidade Nova de Lisboa1994Semantics of Multiple Inheritance with Exceptions in Hierarchically Structured Logic Theories

Delgado, José Carlos MartinsNacionalUniversidade Técnica de Lisboa1988A Máquina Incremental

Dente, Joaquim António Fraga GonçalvesNacionalUniversidade Técnica de Lisboa1986Máquina Assíncrona com Colector Electrónico

Dias, Custódio João PaisNacionalUniversidade do Porto1998Sistemas de Alta Tensão - Técnicas de Medição e Ensaio

f.17

Dias, Jorge Manuel MirandaNacionalUniversidade de Coimbra1994Reconstrução Tridimensional Utilizando Visão Dinâmica

Dias, José Manuel BioucasNacionalUniversidade Técnica de Lisboa1995Estimação de Momentos Espectrais. Aspectos Conceptuais e Computacionais. Aplicações ao RadarMetereológico e à Ecografia.

Dias, José Miguel de Oliveira Monteiro SallesNacionalISCTE1998Estratégias de Modelação de Superfícies Deformáveis: O Caso das Confecções Têxteis.

Dias, Victor Manuel da FonteEquivalênciaUniversidade Técnica de Lisboa1993A Design Environment for Switched-Capacitor Noise Shaping AD Converters

Dignum, Franciscus Petrus MariaEquivalênciaUniversidade Técnica de Lisboa1992A Language for Modelling Knowledge Bases. Based on Linguistics, Founded in Logic

Domingues, Paulo Henrique GriloNacionalUniversidade de Aveiro1996Configurações de Elevada Linearidade para Receptores Ópticos Analógicos de Banda Larga

Duarte, Aníbal Manuel de OliveiraEquivalênciaUniversidade de Aveiro1984The Applications of Decision Feedback Techniques to Digital and Optical Communications

Especial, Nuno Fernando da SilvaNacionalUniversidade Técnica de Lisboa1989Sistema Computorizado para Aquisição Simultânea de Múltiplos Sinais Cardíacos: Mapas Precordiais

f.18

Esteves, Jorge Manuel GarciaNacionalUniversidade Técnica de Lisboa1993Accionador Electromecânico de Velocidade Variável: Posicionador em Tempo Mínimo.

Faria, José António Marinho BrandãoNacionalUniversidade Técnica de Lisboa1986Teoria Modal Generalizada das Linhas de Transmissão de Gia

Faria, José António Rodrigues Pereira deNacionalUniversidade do Porto1997Sistemas Logísticos para Acompanhamento de Produtos ao Longo da Fabricação e da Sua Vida Útil,Baseados em Sistemas de Identificação Remota

Faria, Luís Carlos Pinto Palermo deNacionalUniversidade do Porto1986Contribuição para o Estudo de Motor Linear

Faria, Sérgio Manuel MacielEquivalênciaUniversidade de Coimbra1997Very Low Bit Rate Video Coding Using Geometric Transform - Motion Compensation

Fernandes, António José Borba RamiresEquivalênciaUniversidade do Minho1998Robustness and Generalisation: Tangent Hyperplanes and Classification Trees

Fernandes, Carlos Alberto FerreiraNacionalUniversidade Técnica de Lisboa1988Transporte Quase Balístico de Electrões em Semicondutores Compostos III-V

Fernandes, Carlos António CardosoNacionalUniversidade Técnica de Lisboa1990Radiação de uma Antena Helicoidal Excitada por um Guia Circular Metálico

f.19

Fernandes, Edite Manuela da Graça PintoEquivalênciaUniversidade do Minho1980Investigations of the Convergence of Optimization Procedures

Fernandes, Fernando Pedro Lopes BoavidaNacionalUniversidade de Coimbra1990Gestão da Comunicação entre Sistemas de Processamento de Informação - Estudo de ModelosArquitecturais e Apresentação de um Caso Prático

Fernandes, José António Quintino Ruela SimõesEquivalênciaUniversidade do Porto1983

Fernandes, José Joaquim GomesNacionalUniversidade de Aveiro1997Modelação de Canal de Propagação Rádio Móvel de Banda Larga na Faixa das Ondas Milimétricas e SeuImpacto no Desempenho de Transmissão de Sistema

Fernandes, José Neto da CruzNacionalUniversidade Técnica de Lisboa1997A Interpretação de Imagens Texturadas

Ferreira, Aníbal João de SousaNacionalUniversidade do Porto1998Técnicas de Codificação/Compreensão Multicanal para Audio Digital.

Ferreira, António José RibeiroNacionalUniversidade de Coimbra1994Efeito das Fronteiras de Grão no Comportamento Eléctrico das Ferrites

Ferreira, Carlos Alberto PintoNacionalUniversidade Técnica de Lisboa1991Uma Lógica de Mutações e o Problema da Quiescência

f.20

Ferreira, Fernando NunesNacionalUniversidade do Porto1982Uma Nova Arquitectura para Sistemas Gráficos Utilizados na Síntese Interactiva de Imagens

Ferreira, Isabel Maria Marques AlvesNacionalUniversidade do Porto1996A Estimação de Estado em Sistemas Eléctricos de Energia

Ferreira, João José da Cunha e Silva PintoNacionalUniversidade do Porto1995Suporte de Ciclo de Vida dos Sistemas Integrados de Fábrica Através de Modelos Executáveis sob Infra-Estruturas de Integração

Ferreira, José António SoeiroEquivalênciaUniversidade do Porto1985The Transport of Calcium Across the Plasma Membran of The

Ferreira, José Manuel MartinsNacionalUniversidade do Porto1992O Teste de Cartas de Circuito Impresso com BST: Arquitectura de um Controlador Residente e GeraçãoAutomática de Programas de Teste

Ferreira, Maria da Conceição FernandezEquivalênciaUniversidade Nova de Lisboa1996Termination of Term Rewriting-Well-Foundedness, Totality and Transformation

Ferreira, Maria Margarida de AmorimNacionalUniversidade do Porto1995Novo Princípio de Máximo para Problemas de Controlo Óptimo com Restrições de Estado

Ferreira, Paulo Jorge PiresEquivalênciaUniversidade Técnica de Lisboa1997Larchant: Ramasse-Miettes dans une Mémoire Partagée Répartie avec Persistance par Atteignabilité

f.21

Ferreira, Paulo Jorge Santos GonçalvesNacionalUniversidade de Aveiro1993Estudo e Unificação de Uma Classe de Problemas de Amostragem, Interpolação e Extrapolação

Fidalgo, José Nuno Moura MarquesNacionalUniversidade do Porto1995Sistemas Isolados com Produção Heólica. Controlo e Segurança com Redes Renováveis

Figueiredo, Mário Alexandre Teles deNacionalUniversidade Técnica de Lisboa1994Restauração da Imagem com e sem Descontinuidades

Filgueiras, Miguel Caetano de OliveiraNacionalUniversidade Nova de Lisboa1984Compreensão de Linguagem Natural por Computador: Uma Metodologia

Fonseca, José Alberto GouveiaNacionalUniversidade de Aveiro1992Sistema de Comunicação e Controlo para um Acelerador de Partículas de Baixa Energia

Fortes, José António BaptistaEquivalênciaUniversidade Técnica de Lisboa1989Algorithm Transformations for Parallel Processing and VLSI Architecture Design

França, José de Albuquerque Epifânio daEquivalênciaUniversidade Técnica de Lisboa1985Switched-Capacitur Systems for Narrow Banpass Fittering

Fred, Ana Luísa NobreNacionalUniversidade Técnica de Lisboa1994Structural Pattern Recognition Applications in Automatic Sleep Analysis

f.22

Freire, João José Lopes da CostaNacionalUniversidade Técnica de Lisboa1984Caracterização Física de Transistores VVMOS de Potência

Freire, Maria Inês Silva de Castro Simas da CostaNacionalUniversidade Técnica de Lisboa1988Caracterização e Protecção de Transportes nos Conversores Electrónicos de Potência em Regimes deComutação

Freitas, Diamantino Rui da SilvaNacionalUniversidade do Porto1991Modelização Paramétrica de Funções de Transferência Electroacústica

Freitas, Vasco Luís Barbosa deEquivalênciaUniversidade do Minho1980Control of Building Engineering Services

Galhano, Alexandra Maria Soares FerreiraNacionalUniversidade do Porto1992Uma Abordagem Estatística a Modelização de Manipuladores Robóticos

Gameiro, Atílio Manuel da SilvaNacionalUniversidade de Aveiro1993Sistemas de Sincronismo em Canais Gaussianos e Ópticos

Garção, Adolfo Sanchez SteigerNacionalUniversidade Nova de Lisboa1980Contribuição para o Desenvolvimento de Arquitecturas de Terminais Gráficos Apoiados em Sistemas Master

Garrido, Paulo José GuimarãesNacionalUniversidade do Minho1994Sistemas Computacionais Híbridos - Programação Lógica e Redes Neuronais

f.23

Gaspar, Maria da Graça de Figueiredo RodriguesNacionalUniversidade de Lisboa1994Modelação de Agentes Autónomos Inteligentes Integrados em Sociedades de Agentes

Gerald, José António BeltranNacionalUniversidade Técnica de Lisboa1992Canceladores de Eco com Estruturas Recursivas para Transmissão de Dados

Girão, Pedro Manuel Brito da SilvaNacionalUniversidade Técnica de Lisboa1988Caracterização de Materiais Magnéticos Pelo Modelo de Preisach - Identificação de Modelo e Sua Aplicaçãoem Simulação Numérica

Godinho, António Manuel Andrea LencastreEquivalênciaUniversidade do Minho1997Automation of Program Design

Gomes, Augusto Oliveira da SilvaNacionalUniversidade do Porto1989Técnicas de Análise de Forma por Varrimento de um Feixe Laser Modulado em Intensidade

Gomes, Luís Filipe dos SantosNacionalUniversidade Nova de Lisboa1997Redes de Petri Reactivas e Hierárquicas - Integração de Formalismos no Projecto de Sistemas Reactivos deTempo-Real

Gomes, Mário Rui Fonseca dos SantosNacionalUniversidade Técnica de Lisboa1991OO-AGES - Modelação de Sistemas de Interacção Homem-Máquina Baseados em Manipulação Directa

Gomes, Paulo Filipe de CarmoNacionalUniversidade Técnica de Lisboa1996On-Line Algorithms for Future Hep Data Acquisition Systems

f.24

Gomes, Teresa Martinez SantosNacionalUniversidade de Coimbra1998Um Modelo de Análise de Fiabilidade - Qualidade de Serviço em Redes Inter-Centrais

Gonçalves, João Guilherme MirandaEquivalênciaUniversidade de Aveiro1983Computer Processing of Chest Radiographs

Gonçalves, Vitor Manuel SemedoNacionalUniversidade Técnica de Lisboa1996Uma Classe de Modulações Binárias não Lineares com Memória

Gouveia, Feliz Alberto RibeiroEquivalênciaUniversidade do Porto1995Contribution à L’étude Des Méchanismes de Coordination dans les Systèmes D’agents Autonomes

Gouveia, Joaquim José BorgesNacionalUniversidade do Porto1983Cálculo de Índices de Fiabilidade de Locais em Sistemas de Produção e Transporte de Energia Eléctrica

Guedes, Manuel Alves de Bacelar VazNacionalUniversidade do Porto1984Métodos Numéricos para Análise de Campo Magnético de Máquinas Eléctricas

Guedes, Paulo Jorge TavaresNacionalUniversidade Técnica de Lisboa1995Programação e Partilha num Sistema Distribuído de Objectos

Guerreiro, Pedro João Valente DiasNacionalUniversidade Nova de Lisboa1983Programas Não Deterministas e Processos Comunicantes: Semântica, Linguagem, Programação

f.25

Guimarães, Nuno Manuel Carvalho FerreiraNacionalUniversidade Técnica de Lisboa1992A Concepção e Construção de Aplicações e Sistemas Interactivos

Henriques, Bernardo Maria Pereira Barata GorjãoNacionalUniversidade Técnica de Lisboa1995Circuitos Integrados em Tecnologia CMOS Digital para Conversão de Sinal Digital-Analógico de AltaVelocidade

Henriques, Pedro Manuel Rangel SantosNacionalUniversidade do Minho1993Atributos e Modularidade na Especificação de Linguagens Formais

Horta, Nuno Cavaco GomesNacionalUniversidade Técnica de Lisboa1997Síntese Automática de Sistemas de Conversão de Sinal a Partir de Descrições ao Nível de Algoritmo

Jesus, José Manuel Dias Ferreira deEquivalênciaUniversidade Técnica de Lisboa1983DC: Transmission System Harmonic Analysis and Stability Using Describing Functions

Jorge, Alípio Mário GuedesNacionalUniversidade do Porto1998Programação em Lógica por Indução

Jorge, Joaquim Armando PiresEquivalênciaUniversidade Técnica de Lisboa1997Parsing Adjacency Grammars for Calligraphic Interfaces

Lage, Armindo Luís Vilar SoaresNacionalUniversidade do Porto1988Técnicas Ópticas na Análise de Fenómenos Dinâmicos

f.26

Langlois, Thibault NicolasEquivalênciaUniversidade Técnica de Lisboa1994Algorithmes D'apprentissage par Renforcement pour la Comande Adaptative

Leal, António Manuel Morgado BrandãoEquivalênciaUniversidade Técnica de Lisboa1992Performance Directed Layout Syntesis

Leão, Maria Teresa Costa Pereira Silva PonceNacionalUniversidade do Porto1996Planeamento de Redes de Distribuição de Energia Eléctrica Incluindo Fontes de Produção Independentes

Lebres, António Sérgio Portela FernandesNacionalUniversidade da Beira Interior1998Medida de Distância por Telemetria Laser. Projecto de um Telemetro a Laser

Leitão, José Manuel NunesNacionalUniversidade Técnica de Lisboa1983Estimação Não Linear Óptima de Fase - Aquisição e Seguimento

Leitão, Mário Jorge MoreiraEquivalênciaUniversidade do Porto1985

Leme, Carlos Mexia Almeida AzeredoEquivalênciaUniversidade Técnica de Lisboa1994Oversampled Interfaces for IC Sensors

Lemos, João Manuel Lage de MirandaNacionalUniversidade Técnica de Lisboa1989Controlo Adaptativo LQ

f.27

Lima, José Augusto Domingues FernandesEquivalênciaUniversidade do Minho1995Introducing Syntactic Methods in VLSI Design Problem Representation: An Application to High Order Non-Silicing Floor Planning

Lima, Pedro Manuel Urbano de AlmeidaEquivalênciaUniversidade Técnica de Lisboa1995Intelligent Machines on Hierarchical Stochastic Automata

Lobo, Manuel João Costa CalheirosNacionalUniversidade de Aveiro1998Caracterização do Tecido Cardíaco Através de Imagens Obtidas por Ecocardiografia

Lomba, Cipriano Rogério Alves TavaresNacionalUniversidade de Aveiro1997Comunicações Ópticas em Espaço Livre para Ambientes Interiores: Modelação, Simulação e Optimização doCanal Óptico

Lopes, João Abel PeçasNacionalUniversidade do Porto1988Estabilidade Transitória de Sistemas de Produção e Transporte de Energia - Monitorização e Definição deMedidas de Controlo Preventivo em Ambiente de Temporal

Lopes, João António CorreiaEquivalênciaUniversidade do Porto1997

Lopes, José Gabriel PereiraNacionalUniversidade Técnica de Lisboa1987Conceptualização de um Sistema Interlocutor Automático

Lopes, Luís Filipe de SeabraNacionalUniversidade Nova de Lisboa1998Robot Learning at the Task Level - A Study in the Assembly Domain

f.28

Lopes, Pedro Cláudio de FariaNacionalUniversidade Técnica de Lisboa1996Tela de Alfinetes Digital: Um Novo Paradigma de Animação por Computador

Lourenço, Armando António Cardoso SantosNacionalUniversidade do Porto1995Estudo sobre Deposição de Filmes Finos Supercondutores de YBA 2, CU 3, O 7 8 por Vaporização Laser e suaCaracterização

Lourenço, C.EquivalênciaUniversidade de Lisboa1997Control of Chaos and Information Processing in Neuronal Networks

Lourtie, Isabel Maria GonçalvesNacionalUniversidade Técnica de Lisboa1988Estimação Óptica de Tempos de Atraso com Sinais Não Estacionários

Machado, José António TenreiroNacionalUniversidade do Porto1989Gestão de Recursos Estruturais no Controlo de Robots Manipuladores

Machado, Vitor Manuel de Oliveira MalóNacionalUniversidade Técnica de Lisboa1988Penetração de Campo Electromagnético em Sistemas de Condutores Cilíndricos Circulares

Madeira, Henrique Santos CarmoNacionalUniversidade de Coimbra1994Detecção de Erros com Base no Comportamento

Magalhães, António José Pessoa deNacionalUniversidade do Porto1995Estabilização dos Controladores de Tempo-Real Através da Competência Temporal. Os Objectos Controlados

f.29

Maia, José Henrique QueridoNacionalUniversidade Técnica de Lisboa1996Modelização Automática e Comando de Sistemas de Accionamento Electromecânico

Mamede, Margarida Paula NevesNacionalUniversidade Nova de Lisboa1998Queries and Answers in Concept-Based Knowledge Bases

Mamede, Nuno João NevesNacionalUniversidade Técnica de Lisboa1992A Lógica Lore e o Raciocínio Abdutivo Não Omniscente

Manso, Maria Emília Morais Fonseca Silva CostaNacionalUniversidade Técnica de Lisboa1983Identificação de Instalibilidades Iónicas num Sistema Feixe-Plasma

Marçal, Maria Hermínia Caeiro CostaNacionalUniversidade Técnica de Lisboa1990Electrodinâmica em Sistemas Acelerados: Contribuições para o Estabelecimento de Métodos de Análise

Margato, Elmano da FonsecaNacionalUniversidade Técnica de Lisboa1996O Gerador de Indução Excitado por Ondulador de Corrente em Aproveitamento de Velocidade Variável

Marques, Gil DomingosNacionalUniversidade Técnica de Lisboa1988Estudo de Sistema de Recuperação de Energia de Escorregamento

Marques, Jorge dos Santos SalvadorNacionalUniversidade Técnica de Lisboa1990Modelamento Sinusoidal da Fala. Aplicação à Codificação a Ritmos Médios e Baixos

f.30

Marques, José Manuel da Costa AlvesNacionalUniversidade Nova de Lisboa1981VLSI-Arquitectura e Metodologia de Concepção de Circuitos

Martins, António José de PinaNacionalUniversidade do Porto1998Controlo de Conversores Estáticos de Potência DC/AC

Martins, António Manuel de Oliveira GomesNacionalUniversidade de Coimbra1985O Controlo de Consumo no Âmbito da Utilização Eficiente da Energia Eléctrica

Martins, Carlos Alberto RodriguesNacionalUniversidade Técnica de Lisboa1998Canceladores Adaptativos de Ruído Aplicações na Aquisição de Sinais de Fala

Martins, Fernando Mário JunqueiraNacionalUniversidade do Minho1995Métodos Formais na Concepção e Desenvolvimentos de Sistemas Interactivos

Martins, Henrique António da SilvaEquivalênciaUniversidade Técnica de Lisboa1983A Vision Based Bin Picking and Oriented Robot Sistema

Martins, Joaquim Arnaldo de CarvalhoNacionalUniversidade de Aveiro1989Contribuições para o Estudo de Arquitecturas Protocolares para Redes Locais de Elevada Velocidade

Martins, Jorge Abel de MatosNacionalUniversidade Técnica de Lisboa1992Filtros Digitais por Simulação de Filtros Passivos

f.31

Martins, José Augusto LegatheauxEquivalênciaUniversidade Nova de Lisboa1987A Designação e a Edição de Ligações nos Sistemas de Operação Distribuídos

Martins, José Manuel da GraçaEquivalênciaUniversidade de Lisboa1987Un Point de Vue sur le Controle des Acces Paralleles a des Ressources Partageables

Martins, Júlio Manuel de Sousa BarreirosNacionalUniversidade do Minho1993Controlo de Velocidade de Motor de Indução de Rotor em Gaiola de Esquilo

Martins, Rui Paulo da SilvaNacionalUniversidade Técnica de Lisboa1992Circuitos Multiritmo com Condensadores Comutados e Suas Aplicações em Alta Frequência

Matos, Armando Barbot Campos eNacionalUniversidade do Porto1981Simulação Computacional de Redes de Caminho de Ferro Electrificadas

Matos, João Nuno Pimentel da SilvaNacionalUniversidade de Aveiro1995Contribuição ao Estudo e Projecto de Sincronizadores de Sinais em RF R MW

Matos, José Alfredo Ribeiro da SilvaEquivalênciaUniversidade do Porto1984The Binary Decision Diagram: A Tool for Logic Design and Implementation

Matos, Luís Manuel Camarinha deNacionalUniversidade Nova de Lisboa1989Sistema de Programação e Controle de Estações Robóticas - Uma Arquitectura Baseada em Conhecimento

f.32

Matos, Manuel António Cerqueira da CostaNacionalUniversidade do Porto1988Ajuda à Decisão Multicritério - Novas Contribuições

Mealha, Óscar Emanuel ChavesNacionalUniversidade de Aveiro1995Planeamento, Integração e Visualização de Imagens Multimodais

Medeiros, Pedro Abílio Duarte deNacionalUniversidade Nova de Lisboa1998Suporte à Execução de Programas em Arquitecturas Paralelas Heterogéneas

Mendes, António José NunesNacionalUniversidade de Coimbra1996O Sistema AIDA: Ambiente Integrado para o Desenvolvimento de Aplicações Educacionais

Mendes, Maria Teresa Ferreira SoaresEquivalênciaUniversidade de Coimbra1981The Implementation and Validation of Read-Traffic Models

Mendes, Vitor Manuel FernandesNacionalUniversidade Técnica de Lisboa1994Planeamento de Gestão de Curto Prazo dos Recursos Produtores de um Sistema de Energia Eléctrica noContexto da Operação

Mendonça, Ana Maria Rodrigues de Sousa Faria deNacionalUniversidade do Porto1994Métodos de Tratamento Digital de Imagens - Aplicação Arquivo - Processamento e Análise de Imagens deCaft

Mendonça, José Manuel de Araújo BatistaEquivalênciaUniversidade do Porto1987Microcomputer on Line Control of Wind Energy Conversion

f.33

Miranda, Vladimiro Henrique Barbosa PintoNacionalUniversidade do Porto1982A Qualidade de Serviço na Optimização de Redes Eléctricas e Distribuição Metodológica Orientada para umMini-Sistema de Cálculo

Monteiro, António Miguel Pontes PimentaNacionalUniversidade do Porto1995Processamento e Análise Automática de Ecocardiogramas

Monteiro, Edmundo Heitor SilvaNacionalUniversidade de Coimbra1996Controlo da Congestão em Sistemas Intermediários da Camada de Rede

Monteiro, João Luís Marques PereiraNacionalUniversidade do Minho1991Sistema Distribuído de Análise da Regularidade de Fios Têxteis

Monteiro, José Carlos Alves PereiraEquivalênciaUniversidade Técnica de Lisboa1997A Computer-Aided Design Methodology for Low Power Sequential Logic Circuits

Monteiro, Luís Fernando LopesNacionalUniversidade Nova de Lisboa1983Uma Lógica para Processos Distribuídos

Moreira, Adriano Jorge CardosoNacionalUniversidade de Aveiro1997Sistemas de Transmissão Ópticos em Espaço Livre para Ambientes Interiores

Moreira, Ana Maria DinisEquivalênciaUniversidade Nova de Lisboa1995Rigorous Object-Oriented Analysis

f.34

Moreira, António Manuel Restani Graça AlvesNacionalUniversidade Técnica de Lisboa1984Estudos Sobre o Modo Silvo na Geomagnetosfera

Moreira, António Paulo Gomes MendesNacionalUniversidade do Porto1998Controlo e Identificação de Sistemas Dinâmicos Contínuos

Moreira, Helena Maria Carvalho Leal MendesEquivalênciaUniversidade do Minho1995SUE: An Environment of Understanding Information Systems

Moreira, Sílvio Almeida AbrantesNacionalUniversidade do Porto1990Estudos de Transmissão Digital na Linha de Assinante

Mota, Alexandre Manuel Moutela Nunes daNacionalUniversidade de Aveiro1993Controle Adaptativo: Um Caso Concreto

Moura, António Carlos Sepúlveda Machado eNacionalUniversidade do Porto1984Cálculo de Sobretensões em Linhas Aéreas Multifeno de Transporte de Energia Eléctrica

Moura, Francisco Coelho Soares deEquivalênciaUniversidade do Minho1986Performance Evaluation of Operating Systems

Moura, Luís Miguel da Silva Carvalho deEquivalênciaUniversidade do Algarve1998Circuit Techniques for Digital Optical Transmission: Timing Extraction Sub-System

f.35

Mouta, Fernando Augusto Cruz e SilvaNacionalUniversidade do Porto1996Contribuições para uma Interacção Inteligente Homem-Computador

Neto, Horácio Cláudio de CamposNacionalUniversidade Técnica de Lisboa1992Algoritmos Multiritmo com Integração Explícita por Ajuste de Exponencial para Simulação Eléctrica deCircuitos

Neto, João Paulo da SilvaNacionalUniversidade Técnica de Lisboa1998Reconhecimento da Fala Contínua com Aplicação de Técnicas de Adaptação ao Orador

Neves, Isabel Maria Silva Pinto Gaspar VentimNacionalUniversidade Técnica de Lisboa1991Propagação em Guias Dialéctricos Cilíndricos Radialmente Não Homogéneos

Neves, Joaquim José dos Santos EstevesNacionalUniversidade do Porto1996Partilha Dinâmica de Recursos em Redes de Comunicação

Neves, José Alberto B. de Faria CamposEquivalênciaUniversidade do Porto1990Contribution a la Construction Automatique de Representations 3D D'objects Solides

Neves, José Carlos Ferreira MaiaEquivalênciaUniversidade do Minho1984

Neves, Mário Fernando da Silva VentimNacionalUniversidade Técnica de Lisboa1991Simulação Numérica e Máquinas de Indução e Redes com Comutação de Fluxo de Energia

f.36

Neves, Nuno Fuentecilla Maia FerreiraEquivalênciaUniversidade de Lisboa1998Time-Based Coordinated Checkpointing

Nunes, Fernando DuarteNacionalUniversidade Técnica de Lisboa1994Estimações de Canal e Detecção e Símbolo no Contexto da Filtragem Não-Linear Estocástica

Nunes, Maria Isabel Batalha Reis GamaNacionalUniversidade de Lisboa1998Semântica de Programas Comportamentais

Nunes, Mário Serafim dos SantosNacionalUniversidade Técnica de Lisboa1987Arquitectura de Comutação de Ritmo Variável e Integração de Serviços

Nunes, Renato Jorge CaleiraNacionalUniversidade Técnica de Lisboa1995Integração de Serviços para Edíficios Inteligentes.

Nunes, Urbano José CarreiraNacionalUniversidade de Coimbra1995Controlo de Robôs com Realimentação Sensorial no Espaço Tarefa

Oliveira, Arlindo Manuel Lima deEquivalênciaUniversidade Técnica de Lisboa1995Inductive Learning by Selection of Minimal Complexity Representations

Oliveira, Carlos Manuel Chaves EspainNacionalUniversidade do Porto1985Parâmetros Aparentes em Prospecção Geoeléctrica

f.37

Oliveira, Eugénio da CostaNacionalUniversidade Nova de Lisboa1984Engenharia de Conhecimento: Sistemas Parciais e Prolog

Oliveira, João Pedro Estima deNacionalUniversidade de Aveiro1988Aquisição e Processamento de Estruturas Ventriculares a Partir de Ecocardiograma Modo-M

Oliveira, JoséEquivalênciaUniversidade do Minho1984

Oliveira, José Fernando da CostaNacionalUniversidade do Porto1995Problemas de Posicionamento de Figuras Irregulares - Uma Perspectiva de Optimização

Oliveira, José Luís GuimarãesNacionalUniversidade de Aveiro1996Arquitectura para Desenvolvimento e Integração de Aplicações de Gestão

Oliveira, José Luís Valente deNacionalUniversidade Técnica de Lisboa1996Formalismos Difusos em Controlo Adaptativo Preditivo

Oliveira, Luís Miguel Veiga Vaz Caldas deNacionalUniversidade Técnica de Lisboa1997Síntese de Fala a Partir de Texto

Oliveira, Pedro Henrique H. Guedes deNacionalUniversidade de Aveiro1981Reconhecimento Automático de Ondas Características no EEG de Doentes Epilépticos: Realização Baseadanum Microcomputador

f.38

Oliveira, Rui Manuel Boucho deEquivalênciaUniversidade da Beira Interior1996Arquitectura de Procesamento Rápido para um Bus Industrial Basada en Procesadores Digitales de Senal

Ortigueira, Manuel DuarteNacionalUniversidade Técnica de Lisboa1984Metodologia, Implementação e Avaliação em Análise Espectral

Pacheco, Osvaldo Manuel da RochaNacionalUniversidade de Aveiro1996Sistema Assistido por Computador para Classificação de Electroencefalograma de Sono e Detecção de MicroDespertares

Padilha, Armando Jorge Monteiro NevesNacionalUniversidade do Porto1987Inspecção Visual Automática - Uma Arquitectura para o Desenvolvimento de Aplicações em Tempo Real

Paisana, José Júlio AlvesNacionalUniversidade Técnica de Lisboa1996Estudo de Heterogeneidades Transversais na Densidade de Corrente na Comutação de Tiristores

Paiva, Ana Maria Severino de Almeida eEquivalênciaUniversidade Técnica de Lisboa1997Dynamic User and Learner Modeling

Paiva, Carlos Manuel dos ReisNacionalUniversidade Técnica de Lisboa1992Propagação Electromagnética Guiada em Estruturas Planares Não Isotrópicas

Palma, João Carlos Pires daNacionalUniversidade Técnica de Lisboa1994Controlo de Máquina Assíncrona Trifásica com Ondulador de Tensão

f.39

Pascoal, António Manuel dos SantosEquivalênciaUniversidade Técnica de Lisboa1989Non Linear Time-Varying Feedback Controllers for Linear Time-Invariant Plants

Pedro, José Carlos Esteves DuarteNacionalUniversidade de Aveiro1993Técnicas de Linearização de Amplificadores de Potência em Microondas

Peixeiro, Custódio José de OliveiraNacionalUniversidade Técnica de Lisboa1993Análise de Antenas Circulares Impressas em Configurações Substrato de Dieléctricos AnisotrópicosEspessos

Perdigão, Fernando Manuel SantosNacionalUniversidade de Coimbra1998Modelos de Sistema Auditivo Periférico no Reconhecimento Automático de Fala

Perdigão, João Manuel DominguesEquivalênciaUniversidade de Coimbra1984Optimisation du Contrôle par Ultrasons des Milieux H´Térogènes

Pereira, António Manuel Melo de SousaNacionalUniversidade de Aveiro1987Desenvolvimento de um Sistema de Tomografia de Emissão Simples

Pereira, Fernando Manuel BernardoNacionalUniversidade Técnica de Lisboa1991Codificação de Sinais Vídeo com Débitos Binários Variáveis

Pereira, Fernando Manuel Ferreira LoboEquivalênciaUniversidade do Porto1986

f.40

Pereira, João António MadeirasNacionalUniversidade Técnica de Lisboa1996Cinerealismo em Arquitecturas Paralelas de Uso Geral

Pereira, Jorge Manuel NunesEquivalênciaUniversidade Técnica de Lisboa1994Pin-Code Acquisition in Slow Fading Channels with Application to IVHS

Pereira, Jorge Manuel TorresEquivalênciaUniversidade Técnica de Lisboa1988Doping of Amorphous Semiconductor Alloys

Pereira, José Fernando da RochaEquivalênciaUniversidade de Aveiro1984A New Procedure for Near-Field Measurements Antennas Without Anechoic Environments

Peres, João José de OliveiraNacionalUniversidade Técnica de Lisboa1993Sistemas de Comunicação Óptica Coerentes com Modulação de Fase

Piedade, Manuel Eduardo Ribeiro Minas daNacionalUniversidade Técnica de Lisboa1988Termoquímica de Derivados Bis-Ciclopentadienilo de Titânio Molibdénio e Tungsténio

Piedade, Moisés SimõesNacionalUniversidade Técnica de Lisboa1984Filtros Activos por Simulação de Filtros LC Duplamente Terminados

Pina, António Manuel da SilvaNacionalUniversidade do Minho1998Modelo de Computação Celular Origem e Evolução

f.41

Pinho, Armando José Formoso deNacionalUniversidade de Aveiro1996Estudo Sobre a Aplicação de Redes Neuronais à Detecção de Contornos em Imagens

Pinho, Maria de Rosário Marques Fernandes Teixeira deEquivalênciaUniversidade do Porto1994Optimal Control Problems with Differential Algebraic Equations

Pinto, Joaquim Manuel Henriques de SousaNacionalUniversidade de Aveiro1997Arquitectura para um Sistema Colaborativo, Baseado em Ferramentas Hipermédia

Pinto, José Américo DiasNacionalUniversidade de Coimbra1993Análise Termográfica Assistida por Computador de Dispositivos Electromagnéticos

Pinto, Paulo da Costa Luís da FonsecaEquivalênciaUniversidade Técnica de Lisboa1993An Interaction Model for Multimedia Composition

Pinto, Pedro José de Melo TeixeiraNacionalUniversidade de Trás-Os-Montes e Alto Douro1998Aplicação da Teoria das Crenças ao Reconhecimento Visual

Pires, Armando José Pinheiro MarquesNacionalUniversidade Técnica de Lisboa1994A Máquina Assíncrona de Retor em Curto-Circuito em Accionamento de Velocidade Variável

Pires, Carlos Guilherme Ferreira de MoraisNacionalUniversidade Técnica de Lisboa1996CO-DEC MPEG2 Video: da Análise Funcional à Realização de um Protótipo

f.42

Pires, Fernando José Gomes MouraNacionalUniversidade Nova de Lisboa1993Aprendizagem por Indução Empírica - Integração em Arquitecturas de Sistemas Sensoriais

Porto, António Beça GonçalvesNacionalUniversidade Nova de Lisboa1985Controlo Sequencial de Programas em Lógica

Principe, José Carlos Santos CarvalhoEquivalênciaUniversidade de Aveiro1980Automated Detection and Quantification of Petit Mal Serizur Es in The Electroencephalogram.

Proença, Alberto José Gonçalves CarvalhoEquivalênciaUniversidade do Minho1982A Local Network Architecture for Real-Time Control

Proença, Luís Miguel BarbosaNacionalUniversidade do Porto1998Planeamento de Sistemas de Distribuição em Rede

Quaresma, Paulo Miguel Torres DuarteNacionalUniversidade Nova de Lisboa1997Inferências de Atitudes em Diálogos

Queiroz, Carlos Eduardo de AmorimEquivalênciaUniversidade Nova de Lisboa1989Pattern Recognition with Discrete and Mixed Data: Theory and Practice

Rabelo, Rivardo JoséNacionalUniversidade Nova de Lisboa1997Um Enquadramento para o Desenvolvimento de Sistemas de Escalonamento Ágil da Produção - UmaAbordagem Multiagente

f.43

Rafael, José Alberto dos SantosNacionalUniversidade de Aveiro1989Desenvolvimento de um Sistema de Angiocardiografia de Equilíbrio

Ramos, Carlos Fernando da SilvaNacionalUniversidade do Porto1993Planeamento e Execução Inteligente de Tarefas em Robótica de Montagem e de Manipulação

Ramos, Fernando Manuel dos SantosNacionalUniversidade de Aveiro1992Proposta de Arquitectura e Estudo de Desempenho de um 15 P/BX com Comutação de Pacotes

Ramos, Helena Maria dos Santos GeirinhasNacionalUniversidade Técnica de Lisboa1995Modelização de Comportamento de Materiais Ferromagnéticos Macios Sujeitos a Campos Magnéticos deDirecção Variável Medidas e Materiais Magnéticos

Rela, Mário Alberto Costa ZenhaNacionalUniversidade de Coimbra1996Detecção de Erros Baseada na Semântica dos Dados

Rendas, Maria João Torres DoloresNacionalUniversidade Técnica de Lisboa1991Erro e Ambiguidade em Sistemas de Localização

Resende, Maria José Ferreira dos Santos Lopes deNacionalUniversidade Técnica de Lisboa1998Thermal Ageing of Distribution Transformers Due to Load and Ambient Temperature Variablilty

Restivo, Francisco José OliveiraEquivalênciaUniversidade do Porto1981Microprocessors in Signal Processing

f.44

Ribeiro, António Fernando MacedoEquivalênciaUniversidade do Minho1996Automated Off-Line Programming for Rapid Prototyping Using Gas Metal Arc Welding

Ribeiro, Artur Fernando Delgado LopesNacionalUniversidade Técnica de Lisboa1990Gravação Magnética em Materiais de Partículas

Ribeiro, Bernardete MartinsNacionalUniversidade de Coimbra1995Contribuição para a Modelização Supervisão e Controlo de Sistemas Multivariáveis Não Lineares por RedesNeuronais com Aplicação a um Forno de Cal

Ribeiro, Isaura de Carmo PereiraNacionalUniversidade dos Açores1991Contribuição para o Desenvolvimento de Metodologias de Ensino Assistido por Computador Aplicáveis àDisciplina de História

Ribeiro, Luís Filipe BotelhoNacionalUniversidade de Aveiro1995Sistemas de Comunicação com Amplificação Óptica

Ribeiro, Maria Cristina de Carvalho AlvesNacionalUniversidade Nova de Lisboa1994Representation and Inference of Temporal Knowledge

Ribeiro, Maria Isabel Lobato de FariaNacionalUniversidade Técnica de Lisboa1988Identificação de Processos Autoregressivos de Média Móvel

Ribeiro, Maria Rita Sarmento de AlmeidaEquivalênciaUniversidade Nova de Lisboa1994Application of Support Logic Theory Too Fuzzy Multiple Attribute Decision Problems

f.45

Ribeiro, Rui Fernando Gomes de SousaNacionalUniversidade de Aveiro1996Simulação, Análise e Optimização de Sistemas FEK Ópticos

Rocha, Ana Maria Moreira Ferreira daNacionalUniversidade do Minho1996Contribuição para o Controlo Automático dos Parâmetros de Costura: Estudo da Dinâmica da Penetração daAgulha e da Alimentação de Tecido

Rocha, Armando Carlos DominguesNacionalUniversidade de Aveiro1996Caracterização de Canal de Transmissão Terra-Satélite nas Bandas dos 12, 20 e 30 GHz e Escalonamento naFrequência da Discriminação da Polarização Cruzada

Rocha, José Rodrigues Ferreira daEquivalênciaUniversidade de Aveiro1984

Rocha, Nelson Fernando Pacheco daNacionalUniversidade de Aveiro1992Núcleo de Comutação de Elevado Desempenho para Redes Locais de Múltiplos Segmentos

Rocha, Rui Manuel RodriguesNacionalUniversidade Técnica de Lisboa1995Arquitectura da Rede Interna de Assinante Baseada em ATM para Ambientes Residenciais e de PequenaEmpresa

Rodrigues, Amadeu Leão SantosEquivalênciaUniversidade Técnica de Lisboa1983Two Phase Auto-Piloted Synchronous Motors and Actuators

Rodrigues, António José Castelo BrancoEquivalênciaUniversidade Técnica de Lisboa1997Multi-H CPM in Terrestrial and Satellite Mobile Fading Channels

f.46

Rodrigues, António José Marques GuimarãesEquivalênciaUniversidade do Minho1980Structured Programming Aid

Rodrigues, António José Nunes NavarroEquivalênciaUniversidade de Coimbra1997A Robust Off-Line Hand-Written Character Recognition System Using Dynamic Features

Rodrigues, Irene PimentaNacionalUniversidade Nova de Lisboa1995Processamento de Texto: Interpretação Temporal

Rodrigues, Jorge Manuel PiresEquivalênciaUniversidade de Coimbra1988A Study of Fibre Optic Fuse Couplers

Rodrigues, Luís Eduardo TeixeiraNacionalUniversidade Técnica de Lisboa1996Suporte à Computação Orientada aos Grupos em Sistemas Distribuídos Tolerantes a Faltas

Rodrigues, Maria Paula dos Santos QueluzEquivalênciaUniversidade Técnica de Lisboa1996Multiscale Motion Estimation and Video Compression

Rosa, Agostinho Cláudio daNacionalUniversidade Técnica de Lisboa1990Detecção Óptima de Complexos K com Base num Modelo Estocástico de EEG de Sono

Rosário, Maria João Ramos Marques Coelho Carrilho deNacionalUniversidade Técnica de Lisboa1992Projecto Assistido por Computador de Misturadores com Tecme para Microondas

f.47

Ruano, António Eduardo de BarrosEquivalênciaUniversidade do Algarve1993Applications of Neural Networks to Control Systems

Ruano, Maria da Graça Cristo dos SantosEquivalênciaUniversidade do Algarve1993Investigation of Real-Time Spectral Analysis Techniques for Use with Pulsed Ultrasonic Soppler Blood-FlowDetectors

Sá, Carlos Manuel de AraújoNacionalUniversidade do Porto1989Método de Estimação dos Parâmetros de Motor de Indução Trifásico para Modelização de InstalaçõesIndustriais

Sá, Carlos Pinto Moreira deNacionalUniversidade do Porto1992A Análise Digital da Imagem na Caracterização de Micro-Estruturas e Superfícies de Materiais

Sá, Joaquim Pontes Marques deNacionalUniversidade do Porto1984Classificação de Electrocardiogramas Baseada em Técnicas de Predição Linear e de Reconhecimento deFormas

Sá, José Luís Costa Pinto deNacionalUniversidade Técnica de Lisboa1988Automatismos Comunicantes em Subestações de Distribuição

Sá, Luís António Serralva Vieira deEquivalênciaUniversidade de Coimbra1985Beam Forming with Vibrator Arrays

Salcedo, José António RiberaEquivalênciaUniversidade do Porto1980The Psicosecond Transient Greting Technique: Studies on Energy Transport and Photoacoustic Effects

f.48

Salgado, Henrique Manuel de Castro FariaEquivalênciaUniversidade do Porto1997

Santana, João José EstevesNacionalUniversidade Técnica de Lisboa1983Modelação e Estabilização da Associação Ondular de Corrente - Máquina Assíncrona

Santos, Alexandre Júlio Teixeira dosNacionalUniversidade do Minho1997Desenvolvimento de Protocolos de Comunicação: Da Especificação ao Protótipo.

Santos, Diana Maria de Sousa Marques Pinto dosNacionalUniversidade Técnica de Lisboa1997Tense and Aspect in English and Portuguese: A Contrastive Semantical Study

Santos, Dinis Gomes de Magalhães dosNacionalUniversidade de Aveiro1983Microsonda de Protões

Santos, Filipe Alexandre Azinhais dosNacionalUniversidade de Lisboa1998Lógicas Modais de Acção para a Modelação da Interacção entre Agentes e de Organizações

Santos, Henrique Manuel Dinis dosNacionalUniversidade do Minho1996Metodologias de Especificação e Análise de Sistemas Digitais: Desenvolvimento de Um Controlador APA(Glitch).

Santos, Humberto José Silva AbreuNacionalUniversidade Técnica de Lisboa1982Equações às Derivadas Parciais com Soluções de Tipo Solitão - Método de Plano de Fases

f.49

Santos, Jaime BatistaNacionalUniversidade de Coimbra1994Controlo de Materiais por Ultrassons: A Espectroscopia Ultrassonora na Caracterização e Classificação deDefeitos em Materiais

Santos, João Pedro Pedroso Ramos dosEquivalênciaUniversidade do Porto1998

Santos, José Eduardo Roque Neves dosNacionalUniversidade do Porto1993Controlo e Optimização da Exploração de Redes Eléctricas Recorrendo a Reconfiguração da sua Topologia

Santos, Manuel João Toscano Próspero dosNacionalUniversidade Nova de Lisboa1989Estilo Declarativo na Programação Gráfica Interactiva: Análise e Avaliação Sobre Sistemas em Prolog

Santos, Maria Beatriz Alves de SousaNacionalUniversidade de Aveiro1989Análise Assistida por Computador de Cineangiogramas de Ventrículo Esquerdo

Santos, Paulo Jorge de Azevedo Lopes dosNacionalUniversidade do Porto1994Identificação de Sistema Através de Diagramas de Bode

Santos, Vitor Manuel Ferreira dosNacionalUniversidade de Aveiro1995Navegação Autónoma de Robots: Interpretação dos Dados Sensoriais e Navegação Local

Saraiva, João Paulo ToméNacionalUniversidade do Porto1993Aplicação de Conjuntos Imprecisos na Modelização e Planeamento de Sistemas Eléctricos

f.50

Sarmento, Maria Helena Costa MatosNacionalUniversidade Técnica de Lisboa1990Representação e Gestão dos Dados em Projectos de Sistemas Electrónicos

Sentieiro, João José dos SantosEquivalênciaUniversidade Técnica de Lisboa1986Convex Programming for Optimal Control: Algorithms and Convergence Rates

Sequeira, Vitor Manuel AlvesNacionalUniversidade Técnica de Lisboa1996Active Range Sensing for Three-Dimensional Environment Reconstruction

Serra, António Manuel T da CruzNacionalUniversidade Técnica de Lisboa1992Resultados Experimentais e Modelos de Heterjunções Isótipo N de Gaas/Alzga1-Zas

Serra, João Avelino Passos da CunhaNacionalUniversidade Técnica de Lisboa1985Igualização Automática não Auxiliada de Canais para Sistemas de Transmissão de Dados

Serralheiro, António Joaquim dos Santos RomãoNacionalUniversidade Técnica de Lisboa1990Metodologias Probabilísticas no Reconhecimento de Palavras Isoladas

Shuqing, ZhangNacionalUniversidade do Porto1991

Silva, Amândio Gabriel Morim daNacionalUniversidade do Porto1987Tratamento Analítico e Experimental de Protótipos de Motores de Relutância com uma Nova Geometria deRotor

f.51

Silva, Fernando Henrique Côrte-Real Mira daNacionalUniversidade Técnica de Lisboa1998Descorrelação de Dados e Aceleração da Aprendizagem em Redes Neuronais

Silva, Fernando José Barros RodriguesNacionalUniversidade de Coimbra1997Modelação e Simulação de Sistemas de Eventos Discretos com Estrutura Dinâmica: Uma Abordagem Baseadana Teoria dos Sistemas

Silva, Fernando Manuel Augusto daEquivalênciaUniversidade do Porto1994

Silva, Henrique José AlmeidaEquivalênciaUniversidade de Coimbra1989Influence of Laser Frequency Chirp on the Performance of Optical Fibre Communication Systems

Silva, João Gabriel Monteiro Carvalho eNacionalUniversidade de Coimbra1988Sistema de Operação de Tempo Real para uma Arquitectura Distribuída Tolerante a Falhas

Silva, João Paulo Marques daEquivalênciaUniversidade Técnica de Lisboa1995Harch Algorithms for Satisfiability Problems in Combinational Switching Circuits

Silva, Jorge Alves Neves daNacionalUniversidade do Porto1995Aquisição e Processamento de Informação Tridimensional

Silva, José Alberto Peixoto Machado daNacionalUniversidade do Porto1998Teste e Diagnóstico de Sistemas Electrónicos Analógicos e Digitais por Monitorização da Corrente deAlimentação

f.52

Silva, José Fernando AlvesNacionalUniversidade Técnica de Lisboa1990Silva, José Guilherme Domingues daEquivalênciaUniversidade de Coimbra1982The Matching Unit of the Manchester Data-Flow Computer: A Pseudo Associative Store with HardwareHashing

Silva, José Luís Pinto Pereira daNacionalUniversidade do Porto1985Pré-Despacho Optimizado em Sistemas Produtores Hidrotérmicos com Elevada Componente Hídrica

Silva, Luís Alexandre Serras MouraNacionalUniversidade de Coimbra1997Mecanismos de Checkpointing para Aplicações Paralelas de Cálculo Científico

Silva, Maria João Marques Martins CardosoNacionalUniversidade Técnica de Lisboa1989Contribuição para a Análise da Radiação de Cargas em Movimento em Meio Material

Silva, Mário Jorge Costa Gaspar daEquivalênciaUniversidade Técnica de Lisboa1995Activ Documentation for VLSI Design

Silva, Miguel Leitão Bignolas Mira daEquivalênciaUniversidade Técnica de Lisboa1998Models of Higher-Order, Type-Safe, Distributed Computation over Autonomous Persistent Object Stores

Silva, Tomás António Mendes Oliveira eNacionalUniversidade de Aveiro1994Sobre os Filtros de Kautz e sua Utilização na Aproximação de Sistemas Lineares Invariantes no Tempo

f.53

Silva, Vitor Manuel MendesNacionalUniversidade de Coimbra1996Decomposição Multi-Resolução de Sinais: Aplicação à Compressão de Sequência de Imagens

Silveira, Luís Miguel Teixeira D'ávila Pinho daEquivalênciaUniversidade Técnica de Lisboa1995Model Order Reduction Techniques for Circuit Simulation

Silveira, Paulo António Enes daEquivalênciaUniversidade do Porto1991Structuration Dynamique des Connaissances

Soares, António Manuel LucasNacionalUniversidade do Porto1998Modelação para Optimização Técnico Organizacional de Sistemas Integrados de Fabrico

Sobrinho, João Luís da Costa Campos GonçalvesNacionalUniversidade Técnica de Lisboa1995Proposal and Performance Analysis of Multiple Acess Protocols for Wireless Local Networks

Sousa, Alexandre Valente da Conceição Pereira deEquivalênciaUniversidade do Porto1998

Sousa, António Augusto deNacionalUniversidade do Porto1996Arquitecturas Especialmente Orientadas para a Síntese de Imagens com Elevado Nível de Realismo

Sousa, Jorge Manuel Pinho deEquivalênciaUniversidade do Porto1989

f.54

Sousa, José João Henriques Teixeira deEquivalênciaUniversidade Técnica de Lisboa1998Diagnosis of Interconnect Defects in Electronic Assemblies

Sousa, Leonel Augusto Pires Seabra deNacionalUniversidade Técnica de Lisboa1996Processadores Paralelos de Imagem com Acesso Ortogonal à Memória Partilhada

Sousa, Pedro Manuel Moreira Vaz Antunes deNacionalUniversidade Técnica de Lisboa1997Gestão de Nomes em Sistemas de Objectos Persistentes e Distribuídos

Souza, José António Menezes Felippe deEquivalênciaUniversidade da Beira Interior1996Some Applications Projections in Nonlinear Control and Estimation

Teixeira, Isabel Maria Silva Nobre Parreira CachoNacionalUniversidade Técnica de Lisboa1984A Macromodelação e Verificação Temporal dos Circuitos e Digitais

Teixeira, João Paulo CachoNacionalUniversidade Técnica de Lisboa1982Modelação Física de Células de Lógica de Injecção Integrada - Caracterização Física de Efeito deAlargamento de Base em Transistores Bipolares

Teixeira, Pedro Luís BorgesNacionalUniversidade Técnica de Lisboa1983Caracterização Física de Transistores de Potência para o Projecto de Circuitos e Dispositivos

Themido, Isabel Maria de Miranda HallEquivalênciaUniversidade Técnica de Lisboa1985Pricing and Inventory Control in Retailing

f.55

Tomé, Ana Maria PerfeitoNacionalUniversidade de Aveiro1990Sistema para Microanálise e Classificação Automática de Electroencefalograma de Sono

Topa, António Luís Campos da SilvaNacionalUniversidade Técnica de Lisboa1998Propagação e Radiação em Estruturas Bianisotrópicas Planares

Toscani, Simão SirineoNacionalUniversidade Nova de Lisboa1993RS: Uma Linguagem para Programação de Núcleos Reactivos

Trancoso, Isabel Maria MartinsNacionalUniversidade Técnica de Lisboa1987Codificação da Fala com Alta Qualidade A Médios e Baixos Ritmos

Valadas, Rui Jorge Morais TomazNacionalUniversidade de Aveiro1996Redes de Comunicações da Área Local Não-Cabladas por Raios Infravermelhos

Vale, Zita Maria Almeida deNacionalUniversidade do Porto1993Processamento Inteligente de Alarmes e Apoio a Análise de Avarias e a Reposição de Serviços em SistemasEléctricos de Energia

Valença, José Manuel EsgalhadoEquivalênciaUniversidade do Minho1980Stability of Multivariable Systems

Vargas, Vitor Manuel PaulinoNacionalUniversidade Técnica de Lisboa1985Avaliação de Desempenho em Redes de Comunicação de Dados: Um Programa de Simulação

f.56

Vasconcelos, António Jorge Viegas deEquivalênciaUniversidade do Porto1988Simulação de Fenómenos Não Estacionários em Redes Trifásicas com O ... de Espaço em Multiprocessador

Vasconcelos, Paulo José Abreu Beleza deNacionalUniversidade do Porto1998Estudos da Paralelização de Métodos de Álgebra Linear Numérica com Aplicação à Mecânica dos FluidosComputacional

Vasconcelos, Rosa Maria Castro FernandesNacionalUniversidade do Minho1993Contribuição a Aplicação de Técnicas de Inteligência Artificial na Tecnologia da Fiação

Vasconcelos, Vasco Manuel Thudichum de SerpaEquivalênciaUniversidade Nova de Lisboa1995A Process-Calculus Approach to Typed Concurrent Objects

Vaz, Francisco António CardosoNacionalUniversidade de Aveiro1987Modelos Paramétricos para a Caracterização, Quantificação e Detecção de Inventos Epileptiformes noElectroencefalograma

Vaz, João Manuel Torres Caldinhas SimõesNacionalUniversidade Técnica de Lisboa1998Amplificador de Potência em Classe A para Ondas Milimétricas

Veiga, Eugénio Maria de MeloNacionalUniversidade de Aveiro1980Contribuição para o Desenvolvimento dum "C.T.Scanner" A

Veiga, Pedro Manuel BarbosaNacionalUniversidade Técnica de Lisboa1984Uma Linguagem de Projecto para Especificação e Simulação Hierárquica Multinível de Sistemas Digitais

f.57

Velho, Amândio de Jesus de Carvalho VazNacionalUniversidade Técnica de Lisboa1996Papeis e Relacionamentos Estruturais em Linguagens de Programação e Modelação Conceptual Orientadaspor Objectos

Veloso, Aires Manuel AraújoNacionalUniversidade de Aveiro1996Hardware C++, Uma Linguagem Orientada por Objectos para Especificação Multinível de Sistemas Digitais

Ventura, José Amâncio PintoNacionalUniversidade do Porto1991Radiação e Propagação da Onda Acústica

Verdelho, Pedro Geraldes MartinsNacionalUniversidade Técnica de Lisboa1995O Ondulador de Tensão Trifásico Ligado em Paralelo com a Rede de Energia Eléctrica

Veríssimo, Paulo Jorge EstevesNacionalUniversidade Técnica de Lisboa1990Comunicação em Grupo Fiável, em Sistema Distribuídos Sobre Rede Local

Viccari, Rosa MariaNacionalUniversidade de Coimbra1990Um Tutor Inteligente para a Programação Lógica-Idealização, Projecto e Desenvolvimento

Vidigal, Luís Manuel Ramos da SilvaEquivalênciaUniversidade Técnica de Lisboa1981Statistical Design of Electronic Circuits

Vital, João Paulo Calado CordeiroNacionalUniversidade Técnica de Lisboa1994Sistema Integrado de Conversão Analógico-Digital com Reconfiguração Funcional e Testabilidade Digital

f.58

Vitor, José Alberto Rosado dos SantosNacionalUniversidade Técnica de Lisboa1995Percepção Visual para Robots Móveis: Da Percepção aos Comportamentos

Vitor, Pedro Rafael BonifácioNacionalUniversidade Técnica de Lisboa1993Sistemas de Monitorização Via-Satélite-Monicamp. Circuitos de Microondas para a Unidade Antena STC/GPS