| Home \ Publications | Login |
[ 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.
| [ 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 |
Elements of style of BPMN languageUniversidade Nova de Lisboa - February, 2015
Anacleto Correia
Multimodal Indexable Encryption for Mobile Cloud-based ApplicationsINRIA - 2015
Bernardo Ferreira, Henrique João Domingos
The SITAN Research Project Research Directions, Contributions and Achieved ResultsCITI - 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 TypesUniversidade Nova de Lisboa - January, 2013
Luis Caires, João Costa Seco
Typeful Updates on Reactive Live Web ProgrammingUniversidade Nova de Lisboa - 2013
Miguel Domingues, João Costa Seco
SwiftCloud: Fault-Tolerant Geo-Replication Integrated all the Way to the Client MachineINRIA - 2013
Marek Zawirski, Annette Bieniusa, Valter Balegas, Sérgio Duarte, Carlos Baquero, Marc Shapiro, Nuno Preguiça
An optimized conflict-free replicated setINRIA - 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