Alessandro Ferrante

Learn More
Our motivation for this work is the remarkable discovery that many large-scale real-world graphs ranging from Internet and World Wide Web to social and biological networks exhibit a power-law distribution: the number of nodes yi of a given degree i is proportional to i −β where β > 0 is a constant that depends on the application domain. There is practical(More)
In this paper we study optimization problems with verifiable one-parameter selfish agents introduced by Auletta et al. [ICALP 2004]. Our goal is to allocate load among the agents, provided that the secret data of each agent is a single positive real number: the cost they incur per unit load. In such a setting the payment is given after the load completion,(More)
The model checking problem for open systems (called module checking) has been intensively studied in the literature, both for finite–state and infinite–state systems. In this paper, we focus on push-down module checking with respect to decidable fragments of the fully enriched µ–calculus. We recall that finite–state module checking with respect to fully(More)
Recently, complexity issues related to the decidability of the µ-calculus, when the universal and existential quantifiers are augmented with graded modalities, have been investigated by Kupfermann, Sattler and Vardi ([19]). Graded modalities refer to the use of the universal and exis-tential quantifiers with the added capability to express the concept of at(More)