• Publications
  • Influence
Tolerance to hydraulic and organic load fluctuations in constructed wetlands.
This paper describes a two-year performance evaluation of four different constructed wetland (CW) treatment systems designed by IRIDRA Srl, located in central Italy. All four CW systems wereExpand
  • 34
  • 2
A UTP Semantics of pGCL as a Homogeneous Relation
TLDR
We present an encoding of the semantics of the probabilistic guarded command language (pGCL) in the Unifying Theories of Programming (UTP) framework that captures the same information as the models traditionally used to give semantics to pGCL. Expand
  • 9
  • 2
Flood reduction as an ecosystem service of constructed wetlands for combined sewer overflow
Abstract Urban runoff negatively impacts the receiving streams and different solutions have been proposed in literature to limit the effect of urbanization on the water balance. These solutionsExpand
  • 15
  • 1
Green walls for greywater treatment and recycling in dense urban areas: a case-study in Pune
This paper describes a pilot installation of a green wall treating greywater from an office building in Pune, Maharashtra State (NaWaTech project). The pilot installation is located at the mainExpand
  • 31
  • 1
Constructed wetlands for combined sewer overflow treatment: Ecosystem services at Gorla Maggiore, Italy
Abstract Three sampling campaigns have been done in 2014–2015 in order to temporally characterize CSOs quality and quantity during representative and seasonal-specific rain events, and to estimateExpand
  • 34
  • 1
Upflow anaerobic sludge blanket and aerated constructed wetlands for swine wastewater treatment: a pilot study.
  • F. Masi, A. Rizzo, +5 authors R. Bresciani
  • Environmental Science, Medicine
  • Water science and technology : a journal of the…
  • 14 July 2017
Swine wastewater management is often affected by two main issues: a too high volume for optimal reuse as a fertilizer and a too high strength for an economically sustainable treatment by classicalExpand
  • 8
  • 1
Lessons learnt from a pilot study on residual dye removal by an aerated treatment wetland.
Treatment wetlands (TWs) have shown good capacity in dye removal from textile wastewater. However, the high hydraulic retention times (HRTs) required by these solutions and the connected high areaExpand
  • 12
A formal security proof for the ZRTP Protocol
TLDR
An analysis of the protocol performed with ProVerif, which tests security properties of ZRTP; in order to perform the analysis, the protocol has been modeled in the applied π-calculus. Expand
  • 9
  • PDF
Large scale application of French reed beds: municipal wastewater treatment for a 20,000 inhabitant's town in Moldova.
A two-stage vertical flow treatment wetlands system (French reed beds) was realized in 2012-2013 for the Orhei's town in Moldova. The treatment system occupies a total area of about 5 ha and operatesExpand
  • 9
A Probabilistic Theory of Designs Based on Distributions
TLDR
We present a probabilistic theory of designs, which relies on a UTP-style framework based on distributions over the state space. Expand
  • 5