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 3 of 5 - listing seminars 41 to 60 of a total of 86

prev   |   1  2  3  4  5   |   next


* Dynamic Programming for Join Ordering Revisited
   [ 10 Dec 2008 ] - Guido Moerkotte (University of Mannheim)

* Scalable Business Process Automation
   [ 10 Dec 2008 ] - Carl-Christian Kanne (University of Zurich)

* A Typed Model for Multiparty Conversations
   [ 19 Nov 2008 ] - Hugo Torres Vieira

* SATEL - A Test Intention Language for Object Oriented Specifications of Reactive Systems
   [ 29 Oct 2008 ] - Levi Silva Lúcio (CITI)

* ZOO, an abstract semantic domain of object-orientation
   [ 21 May 2008 ] - Nuno Amálio (University of Luxemburg)

* Substructural Operational Semantics
   [ 23 Apr 2008 ] - Frank Pfenning (Carnegie Mellon University)

* Fully-Compressed Suffix Trees
   [ 2 Apr 2008 ] - Luís Manuel Silveira Russo (Departamento de Informática FCT/UNL)

* Building DSL solutions for the Domain of High Energy Physics
   [ 27 Feb 2008 ] - Vasco Amaral

* Quantum Computing, Quantum Communication and Quantum Cryptography
   [ 28 Nov 2007 ] - Simon Gay (University of Glasgow)

* The bioinformatics of modular biological systems
   [ 26 Sep 2007 ] - José Pereira Leal (Instituto Gulbenkian de Ciência)

* Combining probability and logic (P-log)
   [ 13 Sep 2007 ] - Chitta Baral (Arizona State University)

* SATEL: How to express test intentions
   [ 27 Jun 2007 ] - Didier Buchs (Centre Universitaire d\'Informatique de l\'Université de Genève)

* Multi-threading programming in Logtalk
   [ 7 May 2007 ] - Paulo Moura (Universidade da Beira Interior)

* A Multithreaded Typed Assembly Language
   [ 16 Apr 2007 ] - Francisco Martins

* cCSP: A process algebra for compensating transactions
   [ 5 Mar 2007 ] - Carla Ferreira (Instituto Superior Técnico)

* Measuring the Structural Similarity of Semistructured Documents Using Entropy
   [ 2 Mar 2007 ] - Sven Helmer (University of London)

* On Importance of Bringing Theory to Industry: an experience in W3C CDL working group
   [ 27 Feb 2007 ] - Kohei Honda (Queen Mary University of London)

* Distributed temporal logic for security protocol analysis
   [ 21 Feb 2007 ] - Carlos Caleiro (Instituto Superior Técnico)

* A Constraint Programming Approach to Bioinformatics Structural Problems
   [ 7 Feb 2007 ] - Pedro Barahona (CENTRIA)

* A Formal Approach to Service Component Architecture
   [ 31 Jan 2007 ] - Antónia Lopes


prev   |   1  2  3  4  5   |   next