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 1 of 10 - listing technical reports 1 to 10 of a total of 91

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

bulletElements of style of BPMN language
   Universidade Nova de Lisboa - February, 2015
   Anacleto Correia

bulletMultimodal Indexable Encryption for Mobile Cloud-based Applications
   INRIA - 2015
   Bernardo Ferreira, Henrique João Domingos

bulletThe SITAN Research Project Research Directions, Contributions and Achieved Results
   CITI - October, 2014
   Henrique João Domingos

bulletA Multi-Path Intrusion Tolerant Routing Service for Wireless Sensor Networks using Dijoint Routes and Multiple Base Stations
   CITI - July, 2014
   Henrique João Domingos, João Carlos Andrade de Almeida

bulletWorking Note on a Type Checking Algorithm for Behavioral Separation Types
   Universidade Nova de Lisboa - January, 2013
   Luis Caires, João Costa Seco

bulletTypeful Updates on Reactive Live Web Programming
   Universidade Nova de Lisboa - 2013
   Miguel Domingues, João Costa Seco

bulletSwiftCloud: Fault-Tolerant Geo-Replication Integrated all the Way to the Client Machine
   INRIA - 2013
   Marek Zawirski, Annette Bieniusa, Valter Balegas, Sérgio Duarte, Carlos Baquero, Marc Shapiro, Nuno Preguiça

bulletAn optimized conflict-free replicated set
   INRIA - October, 2012
   Annette Bieniusa, Marek Zawirski, Nuno Preguiça, Marc Shapiro, Carlos Baquero, Valter Balegas, Sérgio Duarte

bulletDependability Services and Intrusion Tolerance in WSNs: Intrusion-Tolerant Routing Servoces with Multiple Disjoint Paths and Multiple Base Stations
   CITI - June, 2012
   Henrique João Domingos, João Carlos Andrade Almeida

bulletHybrid Simulation Environment for the Experimental Assessment of Intrusion Tolerant Routing Protocols for Wireless Sensor Networks
   CITI - January, 2012
   Henrique João Domingos, João Carlos Andrade de Almeida

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