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)


page 4 of 5 - listing seminars 61 to 80 of a total of 86

prev   |   1  2  3  4  5   |   next


* DI.FCT.UNL Gödel Centenary Seminar - Gödel e Computabilidade
   [ 13 Dec 2006 ] - Luis Moniz Pereira (Departamento de Informática FCT/UNL)

* DI.FCT.UNL Gödel Centenary Seminar - A influência de Gödel na Informática
   [ 13 Dec 2006 ] - Luis Caires

* DI.FCT.UNL Gödel Centenary Seminar - Gödels theorem: The divorce of Mathematics and Computer Science
   [ 6 Dec 2006 ] - Reinhard Kahle (CENTRIA)

* DI.FCT.UNL Gödel Centenary Seminar - Sobre a demonstração do teorema de Gödel
   [ 6 Dec 2006 ] - Luis Monteiro

* Knowledge Representation and Reasoning for the World Wide Web
   [ 6 Dec 2006 ] - Pascal Hitzler (University of Karlsruhe)

* On the relationship between code cloning and maintenance
   [ 2 Nov 2006 ] - Michel Wermelinger (Open University Milton Keynes)

* Flexible Type-Safe Linking of Components for Java-Like Languages
   [ 13 Oct 2006 ] - Davide Ancona (Università di Genova)

* Questions on Algebraic Specifications of Object Oriented Programs
   [ 13 Oct 2006 ] - Sophia Drossopoulou (Imperial College London)

* Spatial-Behavioral Types for Distributed and Concurrent Programming
   [ 6 Oct 2006 ] - Luis Caires

* Types for Dynamic Reconfiguration
   [ 5 Jul 2006 ] - João Costa Seco

* Checking the Conformance of Java Classes Against Algebraic Specifications
   [ 10 May 2006 ] - Vasco T. Vasconcelos

* Subtyping first class polymorphic components
   [ 15 Dec 2004 ] - João Costa Seco

* A Unified Approach for the Integration of Distributed Heterogeneous Software Components
   [ 26 Mar 2004 ] - Barret Bryant (University of Alabama at Birmingham)

* A Case Study in Specification and Verification in Spatial Logic: The Arrow Distributed Directory Protocol
   [ 24 Mar 2004 ] - Anabela Ribeiro

* Model-Checking Spatial Properties of Concurrent Systems
   [ 17 Mar 2004 ] - Luis Caires, Hugo Torres Vieira

* Membrane Interactions
   [ 12 Nov 2003 ] - Luca Cardelli (Microsoft Research Cambridge)

* Workflow Modeling by Hierarchical Petri Nets
   [ 17 Jun 2003 ] - Piotr Chrzastowski-Wachtel (Warsaw University)

* Configuração de Regras de Negócio para um Sistema de Recuperação de Crédito
   [ 4 Jun 2003 ] - Michel Wermelinger (Open University Milton Keynes)

* FreshML: programming with binders made easy.
   [ 28 May 2003 ] - M. J. Gabbay (University of Cambridge)

* Compiladores num contexto industrial
   [ 14 May 2003 ] - Paulo Carreira (Oblog Software)


prev   |   1  2  3  4  5   |   next