Tu sei qui
Seminari di ricerca
29 ottobre 2012
This paper analyzes how public policy is influenced by threat of political unrest. Unrest is...
25 ottobre 2012
This seminar will examine the current exhibition at the Galleria degli Uffizi: Bagliori dorati: Il...
24 ottobre 2012
We offer sound and complete axiomatizations of both the bisimulation equivalence and the trace...
23 ottobre 2012
In his famous The Structural Transformation of the Public Sphere (Strukturwandel der Öffentlichkeit...
18 ottobre 2012
The EU integrated project ASCENS is working on a coherent, integrated set of methods and tools to...
10 ottobre 2012
This talk shows how Markov Automata (MA) can be used to provide a truly simple semantics of...
8 ottobre 2012
This paper introduces a model of three-party competition in a legislative election held under...
4 ottobre 2012
Two complementary software engineering approaches currently exist to make complex software systems...