The big science of small networks15 ottobre 2021Network science has come to mean the science of large networks. Computer science stresses the...
Robbing the Bank with a Model Checker6 ottobre 2021As a case study on the use of formal methods for security we show how to use Tamarin, a security...
Exposure to Transit Migration, Public Attitudes and Entrepreneurship30 settembre 2021Does exposure to mass migration affect the attitudes and economic behavior of natives in the...
Reading Twitter in the Newsroom: Web 2.0 and Traditional-Media Reporting of Conflicts29 settembre 2021User-generated online content changes traditional-media news on conflicts. Online posts by citizen...
Neural systems underlying social-emotional functions22 settembre 2021In this talk, I will summarize my research assessing the neural basis of human social-emotional...
A comprehensive Trust based model for Online Social Networks21 settembre 2021Online Social Networks (OSN) have become a central means of communication and interaction between...
Faking of personality disorders13 settembre 2021In mental insanity assessment of the defendant has a clear advantage in faking a personality...
The Sentence of the Supreme Court in Reunited Sections No. 9163/2005 and the problem of the insanity defence13 settembre 2021The responsibility of the mentally ill offender is a critical point of the penal system and...
Lumpability for Uncertain Continuous-Time Markov Chains7 settembre 2021The assumption of perfect knowledge of rate parameters in continuous-time Markov chains (CTMCs) is...
From time to space and back: languages and tool for spatio-temporal monitoring30 luglio 2021The specification and monitoring of spatio-temporal properties is becoming of utmost importance in...