CITI has stopped operations in 2014,
to co-launch NOVA LINCS
THIS SITE IS NOT BEING UPDATED SINCE 2013
[ Publications - technical reports ]

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.
page 1 of 10 - listing technical reports 1 to 10 of a total of 91 | |
Elements of style of BPMN language Universidade Nova de Lisboa -
February, 2015 Anacleto Correia
Multimodal Indexable Encryption for Mobile Cloud-based Applications INRIA -
2015 Bernardo Ferreira,
Henrique João Domingos
The SITAN Research Project Research Directions, Contributions and Achieved Results CITI -
October, 2014 Henrique João Domingos
A 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
Working Note on a Type Checking Algorithm for Behavioral Separation Types Universidade Nova de Lisboa -
January, 2013 Luis Caires,
João Costa Seco
Typeful Updates on Reactive Live Web Programming Universidade Nova de Lisboa -
2013 Miguel Domingues,
João Costa Seco
SwiftCloud: 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
An optimized conflict-free replicated set INRIA -
October, 2012 Annette Bieniusa, Marek Zawirski,
Nuno Preguiça, Marc Shapiro, Carlos Baquero,
Valter Balegas,
Sérgio Duarte
Dependability 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
Hybrid 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