Complete Realisation of Choreographies and Multi-party Session Types20 marzo 2013Complete realisation of choreographies has been largely neglected in the context of multiparty...
Social Capital, Government Expenditures, and Growth18 marzo 2013Countries with greater social capital have higher economic growth. We show that social capital is...
Studying spatial interactions between commercial activities in the city from online location-based social networks14 marzo 2013In this work we study spatial interactions between different business activities in the city from...
Causality Checking12 marzo 2013I will introduce Causality Checking, a technique extending model checking designed to establish...
Constitutional reform and state capacity building: the case of the Glorious Revolution11 marzo 2013In the work we have tried to explain why the delay in lowering the interest rate on English...
Museum finances: challenges beyond economic crises7 marzo 2013Economic crises directly and indirectly affect the financial health of museums. Despite this...
From qualitative to quantitative enforcement of security policies6 marzo 2013The talk addresses several issues on the formal specification of enforcement mechanisms for...
Emergent properties in interface mechanical problems: A paradigm of organized complexity5 marzo 2013Organized complexity resides in the non-random, or correlated, interaction between the parts of a...
How enforcement institutions affect impersonal exchange4 marzo 2013In an experiment we study anonymous market interactions in the presence of judges. Our...