Dipartimento informatica e sistemistica

Total order communications over asynchronous distributed systems: specifications and implementations

Predictive benchmark for revenue in combinatorial auctions

Negotiation among Web services using Lotos/CADP

Data quality improvement in the DaQuinCIS System

Fault detection and isolation in mechanical systems

Maintaining group connectivity in dynamic asynchronous distributed systems

Fully dynamic graph spanners

Wage mobility in the italian market: comparing search, matching and training models

Web services: a process algebra approach

A lower bound on the cost recovery of the steiner tree game with cross-monotonic cost shares

Foreign market entry strategies under asymmetric information