Rapporti Tecnici
2016
- Reasoning in a rational extension of SROEL
Laura Giordano, Daniele Theseider Dupré
Riferimenti: TR-INF-2016-05-01-UNIPMN, Ed. DiSIT, Computer Science Institute, UPO, 2016 - TECHNICAL NOTE TO Forensic Analysis of the ChatSecure Instant Messaging Application on Android Smartphones (see below for citation details)
Cosimo Anglano, Massimo Canonico, Marco Guazzone
Riferimenti: TR-INF-2016-09-02-UNIPMN, Ed. DiSIT, Computer Science Institute, UPO, 2016 - SUPPORTING DATA COMMUNICATION AND PATIENT ASSESSMENT DURING EMERGENCY TRANSPORTATION
Massimo Canonico, Stefania Montani, Manuel Striani
Riferimenti: TR-INF-2016-09-03-UNIPMN, Ed. DiSIT, Computer Science Institute, UPO, 2016 - Tracing sharing in an imperative pure calculus
Paola Giannini, Marco Servetto, Elena Zucca
Riferimenti: TR-INF-2016-12-04-UNIPMN, Ed. DiSIT, Computer Science Institute, UPO, 2016, Pagine: 26
