101 citations
- University of FlorenceIT5 papers
- Boston UniversityUS4 papers
- Yeshiva UniversityUS3 papers
- Tokyo University of Information SciencesJP2 papers
- Bar-Ilan UniversityIL1 paper
- Institute for Complex SystemsIT1 paper
- Northwestern UniversityUS1 paper
- Politecnico di TorinoIT1 paper
- University College LondonGB1 paper
- University of SassariIT1 paper
- University of TrentoIT1 paper
- University of UrbinoIT1 paper
5 papers · 1 filter
Proceedings 7th International Workshop on Automated Specification and Verification of Web Systems
Laura Kovacs, Rosario Pugliese, Francesco Tiezzi
This volume contains the final and revised versions of the papers presented at the 7th International Workshop on Automated Specification and Verification of Web Systems (WWV 2011).…
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Process Calculi
Marco Bernardo, Rocco De Nicola, Michele Loreti
Labeled transition systems are typically used to represent the behavior of nondeterministic processes, with labeled transitions defining a one-step state to-state reachability rela…
Social content matching in MapReduce
Gianmarco De Francisci Morales, Aristides Gionis, Mauro Sozio
Matching problems are ubiquitous. They occur in economic markets, labor markets, internet advertising, and elsewhere. In this paper we focus on an application of matching for socia…
Repeated Matching Pennies with Limited Randomness
Michele Budinich, Lance Fortnow
We consider a repeated Matching Pennies game in which players have limited access to randomness. Playing the (unique) Nash equilibrium in this n-stage game requires n random bits.…
Commuter networks and community detection: a method for planning sub regional areas
Andrea De Montis, Simone Caschili, Alessandro Chessa
A major issue for policy makers and planners is the definition of the "ideal" regional partition, i.e. the delimitation of sub-regional domains showing a sufficient level of homoge…