CITI has stopped operations in 2014, to co-launch NOVA LINCS THIS SITE IS NOT BEING UPDATED SINCE 2013
citi banner
Home Page FCT/UNL UNL
  Home  \  Research Areas  \  Research Stream Login  
   
banner bottom
[ Software Systems ]

Software Systems researches new programming and modeling languages, development methods and environments for large software-intensive systems, with a focus on web based and dependable systems, where communication and concurrency are pervasive. Sample application scenarios we are particularly interested in include web based applications (e.g., business apps, social networks), service infrastructures (e.g., app-stores, multi-party services / mashups), and ubiquitous computing infrastructures, such as smart buildings. Our work bridges from foundational theoretical principles to prototype development, experimental validation, and ultimately to technology and knowledge transfer.


bulletLuis Caires, Full Professor, Area/Group coordinator
bulletLuis Monteiro, Full Professor
bulletPedro Guerreiro, Full Professor
bulletAna Moreira, Associate Professor
bulletFernando Brito e Abreu, Associate Professor
bulletAntónio Ravara, Assistant Professor
bulletArtur Miguel Dias, Assistant Professor
bulletCarla Ferreira, Assistant Professor
bulletFernanda Barbosa, Assistant Professor
bulletJoão Araújo, Assistant Professor
bulletJoão Costa Seco, Assistant Professor
bulletMargarida Mamede, Assistant Professor
bulletMiguel Goulão, Assistant Professor
bulletMiguel Pessoa Monteiro, Assistant Professor
bulletVasco Amaral, Assistant Professor
bulletAnacleto Correia, Associate Researcher
bulletElisabete Freire, Associate Researcher
bulletHugo Torres Vieira, Associate Researcher
bulletIsabel Sofia Brito, Associate Researcher
bulletJorge A. Pérez, Associate Researcher
bulletLuís Alexandre Ferreira da Silva, Associate Researcher
bulletMarco Giunti, Associate Researcher
bulletMauricio Alférez, Associate Researcher
bulletAna Paula Maldonado, PhD Student
bulletAnkica Barisic, PhD Student
bulletAnne Kersten, PhD Student
bulletBernardo Toninho, PhD Student
bulletCarlos Leandro, PhD Student
bulletCédric Grueau, PhD Student
bulletFilipe Militão, PhD Student
bulletJorge Barreiros, PhD Student
bulletJosé Magno Lopes, PhD Student
bulletLuísa Lourenço, PhD Student
bulletMiguel Domingues, PhD Student
bulletSérgio Bryton, PhD Student
bulletTiago Santos, PhD Student
Research Stream Activities:

*  Research Projects (55)
*  Publications (735)
*  Seminars @ CITI (86)
*  External Talks (128)
*  Graduation Activities (230)
*  Organization of Events (277)
*  Editorial Committees (11)
*  Prototypes (72)
*  Visits (128)


[ Stream/CITI Graduation Activities ]      [ Participation in Graduations Jury ]

page 7 of 8 - listing post-graduations 121 to 140 of a total of 144

prev   |   1  2  3  4  5  6  7  8   |   next


* Reconhecimento de Padrões de Conjuntos de Pontos
   MSc, João Carlos de Brito Dinis (Instituto Nacional de Engenharia Tecnologia e Inovação)
   [ 25 Oct 2001 to 16 Jan 2003 ]
   Supervised by Margarida Mamede

* Formal Definition of Object-Oriented Design Metrics
   MSc, Aline Lúcia Baroni (Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa)
   [ 28 Aug 2002 ]
   Supervised by Fernando Brito e Abreu, Theo D\'Hondt (Vrije Universiteit)

* Computação com redes idiotípicas
   MSc, Francisco Martins
   [ 1 May 1998 to 12 Oct 2000 ]
   Supervised by José Félix Costa (Instituto Superior Técnico)

* OM - Uma Linguagem de Programação Multiparadigma
   Phd, Artur Miguel Dias
   [ 30 May 2000 ]
   Supervised by Luis Monteiro

* A Model for Declarative Programming with Concurrency and Mobility
   Phd, Luis Caires
   [ 5 Jun 1995 to 14 Dec 1999 ]
   Supervised by Luis Monteiro

* Queries and Answers in Concept-Based Knowledge Bases
   Phd, Margarida Mamede
   [ 16 Jun 1998 ]
   Supervised by Luis Monteiro

* Structuring the Concurrency and the Communication in a Distributed Logic Language
   MSc, Fernanda Barbosa
   [ 31 May 1995 ]
   Supervised by José Alberto Cardoso e Cunha

* Estudo do Modelo Abstract de Programação Concorrente
   MSc, Anabela Ribeiro
   [ 19 May 1995 ]
   Supervised by António Porto

* CxProlog Foreign Interfaces to Python and OCaml
   MSc, João Manuel de Sousa Viegas Rato (FCT-UNL)
   [ ongoing since 1 Oct 2014 ]
   Supervised by Artur Miguel Dias

* Evaluating the Usability of Domain-Specific Languages
   Phd, Ankica Barisic
   [ ongoing since 1 Nov 2011 ]
   Supervised by Miguel Goulão, Vasco Amaral

* Viewpoints and Goals: Towards an Integrated Approach
   MSc, Manuel Conrado Pimenta (Departamento de Informática FCT/UNL)
   [ ongoing since 14 Apr 2009 ]
   Supervised by João Araújo

* Lightweight Verification for Object-Oriented Concurrency
   Phd, Filipe Militão
   [ ongoing since 1 Nov 2008 ]
   Supervised by Luis Caires, Jonathan Aldrich (Carnegie Mellon University)

* Aspect Interaction Management
   Phd, Jorge Barreiros
   [ ongoing since 7 Mar 2007 ]
   Supervised by Ana Moreira

* Disciplined Reuse of Aspects
   Phd, André Restivo (Faculdade de Engenharia da Universidade do Porto)
   [ ongoing since 1 Oct 2006 ]
   Supervised by Ana Moreira

* Types for Concurrency Control in Concurrent Object Oriented Programming
   Phd, José Pacheco
   [ ongoing since 1 May 2006 ]
   Supervised by Luis Caires

* Aspect-Oriented Software Architecture
   Phd, José Magno Lopes
   [ ongoing since 1 Jan 2005 ]
   Supervised by Ana Moreira

* Plataforma integrada para representação e extracção de conhecimento
   Phd, Carlos Leandro (Instituto Superior de Engenharia de Lisboa)
   [ ongoing since 28 Jan 2003 ]
   Supervised by Luis Monteiro, Helder Pita (Instituto Superior de Engenharia de Lisboa)

* A framework based on coordination and software architecture for mobile systems
   Phd, Cristóvão Oliveira
   [ ongoing since 4 Jan 2002 ]
   Supervised by Luis Monteiro, Michel Wermelinger (Open University Milton Keynes), José Luiz Fiadeiro (University of Leicester)

* Modularity-Oriented Refactoring
   Phd, Sérgio Bryton
   Supervised by Fernando Brito e Abreu

* Ambientes Colaborativos Baseados em Múltiplas Visões Interativas
   Phd, Carlos Fábio Ramos Conceição (Instituto Universitário de Lisboa)
   Supervised by Fernando Brito e Abreu, Glauco de Figueiredo Carneiro (Universidade Salvador)


prev   |   1  2  3  4  5  6  7  8   |   next