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  \  Publications Login  
   
banner bottom
[ Publications - articles ]
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 2 of 21 - listing articles 11 to 20 of a total of 202
order:  

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


bulletLinear Logical Relations and Observational Equivalences for Session-Based Concurrency
   Information and Computation (Elsevier) - 2014
   Jorge A. Pérez, Luis Caires, Frank Pfenning, Bernardo Toninho

bulletDesign of an Interactive Experience with Medieval Illuminations: A Journey into the Beauty and Meaning of Medieval Portuguese Manuscripts
   Journal on Computing and Cultural Heritage (JOCCH) - 2014
   Nuno Correia, Teresa Romão, Tarquínio Mota, Maria João Melo

bulletHeterogeneous Programming with Single Operation Multiple Data
   Journal of Computer and System Sciences - 2014
   Hervé Paulino, Eduardo Marques

bulletEngaging Remote Fans in Live Sports. International Journal of Arts and Technology
   International Journal of Arts and Technology (IJART) - 2014
   Pedro Centieiro, Teresa Romão, A. Eduardo Dias

bulletLinearity, session types and the pi calculus
   Mathematical Structures in Computer Science - 2014
   Marco Giunti, Vasco T. Vasconcelos

bulletSee-Through-Sound: Transforming images into sonic representations to help the blind
   Journal of Information Technology Research - 2014
   J. Tomás Henriques, Sofia Cavaco, Nuno Correia

bulletEfficient support for in-place metadata in Java software transactional memory
   Concurrency and Computation: Practice & Experience - December, 2013
   Ricardo Dias, Tiago Vale, João Lourenço

bulletFlexible Mapreduce Workflows for Cloud Data Analytics
   International Journal of Grid and High Performance Computing (IJGHPC) - December, 2013
   Carlos Gonçalves, Luis Assunção, José Alberto Cardoso e Cunha

bulletEarly identification of crosscutting concerns with the Language Extended Lexicon
   Requirements Engineering - November, 2013
   Leandro Antonelli, Gustavo Rossi, Júlio Leite, João Araújo

bulletRegression of in-water radiometric profile data
   Optics Express - November, 2013
   Davide D\'Alimonte, Eugeny B. Shybanov, Giuseppe Zibordi, Tamito Kajiyama


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