CITI - Member - Luis Monteiro

CITI has stopped operations in 2014, to co-launch NOVA LINCS THIS SITE IS NOT BEING UPDATED SINCE 2013

Home \ Members \ Member Page

Luis Monteiro
Software Systems Country: Portugal Position: Full Professor Email: Luis.Monteiro(at)di.fct.unl.pt Phone: +351 21 294 83 41 Personal Web Page	Research Projects (4) Publications (48) Seminars (1) Graduation Activities (24) Visits (4)

{ Post-Graduations }

( as supervisor )

Aplicação de conjuntos com famílias de equivalências e de coálgebras à semântica de linguagens com concorrência e mobilidade
(Phd) - Elisabete Freire - [ 1 May 1998 to 4 Nov 2004 ]
OM - Uma Linguagem de Programação Multiparadigma
(Phd) - Artur Miguel Dias - [ 30 May 2000 ]
A Model for Declarative Programming with Concurrency and Mobility
(Phd) - Luis Caires - [ 5 Jun 1995 to 14 Dec 1999 ]
Queries and Answers in Concept-Based Knowledge Bases
(Phd) - Margarida Mamede - [ 16 Jun 1998 ]
Plataforma integrada para representação e extracção de conhecimento
(Phd) - Carlos Leandro (Instituto Superior de Engenharia de Lisboa) - [ ongoing since 28 Jan 2003 ]
A framework based on coordination and software architecture for mobile systems
(Phd) - Cristóvão Oliveira - [ ongoing since 4 Jan 2002 ]

( as jury )

A Scientific Computing Framework for Heterogeneous Environments
(MSc) - Luís Miguel Picciochi de Oliveira (Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa) - [ 28 Mar 2011 ]
Suporte à extracção de traduções de termos simples ou compostos em ambiente multilingue
(MSc) - Gonçalo Ramos Gomes (CITI) - [ 25 Oct 2010 ]
Scale-free Networks and Scalable Interdomain Routing
(MSc) - Pedro Rodrigues (CITI) - [ 20 Oct 2010 ]
Simple and Stable Dynamic Traffic Engineering for Provider Scale Ethernet
(MSc) - António Teixeira (CITI) - [ 20 Oct 2010 ]
A Calculus for Modeling and Analyzing Conversations in Service-Oriented Computing
(Phd) - Hugo Torres Vieira - [ 24 Jun 2010 ]
Detecção automática de documentos paralelos
(MSc) - Fátima Alexandra da Silva Bernardes (Departamento de Informática FCT/UNL) - [ 17 Dec 2009 ]
Sistemas de localização e de medida de distância na Internet – Contribuição para a avaliação da sua integração com algoritmos P2P
(MSc) - Rui Pedro da Silva Lopes (FCT-UNL) - [ 24 Mar 2009 ]
Component-Based Software Engineering: a Quantitative Approach
(Phd) - Miguel Goulão - [ 16 Dec 2008 ]
Deriving SPL Requirements Analysis Models from Textual Requirements
(MSc) - João Santos - [ 21 Nov 2008 ]
Aspect-Oriented Requirements Engineering
(Phd) - Isabel Sofia Brito - [ 18 Jul 2008 ]
An Aspect-Oriented Infrastructure for Design by Contract in Java
(MSc) - Sergio Agostinho (Universidade Nova de Lisboa) - [ 25 Jun 2008 ]
Hyper/Net: um ambiente de implementação MDSoC em .NET
(MSc) - Tiago Dias (Brisa) - [ 23 Jan 2008 ]
Técnicas Eficientes de Simulação de Tecidos com Realismo Acrescido
(Phd) - Fernando Birra - [ 4 Dec 2007 ]
(H)ALL: a DSL for Rapid Prototyping of User Interfaces for Control Systems for Critical Complex Control Systems
(MSc) - Bruno Barroca - [ 27 Jun 2007 ]
Visitas guiadas através de modelos de volumetria
(MSc) - Sofia Ester Pereira Reis (Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa) - [ 22 Nov 2006 ]
Languages and Types for Component Oriented Programming
(Phd) - João Costa Seco - [ 13 Oct 2006 ]
Um Modelo Multicritério para Gerir Conflitos na Composição de Aspectos
(MSc) - Filipe Vieira - [ 23 Jan 2006 ]
Expressivité des logiques des spaces
(Phd) - Etienne Lozes (ENS Cachan) - [ 4 Nov 2004 ]