CITI has stopped operations in 2014, to co-launch NOVA LINCS THIS SITE IS NOT BEING UPDATED SINCE 2013
citi banner
  Home  \  Publications Login  
banner bottom
[ Publications - technical reports ]
Publications Icon  List of publications produced by CITI members as part of their research activities including work done in collaboration with external researchers. Select one of the publication types from the list below. The list MAY NOT BE complete, refer to activity reports for official information.

[ List All Publications ]
[ Articles ][ Book Chapters ][ Editorial Activities ][ Technical Reports ]
[ Books ][ Dissertations ][ In Proceedings ][ Other Publications ]

page 5 of 10 - listing technical reports 41 to 50 of a total of 91

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

bulletThe Mob Core Language and Abstract Machine (rev 0.2)
   CITI - June, 2006
   Hervé Paulino, Luís Lopes

bulletInterfaces Gráficas em CxProlog (usando as APIs do Java e do wxWidgets)
   CITI - May, 2006
   Henrique Oliveira, Artur Miguel Dias

bulletBATIC3S Project document collection
   Centre Universitaire de Informatique de la Université de Genève - 2006
   Vasco Amaral, Bruno Barroca, Matteo Risoldi, Didier Buchs, Levi Silva Lúcio

bulletExtensionality of Spatial Observations in Distributed Systems
   Departamento de Informática FCT/UNL - 2006
   Luis Caires, Hugo Torres Vieira

bulletLanguage Primitives and Type Discipline for Structured Communication-Based Programming Revisited: Two Systems for Higher-Order Session Communication
   Faculdade de Ciências da Universidade de Lisboa - 2006
   Vasco T. Vasconcelos, Nobuko Yoshida

bulletRapid Prototyping of User Interfaces for Control Systems: A Survey
   Centre Universitaire d\'Informatique de l\'Université de Genève - 2006
   Bruno Barroca, Vasco Amaral

bulletLigação entre CxProlog e wxWidgets
   CITI - April, 2005
   Sérgio Lopes, Artur Miguel Dias

bulletThe Spatial Logic Model Checker User's Manual and Tutorial v1.0
   Departamento de Informática FCT/UNL - March, 2005
   Hugo Torres Vieira, Luis Caires, Ruben Viegas

bulletThe Mob Core Language and Abstract Machine
   CITI - January, 2005
   Hervé Paulino, Luís Lopes

bulletSession types for functional multithreading
   Faculdade de Ciências da Universidade de Lisboa - 2005
   Vasco T. Vasconcelos, António Ravara, Simon Gay

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