Technical Reports
2016
- Reasoning in a rational extension of SROEL
Laura Giordano, Daniele Theseider Dupré
Target: 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
Target: 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
Target: 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
Target: TR-INF-2016-12-04-UNIPMN, Ed. DiSIT, Computer Science Institute, UPO, 2016, Pages: 26
