Browsing by Author Pérez J.
Showing results 1 to 5 of 5
Issue Date | Title | Author(s) |
---|---|---|
1-Nov-2015 | Combining behavioural types with security analysis | Bartoletti M.; Castellani I.; Deniélou P.; Dezani-Ciancaglini M.; Gilezan, Silvia ; Pantović, Jovanka ; Pérez J.; Thiemann P.; Toninho B.; Vieira H. |
1-Jan-2015 | COST action FA1401 "European network on the factors affecting the gastro-intestinal microbial balance and the impact on the health status of pigs (PiGutNet)" | Trevisi P.; Botti S.; Lauridsen C.; Pérez J.; Papadopoulos D.; Roselli M.; Lević, J.; Zentek J. |
1-Jan-2016 | Dynamic role authorization in multiparty conversations | Gilezan, Silvia ; Jakšić, Svetlana ; Pantović, Jovanka ; Pérez J.; Vieira H. |
3-Apr-2017 | Efficient compensation handling via subjective updates | Dedeić, Jovana ; Pantović, Jovanka ; Pérez J. |
10-Feb-2016 | A typed model for dynamic authorizations | Gilezan, Silvia ; Jakšić, Svetlana ; Pantović, Jovanka ; Pérez J.; Vieira H. |